For information on the authors, as far as they belong to the working
group, see the list of current and former staff.
Tobias Schmidt-Samoa.
FOREST - Entwurf und Implementierung einer Umgebung zur Erstellung formaler
System-Anforderungs-Beschreibungen.
Fachbereich Informatik, Universität Kaiserslautern, 1999.
Diplomarbeit.
Birgit Reinert and Dirk Zeckzer.
MRC - Data Structures and Algorithms for Computing in Monoid and Group
Rings.
Applicable Algebra in Engineering, Communications and Computing,
10 no. 1 pp. 41-78, 1999.
Abstract.
Birgit Reinert and Dirk Zeckzer.
Coset Enumeration using Prefix Gröbner Bases in MRC - An Experimental
Approach.
Reports on Computer Algebra No 25, Centre for Computer Algebra, University of
Kaiserslautern, 1999.
Abstract,
Full Paper.
Birgit Reinert.
Tutorial on Gröbner Bases in Monoid and Group Rings.
In
Federated Logic Conference'99 Workshop on Gröbner Bases and
Rewriting Techniques, 1999.
Abstract,
Full Paper.
A. Prinz, R. Gotzhein, U. Glässer, R. Eschbach, and
Y. Wang.
Formal Semantics of SDL.
-, Beijing University of Posts and Telecommunications, 1999.
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.
Dieter Hofbauer, Christoph Kögl, Klaus E. Madlener,
Friedrich Otto, and Birgit Reinert.
XSSR: an experimental system for string-rewriting -- decision problems,
algorithms, and implementation.
In
Federated Logic Conference'99 Workshop on Gröbner Bases and
Rewriting Techniques, 1999.
Full Paper.
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.
