PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jürjens, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental Security Verification for Evolving UMLsec models.

, , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 52-68. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim Janz University of Stuttgart

Benedikt Janny

PD Dr. phil. Frank Janle University of Stuttgart

Isabel Janowsky-Vidovic University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

 

Other publications of authors with the same name

Games In The Semantics Of Programming Languages - An Elementary Introduction.. Synthese, 133 (1-2): 131-158 (2002)Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe.. Softwaretechnik-Trends, (2003)Runtime verification of cryptographic protocols., and . Computers & Security, 29 (3): 315-330 (2010)Model-Driven Development for secure information systems., , , and . Information & Software Technology, 51 (5): 809-814 (2009)The Reality of Libraries., and . CSMR, page 307-318. IEEE Computer Society, (2007)Tools for Traceable Security Verification., , and . BCS Int. Acad. Conf., page 367-390. British Computer Society, (2008)Model-Based Design and Analysis of Permission-Based Security., , and . ICECCS, page 224-233. IEEE Computer Society, (2005)Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC.. SEC, volume 193 of IFIP Conference Proceedings, page 93-108. Kluwer, (2001)Formal Semantics for Interacting UML subsystems.. FMOODS, volume 209 of IFIP Conference Proceedings, page 29-43. Kluwer, (2002)Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes., , , , , and . CLOSER, page 553-561. SciTePress, (2013)