| 2001 |
|---|
| 9 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Current Trends in Theoretical Computer Science 2001: 226-232 |
| 2000 |
|---|
| 8 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bulletin of the EATCS 70: 77-81 (2000) |
| 1999 |
|---|
| 7 | | Herbert Weber,
Marcus Klar,
Stefan Mann,
Ralf-Detlef Kutsche,
Stefan Jähnichen,
Robert Büssow,
Hartmut Ehrig,
Robert Geisler,
Gabriel Baum,
Claudia Pons,
Miguel Felder,
Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology 1999: 23-30 |
| 1998 |
|---|
| 6 | EE | Robert Büssow,
Robert Geisler,
Marcus Klar:
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.
FASE 1998: 71-87 |
| 5 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar:
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl. 13(1): 43-46 (1998) |
| 1997 |
|---|
| 4 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar,
Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts.
CONCUR 1997: 181-195 |
| 1996 |
|---|
| 3 | | Robert Geisler,
Marcus Klar,
Felix Cornelius:
InterACT: An Interactive Theorem Prover for Algebraic Specifications.
AMAST 1996: 563-566 |
| 1995 |
|---|
| 2 | | Marcus Klar,
Robert Geisler,
Felix Cornelius:
InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.
COMPASS/ADT 1995: 291-395 |
| 1 | | Uwe Wolter,
Klaus Didrich,
Felix Cornelius,
Marcus Klar:
How to Cope with the Spectrum of SPECTRUM.
KORSO Book 1995: 173-189 |
