An Interactive Verification System Based on Dynamic Logic. - Reiner Hähnle; Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CADE, 1986)

Program Verification Using Dynamic Logic. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CSL, 1987)

Program Verification by Symbolic Execution and Induction. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (GWAI, 1987)

Implementing Verification Strategies in the KIV-System. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CADE, 1988)

Bericht über den Workshop "Logik und Wissensrepräsentation". - Maritta Heisel; Wolfgang Reif (Künstliche Intell., 1988)

A Dynamic Logic for Program Verification. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (Logic at Botik, 1989)

Machine-Assisted Program Construction and Modification. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (GWAI, 1989)

Tactical Theorem Proving in Program Verification. - Maritta Heisel; Wolfgang Reif; Werner Stephan 001 (CADE, 1990)

Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. - Maritta Heisel (Sci. Comput. Program., 1992)

Formale Programmentwicklung mit dynamischer Logik. - Maritta Heisel (Dt. Univ.-Verlag, 1992)

"Frauenspezifische Informatik" und Frauenförderpläne: Wie paßt das zusammen?. - Maritta Heisel (Frauen in Mathematik und Informatik, 1993)

Korrekte Software: Nur eine Illusion? - Maritta Heisel; Debora Weber-Wulff (Inform. Forsch. Entwickl., 1994)

Specification of the Unix File System: A Comparative Case Study. - Maritta Heisel (AMAST, 1995)

Tool Support for Formal Software Development: A Generic Architecture. - Maritta Heisel; Thomas Santen; Dominik Zimmermann (ESEC, 1995)

Six Steps Towards Provably Safe Software. - Maritta Heisel (SAFECOMP, 1995)

Formal Specification of Safety-Critical Software with Z and Real-Time CSP. - Maritta Heisel; Carsten Sühl (SAFECOMP, 1996)

A Two-Layered Approach to Support Systematic Software Development. - Maritta Heisel; Stefan Jähnichen (Requirements Targeting Software and Systems Engineering, 1997)

Methodological Support for Formally Specifying Safety-Critical Software. - Maritta Heisel; Carsten Siihl (SAFECOMP, 1997)

Using LOTOS Patterns to Characterize Architectural Styles. - Maritta Heisel; Nicole Lévy (TAPSOFT, 1997)

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. - Wolfgang Grieskamp; Maritta Heisel; Heiko Dörr (FASE, 1998)

A Heuristic Approach to Detect Feature Interactions in Requirements. - Maritta Heisel; Jeanine Souquières (FIW, 1998)

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. - Maritta Heisel; Rainer Mackenthun; Thomas Neustupny; Sadegh Sadeghipour; Matthias Weber 001 (GI Jahrestagung, 1998)

Methodological Support for Requirements Elicitation and Formal Specification. - Maritta Heisel; Jeanine Souquières (IWSSD, 1998)

An Agenda for Specifying Software Components with Complex Data Models. - Kirsten Winter; Thomas Santen; Maritta Heisel (SAFECOMP, 1998)

A Method for Requirements Elicitation and Formal Specification. - Maritta Heisel; Jeanine Souquières (ER, 1999)

Modeling Safety-Critical Systems with Z and Petri Nets. - Monika Heiner; Maritta Heisel (SAFECOMP, 1999)

A Heuristic Algorithm to Detect Feature Interactions in Requirements. - Maritta Heisel; Jeanine Souquières (FIREworks, 2000)

Confidentiality-Preserving Refinement. - Maritta Heisel; Andreas Pfitzmann; Thomas Santen (CSFW, 2001)

Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. - Wolfgang Grieskamp; Maritta Heisel; Heiko Dörr (Sci. Comput. Program., 2001)

Confidentiality-Preserving Refinement is Compositional - Sometimes. - Thomas Santen; Maritta Heisel; Andreas Pfitzmann (ESORICS, 2002)

Toward a Formal Model of Software Components. - Maritta Heisel; Thomas Santen; Jeanine Souquières (ICFEM, 2002)

A Problem-Oriented Approach to Common Criteria Certification. - Thomas Rottke; Denis Hatebur; Maritta Heisel; Monika Heiner (SAFECOMP, 2002)

Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. - Christine Choppy; Maritta Heisel (WADT, 2002)

Adding Features to Component-Based Systems. - Maritta Heisel; Jeanine Souquières (Objects, Agents, and Features, 2003)

A method for guiding software evolution. - Maritta Heisel; Carsten von Schwichow (IASTED Conf. on Software Engineering, 2004)

