Secure Information Flow for Concurrent Processes. - Jan Jürjens (CONCUR, 2000)

Abstracting from Failure Probabilities. - Jan Jürjens (ACSD, 2001)

Specification-Based Testing of Firewalls. - Jan Jürjens; Guido Wimmel (Ershov Memorial Conference, 2001)

Towards Development of Secure Systems Using UMLsec. - Jan Jürjens (FASE, 2001)

Secrecy-Preserving Refinement. - Jan Jürjens (FME, 2001)

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. - Jan Jürjens; Guido Wimmel (I3E, 2001)

Formally Testing Fail-Safety of Electronic Purse Protocols. - Jan Jürjens; Guido Wimmel (ASE, 2001)

Composability of Secrecy. - Jan Jürjens (MMM-ACNS, 2001)

Secure Java Development with UML. - Jan Jürjens (Network Security, 2001)

Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC. - Jan Jürjens (SEC, 2001)

Encapsulating Rules of Prudent Security Engineering. - Jan Jürjens (Security Protocols Workshop, 2001)

Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion). - Jan Jürjens (Security Protocols Workshop, 2001)

Formal Eavesdropping and Its Computational Interpretation. - Martín Abadi; Jan Jürjens (TACS, 2001)

Developing Secure Systems with UMLsec - From Business Processes to Implementation. - Jan Jürjens (VIS, 2001)

Formal Semantics for Interacting UML subsystems. - Jan Jürjens (FMOODS, 2002)

Specification-Based Test Generation for Security-Critical Systems Using Mutations. - Guido Wimmel; Jan Jürjens (ICFEM, 2002)

A UML statecharts semantics with message-passing. - Jan Jürjens (SAC, 2002)

Using UMLsec and goal trees for secure systems development. - Jan Jürjens (SAC, 2002)

UMLsec: Extending UML for Secure Systems Development. - Jan Jürjens (UML, 2002)

Games In The Semantics Of Programming Languages - An Elementary Introduction. - Jan Jürjens (Synth., 2002)

Principles for secure system design. - Jan Jürjens (2002)

AutoFOCUS and the MoDe Tool. - Jan Romberg; Jan Jürjens; Guido Wimmel; Oscar Slotosch; Gabor Hahn (ACSD, 2003)

Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. - Siv Hilde Houmb; Jan Jürjens (APSEC, 2003)

Security-Critical System Development with Extended Use Cases. - Gerhard Popp; Jan Jürjens; Guido Wimmel; Ruth Breu (APSEC, 2003)

Algebraic State Machines: Concepts and Applications to Security. - Jan Jürjens (Ershov Memorial Conference, 2003)

Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. - Jan Jürjens; Siv Hilde Houmb (LADC, 2003)

Modelling and Verification of Layered Security Protocols: A Bank Application. - Johannes Grünbauer; Helia Hollmann; Jan Jürjens; Guido Wimmel (SAFECOMP, 2003)

Critical Systems Development with UML: Overview with Automatic Case Study. - Jan Jürjens; Johannes Grünbauer (SNPD, 2003)

Automated Checking of SAP Security Permisisons. - Sebastian Höhn; Jan Jürjens (IICIS, 2003)

Developing Safety-Critical Systems with UML. - Jan Jürjens (UML, 2003)

Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe. - Jan Jürjens (Softwaretechnik-Trends, 2003)

A Foundation for Tool-Supported Critical Systems Development with UML. - Jan Jürjens; Pasha Shabalin (ECBS, 2004)

Model-Based Security Engineering with UML. - Jan Jürjens (FOSAD, 2004)

Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol. - Jan Jürjens (HASE, 2004)

Sound development of secure service-based systems. - Martin R. Deubler; Johannes Grünbauer; Jan Jürjens; Guido Wimmel (ICSOC, 2004)

Risk-Driven Development Of Security-Critical Systems Using UMLsec. - Jan Jürjens; Siv Hilde Houmb (IFIP Congress Tutorials, 2004)

Modelling Secure IT Systems - A Survey. - Johannes Grünbauer; Jan Jürjens; Guido Wimmel (Modellierung, 2004)

Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem. - Robert Schmidt; Jan Jürjens (Modellierung, 2004)

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). - Jan Jürjens; Eduardo B. Fernández; Robert B. France; Bernhard Rumpe; Constance L. Heitmeyer (UML Satellite Activities, 2004)

Automated Verification of UMLsec Models for Security Requirements. - Jan Jürjens; Pasha Shabalin (UML, 2004)

Tools for Critical Systems Development with UML (Tool Demo). - Jan Jürjens; Pasha Shabalin (UML Satellite Activities, 2004)

Foundations for Designing Secure Architectures. - Jan Jürjens (VODCA@FOSAD, 2004)

Componentware for Critical Systems. - Jan Jürjens (J. Object Technol., 2004)

Secure systems development with UML. - Jan Jürjens (Springer, 2005)

