Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Tools for Critical Systems Development with UMLASE 2004. Linz. 2004
Jürjens, Jan; Shabalin, Pasha
Tools for Critical Systems Development with UML (Tool Demo).UML Satellite Activities. 2004 S. 250 - 253
Jürjens, Jan
Towards Automated Computationally Faithful Verification of CryptoprotocolsDIMACS Security Protocols Workshop. Rutgers University. 2004
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 (Lecture Notes in Computer Science)
Jürjens, Jan
Algebraic State Machines: Concepts and Applications to Security.Ershov Memorial Conference. 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
Romberg, Jan; Jürjens, Jan; Wimmel, Guido et al.
AutoFOCUS and the MoDe Tool.ACSD. 2003 S. 249 - 250
Höhn, Sebastian; Jürjens, Jan
Automated Checking of SAP Security Permisisons.IICIS. 2003 S. 13 - 30
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
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