Jan Jürjens

• Jan Jürjens: Towards Development of Secure Systems Using UMLsec, Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, 2001, (BibTeX entry).
• Jan Jürjens, Pasha Shabalin: Automated Verification of UMLsec Models for Security Requirements, Seventh International Conference on the Unified Modeling Language - the Language and its applications, 2004, (BibTeX entry).
• Jan Jürjens: Developing Safety-Critical Systems with UML, Sixth International Conference on the Unified Modeling Language - the Language and its applications, 2003, (BibTeX entry).
• Jan Jürjens: UMLsec: Extending UML for Secure Systems Development, Fifth International Conference on the Unified Modeling Language - the Language and its applications, 2002, (BibTeX entry).
• E. B. Fernandez, Jan Jürjens: A Holistic View of Secure Systems Development: Using Patterns and UML, 2002, (BibTeX entry).
• Jan Jürjens: UMLsec - Presenting the Profile, 2002, (BibTeX entry).
• Jan Jürjens: Modelling audit security for smart-card payment schemes with UMLsec, Kluwer Academic Publishers, 2001, (BibTeX entry).
• Jan Jürjens: Secure Java Development with UMLsec, Kluwer Academic Publishers, 2001, (BibTeX entry).
• Jan Jürjens: Using UMLsec and Goal-Trees for Secure Systems Development, 2002, (BibTeX entry).
• Jan Jürjens: A UML statecharts semantics with message-passing, 2002, (BibTeX entry).
• Jan Jürjens: Formal Semantics for Interacting UML subsystems, Kluwer Academic Publishers, 2002, (BibTeX entry).
• Jan Jürjens: Developing Secure Systems with UMLsec: From Business Processes to Implementation, Vieweg, 2001, (BibTeX entry).
• Jan Jürjens: Transformations for Introducing Patterns -- A Secure Systems Case Study, 2001, (BibTeX entry).
• Jan Jürjens: Formal Development and Verification of Security-Critical Systems with UML, 2001, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.