A Model-Based Development Process for Embedded System. - Maritta Heisel; Denis Hatebur (MBEES, 2005)

Problem Frames and Architectures for Security Problems. - Denis Hatebur; Maritta Heisel (SAFECOMP, 2005)

Proving Component Interoperability with B Refinement. - Samir Chouali; Maritta Heisel; Jeanine Souquières (FACS, 2005)

Architectural patterns for problem frames. - Christine Choppy; Denis Hatebur; Maritta Heisel (IEE Proc. Softw., 2005)

Component composition through architectural patterns for problem frames. - Christine Choppy; Denis Hatebur; Maritta Heisel (APSEC, 2006)

Security Engineering Using Problem Frames. - Denis Hatebur; Maritta Heisel; Holger Schmidt 001 (ETRICS, 2006)

A Method for Component-Based Software and System Development. - Denis Hatebur; Maritta Heisel; Jeanine Souquières (EUROMICRO-SEAA, 2006)

Methods to Create and Use Cross-Domain Analysis Patterns. - Alexander Fülleborn; Maritta Heisel (EuroPLoP, 2006)

A Pattern System for Security Requirements Engineering. - Denis Hatebur; Maritta Heisel; Holger Schmidt 001 (ARES, 2007)

Enhancing Dependability of Component-Based Systems. - Arnaud Lanoix; Denis Hatebur; Maritta Heisel; Jeanine Souquières (Ada-Europe, 2007)

A Security Engineering Process based on Patterns. - Denis Hatebur; Maritta Heisel; Holger Schmidt 001 (DEXA Workshops, 2007)

Pattern-Based Evolution of Software Architectures. - Isabelle Côté; Maritta Heisel; Ina Wentzlaff (ECSA, 2007)

A Systematic Account of Problem Frames. - Isabelle Côté; Denis Hatebur; Maritta Heisel; Holger Schmidt 001; Ina Wentzlaff (EuroPLoP, 2007)

WG5: Workshop Softwarearchitektur und Migration. - Rainer Gimnich; Michael Goedicke; Wilhelm Hasselbring; Maritta Heisel; Ralf H. Reussner; Andreas Winter 001 (Software Engineering, 2007)

Einführung. - Rainer Gimnich; Michael Goedicke; Wilhelm Hasselbring; Maritta Heisel; Ralf H. Reussner; Andreas Winter 001 (Software Engineering (Workshops), 2007)

Pattern-Based Exploration of Design Alternatives for the Evolution of Software Architectures. - Isabelle Côté; Maritta Heisel; Ina Wentzlaff (Int. J. Cooperative Inf. Syst., 2007)

Guest Editorial. - Maritta Heisel (Reliab. Eng. Syst. Saf., 2007)

Bericht über den Workshop Software-Architektur und Migration im Rahmen der Software-Engineering 2007, 27. März 2007 in Hamburg. - Rainer Gimnich; Michael Goedicke; Wilhelm Hasselbring; Maritta Heisel; Ralf H. Reussner; Andreas Winter 001 (Softwaretechnik-Trends, 2007)

Analysis and Component-based Realization of Security Requirements. - Denis Hatebur; Maritta Heisel; Holger Schmidt 001 (ARES, 2008)

A Formal Metamodel for Problem Frames. - Denis Hatebur; Maritta Heisel; Holger Schmidt 001 (MoDELS, 2008)

Workshop Modellgetriebene Softwarearchitektur -Evolution, Integration und Migration. - Michael Goedicke; Maritta Heisel; Sascha Hunold; Stefan Kühne; Matthias Riebisch; Niels Streekmann (Software Engineering, 2008)

Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008). - Michael Goedicke; Maritta Heisel; Sascha Hunold; Stefan Kühne; Matthias Riebisch; Niels Streekmann (Software Engineering (Workshops), 2008)

Using UML Environment Models for Test Case Generation. - Maritta Heisel; Denis Hatebur; Thomas Santen; Dirk Seifen (Software Engineering (Workshops), 2008)

Testing Against Requirements Using UML Environment Models. - Maritta Heisel; Denis Hatebur; Thomas Santen; Dirk Seifert (Softwaretechnik-Trends, 2008)

Problem-Oriented Documentation of Design Patterns. - Alexander Fülleborn; Klaus Meffert; Maritta Heisel (FASE, 2009)

On the Evolution of Component-Based Software. - Isabelle Côté; Maritta Heisel; Jeanine Souquières (CEE-SET, 2009)