Tool Support for Model-Driven Development of Security-Critical Systems with UML. - Jan Jürjens; Pasha Shabalin (Model-Driven Software Development, 2005)

Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers. - Jan Jürjens (ACSAC, 2005)

MoDeII: Modeling and Analyzing Time-Constraints. - Jewgenij Botaschanjan; Jan Jürjens (ECBS, 2005)

Introducing Security Aspects with Model Transformations. - Jorge Fox; Jan Jürjens (ECBS, 2005)

Model-Based Identification of Fault-Prone Components. - Stefan Wagner 001; Jan Jürjens (EDCC, 2005)

Tools for Secure Systems Development with UML: Security Analysis with ATPs. - Jan Jürjens; Pasha Shabalin (FASE, 2005)

Model-Based Security Engineering with UML: Introducing Security Aspects. - Jan Jürjens (FMCO, 2005)

Towards using game semantics for crypto protocol verification: Lorenzen games. - Jan Jürjens (GALOP@ETAPS, 2005)

Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. - Siv Hilde Houmb; Geri Georg; Robert B. France; James M. Bieman; Jan Jürjens (ICECCS, 2005)

Model-Based Design and Analysis of Permission-Based Security. - Jan Jürjens; Markus Lehrhuber; Guido Wimmel (ICECCS, 2005)

Sound methods and effective tools for model-based security engineering with UML. - Jan Jürjens (ICSE, 2005)

Understanding Security Goals Provided by Crypto-Protocol Implementations. - Jan Jürjens (ICSM, 2005)

Code security analysis with assertions. - Jan Jürjens; Mark Yampolskiy (ASE, 2005)

Verification of low-level crypto-protocol implementations using automated theorem proving. - Jan Jürjens (MEMOCODE, 2005)

Comparing Bug Finding Tools with Reviews and Tests. - Stefan Wagner 001; Jan Jürjens; Claudia Koller; Peter Trischberger (TestCom, 2005)

Dynamic Secure Aspect Modeling with UML: From Models to Code. - Jan Jürjens; Siv Hilde Houmb (MoDELS, 2005)

Component-Based Development of Dependable Systems with UML. - Jan Jürjens; Stefan Wagner 001 (Component-Based Software Development for Embedded Systems, 2005)

Towards a Comprehensive Framework for Secure Systems Development. - Haralambos Mouratidis; Jan Jürjens; Jorge Fox (CAiSE, 2006)

A Framework for Analyzing Composition of Security Aspects. - Jorge Fox; Jan Jürjens (MMOSS, 2006)

Model-Based Security Engineering for Real. - Jan Jürjens (FM, 2006)

Tools for model-based security engineering. - Jan Jürjens; Jorge Fox (ICSE, 2006)

Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. - Jan Jürjens (ASE, 2006)

Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report. - Geri Georg; Siv Hilde Houmb; Robert B. France; Steffen Zschaler; Dorina C. Petriu; Jan Jürjens (MoDELS (Workshops), 2006)

Model-Based Security Engineering. - Jan Jürjens (SECRYPT, 2006)

The Reality of Libraries. - Daniel Ratiu; Jan Jürjens (CSMR, 2007)

Model-Based Security Engineering of Distributed Information Systems Using UMLsec. - Bastian Best; Jan Jürjens; Bashar Nuseibeh (ICSE, 2007)

Developing Secure Embedded Systems: Pitfalls and How to Avoid Them. - Jan Jürjens (ICSE Companion, 2007)

Tools for model-based security engineering: models vs. code. - Jan Jürjens; Yijun Yu (ASE, 2007)

Performance analysis of security aspects in UML models. - Dorina C. Petriu; C. Murray Woodside; Dorin Bogdan Petriu; Jing Xu 024; Toqeer Israr; Geri Georg; Robert B. France; James M. Bieman; Siv Hilde Houmb; Jan Jürjens (WOSP, 2007)

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. - Jan Jürjens (AVoCS, 2007)

Tools for secure systems development with UML. - Jan Jürjens; Pasha Shabalin (Int. J. Softw. Tools Technol. Transf., 2007)

Tools for Traceable Security Verification. - Jan Jürjens; Yijun Yu; Andreas Bauer 002 (BCS Int. Acad. Conf., 2008)

Extracting Domain Ontologies from Domain Specific APIs. - Daniel Ratiu; Martin Feilkas; Jan Jürjens (CSMR, 2008)

Incorporating Database Systems into a Secure Software Development Methodology. - Eduardo B. Fernández; Jan Jürjens; Nobukazu Yoshioka; Hironori Washizaki (DEXA Workshops, 2008)

Automated Analysis of Permission-Based Security Using UMLsec. - Jan Jürjens; Jörg Schreck; Yijun Yu (FASE, 2008)

Security protocols, properties, and their monitoring. - Andreas Bauer 002; Jan Jürjens (SESS, 2008)

Rubacon: automated support for model-based compliance engineering. - Sebastian Höhn; Jan Jürjens (ICSE, 2008)

Model-based security analysis for mobile communications. - Jan Jürjens; Jörg Schreck; Peter Bartmann (ICSE, 2008)

