Research Group
Foundations of Informatics
Prof. Dr. K. Madlener

Publications 1999

Author Information

For information on the authors, as far as they belong to the working group, see the list of current and former staff.

Publications 1999

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.

RG Foundations of Informatics Department of Informatics Technical University of Kaiserslautern

Last Update: Friday, 28-Sep-07 14:52:20 GMT

Valid XHTML 1.0!