Jan Jürjens

250 papers A* 15A 17B 24C 24Misc 9Journal 57Unranked 84
YearRankTypeTitle / Venue / Authors
2026 J jnl
Too Many Issues: Automatically Prioritizing Analyzer Findings by Tracing Security Importance.
ACM Trans. Softw. Eng. Methodol.
Sven Peldszus, Katharina Großer, Marco Konersmann, Wasja Brunotte, Maike Ahrens, Kurt Schneider, Jan Jürjens
2025 — conf
An Evaluation of Open Source Data Anonymisation Tools for Medical Data.
MMAsia
Anjali Pullattukunnel, Ibraheem Al-Dhamari, Jan Jürjens
2025 C conf
Benchmarking Requirement Template Systems.
Software Engineering
Katharina Großer, Amir Shayan Ahmadian, Marina Rukavitsyna, Qusai Ramadan, Jan Jürjens
2025 — conf
Can we use LLMs to recover Trace Links between Source Code and Security Requirements?
REW
Jan-Marc Paßlack, Alexander Specht, Marc Herrmann, Duaa Adel Ali Elsofi, Marco Ehl, Katharina Großer, Jan Jürjens, Kurt Schneider
2025 J jnl
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness.
Softw. Syst. Model.
Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab
2025 J jnl
From missile warhead to smart fridge: Interviews with industry experts on tracing safety- and security-relevant artifacts.
J. Syst. Softw.
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
2025 — conf
Generating Context-Aware Learning Materials for Software Security via LLM Agents and Traceability.
REW
Ben Luca Schüring, Marc Herrmann, Alexander Specht, Marco Ehl, Duaa Adel Ali Elsofi, Katharina Großer, Jan Jürjens, Kurt Schneider
2025 J jnl
MBFair: a model-based verification methodology for detecting violations of individual fairness.
Softw. Syst. Model.
Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab
2025 Misc conf
Supporting Software Engineers in IT Security and Privacy through Automated Knowledge Discovery.
SAC
Marco Ehl, Amir Shayan Ahmadian, Katharina Großer, Duaa Adel Ali Elsofi, Marc Herrmann, Alexander Specht, Kurt Schneider, Jan Jürjens
2025 C conf
UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering.
Software Engineering
Sven Peldszus, Jens Bürger, Jan Jürjens
2024 — conf
5G-Enabled Flexible Security Framework for Industrial Applications.
ICC
Malla Reddy Sama, Eike Lyczkowski, Michael Petry, Wolfgang Kiess, Jan Jürjens
2024 C conf
A Comparative Evaluation of Requirement Template Systems (Summary).
Software Engineering
Katharina Großer, Marina Rukavitsyna, Jan Jürjens
2024 J jnl
Benchmarking requirement template systems: comparing appropriateness, usability, and expressiveness.
Requir. Eng.
Katharina Großer, Amir Shayan Ahmadian, Marina Rukavitsyna, Qusai Ramadan, Jan Jürjens
2024 J jnl
Data Trading and Monetization: Challenges and Open Research Directions.
CoRR
Qusai Ramadan, Zeyd Boukhers, Muath AlShaikh, Christoph Lange, Jan Jürjens
2024 C conf
Fast, Favorable, and Fair Blockchain-based Exchange of Digital Goods using State Channels.
ICBC
Matthias Lohr, Sven Peldszus, Jan Jürjens, Steffen Staab
2024 — conf
Privacy-Friendly Sharing of Health Data Using a Reference Architecture for Health Data Spaces.
eSAAM
Amir Shayan Ahmadian, Sebastian Franke, Charly Gnoguem, Jan Jürjens
2024 J jnl
Reconstruction as a service: a data space for off-site image reconstruction in magnetic particle imaging.
CoRR
Anselm von Gladiss, Amir Shayan Ahmadian, Jan Jürjens
2024 — conf
Towards Ultra-Reliable 6G Communication: A Novel Architecture for End-to-End Redundancy.
GLOBECOM (Workshops)
Malla Reddy Sama, Sushmit Bhattacharjee, Riccardo Guerzoni, Wolfgang Kiess, Jan Jürjens
2024 J jnl
UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering.
IEEE Trans. Software Eng.
Sven Peldszus, Jens Bürger, Jan Jürjens
2023 A conf
A Comparative Evaluation of Requirement Template Systems.
RE
Katharina Großer, Marina Rukavitsyna, Jan Jürjens
2023 A conf
Beyond Trading Data: The Hidden Influence of Public Awareness and Interest on Cryptocurrency Volatility.
CIKM
Zeyd Boukhers, Azeddine Bouabdallah, Cong Yang, Jan Jürjens
2023 J jnl
Checking security compliance between models and code.
Softw. Syst. Model.
Katja Tuma, Sven Peldszus, Daniel Strüber, Riccardo Scandariato, Jan Jürjens
2023 — conf
Data Trading and Monetization: Challenges and Open Research Directions.
ICFNDS
Qusai Ramadan, Zeyd Boukhers, Muath AlShaikh, Christoph Lange, Jan Jürjens
2023 J jnl
Enhanced abbreviation-expansion pair detection for glossary term extraction.
Inf. Softw. Technol.
Hussein Hasso, Katharina Großer, Iliass Aymaz, Hanna Geppert, Jan Jürjens
2023 C conf
Evaluation Methods and Replicability of Software Architecture Research Objects.
Software Engineering
Marco Konersmann, Angelika Kaplan, Thomas Kühn, Robert Heinrich, Anne Koziolek, Ralf H. Reussner, Jan Jürjens, Mahmood al-Doori, Nicolas Boltz, Marco Ehl, Dominik Fuchß, Katharina Großer, Sebastian Hahner, Jan Keim, Matthias Lohr, Timur Saglam, Sophie Schulz, Jan-Philipp Töberg
2023 A conf
ILLOD Replication Package: An Open-Source Framework for Abbreviation-Expansion Pair Detection and Term Consolidation in Requirements.
RE
Hussein Hasso, Katharina Großer, Iliass Aymaz, Hanna Geppert, Jan Jürjens
2023 J jnl
Knowledge guided multi-filter residual convolutional neural network for ICD coding from clinical text.
Neural Comput. Appl.
Zeyd Boukhers, Prantik Goswami, Jan Jürjens
2023 C conf
Requirements document relations: A reuse perspective on traceability through standards.
Software Engineering
Katharina Großer, Volker Riediger, Jan Jürjens
2022 B conf
Abbreviation-Expansion Pair Detection for Glossary Term Extraction.
REFSQ
Hussein Hasso, Katharina Großer, Iliass Aymaz, Hanna Geppert, Jan Jürjens
2022 J jnl
COIN: Counterfactual Image Generation for VQA Interpretation.
CoRR
Zeyd Boukhers, Timo Hartmann, Jan Jürjens
2022 J jnl
COIN: Counterfactual Image Generation for Visual Question Answering Interpretation.
Sensors
Zeyd Boukhers, Timo Hartmann, Jan Jürjens
2022 J jnl
Ensemble and Multimodal Approach for Forecasting Cryptocurrency Price.
CoRR
Zeyd Boukhers, Azeddine Bouabdallah, Matthias Lohr, Jan Jürjens
2022 A conf
Evaluation Methods and Replicability of Software Architecture Research Objects.
ICSA
Marco Konersmann, Angelika Kaplan, Thomas Kühn, Robert Heinrich, Anne Koziolek, Ralf H. Reussner, Jan Jürjens, Mahmood al-Doori, Nicolas Boltz, Marco Ehl, Dominik Fuchß, Katharina Großer, Sebastian Hahner, Jan Keim, Matthias Lohr, Timur Saglam, Sophie Schulz, Jan-Philipp Töberg
2022 J jnl
Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version).
CoRR
Matthias Lohr, Kenneth Skiba, Marco Konersmann, Jan Jürjens, Steffen Staab
2022 C conf
Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain.
ICBC
Matthias Lohr, Kenneth Skiba, Marco Konersmann, Jan Jürjens, Steffen Staab
2022 J jnl
Life cycle and metrics to measure the resilience of business processes by considering resources.
Bus. Process. Manag. J.
Joachim Stocker, Nils Herda, Jan Jürjens
2022 — conf
Ontology-based Synchronization of Automated Production Systems and Their Simulation Models.
IEEM
Kilian Vernickel, Mayank Singh, Marco Konersmann, Jan Jürjens
2022 B conf
Redefining the Trust Model for the Internet of Everything in the 6G era.
PIMRC
Malla Reddy Sama, Wolfgang Kiess, Riccardo Guerzoni, Srisakul Thakolsri, Jan Jürjens
2022 — conf
Replication Package of "Evaluation Methods and Replicability of Software Architecture Research Objects".
ICSA Companion
Marco Konersmann, Angelika Kaplan, Thomas Kühn, Robert Heinrich, Anne Koziolek, Ralf H. Reussner, Jan Jürjens, Mahmood al-Doori, Nicolas Boltz, Marco Ehl, Dominik Fuchß, Katharina Großer, Sebastian Hahner, Jan Keim, Matthias Lohr, Timur Saglam, Sophie Schulz, Jan-Philipp Töberg
2022 J jnl
Requirements document relations.
Softw. Syst. Model.
Katharina Großer, Volker Riediger, Jan Jürjens
2022 — ch.
Tokenomics: Decentralized Incentivization in the Context of Data Spaces.
Designing Data Spaces
Jan Jürjens, Simon Scheider, Furkan Yildirim, Michael Henke
2022 — ch.
Towards Cognitive Ports of the Future.
Technologies and Applications for Big Data Value
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, Achilleas Marinakis, Vrettos Moulos, Antonios Litke, Amir Shayan Ahmadian, Jan Jürjens
2021 J jnl
Checking Security Compliance between Models and Code.
CoRR
Katja Tuma, Sven Peldszus, Daniel Strüber, Riccardo Scandariato, Jan Jürjens
2021 J jnl
Cost Fairness for Blockchain-Based Two-Party Exchange Protocols.
IACR Cryptol. ePrint Arch.
Matthias Lohr, Benjamin Schlosser, Jan Jürjens, Steffen Staab
2021 J jnl
Ontology-driven evolution of software security.
Data Knowl. Eng.
Sven Peldszus, Jens Bürger, Timo Kehrer, Jan Jürjens
2021 J jnl
Towards Tolerating Soft Errors for Embedded Systems.
SN Comput. Sci.
Muhammad Sheikh Sadi, Waseem Ahmed, Jan Jürjens
2021 — conf
Why is Application Reliability an Issue for an Ultra-Reliable 6G Network?
EuCNC/6G Summit
Malla Reddy Sama, Riccardo Guerzoni, Wolfgang Kiess, Srisakul Thakolsri, Jan Jürjens
2020 J jnl
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements.
Softw. Syst. Model.
Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Jan Jürjens, Volker Riediger, Steffen Staab
2020 — conf
Cost Fairness for Blockchain-Based Two-Party Exchange Protocols.
Blockchain
Matthias Lohr, Benjamin Schlosser, Jan Jürjens, Steffen Staab
2020 B conf
Ontology Evolution in the Context of Model-Based Secure Software Engineering.
RCIS
Jens Bürger, Timo Kehrer, Jan Jürjens
2020 — conf
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings.
SE
Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens, Riccardo Scandariato
2020 J jnl
Selecting a Secure Cloud Provider - An Empirical Study and Multi Criteria Approach.
Inf.
Sebastian Pape, Federica Paci, Jan Jürjens, Fabio Massacci
2020 — ch.
The Architecture of VisiOn Privacy Platform.
Visual Privacy Management
Amir Shayan Ahmadian, Sven Peldszus, Jan Jürjens, Mattia Salnitri, Paolo Giorgini, Haralambos Mouratidis, José Fran. Ruiz
2020 — book
Visual Privacy Management - Design and Applications of a Privacy-Enabling Platform
Visual Privacy Management
Mattia Salnitri, Jan Jürjens, Haralambos Mouratidis, Loredana Mancini, Paolo Giorgini
2020 — ch.
Visual Privacy Management.
Visual Privacy Management
Sven Peldszus, Amir Shayan Ahmadian, Mattia Salnitri, Jan Jürjens, Michalis Pavlidis, Haralambos Mouratidis
2019 — conf
A Framework for Semi-Automated Co-Evolution of Security Knowledge and System Models (Summary).
SE/SWM
Jens Bürger, Daniel Strüber, Stefan Gärtner, Thomas Ruhroth, Jan Jürjens, Kurt Schneider
2019 — conf
Ensuring Genuineness for Selectively Disclosed Confidential Data Using Distributed Ledgers: Applications to Rail Wayside Monitoring.
Blockchain
Matthias Lohr, Jonathan Hund, Jan Jürjens, Steffen Staab
2019 — conf
Explaining Algorithmic Decisions with respect to Fairness.
SE/SWM
Qusai Ramadan, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab, Daniel Strüber
2019 — ch.
Maintaining Security in Software Evolution.
Managed Software Evolution
Jan Jürjens, Kurt Schneider, Jens Bürger, Fabien Patrick Viertel, Daniel Strüber, Michael Goedicke, Ralf H. Reussner, Robert Heinrich, Emre Taspolatoglu, Marco Konersmann, Alexander Fay, Winfried Lamersdorf, Jan Ladiges, Christopher Haubeck
2019 Misc conf
Privacy-enhanced system design modeling based on privacy features.
SAC
Amir Shayan Ahmadian, Daniel Strüber, Jan Jürjens
2019 A conf
Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings.
MoDELS
Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens, Riccardo Scandariato
2018 J jnl
A framework for semi-automated co-evolution of security knowledge and system models.
J. Syst. Softw.
Jens Bürger, Daniel Strüber, Stefan Gärtner, Thomas Ruhroth, Jan Jürjens, Kurt Schneider
2018 J jnl
Data security and consumer trust in FinTech innovation in Germany.
Inf. Comput. Secur.
Harrison Stewart, Jan Jürjens
2018 B conf
Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models.
ECMFA
Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Volker Riediger, Jan Jürjens
2018 Misc conf
Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements.
SAC
Amir Shayan Ahmadian, Jan Jürjens, Daniel Strüber
2018 C conf
Integrating BPMN- and UML-based Security Engineering via Model Transformation.
Software Engineering
Qusai Ramadan, Mattia Salnitri, Daniel Strüber, Jan Jürjens, Paolo Giorgini
2018 — conf
Model-based discrimination analysis: a position paper.
FairWare@ICSE
Qusai Ramadan, Amir Shayan Ahmadian, Daniel Strüber, Jan Jürjens, Steffen Staab
2018 B conf
Model-based security analysis of feature-oriented software product lines.
GPCE
Sven Peldszus, Daniel Strüber, Jan Jürjens
2018 — ch.
Secure Database Development.
Encyclopedia of Database Systems (2nd ed.)
Jan Jürjens, Eduardo B. Fernández
2018 Misc conf
Supporting privacy impact assessment by model-based privacy analysis.
SAC
Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens
2018 B conf
Taming Multi-Variability of Software Product Line Transformations.
FASE
Daniel Strüber, Sven Peldszus, Jan Jürjens
2018 J jnl
Wie transformieren Versicherungsunternehmen ihre IT-Infrastrukturen ins digitale Zeitalter?
Wirtschaftsinformatik Manag.
Jan Jürjens, Stefan Ruf, Nils Herda
2017 J jnl
Comparing Bug Finding Tools with Reviews and Tests.
CoRR
Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
2017 A conf
From Secure Business Process Modeling to Design-Level Security Verification.
MoDELS
Qusai Ramadan, Mattia Salnitri, Daniel Strüber, Jan Jürjens, Paolo Giorgini
2017 J jnl
Information security management and the human aspect in organizations.
Inf. Comput. Secur.
Harrison Stewart, Jan Jürjens
2017 B conf
Model-Based Privacy Analysis in Industrial Ecosystems.
ECMFA
Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens
2017 — conf
Model-based privacy and security analysis with CARiSMA.
ESEC/SIGSOFT FSE
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, Jan Jürjens
2017 — conf
Privacy Data Management and Awareness for Public Administrations: A Case Study from the Healthcare Domain.
APF
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
2017 J jnl
Soft error tolerance using HVDQ (Horizontal-Vertical-Diagonal-Queen parity method).
Comput. Syst. Sci. Eng.
Sakib Ahammed, Muhammad Sheikh Sadi, Md Shamimur Rahman, Jan Jürjens
2017 C ed.
Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland
Software Engineering
Jan Jürjens, Kurt Schneider
2016 — conf
STAGE: a software tool for automatic grading of testing exercises: case study paper.
ICSE (Companion Volume)
Sebastian Pape, Julian Flake, Andreas Beckmann, Jan Jürjens
2016 C conf
Supporting Model-Based Privacy Analysis by Exploiting Privacy Level Agreements.
CloudCom
Amir Shayan Ahmadian, Jan Jürjens
2016 C conf
Umlchange - specifying model changes to support security verification of potential evolution.
Software Engineering
Sven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa
2015 C conf
A Platform for Empirical Research on Information System Evolution.
SEKE
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf H. Reussner, Kurt Schneider, Barbara Paech, Jan Jürjens
2015 C conf
Model-based Security Analysis and Applications to Security Economics.
MODELSWARD
Jan Jürjens, Amir Shayan Ahmadian
2015 B conf
Preserving Validity of Batch-Job Nets under Change at Run-Time.
COMPSAC
Chris Apfelbeck, Martin Fritz, Jan Jürjens, Johannes Zweihoff
2015 B conf
Restoring Security of Long-Living Systems by Co-evolution.
COMPSAC
Jens Bürger, Stefan Gärtner, Thomas Ruhroth, Johannes Zweihoff, Jan Jürjens, Kurt Schneider
2015 J jnl
Restoring security of evolving software models using graph transformation.
Int. J. Softw. Tools Technol. Transf.
Jens Bürger, Jan Jürjens, Sven Wenzel
2015 J jnl
Special Issue on Secure Information Systems Engineering.
Comput. J.
David Garcia Rosado, Nadira Lammari, Jan Jürjens
2015 — conf
Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds.
BMSD
Amir Shayan Ahmadian, Fabian Coerschulte, Jan Jürjens
2015 J jnl
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution.
Int. J. Softw. Eng. Knowl. Eng.
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf H. Reussner, Kurt Schneider, Barbara Paech, Jan Jürjens
2015 — conf
Towards Maintaining Long-Living Information Systems by Incorporating Security Knowledge.
Software Engineering & Management
Stefan Gärtner, Thomas Ruhroth, Jens Bürger, Kurt Schneider, Jan Jürjens
2014 J jnl
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
CoRR
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
2014 — ed.
Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
ESSoS
Jan Jürjens, Frank Piessens, Nataliia Bielova
2014 J jnl
Evolution of Security Engineering Artifacts: A State of the Art Survey.
Int. J. Secur. Softw. Eng.
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, Elizabeta Fourneret, Matthias Gander, Bjørnar Solhaug, Ruth Breu
2014 J jnl
Guiding a general-purpose C verifier to prove cryptographic protocols.
J. Comput. Secur.
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
2014 A conf
Maintaining requirements for long-living software systems by incorporating security knowledge.
RE
Stefan Gärtner, Thomas Ruhroth, Jens Bürger, Kurt Schneider, Jan Jürjens
2014 J jnl
Security in information systems: Advances and new challenges.
Comput. Stand. Interfaces
Carlos Blanco, David Garcia Rosado, Luis Enrique Sánchez, Jan Jürjens
2014 J jnl
Specifying model changes with UMLchange to support security verification of potential evolution.
Comput. Stand. Interfaces
Sven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa
2014 C conf
The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution.
Software Engineering
Jan Jürjens, Kurt Schneider
2014 B conf
Towards Adaptation and Evolution of Domain-Specific Knowledge for Maintaining Secure Systems.
PROFES
Thomas Ruhroth, Stefan Gärtner, Jens Bürger, Jan Jürjens, Kurt Schneider
2014 J jnl
Versioning and Evolution Requirements for Model-Based System Development.
Softwaretechnik-Trends
Thomas Ruhroth, Stefan Gärtner, Jens Bürger, Jan Jürjens, Kurt Schneider
2014 — ed.
WOSIS 2014 - Proceedings of the 11th International Workshop on Security in Information Systems, Lisbon, Portugal, 27 April, 2014
WOSIS
David Garcia Rosado, Carlos Blanco, Daniel Mellado, Jan Jürjens, Luis Enrique Sánchez
2014 C conf
Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen.
Software Engineering (Workshops)
Stefan Gärtner, Jens Bürger, Kurt Schneider, Jan Jürjens
2013 — ed.
Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
ESSoS
Jan Jürjens, Benjamin Livshits, Riccardo Scandariato
2013 J jnl
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
CoRR
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
2013 — conf
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.
FOSAD
Jens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner, Kurt Schneider
2013 C conf
Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes.
CLOSER
Thorsten Humberg, Christian Wessel, Daniel Poggenpohl, Sven Wenzel, Thomas Ruhroth, Jan Jürjens
2013 J jnl
Resolving vulnerability identification errors using security requirements on business process models.
Inf. Manag. Comput. Secur.
Stefan Taubenberger, Jan Jürjens, Yijun Yu, Bashar Nuseibeh
2013 — conf
Using Ontologies to Analyze Compliance Requirements of Cloud-Based Processes.
CLOSER (Selected Papers)
Thorsten Humberg, Christian Wessel, Daniel Poggenpohl, Sven Wenzel, Thomas Ruhroth, Jan Jürjens
2012 — conf
A Sound Decision Procedure for the Compositionality of Secrecy.
ESSoS
Martín Ochoa, Jan Jürjens, Daniel Warzecha
2012 A* conf
Computational verification of C protocol implementations by symbolic execution.
CCS
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
2012 J jnl
Enhancing security requirements engineering by organizational learning.
Requir. Eng.
Kurt Schneider, Eric Knauss, Siv Hilde Houmb, Shareeful Islam, Jan Jürjens
2012 C conf
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen.
Software Engineering (Workshops)
Christian Wessel, Thorsten Humberg, Sven Wenzel, Jan Jürjens
2012 — conf
Non-interference on UML State-Charts.
TOOLS (50)
Martín Ochoa, Jan Jürjens, Jorge Cuéllar
2012 C conf
Securing Processes for Outsourcing into the Cloud.
CLOSER
Sven Wenzel, Christian Wessel, Thorsten Humberg, Jan Jürjens
2012 J jnl
Security in Information Systems: New Challenges and Opportunities.
J. Univers. Comput. Sci.
David Garcia Rosado, Luis Enrique Sánchez, Eduardo Fernández-Medina, Jan Jürjens
2012 — conf
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec.
HASE
Thomas Ruhroth, Jan Jürjens
2011 J jnl
A framework to support alignment of secure software engineering with legal regulations.
Softw. Syst. Model.
Shareeful Islam, Haralambos Mouratidis, Jan Jürjens
2011 J jnl
An Efficient Approach towards Mitigating Soft Errors Risks
CoRR
Muhammad Sheikh Sadi, Md. Mizanur Rahman Khan, Md. Nazim Uddin, Jan Jürjens
2011 A* conf
Automated security hardening for evolving UML models.
ICSE
Jan Jürjens
2011 A conf
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec.
CAiSE
Holger Schmidt, Jan Jürjens
2011 J jnl
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
CoRR
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
2011 A* conf
Extracting and verifying cryptographic models from C protocol code by symbolic execution.
CCS
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
2011 A conf
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
CSF
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
2011 B conf
Incremental Security Verification for Evolving UMLsec models.
ECMFA
Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt
2011 B conf
Model-Based Security Verification and Testing for Smart-cards.
ARES
Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi
2011 — conf
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications.
SFM
Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam
2011 — conf
Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper).
ServiceWave
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
2011 Misc conf
Problem Analysis of Traditional IT-Security Risk Assessment Methods - An Experience Report from the Insurance and Auditing Domain.
SEC
Stefan Taubenberger, Jan Jürjens, Yijun Yu, Bashar Nuseibeh
2011 — ed.
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011, Waikiki, Honolulu, HI, USA, May 22, 2011
SESS@ICSE
Jan Jürjens, Seok-Won Lee, Mattia Monga
2011 J jnl
Run-Time Security Traceability for Evolving Systems.
Comput. J.
Andreas Bauer, Jan Jürjens, Yijun Yu
2011 A* conf
Seventh international workshop on software engineering for secure systems: (SESS 2011).
ICSE
Seok-Won Lee, Mattia Monga, Jan Jürjens
2011 B conf
Supporting Requirements Engineers in Recognising Security Issues.
REFSQ
Eric Knauss, Siv Hilde Houmb, Kurt Schneider, Shareeful Islam, Jan Jürjens
2011 B conf
Systematic Development of UMLsec Design Models Based on Security Requirements.
FASE
Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt
2011 — conf
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.
Formal Aspects in Security and Trust
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens
2011 — ed.
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
David Garcia Rosado, Luis Enrique Sánchez, Jan Jürjens
2010 J jnl
Component criticality analysis to minimize soft errors risk.
Comput. Syst. Sci. Eng.
Muhammad Sheikh Sadi, D. G. Myers, Cesar Ortega-Sanchez, Jan Jürjens
2010 J jnl
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec.
Requir. Eng.
Siv Hilde Houmb, Shareeful Islam, Eric Knauss, Jan Jürjens, Kurt Schneider
2010 — conf
Formally-Based Black-Box Monitoring of Security Protocols.
ESSoS
Alfredo Pironti, Jan Jürjens
2010 J jnl
From goal-driven security requirements engineering to secure design.
Int. J. Intell. Syst.
Haralambos Mouratidis, Jan Jürjens
2010 — ed.
ICSE Workshop on Software Engineering for Secure Systems, SESS 2010, May 2, 2010, Cape Town, South Africa
SESS@ICSE
Seok-Won Lee, Mattia Monga, Jan Jürjens
2010 B conf
Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote).
VL/HCC
Jan Jürjens
2010 J jnl
Runtime verification of cryptographic protocols.
Comput. Secur.
Andreas Bauer, Jan Jürjens
2010 — conf
Security and Compliance in Clouds.
ISSE
Kristian Beckers, Jan Jürjens
2010 — conf
The 6
ICSE (2)
Seok-Won Lee, Mattia Monga, Jan Jürjens
2010 A* conf
Tool support for code generation from a UMLsec property.
ASE
Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint
2010 — conf
Towards the Secure Modelling of OLAP Users' Behaviour.
Secure Data Management
Carlos Blanco, Eduardo Fernández-Medina, Juan Trujillo, Jan Jürjens
2009 J jnl
A domain-specific language for cryptographic protocols based on streams.
J. Log. Algebraic Methods Program.
Jan Jürjens
2009 — conf
Finite Models in FOL-Based Crypto-Protocol Verification.
ARSPA-WITS
Jan Jürjens, Tjark Weber
2009 J jnl
Model-Driven Development for secure information systems.
Inf. Softw. Technol.
Eduardo Fernández-Medina, Jan Jürjens, Juan Trujillo, Sushil Jajodia
2009 — conf
Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09).
OOPSLA Companion
Hironori Washizaki, Nobukazu Yoshioka, Eduardo B. Fernández, Jan Jürjens
2009 J jnl
Performance analysis of security aspects by weaving scenarios extracted from UML models.
J. Syst. Softw.
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
2009 — ch.
Secure Database Development.
Encyclopedia of Database Systems
Jan Jürjens, Eduardo B. Fernández
2009 A conf
Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects.
CAiSE
Haralambos Mouratidis, Ali Sunyaev, Jan Jürjens
2009 A conf
Security Analysis of a Biometric Authentication System Using UMLsec and JML.
MoDELS
John Lloyd, Jan Jürjens
2009 — ch.
Security and Dependability Engineering.
Security and Dependability for Ambient Intelligence
Jan Jürjens
2009 — conf
The Logical Modularity of Programs.
WCRE
Daniel Ratiu, Radu Marinescu, Jan Jürjens
2008 B conf
Automated Analysis of Permission-Based Security Using UMLsec.
FASE
Jan Jürjens, Jörg Schreck, Yijun Yu
2008 A conf
Evaluating the Reference and Representation of Domain Concepts in APIs.
ICPC
Daniel Ratiu, Jan Jürjens
2008 — conf
Extracting Domain Ontologies from Domain Specific APIs.
CSMR
Daniel Ratiu, Martin Feilkas, Jan Jürjens
2008 — conf
First International Modeling Security Workshop.
MoDELS (Workshops)
Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson
2008 — conf
IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements.
MODSEC@MoDELS
Stefan Taubenberger, Jan Jürjens
2008 — conf
Incorporating Database Systems into a Secure Software Development Methodology.
DEXA Workshops
Eduardo B. Fernández, Jan Jürjens, Nobukazu Yoshioka, Hironori Washizaki
2008 — conf
Incorporating Security Requirements from Legal Regulations into UMLsec model.
MODSEC@MoDELS
Shareeful Islam, Jan Jürjens
2008 A conf
Model-Based Quality Assurance of Automotive Software.
MoDELS
Jan Jürjens, Daniel Reiß, David Trachtenherz
2008 B conf
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.
RV
Jan Jürjens
2008 — conf
Model-based Security Testing Using UMLsec: A Case Study.
MBT@ETAPS
Jan Jürjens
2008 A* conf
Model-based security analysis for mobile communications.
ICSE
Jan Jürjens, Jörg Schreck, Peter Bartmann
2008 — ed.
Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, France, September 28, 2008.
MODSEC@MoDELS
Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson
2008 A* conf
Rubacon: automated support for model-based compliance engineering.
ICSE
Sebastian Höhn, Jan Jürjens
2008 — conf
Security protocols, properties, and their monitoring.
SESS
Andreas Bauer, Jan Jürjens
2008 A* conf
Tools for Traceability in Secure Software Development.
ASE
Yijun Yu, Jan Jürjens, Jörg Schreck
2008 — conf
Tools for Traceable Security Verification.
BCS Int. Acad. Conf.
Jan Jürjens, Yijun Yu, Andreas Bauer
2008 — conf
Traceability for the maintenance of secure software.
ICSM
Yijun Yu, Jan Jürjens, John Mylopoulos
2007 — conf
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project.
AVoCS
Jan Jürjens
2007 — conf
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them.
ICSE Companion
Jan Jürjens
2007 A* conf
Model-Based Security Engineering of Distributed Information Systems Using UMLsec.
ICSE
Bastian Best, Jan Jürjens, Bashar Nuseibeh
2007 — conf
Performance analysis of security aspects in UML models.
WOSP
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
2007 — conf
The Reality of Libraries.
CSMR
Daniel Ratiu, Jan Jürjens
2007 A* conf
Tools for model-based security engineering: models vs. code.
ASE
Jan Jürjens, Yijun Yu
2007 J jnl
Tools for secure systems development with UML.
Int. J. Softw. Tools Technol. Transf.
Jan Jürjens, Pasha Shabalin
2006 — conf
A Framework for Analyzing Composition of Security Aspects.
MMOSS
Jorge Fox, Jan Jürjens
2006 — conf
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.
MoDELS (Workshops)
Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens
2006 B conf
Model-Based Security Engineering for Real.
FM
Jan Jürjens
2006 C conf
Model-Based Security Engineering.
SECRYPT
Jan Jürjens
2006 A* conf
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.
ASE
Jan Jürjens
2006 A* conf
Tools for model-based security engineering.
ICSE
Jan Jürjens, Jorge Fox
2006 A conf
Towards a Comprehensive Framework for Secure Systems Development.
CAiSE
Haralambos Mouratidis, Jan Jürjens, Jorge Fox
2005 A conf
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.
ACSAC
Jan Jürjens
2005 A* conf
Code security analysis with assertions.
ASE
Jan Jürjens, Mark Yampolskiy
2005 — conf
Comparing Bug Finding Tools with Reviews and Tests.
TestCom
Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
2005 — ch.
Component-Based Development of Dependable Systems with UML.
Component-Based Software Development for Embedded Systems
Jan Jürjens, Stefan Wagner
2005 B conf
Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.
ICECCS
Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens
2005 A conf
Dynamic Secure Aspect Modeling with UML: From Models to Code.
MoDELS
Jan Jürjens, Siv Hilde Houmb
2005 — conf
Introducing Security Aspects with Model Transformations.
ECBS
Jorge Fox, Jan Jürjens
2005 — conf
MoDeII: Modeling and Analyzing Time-Constraints.
ECBS
Jewgenij Botaschanjan, Jan Jürjens
2005 B conf
Model-Based Design and Analysis of Permission-Based Security.
ICECCS
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
2005 Misc conf
Model-Based Identification of Fault-Prone Components.
EDCC
Stefan Wagner, Jan Jürjens
2005 — conf
Model-Based Security Engineering with UML: Introducing Security Aspects.
FMCO
Jan Jürjens
2005 — book
Secure systems development with UML.
Jan Jürjens
2005 A* conf
Sound methods and effective tools for model-based security engineering with UML.
ICSE
Jan Jürjens
2005 — ch.
Tool Support for Model-Driven Development of Security-Critical Systems with UML.
Model-Driven Software Development
Jan Jürjens, Pasha Shabalin
2005 B conf
Tools for Secure Systems Development with UML: Security Analysis with ATPs.
FASE
Jan Jürjens, Pasha Shabalin
2005 — conf
Towards using game semantics for crypto protocol verification: Lorenzen games.
GALOP@ETAPS
Jan Jürjens
2005 — conf
Understanding Security Goals Provided by Crypto-Protocol Implementations.
ICSM
Jan Jürjens
2005 C conf
Verification of low-level crypto-protocol implementations using automated theorem proving.
MEMOCODE
Jan Jürjens
2004 — conf
A Foundation for Tool-Supported Critical Systems Development with UML.
ECBS
Jan Jürjens, Pasha Shabalin
2004 — conf
Automated Verification of UMLsec Models for Security Requirements.
UML
Jan Jürjens, Pasha Shabalin
2004 J jnl
Componentware for Critical Systems.
J. Object Technol.
Jan Jürjens
2004 — conf
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
UML Satellite Activities
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
2004 — conf
Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.
HASE
Jan Jürjens
2004 — conf
Foundations for Designing Secure Architectures.
VODCA@FOSAD
Jan Jürjens
2004 — conf
Model-Based Security Engineering with UML.
FOSAD
Jan Jürjens
2004 — conf
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem.
Modellierung
Robert Schmidt, Jan Jürjens
2004 — conf
Modelling Secure IT Systems - A Survey.
Modellierung
Johannes Grünbauer, Jan Jürjens, Guido Wimmel
2004 — conf
Risk-Driven Development Of Security-Critical Systems Using UMLsec.
IFIP Congress Tutorials
Jan Jürjens, Siv Hilde Houmb
2004 A conf
Sound development of secure service-based systems.
ICSOC
Martin R. Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel
2004 — conf
Tools for Critical Systems Development with UML (Tool Demo).
UML Satellite Activities
Jan Jürjens, Pasha Shabalin
2003 — conf
Algebraic State Machines: Concepts and Applications to Security.
Ershov Memorial Conference
Jan Jürjens
2003 — conf
AutoFOCUS and the MoDe Tool.
ACSD
Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn
2003 — conf
Automated Checking of SAP Security Permisisons.
IICIS
Sebastian Höhn, Jan Jürjens
2003 J jnl
Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe.
Softwaretechnik-Trends
Jan Jürjens
2003 C conf
Critical Systems Development with UML: Overview with Automatic Case Study.
SNPD
Jan Jürjens, Johannes Grünbauer
2003 — conf
Developing Safety-Critical Systems with UML.
UML
Jan Jürjens
2003 C conf
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec.
APSEC
Siv Hilde Houmb, Jan Jürjens
2003 — conf
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.
LADC
Jan Jürjens, Siv Hilde Houmb
2003 B conf
Modelling and Verification of Layered Security Protocols: A Bank Application.
SAFECOMP
Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
2003 C conf
Security-Critical System Development with Extended Use Cases.
APSEC
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu
2002 Misc conf
A UML statecharts semantics with message-passing.
SAC
Jan Jürjens
2002 — conf
Formal Semantics for Interacting UML subsystems.
FMOODS
Jan Jürjens
2002 J jnl
Games In The Semantics Of Programming Languages - An Elementary Introduction.
Synth.
Jan Jürjens
2002 — —
Principles for secure system design.
Jan Jürjens
2002 C conf
Specification-Based Test Generation for Security-Critical Systems Using Mutations.
ICFEM
Guido Wimmel, Jan Jürjens
2002 — conf
UMLsec: Extending UML for Secure Systems Development.
UML
Jan Jürjens
2002 Misc conf
Using UMLsec and goal trees for secure systems development.
SAC
Jan Jürjens
2001 — conf
Abstracting from Failure Probabilities.
ACSD
Jan Jürjens
2001 — conf
Composability of Secrecy.
MMM-ACNS
Jan Jürjens
2001 — conf
Developing Secure Systems with UMLsec - From Business Processes to Implementation.
VIS
Jan Jürjens
2001 — conf
Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion).
Security Protocols Workshop
Jan Jürjens
2001 — conf
Encapsulating Rules of Prudent Security Engineering.
Security Protocols Workshop
Jan Jürjens
2001 — conf
Formal Eavesdropping and Its Computational Interpretation.
TACS
Martín Abadi, Jan Jürjens
2001 A* conf
Formally Testing Fail-Safety of Electronic Purse Protocols.
ASE
Jan Jürjens, Guido Wimmel
2001 Misc conf
Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC.
SEC
Jan Jürjens
2001 — conf
Secrecy-Preserving Refinement.
FME
Jan Jürjens
2001 — conf
Secure Java Development with UML.
Network Security
Jan Jürjens
2001 — conf
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.
I3E
Jan Jürjens, Guido Wimmel
2001 — conf
Specification-Based Testing of Firewalls.
Ershov Memorial Conference
Jan Jürjens, Guido Wimmel
2001 B conf
Towards Development of Secure Systems Using UMLsec.
FASE
Jan Jürjens
2000 B conf
Secure Information Flow for Concurrent Processes.
CONCUR
Jan Jürjens