Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Jürjens, Jan
Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in KarlsruheSoftwaretechnik-Trends. Bd. 23. H. 3. Bonn: Gesellschaft für Informatik 2003 S. 1
Beneken, Gerd; Hammerschall, Ulrike; Broy, Manfred et al.
Componentware – State of the Art, Background Paper for the Understanding Components for the Understanding Components Workshop of the CUE Initiative at the Univerit`a Ca’ Foscari di Venezia Venice, October 7th-9th 2003Understanding Components Workshop of the CUE Initiative. Venice. 2003
Stolzenburg, F.; García, A. J.; Chesñevar, C. I. et al.
Computing Generalized SpecificityJournal of Applied Non-Classical Logics. Bd. Journal of Applied Non-Classical Logics. 2003
Jürjens, Jan; Rumpe, Bernhard; France, Robert et al.
Critical Systems Development with UML - Proceedings of the UML'03 Workshop; CSDUML 2003, October 21, 2003, San Francisco, California, USAMünchen: Technische Universität München, Institut für Informatik 2003