A Foundation for Requirements Analysis of Dependable Software. - Denis Hatebur; Maritta Heisel (SAFECOMP, 2009)

Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2009). - Michael Goedicke; Maritta Heisel; Sascha Hunold; Stefan Kühne; Matthias Riebisch; Niels Streekmann (Software Engineering, 2009)

Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM2009). - Michael Goedicke; Maritta Heisel; Sascha Hunold; Stefan Kühne; Matthias Riebisch; Niels Streekmann (Software Engineering (Workshops), 2009)

Deriving Software Architectures from Problem Descriptions. - Denis Hatebur; Maritta Heisel (Software Engineering (Workshops), 2009)

Making Pattern- and Model-Based Software Development More Rigorous. - Denis Hatebur; Maritta Heisel (ICFEM, 2010)

A UML Profile for Requirements Analysis of Dependable Software. - Denis Hatebur; Maritta Heisel (SAFECOMP, 2010)

A comparison of security requirements engineering methods. - Benjamin Fabian; Seda F. Gürses; Maritta Heisel; Thomas Santen; Holger Schmidt 001 (Requir. Eng., 2010)

Systematic Architectural Design Based on Problem Patterns. - Christine Choppy; Denis Hatebur; Maritta Heisel (Relating Software Requirements and Architectures, 2011)

A Method to Derive Software Architectures from Quality Requirements. - Azadeh Alebrahim; Denis Hatebur; Maritta Heisel (APSEC, 2011)

A UML Profile and Tool Support for Evolutionary Requirements Engineering. - Isabelle Côté; Maritta Heisel (CSMR, 2011)

Towards Systematic Integration of Quality Requirements into Software Architecture. - Azadeh Alebrahim; Denis Hatebur; Maritta Heisel (ECSA, 2011)

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

Towards a Common Body of Knowledge for Engineering Secure Software and Services. - Widura Schwittek; Holger Schmidt 001; Stefan Eicker; Maritta Heisel (KMIS, 2011)

UML4PF - A tool for problem-oriented requirements analysis. - Isabelle Côté; Maritta Heisel; Holger Schmidt 001; Denis Hatebur (RE, 2011)

Ontology-Based Identification of Research Gaps and Immature Research Areas. - Kristian Beckers; Stefan Eicker; Stephan Faßbender; Maritta Heisel; Holger Schmidt 001; Widura Schwittek (CD-ARES, 2012)

Using Security Requirements Engineering Approaches to Support ISO 27001 Information Security Management Systems Development and Documentation. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Holger Schmidt 001 (ARES, 2012)

A Foundation for Requirements Analysis of Privacy Preserving Software. - Kristian Beckers; Maritta Heisel (CD-ARES, 2012)

A Common Body of Knowledge for Engineering Secure Software and Services. - Widura Schwittek; Holger Schmidt 001; Kristian Beckers; Stefan Eicker; Stephan Faßbender; Maritta Heisel (ARES, 2012)

A Problem-Based Approach for Computer-Aided Privacy Threat Identification. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Rene Meis (APF, 2012)

Pattern-Based Context Establishment for Service-Oriented Architectures. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Rene Meis (Software Service and Application Engineering, 2012)

An Aspect-Oriented Approach to Relating Security Requirements and Access Control. - Azadeh Alebrahim; Thein Than Tun; Yijun Yu; Maritta Heisel; Bashar Nuseibeh (CAiSE Forum, 2012)

Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Jan-Christoph Küster; Holger Schmidt 001 (ESSoS, 2012)

Supporting quality-driven design decisions by modeling variability. - Azadeh Alebrahim; Maritta Heisel (QoSA, 2012)

Designing architectures from problem descriptions by interactive model transformation. - Azadeh Alebrahim; Isabelle Côté; Maritta Heisel; Christine Choppy; Denis Hatebur (SAC, 2012)

Deriving Quality-based Architecture Alternatives with Patterns. - Marco Konersmann; Azadeh Alebrahim; Maritta Heisel; Michael Goedicke; Benjamin Kersten (Software Engineering, 2012)

Combining Goal-Oriented and Problem-Oriented Requirements Engineering Methods. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Federica Paci (CD-ARES, 2013)

A Usability Evaluation of the NESSoS Common Body of Knowledge. - Kristian Beckers; Maritta Heisel (ARES, 2013)

Structured Pattern-Based Security Requirements Elicitation for Clouds. - Kristian Beckers; Maritta Heisel; Isabelle Côté; Ludger Goeke; Selim Güler (ARES, 2013)

A Problem-Based Threat Analysis in Compliance with Common Criteria. - Kristian Beckers; Denis Hatebur; Maritta Heisel (ARES, 2013)

A Framework for Combining Problem Frames and Goal Models to Support Context Analysis during Requirements Engineering. - Nazila Gol Mohammadi; Azadeh Alebrahim; Thorsten Weyer; Maritta Heisel; Klaus Pohl (CD-ARES, 2013)

A meta-model for context-patterns. - Kristian Beckers; Stephan Faßbender; Maritta Heisel (EuroPLoP, 2013)

From Problems to Laws in Requirements Engineering - Using Model-Transformation. - Stephan Faßbender; Maritta Heisel (ICSOFT, 2013)

A Computer-Aided Process from Problems to Laws in Requirements Engineering. - Stephan Faßbender; Maritta Heisel (ICSOFT (Selected Papers), 2013)

A structured and model-based hazard analysis and risk assessment method for automotive systems. - Kristian Beckers; Maritta Heisel; Thomas Frese; Denis Hatebur (ISSRE, 2013)

Common criteria compliant software development (CC-CASD). - Kristian Beckers; Stephan Faßbender; Denis Hatebur; Maritta Heisel; Isabelle Côté (SAC, 2013)

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). - Maritta Heisel; Mohamed Kaâniche; Alexander B. Romanovsky; Elena Troubitsyna (Dagstuhl Reports, 2013)

A pattern-based method for establishing a cloud-specific information security management system - Establishing information security management systems for clouds considering security, privacy, and legal compliance. - Kristian Beckers; Isabelle Côté; Stephan Faßbender; Maritta Heisel; Stefan Hofbauer (Requir. Eng., 2013)

Erratum to: A pattern-based method for establishing a cloud-specific information security management system. - Kristian Beckers; Isabelle Côté; Stephan Faßbender; Maritta Heisel; Stefan Hofbauer (Requir. Eng., 2013)

Optimizing Functional and Quality Requirements According to Stakeholders' Goals. - Azadeh Alebrahim; Christine Choppy; Stephan Faßbender; Maritta Heisel (Relating System Quality and Software Architecture, 2014)

Towards Developing Secure Software Using Problem-Oriented Security Patterns. - Azadeh Alebrahim; Maritta Heisel (CD-ARES, 2014)

Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method. - Azadeh Alebrahim; Stephan Faßbender; Martin Filipczyk; Michael Goedicke; Maritta Heisel; Marco Konersmann (CAiSE Workshops, 2014)

Problem-oriented security patterns for requirements engineering. - Azadeh Alebrahim; Maritta Heisel (EuroPLoP, 2014)

Deriving a pattern language syntax for context-patterns. - Kristian Beckers; Stephan Faßbender; Maritta Heisel (EuroPLoP, 2014)

A meta-pattern and pattern form for context-patterns. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Santiago Suppan (EuroPLoP, 2014)

A Structured Approach for Eliciting, Modeling, and Using Quality-Related Domain Knowledge. - Azadeh Alebrahim; Maritta Heisel; Rene Meis (ICCSA (5), 2014)

Functional Requirements Under Security PresSuRE. - Stephan Faßbender; Maritta Heisel; Rene Meis (ICSOFT PT, 2014)

Aspect-oriented Requirements Engineering with Problem Frames. - Stephan Faßbender; Maritta Heisel; Rene Meis (ICSOFT PT, 2014)

A Problem-, Quality-, and Aspect-Oriented Requirements Engineering Method. - Stephan Faßbender; Maritta Heisel; Rene Meis (ICSOFT (Selected Papers), 2014)

Problem-Based Security Requirements Elicitation and Refinement with PresSuRE. - Stephan Faßbender; Maritta Heisel; Rene Meis (ICSOFT (Selected Papers), 2014)

Problem-Based Requirements Interaction Analysis. - Azadeh Alebrahim; Stephan Faßbender; Maritta Heisel; Rene Meis (REFSQ, 2014)

Systematic Derivation of Functional Safety Requirements for Automotive Systems. - Kristian Beckers; Isabelle Côté; Thomas Frese; Denis Hatebur; Maritta Heisel (SAFECOMP, 2014)

A Threat Analysis Methodology for Smart Home Scenarios. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Santiago Suppan (SmartGridSec, 2014)

Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis. - Kristian Beckers; Maritta Heisel; Leanid Krautsevich; Fabio Martinelli; Rene Meis; Artsiom Yautsiukhin (SmartGridSec, 2014)