Traceability for the maintenance of secure software. - Yijun Yu; Jan Jürjens; John Mylopoulos (ICSM, 2008)

Evaluating the Reference and Representation of Domain Concepts in APIs. - Daniel Ratiu; Jan Jürjens (ICPC, 2008)

Tools for Traceability in Secure Software Development. - Yijun Yu; Jan Jürjens; Jörg Schreck (ASE, 2008)

Incorporating Security Requirements from Legal Regulations into UMLsec model. - Shareeful Islam; Jan Jürjens (MODSEC@MoDELS, 2008)

Model-Based Quality Assurance of Automotive Software. - Jan Jürjens; Daniel Reiß; David Trachtenherz (MoDELS, 2008)

IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements. - Stefan Taubenberger; Jan Jürjens (MODSEC@MoDELS, 2008)

First International Modeling Security Workshop. - Jon Whittle 001; Jan Jürjens; Bashar Nuseibeh; Glen Dobson (MoDELS (Workshops), 2008)

Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. - Jan Jürjens (RV, 2008)

Model-based Security Testing Using UMLsec: A Case Study. - Jan Jürjens (MBT@ETAPS, 2008)

Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects. - Haralambos Mouratidis; Ali Sunyaev; Jan Jürjens (CAiSE, 2009)

Finite Models in FOL-Based Crypto-Protocol Verification. - Jan Jürjens; Tjark Weber (ARSPA-WITS, 2009)

Security Analysis of a Biometric Authentication System Using UMLsec and JML. - John Lloyd; Jan Jürjens (MoDELS, 2009)

Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09). - Hironori Washizaki; Nobukazu Yoshioka; Eduardo B. Fernández; Jan Jürjens (OOPSLA Companion, 2009)

The Logical Modularity of Programs. - Daniel Ratiu; Radu Marinescu 001; Jan Jürjens (WCRE, 2009)

Model-Driven Development for secure information systems. - Eduardo Fernández-Medina; Jan Jürjens; Juan Trujillo 001; Sushil Jajodia (Inf. Softw. Technol., 2009)

A domain-specific language for cryptographic protocols based on streams. - Jan Jürjens (J. Log. Algebraic Methods Program., 2009)

Performance analysis of security aspects by weaving scenarios extracted from UML models. - C. Murray Woodside; Dorina C. Petriu; Dorin Bogdan Petriu; Jing Xu 024; Tauseef A. Israr; Geri Georg; Robert B. France; James M. Bieman; Siv Hilde Houmb; Jan Jürjens (J. Syst. Softw., 2009)

Secure Database Development. - Jan Jürjens; Eduardo B. Fernández (Encyclopedia of Database Systems, 2009)

Security and Dependability Engineering. - Jan Jürjens (Security and Dependability for Ambient Intelligence, 2009)

Formally-Based Black-Box Monitoring of Security Protocols. - Alfredo Pironti 001; Jan Jürjens (ESSoS, 2010)

The 6th International Workshop on Software Engineering for Secure Systems (SESS'10). - Seok-Won Lee; Mattia Monga; Jan Jürjens (ICSE (2), 2010)

Security and Compliance in Clouds. - Kristian Beckers; Jan Jürjens (ISSE, 2010)

Tool support for code generation from a UMLsec property. - Lionel Montrieux; Jan Jürjens; Charles B. Haley; Yijun Yu; Pierre-Yves Schobbens; Hubert Toussaint (ASE, 2010)

Towards the Secure Modelling of OLAP Users' Behaviour. - Carlos Blanco 001; Eduardo Fernández-Medina; Juan Trujillo 001; Jan Jürjens (Secure Data Management, 2010)

Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote). - Jan Jürjens (VL/HCC, 2010)

Runtime verification of cryptographic protocols. - Andreas Bauer 002; Jan Jürjens (Comput. Secur., 2010)

Component criticality analysis to minimize soft errors risk. - Muhammad Sheikh Sadi; D. G. Myers; Cesar Ortega-Sanchez; Jan Jürjens (Comput. Syst. Sci. Eng., 2010)

From goal-driven security requirements engineering to secure design. - Haralambos Mouratidis; Jan Jürjens (Int. J. Intell. Syst., 2010)

Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec. - Siv Hilde Houmb; Shareeful Islam; Eric Knauss; Jan Jürjens; Kurt Schneider (Requir. Eng., 2010)

Model-Based Security Verification and Testing for Smart-cards. - Elizabeta Fourneret; Martín Ochoa; Fabrice Bouquet; Julien Botella; Jan Jürjens; Parvaneh Yousefi (ARES, 2011)

Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec. - Holger Schmidt 001; Jan Jürjens (CAiSE, 2011)

Extracting and verifying cryptographic models from C protocol code by symbolic execution. - Mihhail Aizatulin; Andrew D. Gordon 001; Jan Jürjens (CCS, 2011)

Incremental Security Verification for Evolving UMLsec models. - Jan Jürjens; Loïc Marchal; Martín Ochoa; Holger Schmidt 001 (ECMFA, 2011)

