Year 2001

Books and Journals

 The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models
[Es+01a]
R. Eschbach, U. Glässer, R. Gotzhein, M. v. Löwis, A. Prinz
Journal of Universal Computer Science, Springer, Special Issue on Abstract State Machines, Vol. 7, No. 11, 2001, pp.1024-1049

Proceedings

 Collaboration-based Design of SDL Systems
[RoGeGo01]
F. Rößler, B. Geppert, R. Gotzhein
in: R. Reed, J. Reed (Eds.), SDL 2001: Meeting UML, Proceedings of the 10th SDL Forum, Copenhagen, Denmark, 2001, pp. 72-89

 Einsatz von FoReST zur Entwicklung einer verteilten Lichtsteuerung
[GoPe01]
R. Gotzhein, C. Peper
11. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, Germany, 2001

 Maßschneiderung vs. Wiederverwendung bei Kommunikationssystemen (Fallstudie SILICON)
[ScTh01]
P. Schaible, J. Thees
11. ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, 21.-22.6.2001

 The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models
[Es+01b]
R. Eschbach, U. Glässer, R. Gotzhein, M. v. Löwis, A. Prinz
Proceedings of the 8th International Conference on "Computer Aided Systems Theory and Technology (Eurocast 2001): Abstract State Machines", Spain, 2001, pp. 216-219

Dissertation

 The SDL Pattern Approach
[Ge01]
B. Geppert
Dissertation, Fachbereich Informatik, Universität Kaiserslautern, 2001

Diploma thesis

 Kopplung administrativer und pädagogischer Rechnernetze
[Jon01]
D. Jonietz
Wissenschaftliche Prüfungsarbeit (Lehramt an Gymnasien), Fachbereich Informatik, Universität Kaiserslautern, 2001

Project thesis

 Entwicklung und Integration von fehlerbehandelnden Mikroprotokollen für ein Gebäudeautomatisierungssystem
[Kle01]
R. Klensch
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2001

 Simulation der Kommunikationsmiddleware am Beispiel eines Gebäudeautomatisierungssystems
[Boh01]
T. Bohler
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2001

Exhibit

 Customization of Communication Systems
[Profes01]
R. Gotzhein, C. Peper, P. Schaible, J. Thees
3rd International Conference on Product Focused Software Process Improvement, Kaiserslautern, Germany, September 10-13, 2001

 Präsentation eines automatisierten Gebäudemodells
[CeBit01]
R. Gotzhein, C. Peper, P. Schaible, J. Thees
CeBit 2001, 22.-28.3.2001, Hannover

 Präsentation eines automatisierten Gebäudemodells
[EmbSys01]
R. Gotzhein, C. Peper, P. Schaible, J. Thees
Embedded Systems, 14.-16.2.2001, Nürnberg




 Superordinated page: Publications

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.