Reinhard Gotzhein
Reinhard Gotzhein
Professor für Informatik, TU Kaiserslautern
Verified email at
Cited by
Cited by
Deriving protocol specifications from service specifications
G von Bochmann, R Gotzhein
ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986
The formal semantics of SDL-2000: status and perspectives
U Glässer, R Gotzhein, A Prinz
Computer Networks 42 (3), 343-358, 2003
Temporal logic and applications—a tutorial
R Gotzhein
Computer Networks and ISDN systems 24 (3), 203-218, 1992
FERAL—Framework for simulator coupling on requirements and architecture level
T Kuhr, T Forster, T Braun, R Gotzhein
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
Deriving protocol specifications from service specifications including parameters
R Gotzhein, G von Bochmann
ACM Transactions on Computer Systems (TOCS) 8 (4), 255-283, 1990
Realization of try-once-discard in wireless multihop networks
D Christmann, R Gotzhein, S Siegmund, F Wirth
IEEE transactions on Industrial Informatics 10 (1), 17-26, 2013
Formal Definition of SDL-2000-Compiling and Running SDL Specifications as ASM Models.
R Eschbach, U Glässer, R Gotzhein, M von Löwis, A Prinz
J. Univers. Comput. Sci. 7 (11), 1024-1049, 2001
Configuring communication protocols using SDL patterns
B Geppert, R Gotzhein, F Rößler
SDL'97: Time for Testing, 523-538, 1997
Black Burst Synchronization (BBS)–A protocol for deterministic tick and time synchronization in wireless networks
R Gotzhein, T Kuhn
Computer Networks 55 (13), 3015-3031, 2011
Model-driven development with sdl–process, tools, and experiences
T Kuhn, R Gotzhein, C Webel
International Conference on Model Driven Engineering Languages and Systems …, 2006
On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine
R Eschbach, U Glässer, R Gotzhein, A Prinz
International Workshop on Abstract State Machines, 242-265, 2000
ns+SDL – The Network Simulator for SDL Systems
T Kuhn, A Geraldy, R Gotzhein, F Rothländer
SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005
Increasing the concurrency in Estelle
J Bredereke, R Gotzhein
Consolidating and applying the SDL-pattern approach: a detailed case study
R Gotzhein
Information and software technology 45 (11), 727-741, 2003
Collaboration-based design of SDL systems
F Roessler, B Geppert, R Gotzhein
International SDL Forum, 72-89, 2001
Open distributed systems: on concepts, methods, and design from a logical point of view
R Gotzhein
Springer-Verlag, 2013
Decentralized tick synchronization for multi-hop medium slotting in wireless ad hoc networks using black bursts
R Gotzhein, T Kuhn
2008 5th Annual IEEE Communications Society Conference on Sensor, Mesh and …, 2008
Compositional testing of communication systems
R Gotzhein, F Khendek
IFIP International Conference on Testing of Communicating Systems, 227-244, 2006
The experimental estelle compiler: automatic generation of implementations from formal specifications
J Thees, R Gotzhein
Proceedings of the second workshop on Formal methods in software practice, 54-61, 1998
Improving the efficiency of automated protocol implementation using Estelle
R Gotzhein, J Bredereke, W Effelsberg, S Fischer, T Held, H König
Computer Communications 19 (14), 1226-1235, 1996
The system can't perform the operation now. Try again later.
Articles 1–20