Vladimir Támara.
Integration of restricted design spaces and partial evaluation in a
developing kernel for embedded systems.
SFB 501 Report No. 06/01, SFB 501 University of Kaiserslautern, 2002.
Abstract,
Full Paper.
Vladimir Támara.
Restricted Design Spaces: Visualization and Consistency Tools.
SFB 501 Report No. 03/01, SFB 501 University of Kaiserslautern, 2001.
Abstract,
Full Paper.
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin
von Löwis, and Andreas Prinz.
The formal semantics of sdl-2000: Compiling and running sdl specifications on
asm models.
In Roberto Moreno-Diaz and Alexis Quesada-Arencibia, editors,
Extended
Abstracts of Eurocast 2001, Workshop on ASM, Las Palmas de Gran Canaria,
Canary Islands, Spain, 19-23 Feb. 2001, pages 216-219, 2001.
Robert Eschbach.
Derivation of a termination detection algorithm using abstract state
machines.
In Roberto Moreno-Diaz and Alexis Quesada-Arencibia, editors,
Extended
Abstracts of Eurocast 2001, Workshop on ASM, Las Palmas de Gran Canaria,
Canary Islands, Spain, 19-23 Feb. 2001, pages 279-280, 2001.
Robert Eschbach.
A Verification Approach for Distributed Abstract State Machines.
In D. Bjorner, M. Broy, and A. Zamulin, editors,
Proceedings of PSI
2001, number 2244 in LNCS, pages 109-115. Springer, 2001.
R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, and
A. Prinz.
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as
ASM Models.
Journal of Universal Computer Science,
7 no. 11 pp.
1025-1050, 2001.
S. Queins, G. Zimmermann, M. Becker, M. Kronenburg,
C. Peper, R. Merz, and J. Schäfer.
The Light Control Case Study: Problem Description.
Journal of Universal Computer Science, Special Issue on Requirements
Engineering,
6 no. 7 pp. 586-596, 2000.
Andreas Prinz, Robert Eschbach, and Reinhard Gotzhein.
An Executable Formal Semantics for SDL-2000.
In
Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and
MSC, 2000.
Martin Kronenburg and Christian Peper.
Application of the FOREST Approach to the Light Control Case Study.
Journal of Universal Computer Science, Special Issue on Requirements
Engineering,
6 no. 7 pp. 679-703, 2000.
Martin Kronenburg.
An Approach to the Creation of Precise, Intelligible Problem
Specifications of Large Reactive Systems.
Phdthesis, sfb501phdthesis, Department of Computing Science, University of
Kaiserslautern, 2000.
Robert Eschbach, Reinhard Gotzhein, and Andreas Prinz.
On the Formal Semantics of SDL-2000: A Compilation Approach using Abstract
State Machines.
In
Local Proc. of ASM2000, Monte Verità, Switzerland, Monte
Verità, Switzerland, 19-24 March 2000.
A completely revised version of this paper can be found in the corresponding
LNCS publication.
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, and Andreas
Prinz.
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an
Abstract SDL Machine.
In Y. Gurevich, P.W. Kutter, M. Odersky, and L. Thiele, editors,
Abstract
State Machines - Theory and Applications, number 1912 in LNCS. Springer,
2000.
Tobias Schmidt-Samoa.
FOREST - Entwurf und Implementierung einer Umgebung zur Erstellung formaler
System-Anforderungs-Beschreibungen.
Fachbereich Informatik, Universität Kaiserslautern, 1999.
Diplomarbeit.
Martin Kronenburg and Christian Peper.
Definition and Instantiation of a Reference Model for Problem
Specifications.
In
1th International Conference on Software Engineering and Knowledge
Engineering, pages 332-336, 1999.
Markus Kaiser.
Dokumentation der Problemspezifikation der Streckenbeeinflussungsanlage A 61
Bingen-Rheinböllen.
Fachbereich Informatik, Universität Kaiserslautern, 1999.
Projektarbeit.
Robert Eschbach.
A Termination Detection Algorithm: Specification and Verification.
In Jeanette M. Wing, Jim Woodcock, and Jim Davies, editors,
Proc. of
FM'99 - World Congress on Formal Methods in the Development of Computing
Systems, number 1709 in LNCS, pages 1720-1737, Toulouse, France, 20-24
Sep 1999. Springer.
Full Paper, Copyright Springer-Verlag.
Thomas Deiß.
On the combination of model and property oriented description
techniques.
Phdthesis, sfb501phdthesis, Department of Computing Science, University of
Kaiserslautern, 1999.
Abstract.
Thomas Deiß.
Case Study: Implementing an SDL System in Erlang.
SFB 501 Report No. 06/99, SFB 501 University of Kaiserslautern, 1999.
Full Paper.
Thomas Deiß.
An Approach to the Combination of Formal Description Techniques: Statecharts
and TLA.
In Keijiro Araki, Andy Galloway, and Kenji Taguchi, editors,
Integrated
Formal Methods 1999, pages 231-250. Springer, 1999.
Martin Kronenburg, Thomas Deiß, and Robert Eschbach.
Temporal Logics as Examples of Formal Description Techniques for Timed
Systems.
SFB 501 Report No. 07/98, University of Kaiserslautern, 1998.
Abstract,
Full Paper.
Reinhard Gotzhein, Martin Kronenburg, and Christian
Peper.
Reuse in Requirements Engineering: Discovery and Application of a Real-Time
Requirements Pattern.
In
5th International Symposium on Formal Techniques in Real-Time and
Fault-Tolerant Systems FTRTFT'98, volume 1486 of
LNCS.
Springer, 1998.
Earlier version as SFB 501 Report No. 8/98, University of Kaiserslautern.
Reinhard Gotzhein, Martin Kronenburg, and Christian
Peper.
Reuse in Requirements Engineering: Discovery and Application of a Real-Time
Requirements Pattern.
SFB 501 Report No. 08/98, University of Kaiserslautern, 1998.
Robert Eschbach, Thomas Deiß, and Martin Kronenburg.
A Framework for the Analysis of Formal Description Techniques for Timed
Systems.
SFB 501 Report No. 05/98, SFB 501 University of Kaiserslautern, 1998.
Abstract,
Full Paper.
Andreas Schowalter.
Modellierung einer Produktionszelle in einer Kombination aus statecharts und
TLA.
Fachbereich Informatik, Universität Kaiserslautern, 1997.
Projektarbeit.
Christian Peper, Reinhard Gotzhein, and Martin
Kronenburg.
Formal Specification of Real-Time Requirements for Building Automation
Systems.
SFB 501 Report No. 01/97, SFB 501 University of Kaiserslautern, 1997.
Full Paper.
Christian Peper, Reinhard Gotzhein, and Martin
Kronenburg.
A Generic Approach to the Formal Specification of Requirements.
In
1st IEEE International Conference on Formal Engineering Methods
(ICFEM'97), 1997.
Full Paper.
Thomas Deiß, Martin Kronenburg, and Dirk Zeckzer.
A Catalogue of Criteria for Evaluating Formal Methods and Its Application.
SFB 501 Report No. 04/97, SFB 501 University of Kaiserslautern, 1997.
Abstract,
Full Paper.
Thomas Deiß and Thomas Hillenbrand.
A Case Study on the Use of SDL.
SFB 501 Report No. 03/97, SFB 501 University of Kaiserslautern, 1997.
Abstract,
Full Paper.
Martin Kronenburg, Reinhard Gotzhein, and Christian
Peper.
A Tailored Real Time Temporal Logic for Specifying Requirements of Building
Automation System.
SFB 501 Report No. 16/96, SFB 501 University of Kaiserslautern, 1996.
Full Paper.
Reinhard Gotzhein, Martin Kronenburg, and Christian
Peper.
Specifying and Reasoning about Generic Real-Time Requirements - A Case
Study.
SFB 501 Report No. 15/96, SFB 501 University of Kaiserslautern, 1996.
Full Paper.
Thomas Deiß.
Combining a state based formalism with temporal logic.
SFB 501 Report No. 05/96, SFB 501 University of Kaiserlautern, 1996.
Abstract,
Full Paper.
