| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kurt Schneider, Eric Knauss, Siv Hilde Houmb, Shareeful Islam, Jan Jürjens |
Enhancing security requirements engineering by organizational learning.  |
Requir. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Wessel, Thorsten Humberg, Sven Wenzel, Jan Jürjens |
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. |
Software Engineering (Workshops) |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martín Ochoa, Jan Jürjens, Daniel Warzecha |
A Sound Decision Procedure for the Compositionality of Secrecy. |
ESSoS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shareeful Islam, Haralambos Mouratidis, Jan Jürjens |
A framework to support alignment of secure software engineering with legal regulations. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Jürjens, Yijun Yu |
Run-Time Security Traceability for Evolving Systems. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens |
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Sheikh Sadi, Md. Mizanur Rahman Khan, Md. Nazim Uddin, Jan Jürjens |
An Efficient Approach towards Mitigating Soft Errors Risks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass S. Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, Sven Wenzel |
Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). |
ServiceWave |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Schmidt, Jan Jürjens |
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec. |
CAiSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt |
Incremental Security Verification for Evolving UMLsec models. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt |
Systematic Development of UMLsec Design Models Based on Security Requirements. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann |
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
WOSIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eric Knauss, Siv Hilde Houmb, Kurt Schneider, Shareeful Islam, Jan Jürjens |
Supporting Requirements Engineers in Recognising Security Issues. |
REFSQ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Automated security hardening for evolving UML models. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Seok-Won Lee, Mattia Monga, Jan Jürjens |
Seventh international workshop on software engineering for secure systems: (SESS 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Haralambos Mouratidis, Jan Jürjens |
From goal-driven security requirements engineering to secure design. |
Int. J. Intell. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Jürjens |
Runtime verification of cryptographic protocols. |
Computers & Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote). |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Blanco, Eduardo Fernández-Medina, Juan Trujillo, Jan Jürjens |
Towards the Secure Modelling of OLAP Users' Behaviour. |
Secure Data Management |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seok-Won Lee, Mattia Monga, Jan Jürjens |
The 6th International Workshop on Software Engineering for Secure Systems (SESS'10). |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
software engineering, information security, secure systems |
| 1 | Alfredo Pironti, Jan Jürjens |
Formally-Based Black-Box Monitoring of Security Protocols. |
ESSoS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
A domain-specific language for cryptographic protocols based on streams. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Fernández-Medina, Jan Jürjens, Juan Trujillo, Sushil Jajodia |
Model-Driven Development for secure information systems. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Eduardo B. Fernández |
Secure Database Development. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Security and Dependability Engineering. |
Security and Dependability for Ambient Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haralambos Mouratidis, Ali Sunyaev, Jan Jürjens |
Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Tjark Weber |
Finite Models in FOL-Based Crypto-Protocol Verification. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ratiu, Radu Marinescu, Jan Jürjens |
The Logical Modularity of Programs. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lloyd, Jan Jürjens |
Security Analysis of a Biometric Authentication System Using UMLsec and JML. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
UMLsec, Security analysis, biometric authentication, JML |
| 1 | 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 |
DBLP DOI BibTeX RDF |
design patterns, software quality, software patterns, security patterns |
| 1 | Jan Jürjens |
Model-based Security Testing Using UMLsec: A Case Study. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Yijun Yu, Andreas Bauer 0002 |
Tools for Traceable Security Verification. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yijun Yu, Jan Jürjens, Jörg Schreck |
Tools for Traceability in Secure Software Development. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Jörg Schreck, Yijun Yu |
Automated Analysis of Permission-Based Security Using UMLsec. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ratiu, Jan Jürjens |
Evaluating the Reference and Representation of Domain Concepts in APIs. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson |
First International Modeling Security Workshop. |
MoDELS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Daniel Reiß, David Trachtenherz |
Model-Based Quality Assurance of Automotive Software. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijun Yu, Jan Jürjens, John Mylopoulos |
Traceability for the maintenance of secure software. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan Jürjens |
Security protocols, properties, and their monitoring. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata |
| 1 | Jan Jürjens, Jörg Schreck, Peter Bartmann |
Model-based security analysis for mobile communications. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
mobile telecommunication systems, umlsec, uml, model-based software engineering |
| 1 | Sebastian Höhn, Jan Jürjens |
Rubacon: automated support for model-based compliance engineering. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
user permissions, access control, security analysis |
| 1 | Daniel Ratiu, Martin Feilkas, Jan Jürjens |
Extracting Domain Ontologies from Domain Specific APIs. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo B. Fernández, Jan Jürjens, Nobukazu Yoshioka, Hironori Washizaki |
Incorporating Database Systems into a Secure Software Development Methodology. |
DEXA Workshops |
2008 |
DBLP DOI BibTeX RDF |
security, database security, security patterns |
| 1 | Jan Jürjens, Pasha Shabalin |
Tools for secure systems development with UML. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Security, UML, Formal verification, Tool-support, Model-based development |
| 1 | Jan Jürjens, Yijun Yu |
Tools for model-based security engineering: models vs. code. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
security hardening, verification framework, security, UML, refactoring, code analysis, model-based software engineering |
| 1 | Bastian Best, Jan Jürjens, Bashar Nuseibeh |
Model-Based Security Engineering of Distributed Information Systems Using UMLsec. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
security, UML, model transformations, software performance engineering, aspect-oriented modeling |
| 1 | Daniel Ratiu, Jan Jürjens |
The Reality of Libraries. |
CSMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Foundations for Designing Secure Architectures. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Haralambos Mouratidis, Jan Jürjens, Jorge Fox |
Towards a Comprehensive Framework for Secure Systems Development. |
CAiSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Fox, Jan Jürjens |
A Framework for Analyzing Composition of Security Aspects. |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-Based Security Engineering for Real. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-Based Security Engineering. |
SECRYPT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jan Jürjens, Jorge Fox |
Tools for model-based security engineering. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
verification framework, security, UML, code analysis, model-based software engineering |
| 1 | Jan Jürjens |
Secure systems development with UML. |
|
2005 |
DOI RDF |
|
| 1 | Jan Jürjens |
Verification of low-level crypto-protocol implementations using automated theorem proving. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Siv Hilde Houmb |
Dynamic Secure Aspect Modeling with UML: From Models to Code. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Fox, Jan Jürjens |
Introducing Security Aspects with Model Transformations. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jewgenij Botaschanjan, Jan Jürjens |
MoDeII: Modeling and Analyzing Time-Constraints. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Mark Yampolskiy |
Code security analysis with assertions. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs |
| 1 | Jan Jürjens |
Towards using game semantics for crypto protocol verification: Lorenzen games. |
GALOP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jan Jürjens |
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger |
Comparing Bug Finding Tools with Reviews and Tests. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-Based Security Engineering with UML: Introducing Security Aspects. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Pasha Shabalin |
Tools for Secure Systems Development with UML: Security Analysis with ATPs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Jan Jürjens |
Model-Based Identification of Fault-Prone Components. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Understanding Security Goals Provided by Crypto-Protocol Implementations. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Markus Lehrhuber, Guido Wimmel |
Model-Based Design and Analysis of Permission-Based Security. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Modeling (AOM) and Risk-Driven Development (RDD), Bayesian Belief Networks (BBN), Trade-off analysis |
| 1 | Jan Jürjens |
Sound methods and effective tools for model-based security engineering with UML. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
verification biometric authentication, verification framework, security, UML, unified modeling language, cryptographic protocol |
| 1 | Jan Jürjens |
Componentware for Critical Systems. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Pasha Shabalin |
Tools for Critical Systems Development with UML (Tool Demo). |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Pasha Shabalin |
Automated Verification of UMLsec Models for Security Requirements. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Pasha Shabalin |
A Foundation for Tool-Supported Critical Systems Development with UML. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems |
| 1 | Jan Jürjens |
Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification |
| 1 | Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel |
Sound development of secure service-based systems. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
security, UML, automotive, model-based software engineering, service-based systems, autofocus |
| 1 | Jan Jürjens |
Model-Based Security Engineering with UML. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Siv Hilde Houmb |
Risk-Driven Development Of Security-Critical Systems Using UMLsec. |
IFIP Congress Tutorials |
2004 |
DBLP BibTeX RDF |
|
| 1 | Robert Schmidt, Jan Jürjens |
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem. |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Johannes Grünbauer, Jan Jürjens, Guido Wimmel |
Modelling Secure IT Systems - A Survey. |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Siv Hilde Houmb, Jan Jürjens |
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu |
Security-Critical System Development with Extended Use Cases. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Siv Hilde Houmb |
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Algebraic State Machines: Concepts and Applications to Security. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn |
AutoFOCUS and the MoDe Tool. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Developing Safety-Critical Systems with UML. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Johannes Grünbauer |
Critical Systems Development with UML: Overview with Automatic Case Study. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")