Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jan Jürjens
2010 – today
- 2013
[e2]Jan Jürjens, Benjamin Livshits, Riccardo Scandariato (Eds.): Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings. Lecture Notes in Computer Science 7781, Springer 2013, ISBN 978-3-642-36562-1- 2012
- [j17]David G. Rosado, Luís Enrique Sanchez, Eduardo Fernández-Medina, Jan Jürjens: Security in Information Systems: New Challenges and Opportunities. J. UCS 18(6): 728-731 (2012)
- [j16]Kurt Schneider, Eric Knauss, Siv Hilde Houmb, Shareeful Islam, Jan Jürjens: Enhancing security requirements engineering by organizational learning. Requir. Eng. 17(1): 35-56 (2012)
- [c105]Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens: Computational verification of C protocol implementations by symbolic execution. ACM Conference on Computer and Communications Security 2012: 712-723
- [c104]Sven Wenzel, Christian Wessel, Thorsten Humberg, Jan Jürjens: Securing Processes for Outsourcing into the Cloud. CLOSER 2012: 675-680
- [c103]Martín Ochoa, Jan Jürjens, Daniel Warzecha: A Sound Decision Procedure for the Compositionality of Secrecy. ESSoS 2012: 97-105
- [c102]Thomas Ruhroth, Jan Jürjens: Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. HASE 2012: 177-184
- [c101]Christian Wessel, Thorsten Humberg, Sven Wenzel, Jan Jürjens: Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. Software Engineering (Workshops) 2012: 175-181
- [c100]Martín Ochoa, Jan Jürjens, Jorge Cuéllar: Non-interference on UML State-Charts. TOOLS (50) 2012: 219-235
- 2011
- [j15]Andreas Bauer, Jan Jürjens, Yijun Yu: Run-Time Security Traceability for Evolving Systems. Comput. J. 54(1): 58-87 (2011)
- [j14]Shareeful Islam, Haralambos Mouratidis, Jan Jürjens: A framework to support alignment of secure software engineering with legal regulations. Software and System Modeling 10(3): 369-394 (2011)
- [c99]Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi: Model-Based Security Verification and Testing for Smart-cards. ARES 2011: 272-279
- [c98]Holger Schmidt, Jan Jürjens: Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec. CAiSE 2011: 367-382
- [c97]Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens: Extracting and verifying cryptographic models from C protocol code by symbolic execution. ACM Conference on Computer and Communications Security 2011: 331-340
- [c96]François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann: Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CSF 2011: 3-17
- [c95]Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt: Incremental Security Verification for Evolving UMLsec models. ECMFA 2011: 52-68
- [c94]Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt: Systematic Development of UMLsec Design Models Based on Security Requirements. FASE 2011: 232-246
- [c93]
- [c92]Seok-Won Lee, Mattia Monga, Jan Jürjens: Seventh international workshop on software engineering for secure systems: (SESS 2011). ICSE 2011: 1200-1201
- [c91]Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens: Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. Formal Aspects in Security and Trust 2011: 1-20
- [c90]Eric Knauss, Siv Hilde Houmb, Kurt Schneider, Shareeful Islam, Jan Jürjens: Supporting Requirements Engineers in Recognising Security Issues. REFSQ 2011: 4-18
- [c89]Stefan Taubenberger, Jan Jürjens, Yijun Yu, Bashar Nuseibeh: Problem Analysis of Traditional IT-Security Risk Assessment Methods - An Experience Report from the Insurance and Auditing Domain. SEC 2011: 259-270
- [c88]Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass Soldal Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjørnar Solhaug, Sven Wenzel: Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave 2011: 134-143
- [c87]Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam: Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. SFM 2011: 504-526
- [e1]David G. Rosado, Luís Enrique Sanchez, Jan Jürjens (Eds.): WOSIS 2011 - Proceedings of the 8th International Workshop on Security in Information Systems, In conjunction with ICEIS 2011, Beijing, China, 8-9 June, 2011. SciTePress 2011, ISBN 978-989-8425-61-4
- [i2]Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens: Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution. CoRR abs/1107.1017 (2011)
- [i1]Muhammad Sheikh Sadi, Md. Mizanur Rahman Khan, Md. Nazim Uddin, Jan Jürjens: An Efficient Approach towards Mitigating Soft Errors Risks. CoRR abs/1110.3969 (2011)
- 2010
- [j13]Andreas Bauer, Jan Jürjens: Runtime verification of cryptographic protocols. Computers & Security 29(3): 315-330 (2010)
- [j12]Muhammad Sheikh Sadi, D. G. Myers, Cesar Ortega-Sanchez, Jan Jürjens: Component criticality analysis to minimize soft errors risk. Comput. Syst. Sci. Eng. 25(5) (2010)
- [j11]Haralambos Mouratidis, Jan Jürjens: From goal-driven security requirements engineering to secure design. Int. J. Intell. Syst. 25(8): 813-840 (2010)
- [j10]Siv Hilde Houmb, Shareeful Islam, Eric Knauss, Jan Jürjens, Kurt Schneider: Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec. Requir. Eng. 15(1): 63-93 (2010)
- [c86]Alfredo Pironti, Jan Jürjens: Formally-Based Black-Box Monitoring of Security Protocols. ESSoS 2010: 79-95
- [c85]Seok-Won Lee, Mattia Monga, Jan Jürjens: The 6th International Workshop on Software Engineering for Secure Systems (SESS'10). ICSE (2) 2010: 433-434
- [c84]Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint: Tool support for code generation from a UMLsec property. ASE 2010: 357-358
- [c83]Carlos Blanco, Eduardo Fernández-Medina, Juan Trujillo, Jan Jürjens: Towards the Secure Modelling of OLAP Users' Behaviour. Secure Data Management 2010: 101-112
- [c82]Jan Jürjens: Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote). VL/HCC 2010: 4
2000 – 2009
- 2009
- [j9]Jan Jürjens: Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. Electr. Notes Theor. Comput. Sci. 250(1): 123-136 (2009)
- [j8]Eduardo Fernández-Medina, Jan Jürjens, Juan Trujillo, Sushil Jajodia: Model-Driven Development for secure information systems. Information & Software Technology 51(5): 809-814 (2009)
- [j7]Jan Jürjens: A domain-specific language for cryptographic protocols based on streams. J. Log. Algebr. Program. 78(2): 54-73 (2009)
- [j6]C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Jing Xu, Tauseef A. Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens: Performance analysis of security aspects by weaving scenarios extracted from UML models. Journal of Systems and Software 82(1): 56-74 (2009)
- [c81]Haralambos Mouratidis, Ali Sunyaev, Jan Jürjens: Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects. CAiSE 2009: 231-245
- [c80]Jan Jürjens, Tjark Weber: Finite Models in FOL-Based Crypto-Protocol Verification. ARSPA-WITS 2009: 155-172
- [c79]John Lloyd, Jan Jürjens: Security Analysis of a Biometric Authentication System Using UMLsec and JML. MoDELS 2009: 77-91
- [c78]Hironori Washizaki, Nobukazu Yoshioka, Eduardo B. Fernández, Jan Jürjens: Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09). OOPSLA Companion 2009: 713-714
- [c77]
- [p1]Jan Jürjens: Security and Dependability Engineering. Security and Dependability for Ambient Intelligence 2009: 21-36
- [r1]Jan Jürjens, Eduardo B. Fernández: Secure Database Development. Encyclopedia of Database Systems 2009: 2528-2534
- 2008
- [j5]Jan Jürjens: Model-based Security Testing Using UMLsec: A Case Study. Electr. Notes Theor. Comput. Sci. 220(1): 93-104 (2008)
- [c76]Jan Jürjens, Yijun Yu, Andreas Bauer: Tools for Traceable Security Verification. BCS Int. Acad. Conf. 2008: 367-390
- [c75]Daniel Ratiu, Martin Feilkas, Jan Jürjens: Extracting Domain Ontologies from Domain Specific APIs. CSMR 2008: 203-212
- [c74]Eduardo B. Fernández, Jan Jürjens, Nobukazu Yoshioka, Hironori Washizaki: Incorporating Database Systems into a Secure Software Development Methodology. DEXA Workshops 2008: 310-314
- [c73]Jan Jürjens, Jörg Schreck, Yijun Yu: Automated Analysis of Permission-Based Security Using UMLsec. FASE 2008: 292-295
- [c72]
- [c71]Jan Jürjens, Jörg Schreck, Peter Bartmann: Model-based security analysis for mobile communications. ICSE 2008: 683-692
- [c70]Sebastian Höhn, Jan Jürjens: Rubacon: automated support for model-based compliance engineering. ICSE 2008: 875-878
- [c69]Yijun Yu, Jan Jürjens, John Mylopoulos: Traceability for the maintenance of secure software. ICSM 2008: 297-306
- [c68]Daniel Ratiu, Jan Jürjens: Evaluating the Reference and Representation of Domain Concepts in APIs. ICPC 2008: 242-247
- [c67]Yijun Yu, Jan Jürjens, Jörg Schreck: Tools for Traceability in Secure Software Development. ASE 2008: 503-504
- [c66]Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson: First International Modeling Security Workshop. MoDELS Workshops 2008: 181-184
- [c65]Jan Jürjens, Daniel Reiß, David Trachtenherz: Model-Based Quality Assurance of Automotive Software. MoDELS 2008: 858-873
- [c64]Jan Jürjens: Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. RV 2008: 36-50
- 2007
- [j4]Jan Jürjens, Pasha Shabalin: Tools for secure systems development with UML. STTT 9(5-6): 527-544 (2007)
- [c63]
- [c62]Jan Jürjens: Developing Secure Embedded Systems: Pitfalls and How to Avoid Them. ICSE Companion 2007: 182-183
- [c61]Bastian Best, Jan Jürjens, Bashar Nuseibeh: Model-Based Security Engineering of Distributed Information Systems Using UMLsec. ICSE 2007: 581-590
- [c60]
- [c59]Dorina C. Petriu, C. Murray Woodside, Dorin Bogdan Petriu, Jing Xu, Toqeer Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens: Performance analysis of security aspects in UML models. WOSP 2007: 91-102
- 2006
- [j3]Jan Jürjens: Foundations for Designing Secure Architectures. Electr. Notes Theor. Comput. Sci. 142: 31-46 (2006)
- [c58]Haralambos Mouratidis, Jan Jürjens, Jorge Fox: Towards a Comprehensive Framework for Secure Systems Development. CAiSE 2006: 48-62
- [c57]
- [c56]
- [c55]
- [c54]Jan Jürjens: Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. ASE 2006: 167-176
- [c53]Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens: Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report. MoDELS Workshops 2006: 27-31
- [c52]
- 2005
- [b1]Jan Jürjens: Secure systems development with UML. Springer 2005, ISBN 978-3-540-00701-2, pp. I-XIX, 1-309
- [c51]Jan Jürjens: Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers. ACSAC 2005: 138-149
- [c50]Jewgenij Botaschanjan, Jan Jürjens: MoDeII: Modeling and Analyzing Time-Constraints. ECBS 2005: 299-306
- [c49]
- [c48]Stefan Wagner, Jan Jürjens: Model-Based Identification of Fault-Prone Components. EDCC 2005: 435-452
- [c47]Jan Jürjens, Pasha Shabalin: Tools for Secure Systems Development with UML: Security Analysis with ATPs. FASE 2005: 305-309
- [c46]Jan Jürjens: Model-Based Security Engineering with UML: Introducing Security Aspects. FMCO 2005: 64-87
- [c45]Jan Jürjens: Towards using game semantics for crypto protocol verification: Lorenzen games. GALOP 2005: 241-257
- [c44]Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens: Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. ICECCS 2005: 195-204
- [c43]Jan Jürjens, Markus Lehrhuber, Guido Wimmel: Model-Based Design and Analysis of Permission-Based Security. ICECCS 2005: 224-233
- [c42]Jan Jürjens: Sound methods and effective tools for model-based security engineering with UML. ICSE 2005: 322-331
- [c41]Jan Jürjens: Understanding Security Goals Provided by Crypto-Protocol Implementations. ICSM 2005: 643-646
- [c40]
- [c39]Jan Jürjens: Verification of low-level crypto-protocol implementations using automated theorem proving. MEMOCODE 2005: 89-98
- [c38]Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger: Comparing Bug Finding Tools with Reviews and Tests. TestCom 2005: 40-55
- [c37]Jan Jürjens, Siv Hilde Houmb: Dynamic Secure Aspect Modeling with UML: From Models to Code. MoDELS 2005: 142-155
- 2004
- [j2]
- [c36]Jan Jürjens, Pasha Shabalin: A Foundation for Tool-Supported Critical Systems Development with UML. ECBS 2004: 398-405
- [c35]
- [c34]Jan Jürjens: Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol. HASE 2004: 231-240
- [c33]Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel: Sound development of secure service-based systems. ICSOC 2004: 115-124
- [c32]Jan Jürjens, Siv Hilde Houmb: Risk-Driven Development Of Security-Critical Systems Using UMLsec. IFIP Congress Tutorials 2004: 21-54
- [c31]Johannes Grünbauer, Jan Jürjens, Guido Wimmel: Modelling Secure IT Systems - A Survey. Modellierung 2004: 307-308
- [c30]Robert Schmidt, Jan Jürjens: Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem. Modellierung 2004: 309-310
- [c29]Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer: Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). UML Satellite Activities 2004: 76-84
- [c28]Jan Jürjens, Pasha Shabalin: Tools for Critical Systems Development with UML (Tool Demo). UML Satellite Activities 2004: 250-253
- [c27]Jan Jürjens, Pasha Shabalin: Automated Verification of UMLsec Models for Security Requirements. UML 2004: 365-379
- 2003
- [j1]Jan Jürjens: Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe. Softwaretechnik-Trends 23(3) (2003)
- [c26]Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn: AutoFOCUS and the MoDe Tool. ACSD 2003: 249-250
- [c25]Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu: Security-Critical System Development with Extended Use Cases. APSEC 2003: 478-487
- [c24]Siv Hilde Houmb, Jan Jürjens: Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. APSEC 2003: 488-
- [c23]Jan Jürjens: Algebraic State Machines: Concepts and Applications to Security. Ershov Memorial Conference 2003: 338-343
- [c22]Jan Jürjens, Siv Hilde Houmb: Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. LADC 2003: 364-365
- [c21]Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel: Modelling and Verification of Layered Security Protocols: A Bank Application. SAFECOMP 2003: 116-129
- [c20]Jan Jürjens, Johannes Grünbauer: Critical Systems Development with UML: Overview with Automatic Case Study. SNPD 2003: 512-517
- [c19]
- 2002
- [c18]
- [c17]Guido Wimmel, Jan Jürjens: Specification-Based Test Generation for Security-Critical Systems Using Mutations. ICFEM 2002: 471-482
- [c16]
- [c15]
- [c14]
- 2001
- [c13]
- [c12]Jan Jürjens, Guido Wimmel: Specification-Based Testing of Firewalls. Ershov Memorial Conference 2001: 308-316
- [c11]
- [c10]
- [c9]Jan Jürjens, Guido Wimmel: Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. I3E 2001: 489-506
- [c8]Jan Jürjens, Guido Wimmel: Formally Testing Fail-Safety of Electronic Purse Protocols. ASE 2001: 408-411
- [c7]
- [c6]
- [c5]
- [c4]Jan Jürjens: Encapsulating Rules of Prudent Security Engineering. Security Protocols Workshop 2001: 95-101
- [c3]Jan Jürjens: Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion). Security Protocols Workshop 2001: 102-106
- [c2]Martín Abadi, Jan Jürjens: Formal Eavesdropping and Its Computational Interpretation. TACS 2001: 82-94
- 2000
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-16 21:41 CEST by the dblp team