Binomial Heaps and Skew Binomial Heaps. - Rene Meis; Finn Nielsen; Peter Lammich (Arch. Formal Proofs, 2010)

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)

A Separation Logic Framework for Imperative HOL. - Peter Lammich; Rene Meis (Arch. Formal Proofs, 2012)

Problem-Based Consideration of Privacy-Relevant Domain Knowledge. - Rene Meis (Privacy and Identity Management, 2013)

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)

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)

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

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)

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

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)

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

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

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)

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)

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)

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 privacy analysis (ProPAn) - a computer-aided privacy requirements engineering method. - Rene Meis (2018)

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)