Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003
Jürjens, Jan
Model-based Security with UMLsec - Invited talkUML Forum Tokyo. 2003
Jürjens, Jan
Model-based Testing of Embedded Systems with UML: A Half-day tutorialConference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003
Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.
Modelling and Verification of Layered Security Protocols: A Bank ApplicationStuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129
Jürjens, Jan
Modelling for IT-Security- and Risk-AnalysisInfotage. Starnberger See. 2003
Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.
Security-critical system development with extended use casesWanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487
Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Use Case Oriented Development of Security-Critical SystemsOMG Workshop on Distributed Objects and Components Security (DOCsec 2003). Baltimore (USA): Object Management Group (OMG) 2003
Jürjens, Jan
A Holistic View of Secure Systems Development: Using Patterns and UML - A Half-day tutorial17th International Conference on Information Security (SEC 2002). Cairo. 2002
Jürjens, Jan
A UML statecharts semantics with message-passingGary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1009 - 1013
Jürjens, Jan
Formal Semantics for Interacting UML SubsystemsBart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43