Dr. (Univ. Oxford) Jan Jürjens
Dipl.-Math. (Univ. Bremen)


Jan Juerjens

THESE PAGES ARE HISTORY, I HAVE MOVED ON.



E-mail (IMPORTANT):

(Public Key)

Snail:
Jan Jürjens
Dep. of Informatics (IN-04)
Software & Systems Engineering
TU München
Boltzmannstr. 3
85748 München/Garching
Germany

Phone: +49 (89) 289-17338
Mobile: +49 179 8804051 (E2)
Fax: +49 (89) 289-17307
Room: 1.11.041

Research Interests (more)

Security
Software Engineering
Formal Methods
Safety-Critical Systems
Foundations


Links

SEPs, Diplomarbeiten,
Hilfskraftstellen
Technology Transfer
Some cv details
Ranking: TU Munich among the top European Universities

Book Cover

Recent Publications, Talks (more)

  • Jan Jürjens, Secure Systems Development with UML, Springer-Verlag 2004
  • Jan Jürjens, Sound Methods and Effective Tools for Model-based Security Engineering with UML, ICSE 2005
  • Jan Jürjens, Model-based Security Engineering with UML, FOSAD 2004 (summer school lecture)
  • Jan Jürjens, Constructing Tool-Support for Sophisticated Analysis of UML Models: A Hands-On Introduction, UML 2004
  • Jan Jürjens, Model-based Security Engineering, SECRYPT, Portugal, June 2006 (invited talk)

Current Projects (more)

Security in Software Engineering
UMLsec
Verisoft
AutoFocus


Current Organization (more)


Current Teaching (more)