Reinhard Gotzhein
Affiliations:- Kaiserslautern University of Technology, Germany
According to our database1,
Reinhard Gotzhein
authored at least 110 papers
between 1982 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2022
dRmin - Routing - A Decentralized Algorithm for Reliability-constrained Routing in Wireless Ad-hoc Networks.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022
2021
Proceedings of the IEEE Wireless Communications and Networking Conference, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the 30th International Conference on Computer Communications and Networks, 2021
Proceedings of the IEEE Global Communications Conference, 2021
2020
Real-time Communication Protocols for Multi-hop Ad-hoc Networks - Wireless Networking in Production and Control Systems
Computer Communications and Networks, Springer, ISBN: 978-3-030-33318-8, 2020
Proceedings of the Advanced Information Networking and Applications, 2020
2019
rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities.
Proceedings of the 44th IEEE Conference on Local Computer Networks, 2019
Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket.
Proceedings of the 38th IEEE International Performance Computing and Communications Conference, 2019
2018
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference, 2018
The Selective Clustering Energy Detector for Cognitive Radio Networks - Conceptual Design and Experimental Assessment.
Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018
Dynamic computation and adjustment of channel hopping sequences for cognitive radio networks based on quality metrics.
Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018
A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop Cognitive Radio Networks with Channel Hopping.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
2017
Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017
BiPS - A Real-Time-Capable Protocol Framework for Wireless Networked Control Systems and Its Application.
Proceedings of the E-Business and Telecommunications - 14th International Joint Conference, 2017
2016
A clustering algorithm for distributed service registries in heterogeneous wireless networks.
Proceedings of the 2016 Wireless Days, 2016
Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2016), 2016
2015
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
Proceedings of the 2015 IEEE Global Communications Conference, 2015
Proceedings of the Innovations in Enterprise Information Systems Management and Engineering, 2015
The stability of Try-Once-Discard for stochastic communication channels: Theory and validation.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
2014
IEEE Trans. Ind. Informatics, 2014
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Proceedings of the Wireless Sensor Networks - 11th European Conference, 2014
2013
Concurr. Comput. Pract. Exp., 2013
Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
2012
Proceedings of the 3rd International Conference on Ambient Systems, 2012
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012
The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks.
Proceedings of the 21st International Conference on Computer Communications and Networks, 2012
2011
Black Burst Synchronization (BBS) - A protocol for deterministic tick and time synchronization in wireless networks.
Comput. Networks, 2011
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011
2010
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010
2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009
Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009
Proceedings of the 10th European Control Conference, 2009
2008
Prax. Inf.verarb. Kommun., 2008
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts.
Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Model Driven Architecture, 2008
2007
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
Proceedings of the 7th International Conference on Hybrid Intelligent Systems, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
2006
Proceedings of the Testing of Communicating Systems, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
2005
Developing safety-critical real-time systems with SDL design patterns and components.
Comput. Networks, 2005
Proceedings of the SDL 2005: Model Driven, 2005
2004
Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004
Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Inf. Softw. Technol., 2003
Proceedings of the SDL 2003: System Design, 2003
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment.
Proceedings of the SDL 2003: System Design, 2003
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2003
Proceedings of the Personal Wireless Communications, IFIP-TC6 8th International Conference, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
2002
Comput. Networks, 2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Entwicklung von Gebäudeautomationssystemen mit generischen Methoden.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002
Musterbasierte Systementwicklung.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002
2001
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.
J. Univers. Comput. Sci., 2001
Proceedings of the SDL 2001: Meeting UML, 2001
2000
J. Univers. Comput. Sci., 2000
A Executable Formal Semantics for SDL-2000.
Proceedings of the SAM 2000, 2000
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.
Proceedings of the Abstract State Machines, 2000
1999
Ann. des Télécommunications, 1999
Towards a new formal SDL semantics - outline of an abstract state machines.
Proceedings of the SDL '99 The Next Millennium, 1999
Pattern Application vs. Inheritance in SDL.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
1998
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501.
Inform. Forsch. Entwickl., 1998
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Open Estelle - An FDT for Open Distributed Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
The experimental Estelle Compiler: automatic generation of implementations from formal specifications.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998
1997
Configuring communication protocols using SDL patterns.
Proceedings of the SDL '97 Time for Testing, 1997
Leistungsbewertung automatisch generierter Protokollimplementierungen.
Proceedings of the MMB '97, 1997
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
1996
Comput. Commun., 1996
1995
Comput. Networks ISDN Syst., 1995
1994
Specialization in Estelle.
Proceedings of the Protocol Specification, 1994
Specification, detection and resolution of IN feature interactions with Estelle.
Proceedings of the Formal Description Techniques VII, 1994
Proceedings of the Formal Systems Specification, 1994
1993
Prax. Inf.verarb. Kommun., 1993
An Evolutionary Approach to the Development of Complex Protocol Standards.
Proceedings of the Protocol Specification, 1993
Increasing the Concurrency in Estelle.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
Open distributed systems - on concepts, methods, and design from a logical point of view.
Vieweg advanced studies in computer science, Vieweg, ISBN: 978-3-528-05358-1, 1993
1992
Comput. Networks ISDN Syst., 1992
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992
Design of a formal Estelle semantics for verification.
Proceedings of the Formal Description Techniques, 1992
A Compiler for the Parallel Execution of Estelle Specification.
Proceedings of the Formale Methoden für verteilte Systeme, 1992
1991
The Design of a Temporal Logic for Open Distributed Systems.
Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991
Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991
1990
ACM Trans. Comput. Syst., 1990
Specifying communication services with temporal logic.
Proceedings of the Protocol Specification, 1990
1989
The Formal Definition of the Architectural Concept "Interaction Point".
Proceedings of the Formal Description Techniques, 1989
1986
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986
1985
PhD thesis, 1985
Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry.
Proceedings of the Datenschutz und Datensicherung im Wandel der Informationstechnologien, 1985
1982
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.
Proceedings of the Programmiersprachen und Programmentwicklung, 1982