A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. - Reinhard Gotzhein; S. Keramidis; Manfred Reitenspieß (Fachtagung über Programmiersprachen, 1982)

Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry. - Reinhard Gotzhein; Lothar Horbach (Datenschutz und Datensicherung, 1985)

Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen. - Reinhard Gotzhein (1985)

Deriving protocol specifications from service specifications. - Gregor von Bochmann; Reinhard Gotzhein (SIGCOMM, 1986)

The Formal Definition of the Architectural Concept "Interaction Point". - Reinhard Gotzhein (FORTE, 1989)

Specifying Open Distributed Systems with Z. - Reinhard Gotzhein (VDM Europe, 1990)

Specifying communication services with temporal logic. - Reinhard Gotzhein (PSTV, 1990)

Deriving Protocol Specifications from Service Specifications Including Parameters. - Reinhard Gotzhein; Gregor von Bochmann (ACM Trans. Comput. Syst., 1990)

Praktischer Einsatz und Weiterentwicklung von Estelle. - Caroline Andrae; Jan Bredereke; C. Hille; D. Peter; T. Reimer; U. Schüler; Reinhard Gotzhein; Friedrich H. Vogt (GI Jahrestagung, 1991)

The Design of a Temporal Logic for Open Distributed Systems. - Reinhard Gotzhein; Friedrich H. Vogt (Open Distributed Processing, 1991)

A Compiler for the Parallel Execution of Estelle Specification. - Detlef Kreuz; Reinhard Gotzhein (FBT, 1992)

Design of a formal Estelle semantics for verification. - Jan Bredereke; Reinhard Gotzhein; Friedrich H. Vogt (FORTE, 1992)

On Conformance in the Context of Open Systems. - Reinhard Gotzhein (ICDCS, 1992)

Formal Definition and Representation of Interaction Points. - Reinhard Gotzhein (Comput. Networks ISDN Syst., 1992)

Temporal Logic and Applications-A Tutorial. - Reinhard Gotzhein (Comput. Networks ISDN Syst., 1992)

Open distributed systems - on concepts, methods, and design from a logical point of view. - Reinhard Gotzhein (Vieweg, 1993)

Increasing the Concurrency in Estelle. - Jan Bredereke; Reinhard Gotzhein (FORTE, 1993)

An Evolutionary Approach to the Development of Complex Protocol Standards. - Caroline Andrae; Reinhard Gotzhein; Simone Sédillot (PSTV, 1993)

Ableitung parallel ausführbarer Protokollimplementierungen. - Hartmut König; Wolfgang Effelsberg; Reinhard Gotzhein (Prax. Inf.verarb. Kommun., 1993)

Applying a Temporal Logic to the RPC-Memory Specification Problem. - Reinhard Gotzhein (Formal Systems Specification, 1994)

Specification, detection and resolution of IN feature interactions with Estelle. - Jan Bredereke; Reinhard Gotzhein (FORTE, 1994)

Specialization in Estelle. - Reinhard Gotzhein; Gregor von Bochmann (PSTV, 1994)

Towards a Basic Reference Model of Open Distributed Processing. - Reinhard Gotzhein (Comput. Networks ISDN Syst., 1995)

Improving the efficiency of automated protocol implementation using Estelle. - Reinhard Gotzhein; Jan Bredereke; Wolfgang Effelsberg; Stephan Fischer 001; Thomas Held; Hartmut König (Comput. Commun., 1996)

A Generic Approach to the Formal Specification of Requirements. - Christian Peper; Reinhard Gotzhein; Martin Kronenburg (ICFEM, 1997)

Leistungsbewertung automatisch generierter Protokollimplementierungen. - Joachim Thees; Reinhard Gotzhein (MMB (Kurzbeiträge), 1997)

Configuring communication protocols using SDL patterns. - Birgit Geppert; Reinhard Gotzhein; Frank Rößler (SDL Forum, 1997)

The experimental Estelle Compiler: automatic generation of implementations from formal specifications. - Joachim Thees; Reinhard Gotzhein (FMSP, 1998)

Open Estelle - An FDT for Open Distributed Systems. - Joachim Thees; Reinhard Gotzhein (FORTE, 1998)

Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. - Reinhard Gotzhein; Martin Kronenburg; Christian Peper (FTRTFT, 1998)