Systematic Development of UMLsec Design Models Based on Security Requirements. - Denis Hatebur; Maritta Heisel; Jan Jürjens; Holger Schmidt 001 (FASE, 2011)

Automated security hardening for evolving UML models. - Jan Jürjens (ICSE, 2011)

Seventh international workshop on software engineering for secure systems: (SESS 2011). - Seok-Won Lee; Mattia Monga; Jan Jürjens (ICSE, 2011)

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. - Mihhail Aizatulin; François Dupressoir; Andrew D. Gordon 001; Jan Jürjens (Formal Aspects in Security and Trust, 2011)

Supporting Requirements Engineers in Recognising Security Issues. - Eric Knauss; Siv Hilde Houmb; Kurt Schneider; Shareeful Islam; Jan Jürjens (REFSQ, 2011)

Problem Analysis of Traditional IT-Security Risk Assessment Methods - An Experience Report from the Insurance and Auditing Domain. - Stefan Taubenberger; Jan Jürjens; Yijun Yu; Bashar Nuseibeh (SEC, 2011)

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). - Fabio Massacci; Fabrice Bouquet; Elizabeta Fourneret; Jan Jürjens; Mass Soldal Lund; Sébastien Madelénat; Jan Tobias Mühlberg; Federica Paci; Stéphane Paul; Frank Piessens; Bjørnar Solhaug; Sven Wenzel (ServiceWave, 2011)

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. - Jan Jürjens; Martín Ochoa; Holger Schmidt 001; Loïc Marchal; Siv Hilde Houmb; Shareeful Islam (SFM, 2011)

Run-Time Security Traceability for Evolving Systems. - Andreas Bauer 002; Jan Jürjens; Yijun Yu (Comput. J., 2011)

An Efficient Approach towards Mitigating Soft Errors Risks - Muhammad Sheikh Sadi; Md. Mizanur Rahman Khan; Md. Nazim Uddin; Jan Jürjens (CoRR, 2011)

A framework to support alignment of secure software engineering with legal regulations. - Shareeful Islam; Haralambos Mouratidis; Jan Jürjens (Softw. Syst. Model., 2011)

Computational verification of C protocol implementations by symbolic execution. - Mihhail Aizatulin; Andrew D. Gordon 001; Jan Jürjens (CCS, 2012)

Securing Processes for Outsourcing into the Cloud. - Sven Wenzel; Christian Wessel; Thorsten Humberg; Jan Jürjens (CLOSER, 2012)

A Sound Decision Procedure for the Compositionality of Secrecy. - Martín Ochoa; Jan Jürjens; Daniel Warzecha (ESSoS, 2012)

Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. - Thomas Ruhroth; Jan Jürjens (HASE, 2012)

Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. - Christian Wessel; Thorsten Humberg; Sven Wenzel; Jan Jürjens (Software Engineering (Workshops), 2012)

Non-interference on UML State-Charts. - Martín Ochoa; Jan Jürjens; Jorge Cuéllar (TOOLS (50), 2012)

Security in Information Systems: New Challenges and Opportunities. - David Garcia Rosado; Luis Enrique Sánchez; Eduardo Fernández-Medina; Jan Jürjens (J. Univers. Comput. Sci., 2012)

Enhancing security requirements engineering by organizational learning. - Kurt Schneider; Eric Knauss; Siv Hilde Houmb; Shareeful Islam; Jan Jürjens (Requir. Eng., 2012)

Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes. - Thorsten Humberg; Christian Wessel; Daniel Poggenpohl; Sven Wenzel; Thomas Ruhroth; Jan Jürjens (CLOSER, 2013)

Using Ontologies to Analyze Compliance Requirements of Cloud-Based Processes. - Thorsten Humberg; Christian Wessel; Daniel Poggenpohl; Sven Wenzel; Thomas Ruhroth; Jan Jürjens (CLOSER (Selected Papers), 2013)

Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models. - Jens Bürger 001; Jan Jürjens; Thomas Ruhroth; Stefan Gärtner 001; Kurt Schneider (FOSAD, 2013)

Resolving vulnerability identification errors using security requirements on business process models. - Stefan Taubenberger; Jan Jürjens; Yijun Yu; Bashar Nuseibeh (Inf. Manag. Comput. Secur., 2013)

Towards Adaptation and Evolution of Domain-Specific Knowledge for Maintaining Secure Systems. - Thomas Ruhroth; Stefan Gärtner 001; Jens Bürger 001; Jan Jürjens; Kurt Schneider (PROFES, 2014)

Maintaining requirements for long-living software systems by incorporating security knowledge. - Stefan Gärtner 001; Thomas Ruhroth; Jens Bürger 001; Kurt Schneider; Jan Jürjens (RE, 2014)

Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen. - Stefan Gärtner 001; Jens Bürger 001; Kurt Schneider; Jan Jürjens (Software Engineering (Workshops), 2014)

The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution. - Jan Jürjens; Kurt Schneider (Software Engineering, 2014)

