Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Martin Kronenburg: Publications

Lars Geyer, M. Kronenburg, Rolf Merz, Bernd Schürmann:
Domain Modeling in the SFB 501,
SFB 501 Report No. 07/2000, University of Kaiserslautern, 2000.
M. Kronenburg, C. Peper:
Application of the FOREST Approach to the Light Control Case Study,
Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), pp. 679-703, Springer, 2000.
S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schäfer:
The Light Control Case Study: Problem Description,
Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), pp. 586-596, Springer, 2000.
M. Kronenburg, C. Peper:
Definition and Instantiation of a Reference Model for Problem Specifications,
11th International Conference on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336.
M. Kronenburg, T. Deiß, R. Eschbach:
Temporal Logics as Examples of Formal Description Techniques for Timed Systems,
SFB 501 Report No. 07/98, University of Kaiserslautern, 1998.
- Abstract
- Download full paper (159 Kbytes)
R. Gotzhein, M. Kronenburg, C. Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern,
5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), Lyngby, Denmark, pp. 65-74.
Earlier version as SFB 501 Report No. 8/98, University of Kaiserslautern, 1998.
R. Eschbach, T. Deiß, M. Kronenburg:
A Framework for the Analysis of Formal Description Techniques for Timed Systems,
SFB 501 Report No. 05/98, University of Kaiserslautern, 1998.
- Abstract
- Download full paper (88 Kbytes)
T. Deiß, M. Kronenburg, D. Zeckzer:
A Catalogue of Criteria for Evaluating Formal Methods and Its Application,
SFB 501 Report No. 04/97, University of Kaiserslautern, 1997.
- Download full paper (148 Kbytes)
C. Peper, R. Gotzhein, M. Kronenburg:
A Generic Approach to the Formal Specification of Requirements
1st IEEE International Conference on Formal Engineering Methods 1997 (ICFEM'97), Hiroshima, Japan, pp. 252-261.
C. Peper, R. Gotzhein, M. Kronenburg:
Formal Specification of Real-Time Requirements for Building Automation Systems,
SFB 501 Report No. 01/97, University of Kaiserslautern, 1997.
- Download full paper (76 Kbytes)
J. Denzinger, M. Kronenburg, S. Schulz:
DISCOUNT. A Distributed and Learning Equational Prover,
Journal of Automated Reasoning 18(2), 1997, pp. 189-198.
M. Kronenburg, R. Gotzhein, C. Peper:
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems,
SFB 501 Report No. 16/96, University of Kaiserslautern, 1996.
- Download full paper (83 Kbytes)
R. Gotzhein, M. Kronenburg, C. Peper:
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study,
SFB 501 Report No. 15/96, University of Kaiserslautern, 1996.
- Download full paper (721 Kbytes)
J. Denzinger, M. Kronenburg:
Planning for distributed theorem proving: The teamwork approach,
Proc. KI-96, Dresden, Springer LNAI 1137, 1996, pp. 43-56.
Earlier version as SEKI-Report SR-94-09, University of Kaiserslautern, 1994.
- Abstract
- Download full paper (78 Kbytes)

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 11:00:00 GMT
www-aven@informatik.uni-kl.de

Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Martin Kronenburg: Publications

Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus