| 2022 | IWCMC | dRmin - Routing - A Decentralized Algorithm for Reliability-constrained Routing in Wireless Ad-hoc Networks. | Christopher Kohlstruck, Reinhard Gotzhein |
| 2021 | GLOBECOM | Volatility-Aware Channel Sensing with Commodity 802.11 Hardware. | Paulo Fernando Aragao Alves Junior, Reinhard Gotzhein, Lucas Sonntag Hagen |
| 2021 | ICCCN | cTEx - A Configurable Topology Explorer for Wireless Ad-hoc Networks. | Christopher Kohlstruck, Reinhard Gotzhein |
| 2021 | MODELS | On the Conception of Executable Design Languages for Distributed Real-time Systems. | Reinhard Gotzhein |
| 2021 | WCNC | OB-EWMA: A Link Metric for Reliability-constrained Routing in Wireless Networks. | Kiran Mathews, Reinhard Gotzhein |
| 2020 | AINA | Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing Schedules. | Paulo Aragao, Reinhard Gotzhein |
| 2019 | IPCCC | Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket. | Christopher Kramer, Kiran Mathews, Reinhard Gotzhein |
| 2019 | LCN | rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities. | Christopher Kohlstruck, Kiran Mathews, Reinhard Gotzhein |
| 2018 | AINA | 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 |
| 2018 | EWSN | Dynamic computation and adjustment of channel hopping sequences for cognitive radio networks based on quality metrics. | Markus Engel, Reinhard Gotzhein |
| 2018 | IWCMC | The Selective Clustering Energy Detector for Cognitive Radio Networks - Conceptual Design and Experimental Assessment. | Christopher Kohlstruck, Markus Engel, Reinhard Gotzhein |
| 2018 | WCNC | Dynamic overlay line topology establishment and repair in wireless networks. | Hamed Sefati, Reinhard Gotzhein, Christopher Kramer, Stephan Schloesser, Martin Weiss |
| 2017 | PIMRC | Token bucket based traffic shaping and monitoring for WLAN-based control systems. | Kiran Mathews, Christopher Kramer, Reinhard Gotzhein |
| 2015 | GLOBECOM | QoS Multicast Routing in Partially Mobile Wireless TDMA Networks. | Johann Gebhardt, Reinhard Gotzhein, Anuschka Igel, Christopher Kramer |
| 2015 | IWCMC | Automatic topology discovery in TDMA-based ad hoc networks. | Christopher Kramer, Dennis Christmann, Reinhard Gotzhein |
| 2014 | EWSN | Implementation and Experimental Validation of Timing Constraints of BBS. | Markus Engel, Dennis Christmann, Reinhard Gotzhein |
| 2013 | MEMOCODE | FERAL - Framework for simulator coupling on requirements and architecture level. | Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein |
| 2012 | ICCCN | The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks. | Dennis Christmann, Reinhard Gotzhein, Stephan Rohr |
| 2009 | MSWIM | Performance evaluation of multi-path routing in reservation-based wireless networks. | Mattias Nissler, Reinhard Gotzhein |
| 2008 | FORTE | NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. | Christian Webel, Reinhard Gotzhein, Joachim Nicolay |
| 2008 | SECON | Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. | Reinhard Gotzhein, Thomas Kuhn |
| 2007 | FASE | SDL Profiles - Formal Semantics and Tool Support. | Rdiger Grammes, Reinhard Gotzhein |
| 2007 | FORTE | Formalization of Network Quality-of-Service Requirements. | Christian Webel, Reinhard Gotzhein |
| 2007 | HIS | MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. | Philipp Becker, Reinhard Gotzhein, Thomas Kuhn |
| 2006 | MODELS | Model-Driven Development with SDL - Process, Tools, and Experiences. | Thomas Kuhn, Reinhard Gotzhein, Christian Webel |
| 2004 | FORTE | Towards the Harmonisation of UML and SDL. | Rdiger Grammes, Reinhard Gotzhein |
| 2003 | FORTE | Vertical Reuse in the Development of Distributed Systems with FDTs. | Reinhard Gotzhein |
| 1998 | FORTE | Open Estelle - An FDT for Open Distributed Systems. | Joachim Thees, Reinhard Gotzhein |
| 1997 | ICFEM | A Generic Approach to the Formal Specification of Requirements. | Christian Peper, Reinhard Gotzhein, Martin Kronenburg |
| 1994 | FORTE | Specification, detection and resolution of IN feature interactions with Estelle. | Jan Bredereke, Reinhard Gotzhein |
| 1993 | FORTE | Increasing the Concurrency in Estelle. | Jan Bredereke, Reinhard Gotzhein |
| 1992 | FORTE | Design of a formal Estelle semantics for verification. | Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
| 1992 | ICDCS | On Conformance in the Context of Open Systems. | Reinhard Gotzhein |
| 1991 | GI | Praktischer Einsatz und Weiterentwicklung von Estelle. | Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schler, Reinhard Gotzhein, Friedrich H. Vogt |
| 1990 | FM | Specifying Open Distributed Systems with Z. | Reinhard Gotzhein |
| 1989 | FORTE | The Formal Definition of the Architectural Concept "Interaction Point". | Reinhard Gotzhein |
| 1986 | SIGCOMM | Deriving protocol specifications from service specifications. | Gregor von Bochmann, Reinhard Gotzhein |