Security in information systems: Advances and new challenges. - Carlos Blanco 001; David Garcia Rosado; Luis Enrique Sánchez; Jan Jürjens (Comput. Stand. Interfaces, 2014)

Specifying model changes with UMLchange to support security verification of potential evolution. - Sven Wenzel; Daniel Poggenpohl; Jan Jürjens; Martín Ochoa (Comput. Stand. Interfaces, 2014)

Evolution of Security Engineering Artifacts: A State of the Art Survey. - Michael Felderer; Basel Katt; Philipp Kalb; Jan Jürjens; Martín Ochoa; Federica Paci; Le Minh Sang Tran; Thein Than Tun; Koen Yskout; Riccardo Scandariato; Frank Piessens; Dries Vanoverberghe; et al. (Int. J. Secur. Softw. Eng., 2014)

Guiding a general-purpose C verifier to prove cryptographic protocols. - François Dupressoir; Andrew D. Gordon 001; Jan Jürjens; David A. Naumann (J. Comput. Secur., 2014)

Versioning and Evolution Requirements for Model-Based System Development. - Thomas Ruhroth; Stefan Gärtner 001; Jens Bürger 001; Jan Jürjens; Kurt Schneider (Softwaretechnik-Trends, 2014)

Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds. - Amir Shayan Ahmadian; Fabian Coerschulte; Jan Jürjens (BMSD, 2015)

Preserving Validity of Batch-Job Nets under Change at Run-Time. - Chris Apfelbeck; Martin Fritz; Jan Jürjens; Johannes Zweihoff (COMPSAC, 2015)

Restoring Security of Long-Living Systems by Co-evolution. - Jens Bürger 001; Stefan Gärtner 001; Thomas Ruhroth; Johannes Zweihoff; Jan Jürjens; Kurt Schneider (COMPSAC, 2015)

Model-based Security Analysis and Applications to Security Economics. - Jan Jürjens; Amir Shayan Ahmadian (MODELSWARD, 2015)

Towards Maintaining Long-Living Information Systems by Incorporating Security Knowledge. - Stefan Gärtner 001; Thomas Ruhroth; Jens Bürger 001; Kurt Schneider; Jan Jürjens (Software Engineering & Management, 2015)

A Platform for Empirical Research on Information System Evolution. - Robert Heinrich; Stefan Gärtner 001; Tom-Michael Hesse; Thomas Ruhroth; Ralf H. Reussner; Kurt Schneider; Barbara Paech; Jan Jürjens (SEKE, 2015)

Special Issue on Secure Information Systems Engineering. - David Garcia Rosado; Nadira Lammari; Jan Jürjens (Comput. J., 2015)

The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution. - Robert Heinrich; Stefan Gärtner 001; Tom-Michael Hesse; Thomas Ruhroth; Ralf H. Reussner; Kurt Schneider; Barbara Paech; Jan Jürjens (Int. J. Softw. Eng. Knowl. Eng., 2015)

Restoring security of evolving software models using graph transformation. - Jens Bürger 001; Jan Jürjens; Sven Wenzel (Int. J. Softw. Tools Technol. Transf., 2015)

Supporting Model-Based Privacy Analysis by Exploiting Privacy Level Agreements. - Amir Shayan Ahmadian; Jan Jürjens (CloudCom, 2016)

STAGE: a software tool for automatic grading of testing exercises: case study paper. - Sebastian Pape 001; Julian Flake; Andreas Beckmann; Jan Jürjens (ICSE (Companion Volume), 2016)

Umlchange - specifying model changes to support security verification of potential evolution. - Sven Wenzel; Daniel Poggenpohl; Jan Jürjens; Martín Ochoa (Software Engineering, 2016)

Privacy Data Management and Awareness for Public Administrations: A Case Study from the Healthcare Domain. - Vasiliki Diamantopoulou; Konstantinos Angelopoulos; Julian Flake; Andrea Praitano; José Fran. Ruiz; Jan Jürjens; Michalis Pavlidis; Dimitri Bonutto; Andrès Castillo Sanz; Haralambos Mouratidis; Javier Garcia-Robles; Alberto Eugenio Tozzi (APF, 2017)

Model-Based Privacy Analysis in Industrial Ecosystems. - Amir Shayan Ahmadian; Daniel Strüber 001; Volker Riediger; Jan Jürjens (ECMFA, 2017)

From Secure Business Process Modeling to Design-Level Security Verification. - Qusai Ramadan; Mattia Salnitri; Daniel Strüber 001; Jan Jürjens; Paolo Giorgini (MoDELS, 2017)

Model-based privacy and security analysis with CARiSMA. - Amir Shayan Ahmadian; Sven Peldszus; Qusai Ramadan; Jan Jürjens (ESEC/SIGSOFT FSE, 2017)

Soft error tolerance using HVDQ (Horizontal-Vertical-Diagonal-Queen parity method). - Sakib Ahammed; Muhammad Sheikh Sadi; Md Shamimur Rahman; Jan Jürjens (Comput. Syst. Sci. Eng., 2017)

