Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Jürjens, Jan
Security Software Engineering and Embedded SystemsInfineon. Munich (Germany). 2004
Jürjens, Jan
Software Architectures for Safe and Secure Systems: A Half-day tutorial4th IEEE/IFIP Conference on Software Architecture (WICSA 2004). Oslo, Norway: Institute of Electrical and Electronics Engineers 2004
Deubler, Martin; Grünbauer, Johannes; Jürjens, Jan et al.
Sound development of secure service-based systemsMarco Aiello; Mikio Aoyama; Francisco Curbera; Mike P. Papazoglou (Hrsg). Proceedings of the Second International Conference on Service Oriented Computing ICSOC 2004: November 15-19, 2004; New York City, NY, USA. New York, NY: ACM Association for Computing Machinery 2004 S. 115 - 124
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)
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
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
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