Trends in Formal Description Techniques. - Reinhard Gotzhein; Jan Bredereke (Comput. Networks, 1998)

Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501. - Jürgen Avenhaus; Reinhard Gotzhein; Theo Härder; Lothar Litz; Klaus Madlener; Jürgen Nehmer; Michael M. Richter; Norbert Ritter; H. Dieter Rombach; Bernd Schürmann; Gerhard Zimmermann (Inform. Forsch. Entwickl., 1998)

Pattern Application vs. Inheritance in SDL. - Birgit Geppert; Frank Rößler; Reinhard Gotzhein (FMOODS, 1999)

Towards a new formal SDL semantics - outline of an abstract state machines. - Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (SDL Forum, 1999)

Pattern-based development of communication systems. - Reinhard Gotzhein; Philipp Schaible (Ann. des Télécommunications, 1999)

On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. - Robert Eschbach; Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (Abstract State Machines, 2000)

Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. - Philipp Schaible; Reinhard Gotzhein (FBT, 2000)

A Executable Formal Semantics for SDL-2000. - Andreas Prinz 001; Robert Eschbach; Reinhard Gotzhein (SAM, 2000)

Requirements Engineering - The Light Control Case Study. - Egon Börger; Reinhard Gotzhein (J. Univers. Comput. Sci., 2000)

The Light Control Case Study: A Synopsis. - Egon Börger; Reinhard Gotzhein (J. Univers. Comput. Sci., 2000)

Collaboration-Based Design of SDL Systems. - Frank Rößler; Birgit Geppert; Reinhard Gotzhein (SDL Forum, 2001)

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. - Robert Eschbach; Uwe Glässer; Reinhard Gotzhein; Martin von Löwis; Andreas Prinz 001 (J. Univers. Comput. Sci., 2001)

Musterbasierte Systementwicklung. - Reinhard Gotzhein (Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002)

Entwicklung von Gebäudeautomationssystemen mit generischen Methoden. - Reinhard Gotzhein; Philipp Schaible (Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002)

Micro Protocol Design: The SNMP Case Study. - Reinhard Gotzhein; Ferhat Khendek; Philipp Schaible (SAM, 2002)

CoSDL: An Experimental Language for Collaboration Specification. - Frank Rößler; Birgit Geppert; Reinhard Gotzhein (SAM, 2002)

View-based animation of communication protocols in design and in operation. - Philipp Schaible; Reinhard Gotzhein (Comput. Networks, 2002)

Vertical Reuse in the Development of Distributed Systems with FDTs. - Reinhard Gotzhein (FORTE, 2003)

µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks. - Alexander Geraldy; Reinhard Gotzhein (PWC, 2003)

Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. - Reinhard Gotzhein; Christian Peper; Philipp Schaible; Joachim Thees (KiVS, 2003)

Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. - Rüdiger Grammes; Reinhard Gotzhein; Christian Mahr; Philipp Schaible; Helmut Schleiffer (SDL Forum, 2003)

Development of Distributed Systems with SDL by Means of Formalized APIs. - Philipp Schaible; Reinhard Gotzhein (SDL Forum, 2003)

The formal semantics of SDL-2000: Status and perspectives. - Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (Comput. Networks, 2003)

Consolidating and applying the SDL-pattern approach: a detailed case study. - Reinhard Gotzhein (Inf. Softw. Technol., 2003)

Towards the Harmonisation of UML and SDL. - Rüdiger Grammes; Reinhard Gotzhein (FORTE, 2004)

SPT - The SDL Pattern Tool. - Jörg Dorsch; Anders Ek; Reinhard Gotzhein (SAM, 2004)

A Flexible Micro Protocol Framework. - Ingmar Fliege; Alexander Geraldy; Reinhard Gotzhein; Philipp Schaible (SAM, 2004)

ns+SDL - The Network Simulator for SDL Systems. - Thomas Kuhn 001; Alexander Geraldy; Reinhard Gotzhein; Florian Rothländer (SDL Forum, 2005)

Developing safety-critical real-time systems with SDL design patterns and components. - Ingmar Fliege; Alexander Geraldy; Reinhard Gotzhein; Thomas Kuhn 001; Christian Webel (Comput. Networks, 2005)

Model-Driven Development with SDL - Process, Tools, and Experiences. - Thomas Kuhn 001; Reinhard Gotzhein; Christian Webel (MoDELS, 2006)

