Marcus Klar

According to our database, Marcus Klar authored at least 10 papers between 1995 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann

Bull. EATCS, 2000

1999

A semantical framework for the integration of object oriented modeling languages.

Marcus Klar

PhD thesis, 1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

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

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.

Hartmut Ehrig, Robert Geisler, Marcus Klar

Inform. Forsch. Entwickl., 1998

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.

Robert Büssow, Robert Geisler, Marcus Klar

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Horizontal and Vertical Structuring Techniques for Statecharts.

Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

<i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications.

Robert Geisler, Marcus Klar, Felix Cornelius

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

How to Cope with the Spectrum of SPECTRUM.

Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar

Proceedings of the KORSO, 1995

<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.

Marcus Klar, Robert Geisler, Felix Cornelius

Proceedings of the Recent Trends in Data Type Specification, 1995