MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Martin Kronenburg – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Planning for distributed theorem proving: The team work approach
by Jörg Denzinger, Martin Kronenburg — 1996 — Proc. KI-96, Dresden, LNAI 1137
…Planning for distributed theorem proving: The team work approach Jorg Denzinger, Martin Kronenburg…
Cited by 15 (9 self) – Add To MetaCart

Definition and Instantiation of a Reference Model for Problem Specifications
by Martin Kronenburg, Christian Peper — 1999 — Proc. 11th International Conference on Software Engineering and Knowledge Engineering
…Definition and Instantiation of a Reference Model for Problem Specifications Martin Kronenburg…
Cited by 1 (0 self) – Add To MetaCart

A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
by Kronenburg Gotzhein Peper, M. Kronenburg, R. Gotzhein, C. Peper, Martin Kronenburg, Martin Kronenburg, Reinhard Gotzhein, Reinhard Gotzhein, Christian Peper, Christian Peper — 1996
… Requirements of Building Automation Systems Martin Kronenburg y , Reinhard Gotzhein z , Christian Peper z…
Cited by 1 (1 self) – Add To MetaCart

A Catalogue of Criteria for Evaluating Formal Methods and Its Application
by Thomas Deiß, Thomas Dei, Martin Kronenburg, Martin Kronenburg, Dirk Zeckzer, Dirk Zeckzer — 1997 — SFB 501 Bericht 04/97, Fachbereich Informatik, Universit#t Kaiserslautern
… for Evaluating Formal Methods and Its Application Thomas Dei, Martin Kronenburg, Dirk Zeckzer Abstract A large…
Add To MetaCart

Temporal Logics as Examples of Formal Description Techniques for Timed Systems
by Martin Kronenburg, Martin Kronenburg, Martin Kronenburg, Thomas Deiß, Thomas Dei, Thomas Dei, Robert Eschbach, Robert Eschbach, Robert Eschbach — 1998 — SFB 501 Bericht 06/98, Fachbereich Informatik, Universit#t Kaiserslautern
…Temporal Logics as Examples of Formal Description Techniques for Timed Systems Martin Kronenburg…
Cited by 2 (1 self) – Add To MetaCart

A generic approach to the formal specification of requirements
by Christian Peper, Reinhard Gotzhein, Martin Kronenburg — 1997 — Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM'97
… Gotzhein, Martin Kronenburg University of Kaiserslautern 67653 Kaiserslautern, Germany {peper…
Cited by 4 (3 self) – Add To MetaCart

Kronenburg: Formal Specification of Real-Time Requirements for Building Automation Systems
by C. Peper, R. Gotzhein, M. Kronenburg, Christian Peper, Christian Peper, Reinhard Gotzhein, Reinhard Gotzhein, Martin Kronenburg, Martin Kronenburg
… Automation Systems Christian Peper, Reinhard Gotzhein, Martin Kronenburg {peper…
Cited by 1 (1 self) – Add To MetaCart

DISCOUNT - A distributed and learning equational prover
by Jörg Denzinger, Org Denzinger, Martin Kronenburg, Stephan Schulz — 1996 — Journal of Automated Reasoning
…DISCOUNT A distributed and learning equational prover J ORG DENZINGER and MARTIN KRONENBURG FB…
Cited by 28 (14 self) – Add To MetaCart

Reuse-Oriented Requirements Engineering with FoReST
by Reinhard Gotzhein, Jürgen Avenhaus, Martin Kronenburg, Klaus Madlener, Christian Peper
… , Martin Kronenburg b , Klaus Madlener a , Christian Peper c a Computer Science Department, University…
Add To MetaCart

The Light Control Case Study: Problem Description
by Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer — 2000 — Journal of Universal Computer Science, Special Issue on Requirements Engineering: the Light Control Case Study
… Martin Kronenburg Christian Peper Rolf Merz Jürgen Schäfer (University of Kaiserslautern, Germany {queins…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB