Martin Kronenburg

According to our database, Martin Kronenburg authored at least 7 papers between 1996 and 2001.

Collaborative distances:

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

2001

An approach to the creation of precise, intelligible problem specifications of large reactive systems.

Martin Kronenburg

PhD thesis, 2001

2000

The Light Control Case Study: Problem Description.

Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer

J. Univers. Comput. Sci., 2000

Application of the FOREST Approach to the Light Control Case Study.

Martin Kronenburg, Christian Peper

J. Univers. Comput. Sci., 2000

1998

Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.

Reinhard Gotzhein, Martin Kronenburg, Christian Peper

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

DISCOUNT - A Distributed and Learning Equational Prover.

Jörg Denzinger, Martin Kronenburg, Stephan Schulz

J. Autom. Reason., 1997

A Generic Approach to the Formal Specification of Requirements.

Christian Peper, Reinhard Gotzhein, Martin Kronenburg

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

Planning for Distributed Theorem Proving: The Teamwork Approach.

Jörg Denzinger, Martin Kronenburg

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996