Reinhard Gotzhein

118 papers A* 1A 3B 17C 14Journal 21Unranked 53

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