For information on the authors, as far as they belong to the working
group, see the list of current and former staff.
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.
Robert Eschbach.
A Verification Approach for Distributed Abstract State Machines.
In D. Bjorner, M. Broy, and A. Zamulin, editors,
Preliminary Proceedings
of PSI 2001, Akademgorodok, Novosibirsk, Russia, 2-6 July 2001, 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.
