Maritta Heisel

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

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

Kristian Beckers, Maritta Heisel: A Foundation for Requirements Analysis of Privacy Preserving Software. CD-ARES 2012: 93-107

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

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

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

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

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

Azadeh Alebrahim, Maritta Heisel: Supporting quality-driven design decisions by modeling variability. QoSA 2012: 43-48

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

Marco Konersmann, Azadeh Alebrahim, Maritta Heisel, Michael Goedicke, Benjamin Kersten: Deriving Quality-based Architecture Alternatives with Patterns. Software Engineering 2012: 71-82

Maritta Heisel (Ed.): Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 7365, Springer 2012, isbn 978-3-642-30834-5

Christine Choppy, Denis Hatebur, Maritta Heisel: Systematic Architectural Design Based on Problem Patterns. Relating Software Requirements and Architectures 2011: 133-159

Azadeh Alebrahim, Denis Hatebur, Maritta Heisel: A Method to Derive Software Architectures from Quality Requirements. APSEC 2011: 322-330

Isabelle Côté, Maritta Heisel: A UML Profile and Tool Support for Evolutionary Requirements Engineering. CSMR 2011: 161-170

Azadeh Alebrahim, Denis Hatebur, Maritta Heisel: Towards Systematic Integration of Quality Requirements into Software Architecture. ECSA 2011: 17-25

Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt: Systematic Development of UMLsec Design Models Based on Security Requirements. FASE 2011: 232-246

Widura Schwittek, Holger Schmidt, Stefan Eicker, Maritta Heisel: Towards a Common Body of Knowledge for Engineering Secure Software and Services. KMIS 2011: 369-374

Isabelle Côté, Maritta Heisel, Holger Schmidt, Denis Hatebur: UML4PF - A tool for problem-oriented requirements analysis. RE 2011: 349-350

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

Denis Hatebur, Maritta Heisel: Making Pattern- and Model-Based Software Development More Rigorous. ICFEM 2010: 253-269

Denis Hatebur, Maritta Heisel: A UML Profile for Requirements Analysis of Dependable Software. SAFECOMP 2010: 317-331

Alexander Fülleborn, Klaus Meffert, Maritta Heisel: Problem-Oriented Documentation of Design Patterns. FASE 2009: 294-308

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

Denis Hatebur, Maritta Heisel: A Foundation for Requirements Analysis of Dependable Software. SAFECOMP 2009: 311-325

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

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

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

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

Denis Hatebur, Maritta Heisel, Holger Schmidt: Analysis and Component-based Realization of Security Requirements. ARES 2008: 195-203

Denis Hatebur, Maritta Heisel, Holger Schmidt: A Formal Metamodel for Problem Frames. MoDELS 2008: 68-82

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

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

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

Isabelle Côté, Maritta Heisel, Ina Wentzlaff: Pattern-Based Exploration of Design Alternatives for the Evolution of Software Architectures. Int. J. Cooperative Inf. Syst. 16(3/4): 341-365 (2007)

Maritta Heisel: Guest Editorial. Rel. Eng. & Sys. Safety 92(11): 1489-1491 (2007)

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

Denis Hatebur, Maritta Heisel, Holger Schmidt: A Pattern System for Security Requirements Engineering. ARES 2007: 356-365

Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières: Enhancing Dependability of Component-Based Systems. Ada-Europe 2007: 41-54

Denis Hatebur, Maritta Heisel, Holger Schmidt: A Security Engineering Process based on Patterns. DEXA Workshops 2007: 734-738

Isabelle Côté, Maritta Heisel, Ina Wentzlaff: Pattern-Based Evolution of Software Architectures. ECSA 2007: 29-43

Isabelle Côté, Denis Hatebur, Maritta Heisel, Holger Schmidt, Ina Wentzlaff: A Systematic Account of Problem Frames. EuroPLoP 2007: 749-768

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

Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf Reussner, Andreas Winter: WG5: Workshop Softwarearchitektur und Migration. Software Engineering 2007: 283-284

Samir Chouali, Maritta Heisel, Jeanine Souquières: Proving Component Interoperability with B Refinement. Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006)

Christine Choppy, Denis Hatebur, Maritta Heisel: Component composition through architectural patterns for problem frames. APSEC 2006: 27-36

Denis Hatebur, Maritta Heisel, Holger Schmidt: Security Engineering Using Problem Frames. ETRICS 2006: 238-253

Denis Hatebur, Maritta Heisel, Jeanine Souquières: A Method for Component-Based Software and System Development. EUROMICRO-SEAA 2006: 72-80

Alexander Fülleborn, Maritta Heisel: Methods to Create and Use Cross-Domain Analysis Patterns. EuroPLoP 2006: 427-442

Maritta Heisel, Denis Hatebur: A Model-Based Development Process for Embedded System. MBEES 2005: 191-202

Denis Hatebur, Maritta Heisel: Problem Frames and Architectures for Security Problems. SAFECOMP 2005: 390-404

Maritta Heisel, Carsten von Schwichow: A method for guiding software evolution. IASTED Conf. on Software Engineering 2004: 462-468

Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (Eds.): Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Lecture Notes in Computer Science 3219, Springer 2004, isbn 3-540-23176-5

Maritta Heisel, Jeanine Souquières: Adding Features to Component-Based Systems. Objects, Agents, and Features 2003: 137-153

Thomas Santen, Maritta Heisel, Andreas Pfitzmann: Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS 2002: 194-211

Maritta Heisel, Thomas Santen, Jeanine Souquières: Toward a Formal Model of Software Components. ICFEM 2002: 57-68

Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner: A Problem-Oriented Approach to Common Criteria Certification. SAFECOMP 2002: 334-346

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

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

Maritta Heisel, Andreas Pfitzmann, Thomas Santen: Confidentiality-Preserving Refinement. CSFW 2001: 295-306

Maritta Heisel, Jeanine Souquières: A Method for Requirements Elicitation and Formal Specification. ER 1999: 309-324

Monika Heiner, Maritta Heisel: Modeling Safety-Critical Systems with Z and Petri Nets. SAFECOMP 1999: 361-374

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

Maritta Heisel, Jeanine Souquières: A Heuristic Approach to Detect Feature Interactions in Requirements. FIW 1998: 165-171

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

Kirsten Winter, Thomas Santen, Maritta Heisel: An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31

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

Maritta Heisel, Nicole Lévy: Using LOTOS Patterns to Characterize Architectural Styles. TAPSOFT 1997: 818-832

Maritta Heisel: Specification of the Unix File System: A Comparative Case Study. AMAST 1995: 475-488

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

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

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

Maritta Heisel, Debora Weber-Wulff: Korrekte Software: Nur eine Illusion? GI Jahrestagung 1993: 240

Maritta Heisel: Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. Sci. Comput. Program. 18(1): 107-137 (1992)

Maritta Heisel, Wolfgang Reif, Werner Stephan: Tactical Theorem Proving in Program Verification. CADE 1990: 117-131

Maritta Heisel, Wolfgang Reif, Werner Stephan: A Dynamic Logic for Program Verification. Logic at Botik 1989: 134-145

Maritta Heisel, Wolfgang Reif, Werner Stephan: Machine-Assisted Program Construction and Modification. GWAI 1989: 338-347

Maritta Heisel, Wolfgang Reif: Bericht über den Workshop ``Logik und Wissensrepräsentation''. KI 2(3): 15-17 (1988)

Maritta Heisel, Wolfgang Reif, Werner Stephan: Implementing Verification Strategies in the KIV-System. CADE 1988: 131-140

Maritta Heisel, Wolfgang Reif, Werner Stephan: Program Verification Using Dynamic Logic. CSL 1987: 102-117

Maritta Heisel, Wolfgang Reif, Werner Stephan: Program Verification by Symbolic Execution and Induction. GWAI 1987: 201-210

Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan: An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315