Enhancing Problem Frames with Trust and Reputation for Analyzing Smart Grid Security Requirements. - Francisco Moyano; M. Carmen Fernández Gago; Kristian Beckers; Maritta Heisel (SmartGridSec, 2014)

Privacy-Aware Cloud Deployment Scenario Selection. - Kristian Beckers; Stephan Faßbender; Stefanos Gritzalis; Maritta Heisel; Christos Kalloniatis; Rene Meis (TrustBus, 2014)

A Structured Method for Security Requirements Elicitation concerning the Cloud Computing Domain. - Kristian Beckers; Isabelle Côté; Ludger Goeke; Selim Güler; Maritta Heisel (Int. J. Secur. Softw. Eng., 2014)

Supporting Common Criteria Security Analysis with Problem Frames. - Kristian Beckers; Maritta Heisel; Denis Hatebur (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

A Structured Comparison of Security Standards. - Kristian Beckers; Isabelle Côté; Stefan Fenz; Denis Hatebur; Maritta Heisel (Engineering Secure Future Internet Services and Systems, 2014)

ISMS-CORAS: A Structured Method for Establishing an ISO 27001 Compliant Information Security Management System. - Kristian Beckers; Maritta Heisel; Bjørnar Solhaug; Ketil Stølen (Engineering Secure Future Internet Services and Systems, 2014)

1st Workshop on VAriability for QUalIties in SofTware Architecture (VAQUITA): Workshop Introduction. - Azadeh Alebrahim; Stephan Faßbender; Martin Filipczyk; Michael Goedicke; Maritta Heisel; Uwe Zdun (ECSA Workshops, 2015)

Towards a reliable mapping between performance and security tactics, and architectural patterns. - Azadeh Alebrahim; Stephan Fassbender; Martin Filipczyk; Michael Goedicke; Maritta Heisel (EuroPLoP, 2015)

Towards systematic selection of architectural patterns with respect to quality requirements. - Azadeh Alebrahim; Stephan Fassbender; Martin Filipczyk; Michael Goedicke; Maritta Heisel (EuroPLoP, 2015)

Applying performance patterns for requirements analysis. - Azadeh Alebrahim; Maritta Heisel (EuroPLoP, 2015)

Systematic Identification of Information Flows from Requirements to Support Privacy Impact Assessments. - Rene Meis; Maritta Heisel (ICSOFT-PT, 2015)

Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis. - Rene Meis; Maritta Heisel (ICSOFT (Selected Papers), 2015)

Engineering trust- and reputation-based security controls for future internet systems. - Kristian Beckers; Maritta Heisel; Francisco Moyano; M. Carmen Fernández Gago (SAC, 2015)

A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. - Kristian Beckers; Isabelle Côté; Thomas Frese; Denis Hatebur; Maritta Heisel (SAFECOMP, 2015)

Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software Systems. - Azadeh Alebrahim; Nazila Gol Mohammadi; Maritta Heisel (Software Engineering (Workshops), 2015)

A Taxonomy of Requirements for the Privacy Goal Transparency. - Rene Meis; Roman Wirtz; Maritta Heisel (TrustBus, 2015)

Addressing self-disclosure in social media: An instructional awareness approach. - Nicolás Emilio Díaz Ferreyra; Johanna Schäwel; Maritta Heisel; Christian Meske (AICCSA, 2016)

Patterns for identification of trust concerns and specification of trustworthiness requirements. - Nazila Gol Mohammadi; Maritta Heisel (EuroPLoP, 2016)

The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software. - Nelufar Ulfat-Bunyadi; Rene Meis; Maritta Heisel (ICSOFT-PT, 2016)

Facilitating Reuse of Control Software Through Context Modelling Based on the Six-Variable Model. - Nelufar Ulfat-Bunyadi; Rene Meis; Maritta Heisel (ICSOFT (Selected Papers), 2016)

Introducing Product Line Engineering in a Bottom-up Approach. - Nelufar Ulfat-Bunyadi; Rene Meis; Nazila Gol Mohammadi; Maritta Heisel (ICSOFT-PT, 2016)

Enhancing Business Process Models with Trustworthiness Requirements. - Nazila Gol Mohammadi; Maritta Heisel (IFIPTM, 2016)

Understanding the Privacy Goal Intervenability. - Rene Meis; Maritta Heisel (TrustBus, 2016)

A Framework for Systematic Analysis and Modeling of Trustworthiness Requirements Using i* and BPMN. - Nazila Gol Mohammadi; Maritta Heisel (TrustBus, 2016)

Computer-Aided Identification and Validation of Privacy Requirements. - Rene Meis; Maritta Heisel (Inf., 2016)

Variability for Qualities in Software Architecture. - Azadeh Alebrahim; Stephan Faßbender; Martin Filipczyk; Michael Goedicke; Maritta Heisel; Uwe Zdun (ACM SIGSOFT Softw. Eng. Notes, 2016)

Performing a More Realistic Safety Analysis by Means of the Six-Variable Model. - Nelufar Ulfat-Bunyadi; Denis Hatebur; Maritta Heisel (Automotive - Safety & Security, 2017)

Online Self-disclosure: From Users' Regrets to Instructional Awareness. - Nicolás E. Díaz Ferreyra; Rene Meis; Maritta Heisel (CD-MAKE, 2017)

Towards an ILP Approach for Learning Privacy Heuristics from Users' Regrets. - Nicolás Emilio Díaz Ferreyra; Rene Meis; Maritta Heisel (ENIC, 2017)

Secure Data Processing in the Cloud. - Zoltán Ádám Mann; Eliot E. Salant; Mike Surridge; Dhouha Ayed; John Boyle; Maritta Heisel; Andreas Metzger; Paul Mundt (ESOCC Workshops, 2017)

Aspect Frames: Describing Cross-Cutting Concerns in Aspect-Oriented Requirements Engineering. - Rene Meis; Maritta Heisel (EuroPLoP, 2017)

Should User-generated Content be a Matter of Privacy Awareness? - A Position Paper. - Nicolás Emilio Díaz Ferreyra; Rene Meis; Maritta Heisel (KMIS, 2017)

Towards Systematic Privacy and Operability (PRIOP) Studies. - Rene Meis; Maritta Heisel (SEC, 2017)

Pattern-Based Representation of Privacy Enhancing Technologies as Early Aspects. - Rene Meis; Maritta Heisel (TrustBus, 2017)

Computer-Aided Identification and Validation of Intervenability Requirements. - Rene Meis; Maritta Heisel (Inf., 2017)

A Framework for Systematic Refinement of Trustworthiness Requirements. - Nazila Gol Mohammadi; Maritta Heisel (Inf., 2017)

A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface. - Kristian Beckers; Isabelle Côté; Thomas Frese; Denis Hatebur; Maritta Heisel (Reliab. Eng. Syst. Saf., 2017)

A Systematic Method to Describe and Identify Security Threats Based on Functional Requirements. - Roman Wirtz; Maritta Heisel (CRiSIS, 2018)

Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard. - Roman Wirtz; Maritta Heisel; Angela Borchert; Rene Meis; Aida Omerovic; Ketil Stølen (ENASE (Selected Papers), 2018)

Problem-based Elicitation of Security Requirements - The ProCOR Method. - Roman Wirtz; Maritta Heisel; Rene Meis; Aida Omerovic; Ketil Stølen (ENASE, 2018)

Towards an End-to-End Architecture for Run-Time Data Protection in the Cloud. - Nazila Gol Mohammadi; Zoltán Ádám Mann; Andreas Metzger; Maritta Heisel; James Greig (SEAA, 2018)

Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model. - Nelufar Ulfat-Bunyadi; Nazila Gol Mohammadi; Maritta Heisel (ICSOFT, 2018)

Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams. - Nelufar Ulfat-Bunyadi; Nazila Gol Mohammadi; Roman Wirtz; Maritta Heisel (ICSOFT (Selected Papers), 2018)

The Gender Gap in Wikipedia Talk Pages. - Benjamin Cabrera; Björn Ross; Marielle Dado; Maritta Heisel (ICWSM, 2018)

At Your Own Risk: Shaping Privacy Heuristics for Online Self-disclosure. - Nicolás E. Díaz Ferreyra; Rene Meis; Maritta Heisel (PST, 2018)

Problem-based Derivation of Trustworthiness Requirements from Users' Trust Concerns. - Nazila Gol Mohammadi; Nelufar Ulfat-Bunyadi; Maritta Heisel (PST, 2018)

Access-Control Prediction in Social Network Sites: Examining the Role of Homophily. - Nicolás E. Díaz Ferreyra; Tobias Hecking; Heinz Ulrich Hoppe; Maritta Heisel (SocInfo (2), 2018)

Trustworthiness Cases - Toward Preparation for the Trustworthiness Certification. - Nazila Gol Mohammadi; Nelufar Ulfat-Bunyadi; Maritta Heisel (TrustBus, 2018)

Context Analysis of Cloud Computing Systems Using a Pattern-Based Approach. - Ludger Goeke; Nazila Gol Mohammadi; Maritta Heisel (Future Internet, 2018)

Context Modelling for Variability-intensive Systems During Requirements Engineering. - Nelufar Ulfat-Bunyadi; Maritta Heisel (Software Engineering for Variability Intensive Systems, 2019)

Systematic Asset Identification and Modeling During Requirements Engineering. - Nazila Gol Mohammadi; Roman Wirtz; Maritta Heisel (CRiSIS, 2019)

Architecture to Manage and Protect Personal Data Utilising Blockchain. - Jens Leicht; Maritta Heisel (ENASE, 2019)

CVSS-based Estimation and Prioritization for Security Risks. - Roman Wirtz; Maritta Heisel (ENASE, 2019)

Model-Based Risk Analysis and Evaluation Using CORAS and CVSS. - Roman Wirtz; Maritta Heisel (ENASE (Selected Papers), 2019)

Pattern-based modeling of cyber-physical systems for analyzing security. - Monika Maidl; Roman Wirtz; Tiange Zhao; Maritta Heisel; Marvin Wagner (EuroPLoP, 2019)

A generic conceptual data model of social media services. - Nazila Gol Mohammadi; Angela Borchert; Julia Pampus; Maritta Heisel (EuroPLoP, 2019)

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 (EuroPLoP, 2019)

Managing security risks: template-based specification of controls. - Roman Wirtz; Maritta Heisel (EuroPLoP, 2019)

RE4DIST: Model-based Elicitation of Functional Requirements for Distributed Systems. - Roman Wirtz; Maritta Heisel (ICSOFT, 2019)

Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems. - Roman Wirtz; Maritta Heisel; Marvin Wagner (ICSOFT (Selected Papers), 2019)

Combining Safety and Security in Autonomous Cars Using Blockchain Technologies. - Lucas Davi; Denis Hatebur; Maritta Heisel; Roman Wirtz (SAFECOMP Workshops, 2019)

Privacy Policy Specification Framework for Addressing End-Users' Privacy Requirements. - Nazila Gol Mohammadi; Jens Leicht; Nelufar Ulfat-Bunyadi; Maritta Heisel (TrustBus, 2019)

Learning from Online Regrets: From Deleted Posts to Risk Awareness in Social Network Sites. - Nicolás Emilio Díaz Ferreyra; Rene Meis; Maritta Heisel (UMAP (Adjunct Publication), 2019)

Balancing trust and privacy in computer-mediated introduction: featuring risk as a determinant for trustworthiness requirements elicitation. - Angela Borchert; Nicolás E. Díaz Ferreyra; Maritta Heisel (ARES, 2020)

A Conceptual Method for Eliciting Trust-related Software Features for Computer-mediated Introduction. - Angela Borchert; Nicolás Emilio Díaz Ferreyra; Maritta Heisel (ENASE, 2020)

Assisted Generation of Privacy Policies using Textual Patterns. - Nazila Gol Mohammadi; Jens Leicht; Ludger Goeke; Maritta Heisel (ENASE, 2020)

Systematic Treatment of Security Risks during Requirements Engineering. - Roman Wirtz; Maritta Heisel (ENASE, 2020)

Risk Treatment: An Iterative Method for Identifying Controls. - Roman Wirtz; Maritta Heisel (ENASE (Selected Papers), 2020)

PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements. - Nicolás E. Díaz Ferreyra; Patrick Tessier; Gabriel Pedroza; Maritta Heisel (DPM/CBT@ESORICS, 2020)

Persuasion Meets AI: Ethical Considerations for the Design of Social Engineering Countermeasures. - Nicolás E. Díaz Ferreyra; Esma Aïmeur; Hicham Hage; Maritta Heisel; Catherine García van Hoogstraten (KMIS, 2020)

Systematic Risk Assessment of Cloud Computing Systems using a Combined Model-based Approach. - Nazila Gol Mohammadi; Ludger Goeke; Maritta Heisel; Mike Surridge (ICEIS (2), 2020)

Risk Identification: From Requirements to Threat Models. - Roman Wirtz; Maritta Heisel (ICISSP, 2020)

Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions. - Monika Maidl; Gerhard Münz; Stefan Seltzsam; Marvin Wagner; Roman Wirtz; Maritta Heisel (ICSOFT, 2020)

Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach. - Monika Maidl; Gerhard Münz; Stefan Seltzsam; Marvin Wagner; Roman Wirtz; Maritta Heisel (ICSOFT (Selected Papers), 2020)

Building Trustworthiness in Computer-Mediated Introduction: A Facet-Oriented Framework. - Angela Borchert; Nicolás Emilio Díaz Ferreyra; Maritta Heisel (SMSociety, 2020)

Preventative Nudges: Introducing Risk Cues for Supporting Online Self-Disclosure Decisions. - Nicolás Emilio Díaz Ferreyra; Tobias Kroll; Esma Aïmeur; Stefan Stieglitz; Maritta Heisel (Inf., 2020)

Correction: Díaz Ferreyra, N.E., et al. Preventative Nudges: Introducing Risk Cues for Supporting Online Self-Disclosure Decisions. Information 2020, 11, 399. - Nicolás E. Díaz Ferreyra; Tobias Kroll; Esma Aïmeur; Stefan Stieglitz; Maritta Heisel (Inf., 2020)

Mitigating Privacy Concerns by Developing Trust-related Software Features for a Hybrid Social Media Application. - Angela Borchert; Aidmar Wainakh; Nicole Krämer 001; Max Mühlhäuser; Maritta Heisel (ENASE, 2021)

The Relevance of Privacy Concerns, Trust, and Risk for Hybrid Social Media. - Angela Borchert; Aidmar Wainakh; Nicole Krämer 001; Max Mühlhäuser; Maritta Heisel (ENASE (Selected Papers), 2021)

P2P Frames: Pattern-based Characterization of Functional Requirements for Peer-to-peer Systems. - Lirijan Sabani; Roman Wirtz; Maritta Heisel (ENASE, 2021)

Risk Identification Based on Architectural Patterns. - Maritta Heisel; Aida Omerovic (QUATIC, 2021)

Conflict Identification and Resolution for Trust-Related Requirements Elicitation A Goal Modeling Approach. - Angela Borchert; Maritta Heisel (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2021)

ENAGRAM: An App to Evaluate Preventative Nudges for Instagram. - Nicolás E. Díaz Ferreyra; Sina Ostendorf; Esma Aïmeur; Maritta Heisel; Matthias Brand (EuroUSEC, 2022)

Meeting Strangers Online: Feature Models for Trustworthiness Assessment. - Angela Borchert; Nicolás E. Díaz Ferreyra; Maritta Heisel (HCSE, 2022)

PriPoCoG: Guiding Policy Authors to Define GDPR-Compliant Privacy Policies. - Jens Leicht; Maritta Heisel; Armin Gerl (TrustBus, 2022)

The Role of Trustworthiness Facets for Developing Social Media Applications: A Structured Literature Review. - Angela Borchert; Maritta Heisel (Inf., 2022)

Community detection for access-control decisions: Analysing the role of homophily and information diffusion in Online Social Networks. - Nicolás E. Díaz Ferreyra; Tobias Hecking; Esma Aïmeur; Maritta Heisel; Heinz Ulrich Hoppe (Online Soc. Networks Media, 2022)

Pattern-Based Risk Identification for Model-Based Risk Management. - Maritta Heisel; Marvin Wagner (Applicable Formal Methods for Safe Industrial Products, 2023)

Creating Privacy Policies from Data-Flow Diagrams. - Jens Leicht; Marvin Wagner; Maritta Heisel (ESORICS Workshops (1), 2023)

P2BAC: Privacy Policy Based Access Control Using P-LPL. - Jens Leicht; Maritta Heisel (ICISSP, 2023)

Model-Based Documentation of Architectures for Cloud-Based Systems. - Marvin Wagner; Maritta Heisel (ICSOFT, 2023)

Extending PriPoCoG: A Privacy Policy Editor for GDPR-Compliant Privacy Policies. - Jens Leicht; Maritta Heisel (ENASE, 2024)

Pattern-based Requirements Elicitation for Sovereign Data Sharing. - Julia Pampus; Maritta Heisel (ICDS, 2024)

An Empirical Examination of the Technical Aspects of Data Sovereignty. - Julia Pampus; Maritta Heisel (ICSOFT, 2024)

Cybersecurity discussions in Stack Overflow: a developer-centred analysis of engagement and self-disclosure behaviour. - Nicolás E. Díaz Ferreyra; Melina C. Vidoni; Maritta Heisel; Riccardo Scandariato (Soc. Netw. Anal. Min., 2024)

PriPoCoG: Empowering End-Users' Data Protection Decisions. - Jens Leicht; Julien Lukasewycz; Maritta Heisel (ICEIS (2), 2025)

Management of Customized Privacy Policies. - Jens Leicht; Maritta Heisel (ICISSP (2), 2025)