Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Standards and Processes for Modelbased Engineering of Safety- and Security-Critical Systems23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004). Potsdam (Germany): Springer Verlag 2004 (Lecture Notes in Computer Science)
Sturm, Peter; Frey, Hannes; Gšrgen, Daniel et al.
Supporting Smart Applications in Multihop Ad-Hoc Networks: The GecGo MiddlewareMircea Gh. Negoita; Robert J. Howlett; Lakhmi C. Jain (Hrsg). Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part I. Berlin: Springer 2004 S. 718 - 726
Rychlewski, Leszek; Kschischo, Maik; Dong, Liying et al.
Target Specificity Analysis of the Abl Kinase using Peptide Microarray DataJournal of molecular biology. Bd. 336. H. 2. Amsterdam: Elsevier 2004 S. 307 - 311
Jürjens, Jan
Tools for Critical Systems Development with UMLASE 2004. Linz. 2004
Jürjens, Jan
Towards Automated Computationally Faithful Verification of CryptoprotocolsDIMACS Security Protocols Workshop. Rutgers University. 2004
Ebert, Jürgen
5. Workshop Software Reengineering (WSR 2003)Bonn: Ges. für Informatik 2003 59 S. (Softwaretechnik-Trends ; 23.2003,2)
Jürjens, Jan
Algebraic State Machines: Concepts and Applications to SecurityManfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers. Berlin: Springer 2003 S. 338 - 343
Romberg, Jan; Jürjens, Jan; Wimmel, Guido et al.
AutoFOCUS and the MoDe ToolJohan Lilius; Felice Balarin; Ricardo J. Machado (Hrsg). Proceedings of the Third International Conference on Application of Concurrency to System Design ACSD 2003: 18-20 June, 2003; Guimarães, Portugal. Los Alamitos, CA: IEEE Computer Society 2003 S. 249 - 250
Jürjens, Jan; Höhn, Sebastian
Automated Checking of SAP Security PermissionsSushil Jajodia; Leon Strous (Hrsg). Integrity and Internal Control in Information Systems VI: IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13–14 November 2003, Lausanne, Switzerland. Bd. 140. Boston: Springer 2003 S. 13 - 30
Baumgartner, Peter; Furbach, Ulrich
Automated Deduction Techniques for the Management of Personalized DocumentsAnnals of Mathematics and Artificial Intelligence. Bd. 38. H. 1-3. Dordrecht: Kluwer 2003 S. 211 - 228