Jürjens, Jan; Fernandez, Eduardo B.; France, Robert et al.
3rd International Workshop on Critical Systems Development with UML: CSDUML 2004; 12. October; Lisbon, Portugal; ProceedingMünchen: Technische Universität München, Institut für Informatik 2004
Jürjens, Jan; Kuhn, Thomas A.
Automated Theorem Proving for Cryptographic Protocols with Automatic Attack GenerationMünchen: Technische Universität München, Institut für Informatik 2004
Jürjens, Jan
Desarrollo de aplicaciones críticas en seguridad con UMLsec: una breve introducciónNovática : Revista de le Asociación de Técnicos de Informática. Bd. 168. Barcelona: Asociación de Técnicos de Informática 2004 S. 28 - 33
Jürjens, Jan; Kuhn, Thomas A.
Practical Security Analysis of C Programs Using Automated Theorem Proving2004
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
Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003
Shabalin, Pasha; Jürjens, Jan
Towards Tool Support for UMLsec2003
Shabalin, Pasha; Jürjens, Jan
Towards Tool Support for UMLsec (Poster Proposal)München: Technische Universität München, Institut für Informatik 2003 S. 1 - 10
Jürjens, Jan; Rumpe, Bernhard; France, Robert et al.
Critical systems development with UML2002 S. 1 - 115
Ebert, Jürgen
GUPRO - generic understanding of programs : an overviewKoblenz-Landau: Univ., Inst. für Informatik 2002 0 S. (Fachberichte Informatik ; 2002,7-12)