Reinhard Gotzhein

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 16

Top Venues

IWCMC

AINA

WCNC

EWSN

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Christopher Kohlstruck, Reinhard Gotzhein
dRmin - Routing - A Decentralized Algorithm for Reliability-constrained Routing in Wireless Ad-hoc Networks. IWCMC (2022)
Kiran Mathews, Reinhard Gotzhein
OB-EWMA: A Link Metric for Reliability-constrained Routing in Wireless Networks. WCNC (2021)
Christopher Kohlstruck, Reinhard Gotzhein
cTEx - A Configurable Topology Explorer for Wireless Ad-hoc Networks. ICCCN (2021)
Reinhard Gotzhein
On the Conception of Executable Design Languages for Distributed Real-time Systems. MoDELS (Companion) (2021)
Paulo Fernando Aragao Alves Junior, Reinhard Gotzhein, Lucas Sonntag Hagen
Volatility-Aware Channel Sensing with Commodity 802.11 Hardware. GLOBECOM (2021)
Paulo Aragao, Reinhard Gotzhein
Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing Schedules. AINA (2020)
Christopher Kohlstruck, Kiran Mathews, Reinhard Gotzhein
rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities. LCN (2019)
Christopher Kramer, Kiran Mathews, Reinhard Gotzhein
Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket. IPCCC (2019)
Markus Engel, Reinhard Gotzhein
Dynamic computation and adjustment of channel hopping sequences for cognitive radio networks based on quality metrics. EWSN (2018)
Hamed Sefati, Reinhard Gotzhein, Christopher Kramer, Stephan Schloesser, Martin Weiss
Dynamic overlay line topology establishment and repair in wireless networks. WCNC (2018)
Paulo Fernando Aragao Alves Junior, Markus Engel, Reinhard Gotzhein
A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop Cognitive Radio Networks with Channel Hopping. AINA (2018)
Christopher Kohlstruck, Markus Engel, Reinhard Gotzhein
The Selective Clustering Energy Detector for Cognitive Radio Networks - Conceptual Design and Experimental Assessment. IWCMC (2018)
Kiran Mathews, Christopher Kramer, Reinhard Gotzhein
Token bucket based traffic shaping and monitoring for WLAN-based control systems. PIMRC (2017)
Markus Engel, Christopher Kramer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein
BiPS - A Real-Time-Capable Protocol Framework for Wireless Networked Control Systems and Its Application. ICETE (Selected Papers) (2017)
Christopher Kramer, Dennis Christmann, Reinhard Gotzhein
A clustering algorithm for distributed service registries in heterogeneous wireless networks. Wireless Days (2016)
Dennis Christmann, Tobias Braun, Markus Engel, Reinhard Gotzhein
BiPS - A Real-time-capable Protocol Framework for Wireless Sensor Networks. PECCS (2016)
Johann Gebhardt, Reinhard Gotzhein, Anuschka Igel, Christopher Kramer
QoS Multicast Routing in Partially Mobile Wireless TDMA Networks. GLOBECOM (2015)
Dennis Christmann, Andreas Schmidt, Christian Giehl, Max Reichardt, Moritz Ohmer, Markus Berg, Karsten Berns, Reinhard Gotzhein, Thorsten Herfet
Vertical Integration and Adaptive Services in Networked Production Environments. ERP Future (2015)
Christopher Kramer, Dennis Christmann, Reinhard Gotzhein
Automatic topology discovery in TDMA-based ad hoc networks. IWCMC (2015)
Luu Hoang Duc, Dennis Christmann, Reinhard Gotzhein, Stefan Siegmund, Fabian R. Wirth
The stability of Try-Once-Discard for stochastic communication channels: Theory and validation. CDC (2015)
Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS. SAM (2014)
Markus Engel, Dennis Christmann, Reinhard Gotzhein
Implementation and Experimental Validation of Timing Constraints of BBS. EWSN (2014)
Dennis Christmann, Reinhard Gotzhein, Stefan Siegmund, Fabian Wirth
Realization of Try-Once-Discard in Wireless Multihop Networks. IEEE Trans. Ind. Informatics 10 (1) (2014)
Dennis Christmann, Reinhard Gotzhein, Marc Krämer, Martin Winkler
Flexible and energy-efficient duty cycling in wireless networks with MacZ. Concurr. Comput. Pract. Exp. 25 (2) (2013)
Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein
FERAL - Framework for simulator coupling on requirements and architecture level. MEMOCODE (2013)
Dennis Christmann, Tobias Braun, Reinhard Gotzhein
SDL Real-Time Tasks - Concept, Implementation, and Evaluation. SDL Forum (2013)
Dennis Christmann, Reinhard Gotzhein, Stephan Rohr
The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks. ICCCN (2012)
Dennis Christmann, Reinhard Gotzhein
Real-Time Tasks in SDL. SAM (2012)
Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Anuschka Igel
Model-driven Engineering of Networked Ambient Systems with SDL-MDD. ANT/MobiWIS (2012)
Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein
Real-Time Signaling in SDL. SDL Forum (2011)
Philipp Becker, Martin Birtel, Dennis Christmann, Reinhard Gotzhein
Black-Burst-Based Quality-of-Service Routing (BBQR) for Wireless Ad-Hoc Networks. NOTERE (2011)
Reinhard Gotzhein, Thomas Kuhn
Black Burst Synchronization (BBS) - A protocol for deterministic tick and time synchronization in wireless networks. Comput. Networks 55 (13) (2011)
Dennis Christmann, Philipp Becker, Reinhard Gotzhein
Priority Scheduling in SDL. SDL Forum (2011)
Dennis Christmann, Reinhard Gotzhein, Marc Krämer, Martin Winkler
Flexible and energy-efficient duty cycling in wireless networks with MacZ. NOTERE (2010)
Tobias Braun, Reinhard Gotzhein, Matthias Wiebel
Integration of FlexRay into the SDL-Model-Driven Development Approach. SAM (2010)
Reinhard Gotzhein, Marc Krämer, Lothar Litz, Alain Chamaken
Energy-Aware System Design with SDL. SDL Forum (2009)
Alain Chamaken, Lothar Litz, Marc Krämer, Reinhard Gotzhein
Cross-layer design of wireless networked control systems with energy limitations. ECC (2009)
Mattias Nissler, Reinhard Gotzhein
Performance evaluation of multi-path routing in reservation-based wireless networks. MSWiM (2009)
Dennis Christmann, Reinhard Gotzhein, Thomas Kuhn
Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 17 (2009)
Philipp Becker, Dennis Christmann, Reinhard Gotzhein
Model-Driven Development of Time-Critical Protocols with SDL-MDD. SDL Forum (2009)
Christian Webel, Reinhard Gotzhein, Joachim Nicolay
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. FORTE (2008)
Philipp Becker, Reinhard Gotzhein, Thomas Kuhn
Model-driven Performance Simulation of Self-organizing Systems with PartsSim. Prax. Inf.verarb. Kommun. 31 (1) (2008)
Reinhard Gotzhein, Thomas Kuhn
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. SECON (2008)
Thomas Kuhn, Reinhard Gotzhein
Model-Driven Platform-Specific Testing through Configurable Simulations. ECMDA-FA (2008)
Christian Webel, Reinhard Gotzhein
Formalization of Network Quality-of-Service Requirements. FORTE (2007)
Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn
Specifying Input Port Bounds in SDL. SDL Forum (2007)
Rüdiger Grammes, Reinhard Gotzhein
SDL Profiles - Formal Semantics and Tool Support. FASE (2007)
Ingmar Fliege, Reinhard Gotzhein
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. SDL Forum (2007)
Philipp Becker, Reinhard Gotzhein, Thomas Kuhn
MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. HIS (2007)
Thomas Kuhn, Reinhard Gotzhein, Christian Webel
Model-Driven Development with SDL - Process, Tools, and Experiences. MoDELS (2006)
Reinhard Gotzhein, Ferhat Khendek
Compositional Testing of Communication Systems. TestCom (2006)
Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Thomas Kuhn, Christian Webel
Developing safety-critical real-time systems with SDL design patterns and components. Comput. Networks 49 (5) (2005)
Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer
ns+SDL - The Network Simulator for SDL Systems. SDL Forum (2005)
Rüdiger Grammes, Reinhard Gotzhein
Towards the Harmonisation of UML and SDL. FORTE (2004)
Jörg Dorsch, Anders Ek, Reinhard Gotzhein
SPT - The SDL Pattern Tool. SAM (2004)
Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible
A Flexible Micro Protocol Framework. SAM (2004)
Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. SDL Forum (2003)
Reinhard Gotzhein
Consolidating and applying the SDL-pattern approach: a detailed case study. Inf. Softw. Technol. 45 (11) (2003)
Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. KiVS (2003)
Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
The formal semantics of SDL-2000: Status and perspectives. Comput. Networks 42 (3) (2003)
Philipp Schaible, Reinhard Gotzhein
Development of Distributed Systems with SDL by Means of Formalized APIs. SDL Forum (2003)
Reinhard Gotzhein
Vertical Reuse in the Development of Distributed Systems with FDTs. FORTE (2003)
Alexander Geraldy, Reinhard Gotzhein
µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks. PWC (2003)
Reinhard Gotzhein
Musterbasierte Systementwicklung. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (2002)
Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible
Micro Protocol Design: The SNMP Case Study. SAM (2002)
Philipp Schaible, Reinhard Gotzhein
View-based animation of communication protocols in design and in operation. Comput. Networks 40 (5) (2002)
Reinhard Gotzhein, Philipp Schaible
Entwicklung von Gebäudeautomationssystemen mit generischen Methoden. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (2002)
Frank Rößler, Birgit Geppert, Reinhard Gotzhein
CoSDL: An Experimental Language for Collaboration Specification. SAM (2002)
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. Univers. Comput. Sci. 7 (11) (2001)
Frank Rößler, Birgit Geppert, Reinhard Gotzhein
Collaboration-Based Design of SDL Systems. SDL Forum (2001)
Egon Börger, Reinhard Gotzhein
The Light Control Case Study: A Synopsis. J. Univers. Comput. Sci. 6 (7) (2000)
Egon Börger, Reinhard Gotzhein
Requirements Engineering - The Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Philipp Schaible, Reinhard Gotzhein
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT (2000)
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines (2000)
Andreas Prinz, Robert Eschbach, Reinhard Gotzhein
A Executable Formal Semantics for SDL-2000. SAM (2000)
Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum (1999)
Reinhard Gotzhein, Philipp Schaible
Pattern-based development of communication systems. Ann. des Télécommunications 54 (11-12) (1999)
Birgit Geppert, Frank Rößler, Reinhard Gotzhein
Pattern Application vs. Inheritance in SDL. FMOODS (1999)
Joachim Thees, Reinhard Gotzhein
The experimental Estelle Compiler: automatic generation of implementations from formal specifications. FMSP (1998)
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
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501. Inform. Forsch. Entwickl. 13 (4) (1998)
Reinhard Gotzhein, Jan Bredereke
Trends in Formal Description Techniques. Comput. Networks 30 (9-10) (1998)
Reinhard Gotzhein, Martin Kronenburg, Christian Peper
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. FTRTFT (1998)
Joachim Thees, Reinhard Gotzhein
Open Estelle - An FDT for Open Distributed Systems. FORTE (1998)
Birgit Geppert, Reinhard Gotzhein, Frank Rößler
Configuring communication protocols using SDL patterns. SDL Forum (1997)
Joachim Thees, Reinhard Gotzhein
Leistungsbewertung automatisch generierter Protokollimplementierungen. MMB (Kurzbeiträge) (1997)
Christian Peper, Reinhard Gotzhein, Martin Kronenburg
A Generic Approach to the Formal Specification of Requirements. ICFEM (1997)
Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König
Improving the efficiency of automated protocol implementation using Estelle. Comput. Commun. 19 (14) (1996)
Reinhard Gotzhein
Towards a Basic Reference Model of Open Distributed Processing. Comput. Networks ISDN Syst. 27 (8) (1995)
Reinhard Gotzhein
Applying a Temporal Logic to the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Reinhard Gotzhein, Gregor von Bochmann
Specialization in Estelle. PSTV (1994)
Jan Bredereke, Reinhard Gotzhein
Specification, detection and resolution of IN feature interactions with Estelle. FORTE (1994)
Hartmut König, Wolfgang Effelsberg, Reinhard Gotzhein
Ableitung parallel ausführbarer Protokollimplementierungen. Prax. Inf.verarb. Kommun. 16 (4) (1993)
Caroline Andrae, Reinhard Gotzhein, Simone Sédillot
An Evolutionary Approach to the Development of Complex Protocol Standards. PSTV (1993)
Jan Bredereke, Reinhard Gotzhein
Increasing the Concurrency in Estelle. FORTE (1993)
Reinhard Gotzhein
Temporal Logic and Applications-A Tutorial. Comput. Networks ISDN Syst. 24 (3) (1992)
Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt
Design of a formal Estelle semantics for verification. FORTE (1992)
Reinhard Gotzhein
On Conformance in the Context of Open Systems. ICDCS (1992)
Detlef Kreuz, Reinhard Gotzhein
A Compiler for the Parallel Execution of Estelle Specification. FBT (1992)
Reinhard Gotzhein
Formal Definition and Representation of Interaction Points. Comput. Networks ISDN Syst. 25 (1) (1992)
Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt
Praktischer Einsatz und Weiterentwicklung von Estelle. GI Jahrestagung (1991)

Reinhard Gotzhein.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reinhard Gotzhein