Compositional Testing of Communication Systems. - Reinhard Gotzhein; Ferhat Khendek (TestCom, 2006)

SDL Profiles - Formal Semantics and Tool Support. - Rüdiger Grammes; Reinhard Gotzhein (FASE, 2007)

Formalization of Network Quality-of-Service Requirements. - Christian Webel; Reinhard Gotzhein (FORTE, 2007)

MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. - Philipp Becker; Reinhard Gotzhein; Thomas Kuhn 001 (HIS, 2007)

Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. - Ingmar Fliege; Reinhard Gotzhein (SDL Forum, 2007)

Specifying Input Port Bounds in SDL. - Reinhard Gotzhein; Rüdiger Grammes; Thomas Kuhn 001 (SDL Forum, 2007)

Model-Driven Platform-Specific Testing through Configurable Simulations. - Thomas Kuhn 001; Reinhard Gotzhein (ECMDA-FA, 2008)

NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. - Christian Webel; Reinhard Gotzhein; Joachim Nicolay (FORTE, 2008)

Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. - Reinhard Gotzhein; Thomas Kuhn 001 (SECON, 2008)

Model-driven Performance Simulation of Self-organizing Systems with PartsSim. - Philipp Becker; Reinhard Gotzhein; Thomas Kuhn 001 (Prax. Inf.verarb. Kommun., 2008)

Cross-layer design of wireless networked control systems with energy limitations. - Alain Chamaken; Lothar Litz; Marc Krämer; Reinhard Gotzhein (ECC, 2009)

Performance evaluation of multi-path routing in reservation-based wireless networks. - Mattias Nissler; Reinhard Gotzhein (MSWiM, 2009)

Model-Driven Development of Time-Critical Protocols with SDL-MDD. - Philipp Becker; Dennis Christmann; Reinhard Gotzhein (SDL Forum, 2009)

Energy-Aware System Design with SDL. - Reinhard Gotzhein; Marc Krämer; Lothar Litz; Alain Chamaken (SDL Forum, 2009)

Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. - Dennis Christmann; Reinhard Gotzhein; Thomas Kuhn 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Integration of FlexRay into the SDL-Model-Driven Development Approach. - Tobias Braun; Reinhard Gotzhein; Matthias Wiebel (SAM, 2010)

Black-Burst-Based Quality-of-Service Routing (BBQR) for Wireless Ad-Hoc Networks. - Philipp Becker; Martin Birtel; Dennis Christmann; Reinhard Gotzhein (NOTERE, 2011)

Priority Scheduling in SDL. - Dennis Christmann; Philipp Becker; Reinhard Gotzhein (SDL Forum, 2011)

Real-Time Signaling in SDL. - Marc Krämer; Tobias Braun; Dennis Christmann; Reinhard Gotzhein (SDL Forum, 2011)

Black Burst Synchronization (BBS) - A protocol for deterministic tick and time synchronization in wireless networks. - Reinhard Gotzhein; Thomas Kuhn 001 (Comput. Networks, 2011)

The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks. - Dennis Christmann; Reinhard Gotzhein; Stephan Rohr (ICCCN, 2012)

Real-Time Tasks in SDL. - Dennis Christmann; Reinhard Gotzhein (SAM, 2012)

Model-driven Engineering of Networked Ambient Systems with SDL-MDD. - Tobias Braun; Dennis Christmann; Reinhard Gotzhein; Anuschka Igel (ANT/MobiWIS, 2012)

FERAL - Framework for simulator coupling on requirements and architecture level. - Thomas Kuhn 001; Thomas Forster; Tobias Braun; Reinhard Gotzhein (MEMOCODE, 2013)

SDL Real-Time Tasks - Concept, Implementation, and Evaluation. - Dennis Christmann; Tobias Braun; Reinhard Gotzhein (SDL Forum, 2013)

Flexible and energy-efficient duty cycling in wireless networks with MacZ. - Dennis Christmann; Reinhard Gotzhein; Marc Krämer; Martin Winkler (Concurr. Comput. Pract. Exp., 2013)

Implementation and Experimental Validation of Timing Constraints of BBS. - Markus Engel; Dennis Christmann; Reinhard Gotzhein (EWSN, 2014)

SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS. - Tobias Braun; Dennis Christmann; Reinhard Gotzhein; Alexander Mater (SAM, 2014)

Realization of Try-Once-Discard in Wireless Multihop Networks. - Dennis Christmann; Reinhard Gotzhein; Stefan Siegmund; Fabian Wirth (IEEE Trans. Ind. Informatics, 2014)

The stability of Try-Once-Discard for stochastic communication channels: Theory and validation. - Luu Hoang Duc; Dennis Christmann; Reinhard Gotzhein; Stefan Siegmund; Fabian R. Wirth (CDC, 2015)

Vertical Integration and Adaptive Services in Networked Production Environments. - Dennis Christmann; Andreas Schmidt 003; Christian Giehl; Max Reichardt; Moritz Ohmer; Markus Berg 003; Karsten Berns; Reinhard Gotzhein; Thorsten Herfet (ERP Future, 2015)

QoS Multicast Routing in Partially Mobile Wireless TDMA Networks. - Johann Gebhardt; Reinhard Gotzhein; Anuschka Igel; Christopher Kramer (GLOBECOM, 2015)

Automatic topology discovery in TDMA-based ad hoc networks. - Christopher Kramer; Dennis Christmann; Reinhard Gotzhein (IWCMC, 2015)

BiPS - A Real-time-capable Protocol Framework for Wireless Sensor Networks. - Dennis Christmann; Tobias Braun; Markus Engel; Reinhard Gotzhein (PECCS, 2016)

A clustering algorithm for distributed service registries in heterogeneous wireless networks. - Christopher Kramer; Dennis Christmann; Reinhard Gotzhein (Wireless Days, 2016)

BiPS - A Real-Time-Capable Protocol Framework for Wireless Networked Control Systems and Its Application. - Markus Engel; Christopher Kramer; Tobias Braun; Dennis Christmann; Reinhard Gotzhein (ICETE (Selected Papers), 2017)

Token bucket based traffic shaping and monitoring for WLAN-based control systems. - Kiran Mathews; Christopher Kramer; Reinhard Gotzhein (PIMRC, 2017)

A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop Cognitive Radio Networks with Channel Hopping. - Paulo Fernando Aragao Alves Junior; Markus Engel; Reinhard Gotzhein (AINA, 2018)

Dynamic computation and adjustment of channel hopping sequences for cognitive radio networks based on quality metrics. - Markus Engel; Reinhard Gotzhein (EWSN, 2018)

The Selective Clustering Energy Detector for Cognitive Radio Networks - Conceptual Design and Experimental Assessment. - Christopher Kohlstruck; Markus Engel; Reinhard Gotzhein (IWCMC, 2018)

Dynamic overlay line topology establishment and repair in wireless networks. - Hamed Sefati; Reinhard Gotzhein; Christopher Kramer; Stephan Schloesser; Martin Weiss (WCNC, 2018)

Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket. - Christopher Kramer; Kiran Mathews; Reinhard Gotzhein (IPCCC, 2019)

rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities. - Christopher Kohlstruck; Kiran Mathews; Reinhard Gotzhein (LCN, 2019)

Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing Schedules. - Paulo Aragao; Reinhard Gotzhein (AINA, 2020)

Real-time Communication Protocols for Multi-hop Ad-hoc Networks - Wireless Networking in Production and Control Systems - Reinhard Gotzhein (Springer, 2020)

Volatility-Aware Channel Sensing with Commodity 802.11 Hardware. - Paulo Fernando Aragao Alves Junior; Reinhard Gotzhein; Lucas Sonntag Hagen (GLOBECOM, 2021)

cTEx - A Configurable Topology Explorer for Wireless Ad-hoc Networks. - Christopher Kohlstruck; Reinhard Gotzhein (ICCCN, 2021)

On the Conception of Executable Design Languages for Distributed Real-time Systems. - Reinhard Gotzhein (MoDELS (Companion), 2021)

OB-EWMA: A Link Metric for Reliability-constrained Routing in Wireless Networks. - Kiran Mathews; Reinhard Gotzhein (WCNC, 2021)

dRmin - Routing - A Decentralized Algorithm for Reliability-constrained Routing in Wireless Ad-hoc Networks. - Christopher Kohlstruck; Reinhard Gotzhein (IWCMC, 2022)