The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maritta Heisel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maritta Heisel
    Specification of the Unix File System: A Comparative Case Study. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:475-488 [Conf]
  2. Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan
    An Interactive Verification System Based on Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:306-315 [Conf]
  3. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Implementing Verification Strategies in the KIV-System. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:131-140 [Conf]
  4. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Tactical Theorem Proving in Program Verification. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:117-131 [Conf]
  5. Maritta Heisel, Andreas Pfitzmann, Thomas Santen
    Confidentiality-Preserving Refinement. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:295-306 [Conf]
  6. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Program Verification Using Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:102-117 [Conf]
  7. Maritta Heisel
    "Frauenspezifische Informatik" und Frauenförderpläne: Wie paßt das zusammen?. [Citation Graph (0, 0)][DBLP]
    Frauen in Mathematik und Informatik, 1993, pp:119-128 [Conf]
  8. Maritta Heisel, Jeanine Souquières
    Adding Features to Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:137-153 [Conf]
  9. Maritta Heisel, Jeanine Souquières
    A Method for Requirements Elicitation and Formal Specification. [Citation Graph (0, 9)][DBLP]
    ER, 1999, pp:309-324 [Conf]
  10. Maritta Heisel, Wolfgang Reif, Werner Stephan
    A Dynamic Logic for Program Verification. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:134-145 [Conf]
  11. Maritta Heisel, Thomas Santen, Dominik Zimmermann
    Tool Support for Formal Software Development: A Generic Architecture. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:272-293 [Conf]
  12. Thomas Santen, Maritta Heisel, Andreas Pfitzmann
    Confidentiality-Preserving Refinement is Compositional - Sometimes. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2002, pp:194-211 [Conf]
  13. Denis Hatebur, Maritta Heisel, Holger Schmidt
    Security Engineering Using Problem Frames. [Citation Graph (0, 0)][DBLP]
    ETRICS, 2006, pp:238-253 [Conf]
  14. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:88-106 [Conf]
  15. Maritta Heisel, Jeanine Souquières
    A Heuristic Approach to Detect Feature Interactions in Requirements. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:165-171 [Conf]
  16. Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber
    Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1998, pp:401-403 [Conf]
  17. Maritta Heisel, Debora Weber-Wulff
    Korrekte Software: Nur eine Illusion? [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:240- [Conf]
  18. Maritta Heisel, Carsten von Schwichow
    A method for guiding software evolution. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:462-468 [Conf]
  19. Maritta Heisel, Thomas Santen, Jeanine Souquières
    Toward a Formal Model of Software Components. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:57-68 [Conf]
  20. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Program Verification by Symbolic Execution and Induction. [Citation Graph (0, 0)][DBLP]
    GWAI, 1987, pp:201-210 [Conf]
  21. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Machine-Assisted Program Construction and Modification. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:338-347 [Conf]
  22. Maritta Heisel, Stefan Jähnichen
    A Two-Layered Approach to Support Systematic Software Development. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:179-202 [Conf]
  23. Denis Hatebur, Maritta Heisel
    Problem Frames and Architectures for Security Problems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:390-404 [Conf]
  24. Monika Heiner, Maritta Heisel
    Modeling Safety-Critical Systems with Z and Petri Nets. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:361-374 [Conf]
  25. Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner
    A Problem-Oriented Approach to Common Criteria Certification. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:334-346 [Conf]
  26. Kirsten Winter, Thomas Santen, Maritta Heisel
    An Agenda for Specifying Software Components with Complex Data Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:16-31 [Conf]
  27. Maritta Heisel, Nicole Lévy
    Using LOTOS Patterns to Characterize Architectural Styles. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:818-832 [Conf]
  28. Christine Choppy, Maritta Heisel
    Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:201-215 [Conf]
  29. Samir Chouali, Maritta Heisel, Jeanine Souquières
    Proving Component Interoperability with B Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:157-172 [Journal]
  30. Maritta Heisel, Debora Weber-Wulff
    Korrekte Software: Nur eine Illusion? [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1994, v:9, n:4, pp:192-200 [Journal]
  31. Maritta Heisel, Wolfgang Reif
    Bericht über den Workshop ``Logik und Wissensrepräsentation''. [Citation Graph (0, 0)][DBLP]
    KI, 1988, v:2, n:3, pp:15-17 [Journal]
  32. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:31-57 [Journal]
  33. Maritta Heisel
    Formalizing and Implementing Gries' Program Development Method in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1992, v:18, n:1, pp:107-137 [Journal]
  34. Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
    Enhancing Dependability of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2007, pp:41-54 [Conf]
  35. Denis Hatebur, Maritta Heisel, Holger Schmidt
    A Security Engineering Process based on Patterns. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2007, pp:734-738 [Conf]
  36. Denis Hatebur, Maritta Heisel, Jeanine Souquières
    A Method for Component-Based Software and System Development. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2006, pp:72-80 [Conf]
  37. Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf Reussner, Andreas Winter
    WG5: Workshop Softwarearchitektur und Migration. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:283-284 [Conf]
  38. Rainer Gimnich, Michael Goedicke, Wilhelm Hasselbring, Maritta Heisel, Ralf Reussner, Andreas Winter
    Einführung. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:151-152 [Conf]
  39. Isabelle Côté, Maritta Heisel, Ina Wentzlaff
    Pattern-Based Evolution of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ECSA, 2007, pp:29-43 [Conf]

  40. A Pattern System for Security Requirements Engineering. [Citation Graph (, )][DBLP]


  41. Analysis and Component-based Realization of Security Requirements. [Citation Graph (, )][DBLP]


  42. Component composition through architectural patterns for problem frames. [Citation Graph (, )][DBLP]


  43. Problem-Oriented Documentation of Design Patterns. [Citation Graph (, )][DBLP]


  44. A Formal Metamodel for Problem Frames. [Citation Graph (, )][DBLP]


  45. A Foundation for Requirements Analysis of Dependable Software. [Citation Graph (, )][DBLP]


  46. A UML Profile for Requirements Analysis of Dependable Software. [Citation Graph (, )][DBLP]


  47. Workshop Modellgetriebene Softwarearchitektur -Evolution, Integration und Migration. [Citation Graph (, )][DBLP]


  48. Using UML Environment Models for Test Case Generation. [Citation Graph (, )][DBLP]


  49. Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008). [Citation Graph (, )][DBLP]


  50. Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2009). [Citation Graph (, )][DBLP]


  51. Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM2009). [Citation Graph (, )][DBLP]


  52. Deriving Software Architectures from Problem Descriptions. [Citation Graph (, )][DBLP]


  53. Methods to Create and Use Cross-Domain Analysis Patterns. [Citation Graph (, )][DBLP]


  54. A Model-Based Development Process for Embedded System. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002