| Deriving protocol specifications from service specifications G von Bochmann, R Gotzhein ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986 | 98 | 1986 |
| The formal semantics of SDL-2000: status and perspectives U Glässer, R Gotzhein, A Prinz Computer Networks 42 (3), 343-358, 2003 | 93 | 2003 |
| 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 | 80 | 2013 |
| Temporal logic and applications—a tutorial R Gotzhein Computer Networks and ISDN systems 24 (3), 203-218, 1992 | 80 | 1992 |
| Deriving protocol specifications from service specifications including parameters R Gotzhein, G von Bochmann ACM Transactions on Computer Systems (TOCS) 8 (4), 255-283, 1990 | 69 | 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 | 60 | 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 | 58 | 2001 |
| Configuring communication protocols using SDL patterns B Geppert, R Gotzhein, F Rößler SDL'97: Time for Testing, 523-538, 1997 | 45 | 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 | 42 | 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 | 40 | 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 | 37 | 2000 |
| ns+SDL – The Network Simulator for SDL Systems T Kuhn, A Geraldy, R Gotzhein, F Rothländer International SDL Forum, 103-116, 2005 | 35 | 2005 |
| Increasing the concurrency in Estelle J Bredereke, R Gotzhein | 32 | 1999 |
| Consolidating and applying the SDL-pattern approach: a detailed case study R Gotzhein Information and software technology 45 (11), 727-741, 2003 | 27 | 2003 |
| Collaboration-based design of SDL systems F Roessler, B Geppert, R Gotzhein International SDL Forum, 72-89, 2001 | 27 | 2001 |
| 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 | 26 | 1996 |
| Compositional testing of communication systems R Gotzhein, F Khendek IFIP International Conference on Testing of Communicating Systems, 227-244, 2006 | 24 | 2006 |
| 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 | 23 | 2008 |
| Towards a new formal SDL semantics based on Abstract State Machines U Glässer, R Gotzhein, A Prinz SDL'99, 171-190, 1999 | 23 | 1999 |
| 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 | 23 | 1998 |
