Maritta Heisel

221 papers A 9B 45C 30Misc 21Journal 32Unranked 76
YearRankTypeTitle / Venue / Authors
2025 — conf
Management of Customized Privacy Policies.
ICISSP (2)
Jens Leicht, Maritta Heisel
2025 — conf
PriPoCoG: Empowering End-Users' Data Protection Decisions.
ICEIS (2)
Jens Leicht, Julien Lukasewycz, Maritta Heisel
2025 C conf
Towards Consistent Policy Enforcement in Dataspaces.
DATA
Julia Pampus, Maritta Heisel
2024 C conf
An Empirical Examination of the Technical Aspects of Data Sovereignty.
ICSOFT
Julia Pampus, Maritta Heisel
2024 J jnl
Cybersecurity discussions in Stack Overflow: a developer-centred analysis of engagement and self-disclosure behaviour.
Soc. Netw. Anal. Min.
Nicolás E. Díaz Ferreyra, Melina C. Vidoni, Maritta Heisel, Riccardo Scandariato
2024 B conf
Extending PriPoCoG: A Privacy Policy Editor for GDPR-Compliant Privacy Policies.
ENASE
Jens Leicht, Maritta Heisel
2024 C conf
Pattern-based Requirements Elicitation for Sovereign Data Sharing.
ICDS
Julia Pampus, Maritta Heisel
2023 — conf
Creating Privacy Policies from Data-Flow Diagrams.
ESORICS Workshops (1)
Jens Leicht, Marvin Wagner, Maritta Heisel
2023 C conf
Model-Based Documentation of Architectures for Cloud-Based Systems.
ICSOFT
Marvin Wagner, Maritta Heisel
2023 C conf
P2BAC: Privacy Policy Based Access Control Using P-LPL.
ICISSP
Jens Leicht, Maritta Heisel
2023 — conf
Pattern-Based Risk Identification for Model-Based Risk Management.
Applicable Formal Methods for Safe Industrial Products
Maritta Heisel, Marvin Wagner
2022 J jnl
Community detection for access-control decisions: Analysing the role of homophily and information diffusion in Online Social Networks.
Online Soc. Networks Media
Nicolás E. Díaz Ferreyra, Tobias Hecking, Esma Aïmeur, Maritta Heisel, Heinz Ulrich Hoppe
2022 J jnl
Cybersecurity Discussions in Stack Overflow: A Developer-Centred Analysis of Engagement and Self-Disclosure Behaviour.
CoRR
Nicolás E. Díaz Ferreyra, Melina C. Vidoni, Maritta Heisel, Riccardo Scandariato
2022 — conf
ENAGRAM: An App to Evaluate Preventative Nudges for Instagram.
EuroUSEC
Nicolás E. Díaz Ferreyra, Sina Ostendorf, Esma Aïmeur, Maritta Heisel, Matthias Brand
2022 J jnl
ENAGRAM: An App to Evaluate Preventative Nudges for Instagram.
CoRR
Nicolás E. Díaz Ferreyra, Sina Ostendorf, Esma Aïmeur, Maritta Heisel, Matthias Brand
2022 — conf
Meeting Strangers Online: Feature Models for Trustworthiness Assessment.
HCSE
Angela Borchert, Nicolás E. Díaz Ferreyra, Maritta Heisel
2022 B conf
PriPoCoG: Guiding Policy Authors to Define GDPR-Compliant Privacy Policies.
TrustBus
Jens Leicht, Maritta Heisel, Armin Gerl
2022 J jnl
The Role of Trustworthiness Facets for Developing Social Media Applications: A Structured Literature Review.
Inf.
Angela Borchert, Maritta Heisel
2021 J jnl
Community Detection for Access-Control Decisions: Analysing the Role of Homophily and Information Diffusion in Online Social Networks.
CoRR
Nicolás E. Díaz Ferreyra, Tobias Hecking, Esma Aïmeur, Maritta Heisel, Heinz Ulrich Hoppe
2021 J jnl
Conflict Identification and Resolution for Trust-Related Requirements Elicitation A Goal Modeling Approach.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Angela Borchert, Maritta Heisel
2021 B conf
Mitigating Privacy Concerns by Developing Trust-related Software Features for a Hybrid Social Media Application.
ENASE
Angela Borchert, Aidmar Wainakh, Nicole Krämer, Max Mühlhäuser, Maritta Heisel
2021 B conf
P2P Frames: Pattern-based Characterization of Functional Requirements for Peer-to-peer Systems.
ENASE
Lirijan Sabani, Roman Wirtz, Maritta Heisel
2021 Misc conf
Risk Identification Based on Architectural Patterns.
QUATIC
Maritta Heisel, Aida Omerovic
2021 — conf
The Relevance of Privacy Concerns, Trust, and Risk for Hybrid Social Media.
ENASE (Selected Papers)
Angela Borchert, Aidmar Wainakh, Nicole Krämer, Max Mühlhäuser, Maritta Heisel
2020 B conf
A Conceptual Method for Eliciting Trust-related Software Features for Computer-mediated Introduction.
ENASE
Angela Borchert, Nicolás Emilio Díaz Ferreyra, Maritta Heisel
2020 B conf
Assisted Generation of Privacy Policies using Textual Patterns.
ENASE
Nazila Gol Mohammadi, Jens Leicht, Ludger Goeke, Maritta Heisel
2020 B conf
Balancing trust and privacy in computer-mediated introduction: featuring risk as a determinant for trustworthiness requirements elicitation.
ARES
Angela Borchert, Nicolás E. Díaz Ferreyra, Maritta Heisel
2020 — conf
Building Trustworthiness in Computer-Mediated Introduction: A Facet-Oriented Framework.
SMSociety
Angela Borchert, Nicolás Emilio Díaz Ferreyra, Maritta Heisel
2020 J jnl
Correction: Díaz Ferreyra, N.E., et al. Preventative Nudges: Introducing Risk Cues for Supporting Online Self-Disclosure Decisions. Information 2020, 11, 399.
Inf.
Nicolás E. Díaz Ferreyra, Tobias Kroll, Esma Aïmeur, Stefan Stieglitz, Maritta Heisel
2020 J jnl
Learning from Online Regrets: From Deleted Posts to Risk Awareness in Social Network Sites.
CoRR
Nicolás E. Díaz Ferreyra, Rene Meis, Maritta Heisel
2020 — conf
Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach.
ICSOFT (Selected Papers)
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
2020 — conf
PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements.
DPM/CBT@ESORICS
Nicolás E. Díaz Ferreyra, Patrick Tessier, Gabriel Pedroza, Maritta Heisel
2020 — conf
Persuasion Meets AI: Ethical Considerations for the Design of Social Engineering Countermeasures.
KMIS
Nicolás E. Díaz Ferreyra, Esma Aïmeur, Hicham Hage, Maritta Heisel, Catherine García van Hoogstraten
2020 J jnl
Persuasion Meets AI: Ethical Considerations for the Design of Social Engineering Countermeasures.
CoRR
Nicolás E. Díaz Ferreyra, Esma Aïmeur, Hicham Hage, Maritta Heisel, Catherine García van Hoogstraten
2020 J jnl
Preventative Nudges: Introducing Risk Cues for Supporting Online Self-Disclosure Decisions.
Inf.
Nicolás Emilio Díaz Ferreyra, Tobias Kroll, Esma Aïmeur, Stefan Stieglitz, Maritta Heisel
2020 C conf
Risk Identification: From Requirements to Threat Models.
ICISSP
Roman Wirtz, Maritta Heisel
2020 — conf
Risk Treatment: An Iterative Method for Identifying Controls.
ENASE (Selected Papers)
Roman Wirtz, Maritta Heisel
2020 — conf
Systematic Risk Assessment of Cloud Computing Systems using a Combined Model-based Approach.
ICEIS (2)
Nazila Gol Mohammadi, Ludger Goeke, Maritta Heisel, Mike Surridge
2020 B conf
Systematic Treatment of Security Risks during Requirements Engineering.
ENASE
Roman Wirtz, Maritta Heisel
2020 C conf
Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions.
ICSOFT
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
2019 Misc conf
A generic conceptual data model of social media services.
EuroPLoP
Nazila Gol Mohammadi, Angela Borchert, Julia Pampus, Maritta Heisel
2019 B conf
Architecture to Manage and Protect Personal Data Utilising Blockchain.
ENASE
Jens Leicht, Maritta Heisel
2019 B conf
CVSS-based Estimation and Prioritization for Security Risks.
ENASE
Roman Wirtz, Maritta Heisel
2019 — conf
Combining Safety and Security in Autonomous Cars Using Blockchain Technologies.
SAFECOMP Workshops
Lucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz
2019 — ch.
Context Modelling for Variability-intensive Systems During Requirements Engineering.
Software Engineering for Variability Intensive Systems
Nelufar Ulfat-Bunyadi, Maritta Heisel
2019 — conf
Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems.
ICSOFT (Selected Papers)
Roman Wirtz, Maritta Heisel, Marvin Wagner
2019 — conf
Learning from Online Regrets: From Deleted Posts to Risk Awareness in Social Network Sites.
UMAP (Adjunct Publication)
Nicolás Emilio Díaz Ferreyra, Rene Meis, Maritta Heisel
2019 Misc conf
Managing security risks: template-based specification of controls.
EuroPLoP
Roman Wirtz, Maritta Heisel
2019 — conf
Model-Based Risk Analysis and Evaluation Using CORAS and CVSS.
ENASE (Selected Papers)
Roman Wirtz, Maritta Heisel
2019 Misc conf
Pattern-based incorporation of privacy preferences into privacy policies: negotiating the conflicting needs of service providers and end-users.
EuroPLoP
Nazila Gol Mohammadi, Julia Pampus, Maritta Heisel
2019 Misc conf
Pattern-based modeling of cyber-physical systems for analyzing security.
EuroPLoP
Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner
2019 B conf
Privacy Policy Specification Framework for Addressing End-Users' Privacy Requirements.
TrustBus
Nazila Gol Mohammadi, Jens Leicht, Nelufar Ulfat-Bunyadi, Maritta Heisel
2019 C conf
RE4DIST: Model-based Elicitation of Functional Requirements for Distributed Systems.
ICSOFT
Roman Wirtz, Maritta Heisel
2019 C conf
Systematic Asset Identification and Modeling During Requirements Engineering.
CRiSIS
Nazila Gol Mohammadi, Roman Wirtz, Maritta Heisel
2018 C conf
A Systematic Method to Describe and Identify Security Threats Based on Functional Requirements.
CRiSIS
Roman Wirtz, Maritta Heisel
2018 — conf
Access-Control Prediction in Social Network Sites: Examining the Role of Homophily.
SocInfo (2)
Nicolás E. Díaz Ferreyra, Tobias Hecking, Heinz Ulrich Hoppe, Maritta Heisel
2018 C conf
At Your Own Risk: Shaping Privacy Heuristics for Online Self-disclosure.
PST
Nicolás E. Díaz Ferreyra, Rene Meis, Maritta Heisel
2018 J jnl
Context Analysis of Cloud Computing Systems Using a Pattern-Based Approach.
Future Internet
Ludger Goeke, Nazila Gol Mohammadi, Maritta Heisel
2018 C conf
Problem-based Derivation of Trustworthiness Requirements from Users' Trust Concerns.
PST
Nazila Gol Mohammadi, Nelufar Ulfat-Bunyadi, Maritta Heisel
2018 B conf
Problem-based Elicitation of Security Requirements - The ProCOR Method.
ENASE
Roman Wirtz, Maritta Heisel, Rene Meis, Aida Omerovic, Ketil Stølen
2018 — conf
Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard.
ENASE (Selected Papers)
Roman Wirtz, Maritta Heisel, Angela Borchert, Rene Meis, Aida Omerovic, Ketil Stølen
2018 C conf
Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model.
ICSOFT
Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Maritta Heisel
2018 — conf
Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams.
ICSOFT (Selected Papers)
Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Roman Wirtz, Maritta Heisel
2018 A conf
The Gender Gap in Wikipedia Talk Pages.
ICWSM
Benjamin Cabrera, Björn Ross, Marielle Dado, Maritta Heisel
2018 B conf
Towards an End-to-End Architecture for Run-Time Data Protection in the Cloud.
SEAA
Nazila Gol Mohammadi, Zoltán Ádám Mann, Andreas Metzger, Maritta Heisel, James Greig
2018 B conf
Trustworthiness Cases - Toward Preparation for the Trustworthiness Certification.
TrustBus
Nazila Gol Mohammadi, Nelufar Ulfat-Bunyadi, Maritta Heisel
2017 J jnl
A Framework for Systematic Refinement of Trustworthiness Requirements.
Inf.
Nazila Gol Mohammadi, Maritta Heisel
2017 J jnl
A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface.
Reliab. Eng. Syst. Saf.
Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
2017 Misc conf
Aspect Frames: Describing Cross-Cutting Concerns in Aspect-Oriented Requirements Engineering.
EuroPLoP
Rene Meis, Maritta Heisel
2017 J jnl
Computer-Aided Identification and Validation of Intervenability Requirements.
Inf.
Rene Meis, Maritta Heisel
2017 C conf
Online Self-disclosure: From Users' Regrets to Instructional Awareness.
CD-MAKE
Nicolás E. Díaz Ferreyra, Rene Meis, Maritta Heisel
2017 B conf
Pattern-Based Representation of Privacy Enhancing Technologies as Early Aspects.
TrustBus
Rene Meis, Maritta Heisel
2017 — conf
Performing a More Realistic Safety Analysis by Means of the Six-Variable Model.
Automotive - Safety & Security
Nelufar Ulfat-Bunyadi, Denis Hatebur, Maritta Heisel
2017 — conf
Secure Data Processing in the Cloud.
ESOCC Workshops
Zoltán Ádám Mann, Eliot E. Salant, Mike Surridge, Dhouha Ayed, John Boyle, Maritta Heisel, Andreas Metzger, Paul Mundt
2017 — conf
Should User-generated Content be a Matter of Privacy Awareness? - A Position Paper.
KMIS
Nicolás Emilio Díaz Ferreyra, Rene Meis, Maritta Heisel
2017 Misc conf
Towards Systematic Privacy and Operability (PRIOP) Studies.
SEC
Rene Meis, Maritta Heisel
2017 — conf
Towards an ILP Approach for Learning Privacy Heuristics from Users' Regrets.
ENIC
Nicolás Emilio Díaz Ferreyra, Rene Meis, Maritta Heisel
2016 B conf
A Framework for Systematic Analysis and Modeling of Trustworthiness Requirements Using i* and BPMN.
TrustBus
Nazila Gol Mohammadi, Maritta Heisel
2016 C conf
Addressing self-disclosure in social media: An instructional awareness approach.
AICCSA
Nicolás Emilio Díaz Ferreyra, Johanna Schäwel, Maritta Heisel, Christian Meske
2016 J jnl
Computer-Aided Identification and Validation of Privacy Requirements.
Inf.
Rene Meis, Maritta Heisel
2016 — conf
Enhancing Business Process Models with Trustworthiness Requirements.
IFIPTM
Nazila Gol Mohammadi, Maritta Heisel
2016 — conf
Facilitating Reuse of Control Software Through Context Modelling Based on the Six-Variable Model.
ICSOFT (Selected Papers)
Nelufar Ulfat-Bunyadi, Rene Meis, Maritta Heisel
2016 — conf
Introducing Product Line Engineering in a Bottom-up Approach.
ICSOFT-PT
Nelufar Ulfat-Bunyadi, Rene Meis, Nazila Gol Mohammadi, Maritta Heisel
2016 Misc conf
Patterns for identification of trust concerns and specification of trustworthiness requirements.
EuroPLoP
Nazila Gol Mohammadi, Maritta Heisel
2016 — conf
The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software.
ICSOFT-PT
Nelufar Ulfat-Bunyadi, Rene Meis, Maritta Heisel
2016 B conf
Understanding the Privacy Goal Intervenability.
TrustBus
Rene Meis, Maritta Heisel
2016 J jnl
Variability for Qualities in Software Architecture.
ACM SIGSOFT Softw. Eng. Notes
Azadeh Alebrahim, Stephan Faßbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel, Uwe Zdun
2015 — conf
1st Workshop on VAriability for QUalIties in SofTware Architecture (VAQUITA): Workshop Introduction.
ECSA Workshops
Azadeh Alebrahim, Stephan Faßbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel, Uwe Zdun
2015 B conf
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface.
SAFECOMP
Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
2015 B conf
A Taxonomy of Requirements for the Privacy Goal Transparency.
TrustBus
Rene Meis, Roman Wirtz, Maritta Heisel
2015 Misc conf
Applying performance patterns for requirements analysis.
EuroPLoP
Azadeh Alebrahim, Maritta Heisel
2015 C conf
Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software Systems.
Software Engineering (Workshops)
Azadeh Alebrahim, Nazila Gol Mohammadi, Maritta Heisel
2015 Misc conf
Engineering trust- and reputation-based security controls for future internet systems.
SAC
Kristian Beckers, Maritta Heisel, Francisco Moyano, M. Carmen Fernández Gago
2015 — conf
Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis.
ICSOFT (Selected Papers)
Rene Meis, Maritta Heisel
2015 — conf
Systematic Identification of Information Flows from Requirements to Support Privacy Impact Assessments.
ICSOFT-PT
Rene Meis, Maritta Heisel
2015 Misc conf
Towards a reliable mapping between performance and security tactics, and architectural patterns.
EuroPLoP
Azadeh Alebrahim, Stephan Fassbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel
2015 Misc conf
Towards systematic selection of architectural patterns with respect to quality requirements.
EuroPLoP
Azadeh Alebrahim, Stephan Fassbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel
2014 — conf
A Problem-, Quality-, and Aspect-Oriented Requirements Engineering Method.
ICSOFT (Selected Papers)
Stephan Faßbender, Maritta Heisel, Rene Meis
2014 — conf
A Structured Approach for Eliciting, Modeling, and Using Quality-Related Domain Knowledge.
ICCSA (5)
Azadeh Alebrahim, Maritta Heisel, Rene Meis
2014 — ch.
A Structured Comparison of Security Standards.
Engineering Secure Future Internet Services and Systems
Kristian Beckers, Isabelle Côté, Stefan Fenz, Denis Hatebur, Maritta Heisel
2014 J jnl
A Structured Method for Security Requirements Elicitation concerning the Cloud Computing Domain.
Int. J. Secur. Softw. Eng.
Kristian Beckers, Isabelle Côté, Ludger Goeke, Selim Güler, Maritta Heisel
2014 — conf
A Threat Analysis Methodology for Smart Home Scenarios.
SmartGridSec
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Santiago Suppan
2014 Misc conf
A meta-pattern and pattern form for context-patterns.
EuroPLoP
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Santiago Suppan
2014 — conf
Aspect-oriented Requirements Engineering with Problem Frames.
ICSOFT PT
Stephan Faßbender, Maritta Heisel, Rene Meis
2014 Misc conf
Deriving a pattern language syntax for context-patterns.
EuroPLoP
Kristian Beckers, Stephan Faßbender, Maritta Heisel
2014 — conf
Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis.
SmartGridSec
Kristian Beckers, Maritta Heisel, Leanid Krautsevich, Fabio Martinelli, Rene Meis, Artsiom Yautsiukhin
2014 — book
Engineering Secure Future Internet Services and Systems - Current Research
Engineering Secure Future Internet Services and Systems
Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli
2014 — conf
Enhancing Problem Frames with Trust and Reputation for Analyzing Smart Grid Security Requirements.
SmartGridSec
Francisco Moyano, M. Carmen Fernández Gago, Kristian Beckers, Maritta Heisel
2014 — conf
Functional Requirements Under Security PresSuRE.
ICSOFT PT
Stephan Faßbender, Maritta Heisel, Rene Meis
2014 — ch.
ISMS-CORAS: A Structured Method for Establishing an ISO 27001 Compliant Information Security Management System.
Engineering Secure Future Internet Services and Systems
Kristian Beckers, Maritta Heisel, Bjørnar Solhaug, Ketil Stølen
2014 — ch.
Optimizing Functional and Quality Requirements According to Stakeholders' Goals.
Relating System Quality and Software Architecture
Azadeh Alebrahim, Christine Choppy, Stephan Faßbender, Maritta Heisel
2014 B conf
Privacy-Aware Cloud Deployment Scenario Selection.
TrustBus
Kristian Beckers, Stephan Faßbender, Stefanos Gritzalis, Maritta Heisel, Christos Kalloniatis, Rene Meis
2014 B conf
Problem-Based Requirements Interaction Analysis.
REFSQ
Azadeh Alebrahim, Stephan Faßbender, Maritta Heisel, Rene Meis
2014 — conf
Problem-Based Security Requirements Elicitation and Refinement with PresSuRE.
ICSOFT (Selected Papers)
Stephan Faßbender, Maritta Heisel, Rene Meis
2014 Misc conf
Problem-oriented security patterns for requirements engineering.
EuroPLoP
Azadeh Alebrahim, Maritta Heisel
2014 J jnl
Supporting Common Criteria Security Analysis with Problem Frames.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Kristian Beckers, Maritta Heisel, Denis Hatebur
2014 B conf
Systematic Derivation of Functional Safety Requirements for Automotive Systems.
SAFECOMP
Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
2014 — conf
Towards Developing Secure Software Using Problem-Oriented Security Patterns.
CD-ARES
Azadeh Alebrahim, Maritta Heisel
2014 — conf
Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method.
CAiSE Workshops
Azadeh Alebrahim, Stephan Faßbender, Martin Filipczyk, Michael Goedicke, Maritta Heisel, Marco Konersmann
2013 — conf
A Computer-Aided Process from Problems to Laws in Requirements Engineering.
ICSOFT (Selected Papers)
Stephan Faßbender, Maritta Heisel
2013 — conf
A Framework for Combining Problem Frames and Goal Models to Support Context Analysis during Requirements Engineering.
CD-ARES
Nazila Gol Mohammadi, Azadeh Alebrahim, Thorsten Weyer, Maritta Heisel, Klaus Pohl
2013 B conf
A Problem-Based Threat Analysis in Compliance with Common Criteria.
ARES
Kristian Beckers, Denis Hatebur, Maritta Heisel
2013 B conf
A Usability Evaluation of the NESSoS Common Body of Knowledge.
ARES
Kristian Beckers, Maritta Heisel
2013 Misc conf
A meta-model for context-patterns.
EuroPLoP
Kristian Beckers, Stephan Faßbender, Maritta Heisel
2013 J jnl
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.
Requir. Eng.
Kristian Beckers, Isabelle Côté, Stephan Faßbender, Maritta Heisel, Stefan Hofbauer
2013 A conf
A structured and model-based hazard analysis and risk assessment method for automotive systems.
ISSRE
Kristian Beckers, Maritta Heisel, Thomas Frese, Denis Hatebur
2013 — conf
Combining Goal-Oriented and Problem-Oriented Requirements Engineering Methods.
CD-ARES
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Federica Paci
2013 Misc conf
Common criteria compliant software development (CC-CASD).
SAC
Kristian Beckers, Stephan Faßbender, Denis Hatebur, Maritta Heisel, Isabelle Côté
2013 J jnl
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022).
Dagstuhl Reports
Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna
2013 J jnl
Erratum to: A pattern-based method for establishing a cloud-specific information security management system.
Requir. Eng.
Kristian Beckers, Isabelle Côté, Stephan Faßbender, Maritta Heisel, Stefan Hofbauer
2013 C conf
From Problems to Laws in Requirements Engineering - Using Model-Transformation.
ICSOFT
Stephan Faßbender, Maritta Heisel
2013 B conf
Structured Pattern-Based Security Requirements Elicitation for Clouds.
ARES
Kristian Beckers, Maritta Heisel, Isabelle Côté, Ludger Goeke, Selim Güler
2012 B conf
A Common Body of Knowledge for Engineering Secure Software and Services.
ARES
Widura Schwittek, Holger Schmidt, Kristian Beckers, Stefan Eicker, Stephan Faßbender, Maritta Heisel
2012 — conf
A Foundation for Requirements Analysis of Privacy Preserving Software.
CD-ARES
Kristian Beckers, Maritta Heisel
2012 — conf
A Problem-Based Approach for Computer-Aided Privacy Threat Identification.
APF
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Rene Meis
2012 — conf
An Aspect-Oriented Approach to Relating Security Requirements and Access Control.
CAiSE Forum
Azadeh Alebrahim, Thein Than Tun, Yijun Yu, Maritta Heisel, Bashar Nuseibeh
2012 C conf
Deriving Quality-based Architecture Alternatives with Patterns.
Software Engineering
Marco Konersmann, Azadeh Alebrahim, Maritta Heisel, Michael Goedicke, Benjamin Kersten
2012 Misc conf
Designing architectures from problem descriptions by interactive model transformation.
SAC
Azadeh Alebrahim, Isabelle Côté, Maritta Heisel, Christine Choppy, Denis Hatebur
2012 — conf
Ontology-Based Identification of Research Gaps and Immature Research Areas.
CD-ARES
Kristian Beckers, Stefan Eicker, Stephan Faßbender, Maritta Heisel, Holger Schmidt, Widura Schwittek
2012 — conf
Pattern-Based Context Establishment for Service-Oriented Architectures.
Software Service and Application Engineering
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Rene Meis
2012 — ed.
Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Software Service and Application Engineering
Maritta Heisel
2012 — conf
Supporting quality-driven design decisions by modeling variability.
QoSA
Azadeh Alebrahim, Maritta Heisel
2012 — conf
Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches.
ESSoS
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Jan-Christoph Küster, Holger Schmidt
2012 B conf
Using Security Requirements Engineering Approaches to Support ISO 27001 Information Security Management Systems Development and Documentation.
ARES
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Holger Schmidt
2011 C conf
A Method to Derive Software Architectures from Quality Requirements.
APSEC
Azadeh Alebrahim, Denis Hatebur, Maritta Heisel
2011 — conf
A UML Profile and Tool Support for Evolutionary Requirements Engineering.
CSMR
Isabelle Côté, Maritta Heisel
2011 — ch.
Systematic Architectural Design Based on Problem Patterns.
Relating Software Requirements and Architectures
Christine Choppy, Denis Hatebur, Maritta Heisel
2011 B conf
Systematic Development of UMLsec Design Models Based on Security Requirements.
FASE
Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt
2011 B conf
Towards Systematic Integration of Quality Requirements into Software Architecture.
ECSA
Azadeh Alebrahim, Denis Hatebur, Maritta Heisel
2011 — conf
Towards a Common Body of Knowledge for Engineering Secure Software and Services.
KMIS
Widura Schwittek, Holger Schmidt, Stefan Eicker, Maritta Heisel
2011 A conf
UML4PF - A tool for problem-oriented requirements analysis.
RE
Isabelle Côté, Maritta Heisel, Holger Schmidt, Denis Hatebur
2010 B conf
A UML Profile for Requirements Analysis of Dependable Software.
SAFECOMP
Denis Hatebur, Maritta Heisel
2010 J jnl
A comparison of security requirements engineering methods.
Requir. Eng.
Benjamin Fabian, Seda F. Gürses, Maritta Heisel, Thomas Santen, Holger Schmidt
2010 C conf
Making Pattern- and Model-Based Software Development More Rigorous.
ICFEM
Denis Hatebur, Maritta Heisel
2009 B conf
A Foundation for Requirements Analysis of Dependable Software.
SAFECOMP
Denis Hatebur, Maritta Heisel
2009 C conf
Deriving Software Architectures from Problem Descriptions.
Software Engineering (Workshops)
Denis Hatebur, Maritta Heisel
2009 C conf
Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2009).
Software Engineering
Michael Goedicke, Maritta Heisel, Sascha Hunold, Stefan Kühne, Matthias Riebisch, Niels Streekmann
2009 — conf
On the Evolution of Component-Based Software.
CEE-SET
Isabelle Côté, Maritta Heisel, Jeanine Souquières
2009 B conf
Problem-Oriented Documentation of Design Patterns.
FASE
Alexander Fülleborn, Klaus Meffert, Maritta Heisel
2009 C conf
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM2009).
Software Engineering (Workshops)
Michael Goedicke, Maritta Heisel, Sascha Hunold, Stefan Kühne, Matthias Riebisch, Niels Streekmann
2008 A conf
A Formal Metamodel for Problem Frames.
MoDELS
Denis Hatebur, Maritta Heisel, Holger Schmidt
2008 B conf
Analysis and Component-based Realization of Security Requirements.
ARES
Denis Hatebur, Maritta Heisel, Holger Schmidt
2008 J jnl
Testing Against Requirements Using UML Environment Models.
Softwaretechnik-Trends
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert
2008 C conf
Using UML Environment Models for Test Case Generation.
Software Engineering (Workshops)
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen
2008 C conf
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008).
Software Engineering (Workshops)
Michael Goedicke, Maritta Heisel, Sascha Hunold, Stefan Kühne, Matthias Riebisch, Niels Streekmann
2008 C conf
Workshop Modellgetriebene Softwarearchitektur -Evolution, Integration und Migration.
Software Engineering
Michael Goedicke, Maritta Heisel, Sascha Hunold, Stefan Kühne, Matthias Riebisch, Niels Streekmann
2007 B conf
A Pattern System for Security Requirements Engineering.
ARES
Denis Hatebur, Maritta Heisel, Holger Schmidt
2007 — conf
A Security Engineering Process based on Patterns.
DEXA Workshops
Denis Hatebur, Maritta Heisel, Holger Schmidt
2007 Misc conf
A Systematic Account of Problem Frames.
EuroPLoP
Isabelle Côté, Denis Hatebur, Maritta Heisel, Holger Schmidt, Ina Wentzlaff
2007 J jnl
Bericht über den Workshop
Softwaretechnik-Trends
Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf H. Reussner, Andreas Winter
2007 C conf
Einführung.
Software Engineering (Workshops)
Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf H. Reussner, Andreas Winter
2007 Misc conf
Enhancing Dependability of Component-Based Systems.
Ada-Europe
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
2007 J jnl
Guest Editorial.
Reliab. Eng. Syst. Saf.
Maritta Heisel
2007 B conf
Pattern-Based Evolution of Software Architectures.
ECSA
Isabelle Côté, Maritta Heisel, Ina Wentzlaff
2007 J jnl
Pattern-Based Exploration of Design Alternatives for the Evolution of Software Architectures.
Int. J. Cooperative Inf. Syst.
Isabelle Côté, Maritta Heisel, Ina Wentzlaff
2007 C conf
WG5: Workshop Softwarearchitektur und Migration.
Software Engineering
Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf H. Reussner, Andreas Winter
2006 — conf
A Method for Component-Based Software and System Development.
EUROMICRO-SEAA
Denis Hatebur, Maritta Heisel, Jeanine Souquières
2006 C conf
Component composition through architectural patterns for problem frames.
APSEC
Christine Choppy, Denis Hatebur, Maritta Heisel
2006 Misc conf
Methods to Create and Use Cross-Domain Analysis Patterns.
EuroPLoP
Alexander Fülleborn, Maritta Heisel
2006 — conf
Security Engineering Using Problem Frames.
ETRICS
Denis Hatebur, Maritta Heisel, Holger Schmidt
2005 — conf
A Model-Based Development Process for Embedded System.
MBEES
Maritta Heisel, Denis Hatebur
2005 J jnl
Architectural patterns for problem frames.
IEE Proc. Softw.
Christine Choppy, Denis Hatebur, Maritta Heisel
2005 B conf
Problem Frames and Architectures for Security Problems.
SAFECOMP
Denis Hatebur, Maritta Heisel
2005 — conf
Proving Component Interoperability with B Refinement.
FACS
Samir Chouali, Maritta Heisel, Jeanine Souquières
2004 — conf
A method for guiding software evolution.
IASTED Conf. on Software Engineering
Maritta Heisel, Carsten von Schwichow
2004 B ed.
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings
SAFECOMP
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
2003 — conf
Adding Features to Component-Based Systems.
Objects, Agents, and Features
Maritta Heisel, Jeanine Souquières
2002 B conf
A Problem-Oriented Approach to Common Criteria Certification.
SAFECOMP
Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner
2002 A conf
Confidentiality-Preserving Refinement is Compositional - Sometimes.
ESORICS
Thomas Santen, Maritta Heisel, Andreas Pfitzmann
2002 C conf
Toward a Formal Model of Software Components.
ICFEM
Maritta Heisel, Thomas Santen, Jeanine Souquières
2002 — conf
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs.
WADT
Christine Choppy, Maritta Heisel
2001 — conf
Confidentiality-Preserving Refinement.
CSFW
Maritta Heisel, Andreas Pfitzmann, Thomas Santen
2001 J jnl
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.
Sci. Comput. Program.
Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
2000 — conf
A Heuristic Algorithm to Detect Feature Interactions in Requirements.
FIREworks
Maritta Heisel, Jeanine Souquières
1999 A conf
A Method for Requirements Elicitation and Formal Specification.
ER
Maritta Heisel, Jeanine Souquières
1999 B conf
Modeling Safety-Critical Systems with Z and Petri Nets.
SAFECOMP
Monika Heiner, Maritta Heisel
1998 — conf
A Heuristic Approach to Detect Feature Interactions in Requirements.
FIW
Maritta Heisel, Jeanine Souquières
1998 B conf
An Agenda for Specifying Software Components with Complex Data Models.
SAFECOMP
Kirsten Winter, Thomas Santen, Maritta Heisel
1998 — conf
Methodological Support for Requirements Elicitation and Formal Specification.
IWSSD
Maritta Heisel, Jeanine Souquières
1998 B conf
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.
FASE
Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
1998 — conf
Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz.
GI Jahrestagung
Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber
1997 — conf
A Two-Layered Approach to Support Systematic Software Development.
Requirements Targeting Software and Systems Engineering
Maritta Heisel, Stefan Jähnichen
1997 B conf
Methodological Support for Formally Specifying Safety-Critical Software.
SAFECOMP
Maritta Heisel, Carsten Siihl
1997 — conf
Using LOTOS Patterns to Characterize Architectural Styles.
TAPSOFT
Maritta Heisel, Nicole Lévy
1996 B conf
Formal Specification of Safety-Critical Software with Z and Real-Time CSP.
SAFECOMP
Maritta Heisel, Carsten Sühl
1995 B conf
Six Steps Towards Provably Safe Software.
SAFECOMP
Maritta Heisel
1995 — conf
Specification of the Unix File System: A Comparative Case Study.
AMAST
Maritta Heisel
1995 — conf
Tool Support for Formal Software Development: A Generic Architecture.
ESEC
Maritta Heisel, Thomas Santen, Dominik Zimmermann
1994 J jnl
Korrekte Software: Nur eine Illusion?
Inform. Forsch. Entwickl.
Maritta Heisel, Debora Weber-Wulff
1993 — conf
"Frauenspezifische Informatik" und Frauenförderpläne: Wie paßt das zusammen?.
Frauen in Mathematik und Informatik
Maritta Heisel
1993 — conf
Korrekte Software: Nur eine Illusion?
GI Jahrestagung
Maritta Heisel, Debora Weber-Wulff
1992 — —
Formale Programmentwicklung mit dynamischer Logik.
Maritta Heisel
1992 J jnl
Formalizing and Implementing Gries' Program Development Method in Dynamic Logic.
Sci. Comput. Program.
Maritta Heisel
1990 A conf
Tactical Theorem Proving in Program Verification.
CADE
Maritta Heisel, Wolfgang Reif, Werner Stephan
1989 — conf
A Dynamic Logic for Program Verification.
Logic at Botik
Maritta Heisel, Wolfgang Reif, Werner Stephan
1989 — conf
Machine-Assisted Program Construction and Modification.
GWAI
Maritta Heisel, Wolfgang Reif, Werner Stephan
1988 J jnl
Bericht über den Workshop "Logik und Wissensrepräsentation".
Künstliche Intell.
Maritta Heisel, Wolfgang Reif
1988 A conf
Implementing Verification Strategies in the KIV-System.
CADE
Maritta Heisel, Wolfgang Reif, Werner Stephan
1987 B conf
Program Verification Using Dynamic Logic.
CSL
Maritta Heisel, Wolfgang Reif, Werner Stephan
1987 — conf
Program Verification by Symbolic Execution and Induction.
GWAI
Maritta Heisel, Wolfgang Reif, Werner Stephan
1986 A conf
An Interactive Verification System Based on Dynamic Logic.
CADE
Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan