dblp.uni-trier.dewww.uni-trier.de

Maritta Heisel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
51EEAlexander Fülleborn, Klaus Meffert, Maritta Heisel: Problem-Oriented Documentation of Design Patterns. FASE 2009: 294-308
50EEDenis Hatebur, Maritta Heisel: A Foundation for Requirements Analysis of Dependable Software. SAFECOMP 2009: 311-325
49 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
2008
48EEDenis Hatebur, Maritta Heisel, Holger Schmidt: Analysis and Component-based Realization of Security Requirements. ARES 2008: 195-203
47EEDenis Hatebur, Maritta Heisel, Holger Schmidt: A Formal Metamodel for Problem Frames. MoDELS 2008: 68-82
46 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
45 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
44 Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen: Using UML Environment Models for Test Case Generation. Software Engineering (Workshops) 2008: 399-406
2007
43EEDenis Hatebur, Maritta Heisel, Holger Schmidt: A Pattern System for Security Requirements Engineering. ARES 2007: 356-365
42EEArnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières: Enhancing Dependability of Component-Based Systems. Ada-Europe 2007: 41-54
41EEDenis Hatebur, Maritta Heisel, Holger Schmidt: A Security Engineering Process based on Patterns. DEXA Workshops 2007: 734-738
40EEIsabelle Côté, Maritta Heisel, Ina Wentzlaff: Pattern-Based Evolution of Software Architectures. ECSA 2007: 29-43
39 Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf Reussner, Andreas Winter: WG5: Workshop Softwarearchitektur und Migration. Software Engineering 2007: 283-284
38 Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf Reussner, Andreas Winter: Einführung. Software Engineering (Workshops) 2007: 151-152
37EEIsabelle 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)
2006
36EEChristine Choppy, Denis Hatebur, Maritta Heisel: Component composition through architectural patterns for problem frames. APSEC 2006: 27-36
35EEDenis Hatebur, Maritta Heisel, Holger Schmidt: Security Engineering Using Problem Frames. ETRICS 2006: 238-253
34EEDenis Hatebur, Maritta Heisel, Jeanine Souquières: A Method for Component-Based Software and System Development. EUROMICRO-SEAA 2006: 72-80
33EESamir Chouali, Maritta Heisel, Jeanine Souquières: Proving Component Interoperability with B Refinement. Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006)
2005
32EEDenis Hatebur, Maritta Heisel: Problem Frames and Architectures for Security Problems. SAFECOMP 2005: 390-404
2004
31 Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings Springer 2004
30 Maritta Heisel, Carsten von Schwichow: A method for guiding software evolution. IASTED Conf. on Software Engineering 2004: 462-468
2003
29EEMaritta Heisel, Jeanine Souquières: Adding Features to Component-Based Systems. Objects, Agents, and Features 2003: 137-153
2002
28EEThomas Santen, Maritta Heisel, Andreas Pfitzmann: Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS 2002: 194-211
27EEMaritta Heisel, Thomas Santen, Jeanine Souquières: Toward a Formal Model of Software Components. ICFEM 2002: 57-68
26EEThomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner: A Problem-Oriented Approach to Common Criteria Certification. SAFECOMP 2002: 334-346
25EEChristine Choppy, Maritta Heisel: Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. WADT 2002: 201-215
2001
24EEMaritta Heisel, Andreas Pfitzmann, Thomas Santen: Confidentiality-Preserving Refinement. CSFW 2001: 295-306
23 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)
1999
22EEMaritta Heisel, Jeanine Souquières: A Method for Requirements Elicitation and Formal Specification. ER 1999: 309-324
21EEMonika Heiner, Maritta Heisel: Modeling Safety-Critical Systems with Z and Petri Nets. SAFECOMP 1999: 361-374
1998
20EEWolfgang Grieskamp, Maritta Heisel, Heiko Dörr: Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. FASE 1998: 88-106
19 Maritta Heisel, Jeanine Souquières: A Heuristic Approach to Detect Feature Interactions in Requirements. FIW 1998: 165-171
18 Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber: Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. GI Jahrestagung 1998: 401-403
17EEKirsten Winter, Thomas Santen, Maritta Heisel: An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31
1997
16 Maritta Heisel, Stefan Jähnichen: A Two-Layered Approach to Support Systematic Software Development. Requirements Targeting Software and Systems Engineering 1997: 179-202
15EEMaritta Heisel, Nicole Lévy: Using LOTOS Patterns to Characterize Architectural Styles. TAPSOFT 1997: 818-832
1995
14 Maritta Heisel: Specification of the Unix File System: A Comparative Case Study. AMAST 1995: 475-488
13 Maritta Heisel, Thomas Santen, Dominik Zimmermann: Tool Support for Formal Software Development: A Generic Architecture. ESEC 1995: 272-293
1994
12 Maritta Heisel, Debora Weber-Wulff: Korrekte Software: Nur eine Illusion? Inform., Forsch. Entwickl. 9(4): 192-200 (1994)
1993
11 Maritta Heisel: "Frauenspezifische Informatik" und Frauenförderpläne: Wie paßt das zusammen?. Frauen in Mathematik und Informatik 1993: 119-128
10 Maritta Heisel, Debora Weber-Wulff: Korrekte Software: Nur eine Illusion? GI Jahrestagung 1993: 240
1992
9 Maritta Heisel: Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. Sci. Comput. Program. 18(1): 107-137 (1992)
1990
8EEMaritta Heisel, Wolfgang Reif, Werner Stephan: Tactical Theorem Proving in Program Verification. CADE 1990: 117-131
1989
7 Maritta Heisel, Wolfgang Reif, Werner Stephan: Machine-Assisted Program Construction and Modification. GWAI 1989: 338-347
6EEMaritta Heisel, Wolfgang Reif, Werner Stephan: A Dynamic Logic for Program Verification. Logic at Botik 1989: 134-145
1988
5EEMaritta Heisel, Wolfgang Reif, Werner Stephan: Implementing Verification Strategies in the KIV-System. CADE 1988: 131-140
4 Maritta Heisel, Wolfgang Reif: Bericht über den Workshop ``Logik und Wissensrepräsentation''. KI 2(3): 15-17 (1988)
1987
3EEMaritta Heisel, Wolfgang Reif, Werner Stephan: Program Verification Using Dynamic Logic. CSL 1987: 102-117
2 Maritta Heisel, Wolfgang Reif, Werner Stephan: Program Verification by Symbolic Execution and Induction. GWAI 1987: 201-210
1986
1EEReiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan: An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315

Coauthor Index

1Christine Choppy [25] [36]
2Samir Chouali [33]
3Isabelle Côté [37] [40]
4Heiko Dörr [20] [23]
5Alexander Fülleborn [51]
6Rainer Gimnich [38] [39]
7Michael Goedicke [38] [39] [45] [46] [49]
8Wolfgang Grieskamp [20] [23]
9Reiner Hähnle [1]
10Wilhelm Hasselbring [38] [39]
11Denis Hatebur [26] [32] [34] [35] [36] [41] [42] [43] [44] [47] [48] [50]
12Monika Heiner [21] [26]
13Sascha Hunold [45] [46] [49]
14Stefan Jähnichen [16]
15Stefan Kühne [45] [46] [49]
16Arnaud Lanoix [42]
17Nicole Lévy [15]
18Peter Liggesmeyer [31]
19Rainer Mackenthun [18]
20Klaus Meffert [51]
21Thomas Neustupny [18]
22Andreas Pfitzmann [24] [28]
23Wolfgang Reif [1] [2] [3] [4] [5] [6] [7] [8]
24Ralf Reussner (Ralf H. Reussner) [38] [39]
25Matthias Riebisch [45] [46] [49]
26Thomas Rottke [26]
27Sadegh Sadeghipour [18]
28Thomas Santen [13] [17] [24] [27] [28] [44]
29Holger Schmidt [35] [41] [43] [47] [48]
30Carsten von Schwichow [30]
31Dirk Seifen [44]
32Jeanine Souquières [19] [22] [27] [29] [33] [34] [42]
33Werner Stephan [1] [2] [3] [5] [6] [7] [8]
34Niels Streekmann [45] [46] [49]
35Matthias Weber [18]
36Debora Weber-Wulff [10] [12]
37Ina Wentzlaff [37] [40]
38Andreas Winter [38] [39]
39Kirsten Winter [17]
40Stefan Wittmann [31]
41Dominik Zimmermann [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)