| 2025 | DATA | Towards Consistent Policy Enforcement in Dataspaces. | Julia Pampus, Maritta Heisel |
| 2025 | EuroPLop | A Pattern for Analysing Data Usage Requirements in Data Sharing. | Julia Pampus, Maritta Heisel |
| 2025 | ICISSP | Management of Customized Privacy Policies. | Jens Leicht, Maritta Heisel |
| 2024 | ENASE | Extending PriPoCoG: A Privacy Policy Editor for GDPR-Compliant Privacy Policies. | Jens Leicht, Maritta Heisel |
| 2024 | ICSoft | An Empirical Examination of the Technical Aspects of Data Sovereignty. | Julia Pampus, Maritta Heisel |
| 2023 | ESORICS | Creating Privacy Policies from Data-Flow Diagrams. | Jens Leicht, Marvin Wagner, Maritta Heisel |
| 2023 | ICISSP | P2BAC: Privacy Policy Based Access Control Using P-LPL. | Jens Leicht, Maritta Heisel |
| 2023 | ICSoft | Model-Based Documentation of Architectures for Cloud-Based Systems. | Marvin Wagner, Maritta Heisel |
| 2022 | TrustBus | PriPoCoG: Guiding Policy Authors to Define GDPR-Compliant Privacy Policies. | Jens Leicht, Maritta Heisel, Armin Gerl |
| 2021 | ENASE | Mitigating Privacy Concerns by Developing Trust-related Software Features for a Hybrid Social Media Application. | Angela Borchert, Aidmar Wainakh, Nicole Krmer, Max Mhlhuser, Maritta Heisel |
| 2021 | ENASE | The Relevance of Privacy Concerns, Trust, and Risk for Hybrid Social Media. | Angela Borchert, Aidmar Wainakh, Nicole Krmer, Max Mhlhuser, Maritta Heisel |
| 2021 | ENASE | P2P Frames: Pattern-based Characterization of Functional Requirements for Peer-to-peer Systems. | Lirijan Sabani, Roman Wirtz, Maritta Heisel |
| 2021 | QUATIC | Risk Identification Based on Architectural Patterns. | Maritta Heisel, Aida Omerovic |
| 2020 | ENASE | A Conceptual Method for Eliciting Trust-related Software Features for Computer-mediated Introduction. | Angela Borchert, Nicols Emilio Daz Ferreyra, Maritta Heisel |
| 2020 | ENASE | Assisted Generation of Privacy Policies using Textual Patterns. | Nazila Gol Mohammadi, Jens Leicht, Ludger Goeke, Maritta Heisel |
| 2020 | ENASE | Systematic Treatment of Security Risks during Requirements Engineering. | Roman Wirtz, Maritta Heisel |
| 2020 | ENASE | Risk Treatment: An Iterative Method for Identifying Controls. | Roman Wirtz, Maritta Heisel |
| 2020 | ESORICS | PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements. | Nicols E. Daz Ferreyra, Patrick Tessier, Gabriel Pedroza, Maritta Heisel |
| 2020 | IC3K | Persuasion Meets AI: Ethical Considerations for the Design of Social Engineering Countermeasures. | Nicols E. Daz Ferreyra, Esma Ameur, Hicham Hage, Maritta Heisel, Catherine Garca van Hoogstraten |
| 2020 | ICISSP | Risk Identification: From Requirements to Threat Models. | Roman Wirtz, Maritta Heisel |
| 2020 | ICSoft | Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions. | Monika Maidl, Gerhard Mnz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel |
| 2020 | ICSoft | Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach. | Monika Maidl, Gerhard Mnz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel |
| 2019 | CRiSIS | Systematic Asset Identification and Modeling During Requirements Engineering. | Nazila Gol Mohammadi, Roman Wirtz, Maritta Heisel |
| 2019 | ENASE | Architecture to Manage and Protect Personal Data Utilising Blockchain. | Jens Leicht, Maritta Heisel |
| 2019 | ENASE | CVSS-based Estimation and Prioritization for Security Risks. | Roman Wirtz, Maritta Heisel |
| 2019 | ENASE | Model-Based Risk Analysis and Evaluation Using CORAS and CVSS. | Roman Wirtz, Maritta Heisel |
| 2019 | EuroPLop | Pattern-based modeling of cyber-physical systems for analyzing security. | Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner |
| 2019 | EuroPLop | A generic conceptual data model of social media services. | Nazila Gol Mohammadi, Angela Borchert, Julia Pampus, Maritta Heisel |
| 2019 | EuroPLop | Pattern-based incorporation of privacy preferences into privacy policies: negotiating the conflicting needs of service providers and end-users. | Nazila Gol Mohammadi, Julia Pampus, Maritta Heisel |
| 2019 | EuroPLop | Managing security risks: template-based specification of controls. | Roman Wirtz, Maritta Heisel |
| 2019 | ICSoft | RE4DIST: Model-based Elicitation of Functional Requirements for Distributed Systems. | Roman Wirtz, Maritta Heisel |
| 2019 | ICSoft | Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems. | Roman Wirtz, Maritta Heisel, Marvin Wagner |
| 2019 | SAFECOMP | Combining Safety and Security in Autonomous Cars Using Blockchain Technologies. | Lucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz |
| 2019 | TrustBus | Privacy Policy Specification Framework for Addressing End-Users' Privacy Requirements. | Nazila Gol Mohammadi, Jens Leicht, Nelufar Ulfat-Bunyadi, Maritta Heisel |
| 2018 | CRiSIS | A Systematic Method to Describe and Identify Security Threats Based on Functional Requirements. | Roman Wirtz, Maritta Heisel |
| 2018 | ENASE | Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard. | Roman Wirtz, Maritta Heisel, Angela Borchert, Rene Meis, Aida Omerovic, Ketil Stlen |
| 2018 | ENASE | Problem-based Elicitation of Security Requirements - The ProCOR Method. | Roman Wirtz, Maritta Heisel, Rene Meis, Aida Omerovic, Ketil Stlen |
| 2018 | ICSoft | Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model. | Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Maritta Heisel |
| 2018 | ICSoft | Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams. | Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Roman Wirtz, Maritta Heisel |
| 2018 | ICWSM | The Gender Gap in Wikipedia Talk Pages. | Benjamin Cabrera, Bjrn Ross, Marielle Dado, Maritta Heisel |
| 2018 | PST | At Your Own Risk: Shaping Privacy Heuristics for Online Self-disclosure. | Nicols E. Daz Ferreyra, Rene Meis, Maritta Heisel |
| 2018 | PST | Problem-based Derivation of Trustworthiness Requirements from Users' Trust Concerns. | Nazila Gol Mohammadi, Nelufar Ulfat-Bunyadi, Maritta Heisel |
| 2018 | TrustBus | Trustworthiness Cases - Toward Preparation for the Trustworthiness Certification. | Nazila Gol Mohammadi, Nelufar Ulfat-Bunyadi, Maritta Heisel |
| 2017 | EuroPLop | Aspect Frames: Describing Cross-Cutting Concerns in Aspect-Oriented Requirements Engineering. | Rene Meis, Maritta Heisel |
| 2017 | IC3K | Should User-generated Content be a Matter of Privacy Awareness? - A Position Paper. | Nicols Emilio Daz Ferreyra, Rene Meis, Maritta Heisel |
| 2017 | SEC | Towards Systematic Privacy and Operability (PRIOP) Studies. | Rene Meis, Maritta Heisel |
| 2017 | TrustBus | Pattern-Based Representation of Privacy Enhancing Technologies as Early Aspects. | Rene Meis, Maritta Heisel |
| 2016 | AICCSA | Addressing self-disclosure in social media: An instructional awareness approach. | Nicols Emilio Daz Ferreyra, Johanna Schwel, Maritta Heisel, Christian Meske |
| 2016 | EuroPLop | Patterns for identification of trust concerns and specification of trustworthiness requirements. | Nazila Gol Mohammadi, Maritta Heisel |
| 2016 | ICSoft | The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software. | Nelufar Ulfat-Bunyadi, Rene Meis, Maritta Heisel |
| 2016 | ICSoft | Facilitating Reuse of Control Software Through Context Modelling Based on the Six-Variable Model. | Nelufar Ulfat-Bunyadi, Rene Meis, Maritta Heisel |
| 2016 | ICSoft | Introducing Product Line Engineering in a Bottom-up Approach. | Nelufar Ulfat-Bunyadi, Rene Meis, Nazila Gol Mohammadi, Maritta Heisel |
| 2016 | TrustBus | Understanding the Privacy Goal Intervenability. | Rene Meis, Maritta Heisel |
| 2016 | TrustBus | A Framework for Systematic Analysis and Modeling of Trustworthiness Requirements Using i* and BPMN. | Nazila Gol Mohammadi, Maritta Heisel |
| 2015 | ECSA | 1st Workshop on VAriability for QUalIties in SofTware Architecture (VAQUITA): Workshop Introduction. | Azadeh Alebrahim, Stephan Fabender, Martin Filipczyk, Michael Goedicke, Maritta Heisel, Uwe Zdun |
| 2015 | EuroPLop | Towards a reliable mapping between performance and security tactics, and architectural patterns. | Azadeh Alebrahim, Stephan Fassbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel |
| 2015 | EuroPLop | Towards systematic selection of architectural patterns with respect to quality requirements. | Azadeh Alebrahim, Stephan Fassbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel |
| 2015 | EuroPLop | Applying performance patterns for requirements analysis. | Azadeh Alebrahim, Maritta Heisel |
| 2015 | ICSoft | Systematic Identification of Information Flows from Requirements to Support Privacy Impact Assessments. | Rene Meis, Maritta Heisel |
| 2015 | ICSoft | Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis. | Rene Meis, Maritta Heisel |
| 2015 | SAC | Engineering trust- and reputation-based security controls for future internet systems. | Kristian Beckers, Maritta Heisel, Francisco Moyano, M. Carmen Fernndez Gago |
| 2015 | SAFECOMP | A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. | Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2015 | TrustBus | A Taxonomy of Requirements for the Privacy Goal Transparency. | Rene Meis, Roman Wirtz, Maritta Heisel |
| 2014 | CaiSE | Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method. | Azadeh Alebrahim, Stephan Fabender, Martin Filipczyk, Michael Goedicke, Maritta Heisel, Marco Konersmann |
| 2014 | EuroPLop | Problem-oriented security patterns for requirements engineering. | Azadeh Alebrahim, Maritta Heisel |
| 2014 | EuroPLop | Deriving a pattern language syntax for context-patterns. | Kristian Beckers, Stephan Fabender, Maritta Heisel |
| 2014 | EuroPLop | A meta-pattern and pattern form for context-patterns. | Kristian Beckers, Stephan Fabender, Maritta Heisel, Santiago Suppan |
| 2014 | ICCSA | A Structured Approach for Eliciting, Modeling, and Using Quality-Related Domain Knowledge. | Azadeh Alebrahim, Maritta Heisel, Rene Meis |
| 2014 | ICSoft | Functional Requirements Under Security PresSuRE. | Stephan Fabender, Maritta Heisel, Rene Meis |
| 2014 | ICSoft | Aspect-oriented Requirements Engineering with Problem Frames. | Stephan Fabender, Maritta Heisel, Rene Meis |
| 2014 | ICSoft | A Problem-, Quality-, and Aspect-Oriented Requirements Engineering Method. | Stephan Fabender, Maritta Heisel, Rene Meis |
| 2014 | ICSoft | Problem-Based Security Requirements Elicitation and Refinement with PresSuRE. | Stephan Fabender, Maritta Heisel, Rene Meis |
| 2014 | REFSQ | Problem-Based Requirements Interaction Analysis. | Azadeh Alebrahim, Stephan Fabender, Maritta Heisel, Rene Meis |
| 2014 | SAFECOMP | Systematic Derivation of Functional Safety Requirements for Automotive Systems. | Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2014 | TrustBus | Privacy-Aware Cloud Deployment Scenario Selection. | Kristian Beckers, Stephan Fabender, Stefanos Gritzalis, Maritta Heisel, Christos Kalloniatis, Rene Meis |
| 2013 | EuroPLop | A meta-model for context-patterns. | Kristian Beckers, Stephan Fabender, Maritta Heisel |
| 2013 | ICSoft | From Problems to Laws in Requirements Engineering - Using Model-Transformation. | Stephan Fabender, Maritta Heisel |
| 2013 | ICSoft | A Computer-Aided Process from Problems to Laws in Requirements Engineering. | Stephan Fabender, Maritta Heisel |
| 2013 | ISSRE | A structured and model-based hazard analysis and risk assessment method for automotive systems. | Kristian Beckers, Maritta Heisel, Thomas Frese, Denis Hatebur |
| 2013 | SAC | Common criteria compliant software development (CC-CASD). | Kristian Beckers, Stephan Fabender, Denis Hatebur, Maritta Heisel, Isabelle Ct |
| 2012 | CaiSE | An Aspect-Oriented Approach to Relating Security Requirements and Access Control. | Azadeh Alebrahim, Thein Than Tun, Yijun Yu, Maritta Heisel, Bashar Nuseibeh |
| 2012 | SAC | Designing architectures from problem descriptions by interactive model transformation. | Azadeh Alebrahim, Isabelle Ct, Maritta Heisel, Christine Choppy, Denis Hatebur |
| 2011 | APSEC | A Method to Derive Software Architectures from Quality Requirements. | Azadeh Alebrahim, Denis Hatebur, Maritta Heisel |
| 2011 | ECSA | Towards Systematic Integration of Quality Requirements into Software Architecture. | Azadeh Alebrahim, Denis Hatebur, Maritta Heisel |
| 2011 | FASE | Systematic Development of UMLsec Design Models Based on Security Requirements. | Denis Hatebur, Maritta Heisel, Jan Jrjens, Holger Schmidt |
| 2011 | IC3K | Towards a Common Body of Knowledge for Engineering Secure Software and Services. | Widura Schwittek, Holger Schmidt, Stefan Eicker, Maritta Heisel |
| 2011 | RE | UML4PF - A tool for problem-oriented requirements analysis. | Isabelle Ct, Maritta Heisel, Holger Schmidt, Denis Hatebur |
| 2010 | ICFEM | Making Pattern- and Model-Based Software Development More Rigorous. | Denis Hatebur, Maritta Heisel |
| 2010 | SAFECOMP | A UML Profile for Requirements Analysis of Dependable Software. | Denis Hatebur, Maritta Heisel |
| 2009 | FASE | Problem-Oriented Documentation of Design Patterns. | Alexander Flleborn, Klaus Meffert, Maritta Heisel |
| 2009 | SAFECOMP | A Foundation for Requirements Analysis of Dependable Software. | Denis Hatebur, Maritta Heisel |
| 2008 | MODELS | A Formal Metamodel for Problem Frames. | Denis Hatebur, Maritta Heisel, Holger Schmidt |
| 2007 | ECSA | Pattern-Based Evolution of Software Architectures. | Isabelle Ct, Maritta Heisel, Ina Wentzlaff |
| 2007 | EuroPLop | A Systematic Account of Problem Frames. | Isabelle Ct, Denis Hatebur, Maritta Heisel, Holger Schmidt, Ina Wentzlaff |
| 2006 | APSEC | Component composition through architectural patterns for problem frames. | Christine Choppy, Denis Hatebur, Maritta Heisel |
| 2006 | EuroPLop | Methods to Create and Use Cross-Domain Analysis Patterns. | Alexander Flleborn, Maritta Heisel |
| 2005 | SAFECOMP | Problem Frames and Architectures for Security Problems. | Denis Hatebur, Maritta Heisel |
| 2002 | ESORICS | Confidentiality-Preserving Refinement is Compositional - Sometimes. | Thomas Santen, Maritta Heisel, Andreas Pfitzmann |
| 2002 | ICFEM | Toward a Formal Model of Software Components. | Maritta Heisel, Thomas Santen, Jeanine Souquires |
| 2002 | SAFECOMP | A Problem-Oriented Approach to Common Criteria Certification. | Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner |
| 1999 | ER | A Method for Requirements Elicitation and Formal Specification. | Maritta Heisel, Jeanine Souquires |
| 1999 | SAFECOMP | Modeling Safety-Critical Systems with Z and Petri Nets. | Monika Heiner, Maritta Heisel |
| 1998 | FASE | Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. | Wolfgang Grieskamp, Maritta Heisel, Heiko Drr |
| 1998 | GI | Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. | Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber |
| 1998 | SAFECOMP | An Agenda for Specifying Software Components with Complex Data Models. | Kirsten Winter, Thomas Santen, Maritta Heisel |
| 1997 | SAFECOMP | Methodological Support for Formally Specifying Safety-Critical Software. | Maritta Heisel, Carsten Siihl |
| 1996 | SAFECOMP | Formal Specification of Safety-Critical Software with Z and Real-Time CSP. | Maritta Heisel, Carsten Shl |
| 1995 | SAFECOMP | Six Steps Towards Provably Safe Software. | Maritta Heisel |
| 1993 | GI | Korrekte Software: Nur eine Illusion? | Maritta Heisel, Debora Weber-Wulff |
| 1990 | CADE | Tactical Theorem Proving in Program Verification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1989 | KI | Machine-Assisted Program Construction and Modification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1988 | CADE | Implementing Verification Strategies in the KIV-System. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | CSL | Program Verification Using Dynamic Logic. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | KI | Program Verification by Symbolic Execution and Induction. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1986 | CADE | An Interactive Verification System Based on Dynamic Logic. | Reiner Hhnle, Maritta Heisel, Wolfgang Reif, Werner Stephan |