Research Group Foundations of Informatics Prof. Dr. K. Madlener
Thomas Deiß: Publications
Deiß, T.: On the combination of model and property
oriented description techniques , PhD thesis, Department of
Computer Science, University of Kaiserslautern, 1999. Abstract,
Full
paper (513 KB, gzipped Postscript).
Deiß, T.: An Approach to the Combination of Formal
Description Techniques: Statecharts and TLA, Proc. of 1st
International Conference on Integrated Formal Methods, IFM'99,
pp. 231-250. Springer, 1999. Keijiro Araki, Andy
Galloway, and Kenji Taguchi, eds.
Deiß, T.:Case Study: Implementing an SDL System
in Erlang, SFB 501 Report No. 06/99, University of
Kaiserslautern, 1999.
Eschbach, R.; Deiß, T. ; Kronenburg, M.:
A Framework for the Analysis of Formal Description Techniques for Timed
Systems,
SFB 501 Report No. 05/98, University of Kaiserslautern, 1998.
Kronenburg, M.; Deiß, T.; Eschbach, R.: Temporal
Logics as Examples of Formal Description Techniques for Timed
Systems, SFB 501 Report No. 07/98, University of
Kaiserslautern, 1998.
Deiß, T. ; Kronenburg, M. ; Zeckzer, D.:
A Catalogue of Criteria for Evaluating Formal Methods and Its
Application,
SFB 501 Report No. 04/97, University of Kaiserslautern, 1997.