Information security management and the human aspect in organizations. - Harrison Stewart; Jan Jürjens (Inf. Comput. Secur., 2017)

Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models. - Qusai Ramadan; Daniel Strüber 001; Mattia Salnitri; Volker Riediger; Jan Jürjens (ECMFA, 2018)

Taming Multi-Variability of Software Product Line Transformations. - Daniel Strüber 001; Sven Peldszus; Jan Jürjens (FASE, 2018)

Model-based security analysis of feature-oriented software product lines. - Sven Peldszus; Daniel Strüber 001; Jan Jürjens (GPCE, 2018)

Model-based discrimination analysis: a position paper. - Qusai Ramadan; Amir Shayan Ahmadian; Daniel Strüber 001; Jan Jürjens; Steffen Staab (FairWare@ICSE, 2018)

Supporting privacy impact assessment by model-based privacy analysis. - Amir Shayan Ahmadian; Daniel Strüber 001; Volker Riediger; Jan Jürjens (SAC, 2018)

Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements. - Amir Shayan Ahmadian; Jan Jürjens; Daniel Strüber 001 (SAC, 2018)

Integrating BPMN- and UML-based Security Engineering via Model Transformation. - Qusai Ramadan; Mattia Salnitri; Daniel Strüber 001; Jan Jürjens; Paolo Giorgini (Software Engineering, 2018)

Data security and consumer trust in FinTech innovation in Germany. - Harrison Stewart; Jan Jürjens (Inf. Comput. Secur., 2018)

A framework for semi-automated co-evolution of security knowledge and system models. - Jens Bürger 001; Daniel Strüber 001; Stefan Gärtner 001; Thomas Ruhroth; Jan Jürjens; Kurt Schneider (J. Syst. Softw., 2018)

Wie transformieren Versicherungsunternehmen ihre IT-Infrastrukturen ins digitale Zeitalter? - Jan Jürjens; Stefan Ruf; Nils Herda (Wirtschaftsinformatik Manag., 2018)

Secure Database Development. - Jan Jürjens; Eduardo B. Fernández (Encyclopedia of Database Systems (2nd ed.), 2018)

Maintaining Security in Software Evolution. - Jan Jürjens; Kurt Schneider; Jens Bürger 001; Fabien Patrick Viertel; Daniel Strüber 001; Michael Goedicke; Ralf H. Reussner; Robert Heinrich; Emre Taspolatoglu; Marco Konersmann; Alexander Fay; Winfried Lamersdorf; et al. (Managed Software Evolution, 2019)

Ensuring Genuineness for Selectively Disclosed Confidential Data Using Distributed Ledgers: Applications to Rail Wayside Monitoring. - Matthias Lohr; Jonathan Hund; Jan Jürjens; Steffen Staab (Blockchain, 2019)

Privacy-enhanced system design modeling based on privacy features. - Amir Shayan Ahmadian; Daniel Strüber 001; Jan Jürjens (SAC, 2019)

A Framework for Semi-Automated Co-Evolution of Security Knowledge and System Models (Summary). - Jens Bürger 001; Daniel Strüber 001; Stefan Gärtner 001; Thomas Ruhroth; Jan Jürjens; Kurt Schneider (SE/SWM, 2019)

Explaining Algorithmic Decisions with respect to Fairness. - Qusai Ramadan; Amir Shayan Ahmadian; Jan Jürjens; Steffen Staab; Daniel Strüber 001 (SE/SWM, 2019)

Ontology Evolution in the Context of Model-Based Secure Software Engineering. - Jens Bürger 001; Timo Kehrer; Jan Jürjens (RCIS, 2020)

Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings. - Sven Peldszus; Katja Tuma; Daniel Strüber 001; Jan Jürjens; Riccardo Scandariato (SE, 2020)

Selecting a Secure Cloud Provider - An Empirical Study and Multi Criteria Approach. - Sebastian Pape 001; Federica Paci; Jan Jürjens; Fabio Massacci (Inf., 2020)

A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements. - Qusai Ramadan; Daniel Strüber 001; Mattia Salnitri; Jan Jürjens; Volker Riediger; Steffen Staab (Softw. Syst. Model., 2020)

The Architecture of VisiOn Privacy Platform. - Amir Shayan Ahmadian; Sven Peldszus; Jan Jürjens; Mattia Salnitri; Paolo Giorgini; Haralambos Mouratidis; José Fran. Ruiz (Visual Privacy Management, 2020)

Visual Privacy Management. - Sven Peldszus; Amir Shayan Ahmadian; Mattia Salnitri; Jan Jürjens; Michalis Pavlidis; Haralambos Mouratidis (Visual Privacy Management, 2020)

Why is Application Reliability an Issue for an Ultra-Reliable 6G Network? - Malla Reddy Sama; Riccardo Guerzoni; Wolfgang Kiess; Srisakul Thakolsri; Jan Jürjens (EuCNC/6G Summit, 2021)

Ontology-driven evolution of software security. - Sven Peldszus; Jens Bürger 001; Timo Kehrer; Jan Jürjens (Data Knowl. Eng., 2021)

Cost Fairness for Blockchain-Based Two-Party Exchange Protocols. - Matthias Lohr; Benjamin Schlosser; Jan Jürjens; Steffen Staab (IACR Cryptol. ePrint Arch., 2021)

Towards Tolerating Soft Errors for Embedded Systems. - Muhammad Sheikh Sadi; Waseem Ahmed; Jan Jürjens (SN Comput. Sci., 2021)

Towards Cognitive Ports of the Future. - Santiago Cáceres Elvira; Francisco Valverde; Carlos Enrique Palau; Andreu Belsa Pellicer; Christos A. Gizelis; Dimosthenes Krassas; Hanane Becha; Réda Khouani; Andreas Metzger; Nikos Tzagkarakis; Anthousa Karkoglou; Anastasios Nikolakopoulos; et al. (Technologies and Applications for Big Data Value, 2022)

Tokenomics: Decentralized Incentivization in the Context of Data Spaces. - Jan Jürjens; Simon Scheider; Furkan Yildirim; Michael Henke 004 (Designing Data Spaces, 2022)

Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain. - Matthias Lohr; Kenneth Skiba; Marco Konersmann; Jan Jürjens; Steffen Staab (ICBC, 2022)

Replication Package of "Evaluation Methods and Replicability of Software Architecture Research Objects". - Marco Konersmann; Angelika Kaplan; Thomas Kühn 001; Robert Heinrich; Anne Koziolek; Ralf H. Reussner; Jan Jürjens; Mahmood al-Doori; Nicolas Boltz; Marco Ehl; Dominik Fuchß; Katharina Großer; et al. (ICSA Companion, 2022)

Ontology-based Synchronization of Automated Production Systems and Their Simulation Models. - Kilian Vernickel; Mayank Singh 019; Marco Konersmann; Jan Jürjens (IEEM, 2022)

Redefining the Trust Model for the Internet of Everything in the 6G era. - Malla Reddy Sama; Wolfgang Kiess; Riccardo Guerzoni; Srisakul Thakolsri; Jan Jürjens (PIMRC, 2022)

Abbreviation-Expansion Pair Detection for Glossary Term Extraction. - Hussein Hasso; Katharina Großer; Iliass Aymaz; Hanna Geppert; Jan Jürjens (REFSQ, 2022)

Life cycle and metrics to measure the resilience of business processes by considering resources. - Joachim Stocker; Nils Herda; Jan Jürjens (Bus. Process. Manag. J., 2022)

COIN: Counterfactual Image Generation for VQA Interpretation. - Zeyd Boukhers; Timo Hartmann; Jan Jürjens (CoRR, 2022)

Ensemble and Multimodal Approach for Forecasting Cryptocurrency Price. - Zeyd Boukhers; Azeddine Bouabdallah; Matthias Lohr; Jan Jürjens (CoRR, 2022)

Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version). - Matthias Lohr; Kenneth Skiba; Marco Konersmann; Jan Jürjens; Steffen Staab (CoRR, 2022)

COIN: Counterfactual Image Generation for Visual Question Answering Interpretation. - Zeyd Boukhers; Timo Hartmann; Jan Jürjens (Sensors, 2022)

Requirements document relations. - Katharina Großer; Volker Riediger; Jan Jürjens (Softw. Syst. Model., 2022)

AEPForGTE/ILLOD: Additional Material. - Hussein Hasso; Katharina Großer; Iliass Aymaz; Hanna Geppert; Jan Jürjens (Zenodo, 2022)

Beyond Trading Data: The Hidden Influence of Public Awareness and Interest on Cryptocurrency Volatility. - Zeyd Boukhers; Azeddine Bouabdallah; Cong Yang; Jan Jürjens (CIKM, 2023)

Data Trading and Monetization: Challenges and Open Research Directions. - Qusai Ramadan; Zeyd Boukhers; Muath AlShaikh; Christoph Lange 002; Jan Jürjens (ICFNDS, 2023)

A Comparative Evaluation of Requirement Template Systems. - Katharina Großer; Marina Rukavitsyna; Jan Jürjens (RE, 2023)

ILLOD Replication Package: An Open-Source Framework for Abbreviation-Expansion Pair Detection and Term Consolidation in Requirements. - Hussein Hasso; Katharina Großer; Iliass Aymaz; Hanna Geppert; Jan Jürjens (RE, 2023)

Requirements document relations: A reuse perspective on traceability through standards. - Katharina Großer; Volker Riediger; Jan Jürjens (Software Engineering, 2023)

Evaluation Methods and Replicability of Software Architecture Research Objects. - Marco Konersmann; Angelika Kaplan; Thomas Kühn 001; Robert Heinrich; Anne Koziolek; Ralf H. Reussner; Jan Jürjens; Mahmood al-Doori; Nicolas Boltz; Marco Ehl; Dominik Fuchß; Katharina Großer; et al. (Software Engineering, 2023)

Checking security compliance between models and code. - Katja Tuma; Sven Peldszus; Daniel Strüber 001; Riccardo Scandariato; Jan Jürjens (Softw. Syst. Model., 2023)

Evaluation-of-templates-for-requirements-documentation. - Katharina Großer; Marina Rukavitsyna; Jan Jürjens (Zenodo, 2023)

k-grosser/Evaluation-of-templates-for-requirements-documentation: Submission to RE'23 Artifact Track. - Katharina Großer; Marina Rukavitsyna; Jan Jürjens (Zenodo, 2023)

Enhanced abbreviation-expansion pair detection for glossary term extraction. - Hussein Hasso; Katharina Großer; Iliass Aymaz; Hanna Geppert; Jan Jürjens (Inf. Softw. Technol., 2023)

Knowledge guided multi-filter residual convolutional neural network for ICD coding from clinical text. - Zeyd Boukhers; Prantik Goswami; Jan Jürjens (Neural Comput. Appl., 2023)

Replication Package for UMLsecRT: Reactive Security Monitoring of Java Applications with Round-Trip Engineering. - Sven Peldszus; Jens Bürger 001; Jan Jürjens (Zenodo, 2023)

Towards Ultra-Reliable 6G Communication: A Novel Architecture for End-to-End Redundancy. - Malla Reddy Sama; Sushmit Bhattacharjee; Riccardo Guerzoni; Wolfgang Kiess; Jan Jürjens (GLOBECOM (Workshops), 2024)

Fast, Favorable, and Fair Blockchain-based Exchange of Digital Goods using State Channels. - Matthias Lohr; Sven Peldszus; Jan Jürjens; Steffen Staab (ICBC, 2024)

5G-Enabled Flexible Security Framework for Industrial Applications. - Malla Reddy Sama; Eike Lyczkowski; Michael Petry; Wolfgang Kiess; Jan Jürjens (ICC, 2024)

Privacy-Friendly Sharing of Health Data Using a Reference Architecture for Health Data Spaces. - Amir Shayan Ahmadian; Sebastian Franke; Charly Gnoguem; Jan Jürjens (eSAAM, 2024)

A Comparative Evaluation of Requirement Template Systems (Summary). - Katharina Großer; Marina Rukavitsyna; Jan Jürjens (Software Engineering, 2024)

Reconstruction as a service: a data space for off-site image reconstruction in magnetic particle imaging. - Anselm von Gladiss; Amir Shayan Ahmadian; Jan Jürjens (CoRR, 2024)

UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering. - Sven Peldszus; Jens Bürger 001; Jan Jürjens (IEEE Trans. Software Eng., 2024)

Fast, Favorable, and Fair Blockchain-based Exchange of Digital Goods using State Channels - Replication Package. - Matthias Lohr; Sven Peldszus; Jan Jürjens; Steffen Staab (Zenodo, 2024)

k-grosser/requirementsclassification: Replication Package for REFSQ'25 Submission. - Julia Märdian; Katharina Großer; Jan Jürjens (Zenodo, 2024)

Benchmarking requirement template systems: comparing appropriateness, usability, and expressiveness. - Katharina Großer; Amir Shayan Ahmadian; Marina Rukavitsyna; Qusai Ramadan; Jan Jürjens (Requir. Eng., 2024)

Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery. - Marco Ehl; Amir Shayan Ahmadian; Katharina Großer; Duaa Adel Ali Elsofi; Marc Herrmann; Alexander Specht; Kurt Schneider; Jan Jürjens (SAC, 2025)

Benchmarking Requirement Template Systems. - Katharina Großer; Amir Shayan Ahmadian; Marina Rukavitsyna; Qusai Ramadan; Jan Jürjens (Software Engineering, 2025)

From missile warhead to smart fridge: Interviews with industry experts on tracing safety- and security-relevant artifacts. - Marc Herrmann; Alexander Specht; Abdurrahman Sekerci; Martin Obaidi; Marco Ehl; Duaa Adel Ali Elsofi; Katharina Großer; Jil Klünder; Jan Jürjens; Kurt Schneider (J. Syst. Softw., 2025)

Interview Guide: From Missile Warhead to Smart Fridge: Interviews with Industry Experts on Tracing Safety- and Security-Relevant Artifacts. - Marc Herrmann; Alexander Specht; Abdurrahman Sekerci; Martin Obaidi; Marco Ehl; Duaa Adel Ali Elsofi; Katharina Großer; Jil Ann-Christin Klünder; Jan Jürjens; Kurt Schneider (Zenodo, 2025)

MBFair: a model-based verification methodology for detecting violations of individual fairness. - Qusai Ramadan; Marco Konersmann; Amir Shayan Ahmadian; Jan Jürjens; Steffen Staab (Softw. Syst. Model., 2025)

Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness. - Qusai Ramadan; Marco Konersmann; Amir Shayan Ahmadian; Jan Jürjens; Steffen Staab (Softw. Syst. Model., 2025)