 | 2009 |
|---|
| 72 |       | Rick Reed,
Attila Bilgic,
Reinhard Gotzhein:
SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings
Springer 2009 |
| 71 | | Mattias Nissler,
Reinhard Gotzhein:
Performance evaluation of multi-path routing in reservation-based wireless networks.
MSWiM 2009: 268-273 |
| 70 | | Reinhard Gotzhein,
Marc Krämer,
Lothar Litz,
Alain Chamaken:
Energy-Aware System Design with SDL.
SDL Forum 2009: 19-33 |
| 69 | | Philipp Becker,
Dennis Christmann,
Reinhard Gotzhein:
Model-Driven Development of Time-Critical Protocols with SDL-MDD.
SDL Forum 2009: 34-52 |
| 68 | | Dennis Christmann,
Reinhard Gotzhein,
Thomas Kuhn:
Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks.
ECEASST 17: (2009) |
| 2008 |
|---|
| 67 | | Thomas Kuhn,
Reinhard Gotzhein:
Model-Driven Platform-Specific Testing through Configurable Simulations.
ECMDA-FA 2008: 278-293 |
| 66 | | Christian Webel,
Reinhard Gotzhein,
Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.
FORTE 2008: 218-233 |
| 65 | | Reinhard Gotzhein,
Thomas Kuhn:
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts.
SECON 2008: 422-431 |
| 2007 |
|---|
| 64 | | Rüdiger Grammes,
Reinhard Gotzhein:
SDL Profiles - Formal Semantics and Tool Support.
FASE 2007: 200-214 |
| 63 | | Christian Webel,
Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements.
FORTE 2007: 309-324 |
| 62 | | Philipp Becker,
Reinhard Gotzhein,
Thomas Kuhn:
MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks.
HIS 2007: 277-282 |
| 61 | | Reinhard Gotzhein,
Rüdiger Grammes,
Thomas Kuhn:
Specifying Input Port Bounds in SDL.
SDL Forum 2007: 101-116 |
| 60 | | Ingmar Fliege,
Reinhard Gotzhein:
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications.
SDL Forum 2007: 150-165 |
| 2006 |
|---|
| 59 |  | Reinhard Gotzhein,
Rick Reed:
System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
Springer 2006 |
| 58 | | Thomas Kuhn,
Reinhard Gotzhein,
Christian Webel:
Model-Driven Development with SDL - Process, Tools, and Experiences.
MoDELS 2006: 83-97 |
| 57 | | Reinhard Gotzhein,
Ferhat Khendek:
Compositional Testing of Communication Systems.
TestCom 2006: 227-244 |
| 2005 |
|---|
| 56 | | Paul Müller,
Reinhard Gotzhein,
Jens B. Schmitt:
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
GI 2005 |
| 55 | | Paul Müller,
Reinhard Gotzhein,
Jens B. Schmitt:
Kommunikation in Verteilten Systemen (KiVS), 14. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar - 3. März 2005
Springer 2005 |
| 54 | | Thomas Kuhn,
Alexander Geraldy,
Reinhard Gotzhein,
Florian Rothländer:
ns+SDL - The Network Simulator for SDL Systems.
SDL Forum 2005: 103-116 |
| 53 | | Ingmar Fliege,
Alexander Geraldy,
Reinhard Gotzhein,
Thomas Kuhn,
Christian Webel:
Developing safety-critical real-time systems with SDL design patterns and components.
Computer Networks 49(5): 689-706 (2005) |
| 2004 |
|---|
| 52 | | Rüdiger Grammes,
Reinhard Gotzhein:
Towards the Harmonisation of UML and SDL.
FORTE 2004: 61-78 |
| 51 | | Ingmar Fliege,
Alexander Geraldy,
Reinhard Gotzhein,
Philipp Schaible:
A Flexible Micro Protocol Framework.
SAM 2004: 224-236 |
| 50 | | Jörg Dorsch,
Anders Ek,
Reinhard Gotzhein:
SPT - The SDL Pattern Tool.
SAM 2004: 50-64 |
| 2003 |
|---|
| 49 | | Reinhard Gotzhein:
Vertical Reuse in the Development of Distributed Systems with FDTs.
FORTE 2003: 31-47 |
| 48 | | Reinhard Gotzhein,
Christian Peper,
Philipp Schaible,
Joachim Thees:
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie.
KiVS 2003: 131-141 |
| 47 | | Alexander Geraldy,
Reinhard Gotzhein:
µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks.
PWC 2003: 188-191 |
| 46 | | 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: 102-116 |
| 45 | | Philipp Schaible,
Reinhard Gotzhein:
Development of Distributed Systems with SDL by Means of Formalized APIs.
SDL Forum 2003: 317-334 |
| 44 | | Uwe Glässer,
Reinhard Gotzhein,
Andreas Prinz:
The formal semantics of SDL-2000: Status and perspectives.
Computer Networks 42(3): 343-358 (2003) |
| 43 | | Reinhard Gotzhein:
Consolidating and applying the SDL-pattern approach: a detailed case study.
Information & Software Technology 45(11): 727-741 (2003) |
| 2002 |
|---|
| 42 | | Frank Rößler,
Birgit Geppert,
Reinhard Gotzhein:
CoSDL: An Experimental Language for Collaboration Specification.
SAM 2002: 1-20 |
| 41 | | Reinhard Gotzhein,
Ferhat Khendek,
Philipp Schaible:
Micro Protocol Design: The SNMP Case Study.
SAM 2002: 61-73 |
| 40 | | Philipp Schaible,
Reinhard Gotzhein:
View-based animation of communication protocols in design and in operation.
Computer Networks 40(5): 621-638 (2002) |
| 2001 |
|---|
| 39 | | Frank Rößler,
Birgit Geppert,
Reinhard Gotzhein:
Collaboration-Based Design of SDL Systems.
SDL Forum 2001: 72-89 |
| 38 | | 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. UCS 7(11): 1024-1049 (2001) |
| 2000 |
|---|
| 37 | | 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: 242-265 |
| 36 | | Philipp Schaible,
Reinhard Gotzhein:
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware.
FBT 2000: 165-174 |
| 35 | | Andreas Prinz,
Robert Eschbach,
Reinhard Gotzhein:
A Executable Formal Semantics for SDL-2000.
SAM 2000: 249-261 |
| 34 | | Egon Börger,
Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study.
J. UCS 6(7): 580-581 (2000) |
| 33 | | Egon Börger,
Reinhard Gotzhein:
The Light Control Case Study: A Synopsis.
J. UCS 6(7): 582-585 (2000) |
| 1999 |
|---|
| 32 | | Birgit Geppert,
Frank Rößler,
Reinhard Gotzhein:
Pattern Application vs. Inheritance in SDL.
FMOODS 1999 |
| 31 | | Uwe Glässer,
Reinhard Gotzhein,
Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines.
SDL Forum 1999: 171-192 |
| 1998 |
|---|
| 30 | | Joachim Thees,
Reinhard Gotzhein:
The experimental Estelle Compiler: automatic generation of implementations from formal specifications.
FMSP 1998: 54-61 |
| 29 | | Joachim Thees,
Reinhard Gotzhein:
Open Estelle - An FDT for Open Distributed Systems.
FORTE 1998: 19-36 |
| 28 | | Reinhard Gotzhein,
Martin Kronenburg,
Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.
FTRTFT 1998: 65-74 |
| 27 | | Reinhard Gotzhein,
Jan Bredereke:
Trends in Formal Description Techniques.
Computer Networks 30(9-10): 863-864 (1998) |
| 26 | | 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): 227-234 (1998) |
| 1997 |
|---|
| 25 | | Christian Peper,
Reinhard Gotzhein,
Martin Kronenburg:
A Generic Approach to the Formal Specification of Requirements.
ICFEM 1997: 252- |
| 24 | | Joachim Thees,
Reinhard Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen.
MMB (Kurzbeiträge) 1997: 26-33 |
| 23 | | Birgit Geppert,
Reinhard Gotzhein,
Frank Rößler:
Configuring communication protocols using SDL patterns.
SDL Forum 1997: 523-538 |
| 1996 |
|---|
| 22 | | Reinhard Gotzhein,
Jan Bredereke:
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
Chapman & Hall 1996 |
| 21 | | Reinhard Gotzhein,
Jan Bredereke,
Wolfgang Effelsberg,
Stephan Fischer,
Thomas Held,
Hartmut König:
Improving the efficiency of automated protocol implementation using Estelle.
Computer Communications 19(14): 1226-1235 (1996) |
| 1995 |
|---|
| 20 | | Reinhard Gotzhein:
Towards a Basic Reference Model of Open Distributed Processing.
Computer Networks and ISDN Systems 27(8): 1287-1304 (1995) |
| 1994 |
|---|
| 19 | | Jan Bredereke,
Reinhard Gotzhein:
Specification, detection and resolution of IN feature interactions with Estelle.
FORTE 1994: 376-378 |
| 18 | | Reinhard Gotzhein:
Applying a Temporal Logic to the RPC-Memory Specification Problem.
Formal Systems Specification 1994: 253-273 |
| 17 | | Reinhard Gotzhein,
Gregor von Bochmann:
Specialization in Estelle.
PSTV 1994: 21-36 |
| 1993 |
|---|
| 16 | | Jan Bredereke,
Reinhard Gotzhein:
Increasing the Concurrency in Estelle.
FORTE 1993: 125-139 |
| 15 | | Caroline Andrae,
Reinhard Gotzhein,
Simone Sédillot:
An Evolutionary Approach to the Development of Complex Protocol Standards.
PSTV 1993: 207-222 |
| 1992 |
|---|
| 14 | | Detlef Kreuz,
Reinhard Gotzhein:
A Compiler for the Parallel Execution of Estelle Specification.
FBT 1992: 161-178 |
| 13 | | Jan Bredereke,
Reinhard Gotzhein,
Friedrich H. Vogt:
Design of a formal Estelle semantics for verification.
FORTE 1992: 153-168 |
| 12 | | Reinhard Gotzhein:
On Conformance in the Context of Open Systems.
ICDCS 1992: 236-243 |
| 11 | | Reinhard Gotzhein:
Temporal Logic and Applications-A Tutorial.
Computer Networks and ISDN Systems 24(3): 203-218 (1992) |
| 10 | | Reinhard Gotzhein:
Formal Definition and Representation of Interaction Points.
Computer Networks and ISDN Systems 25(1): 3-22 (1992) |
| 1991 |
|---|
| 9 | | 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: 265-275 |
| 8 | | Reinhard Gotzhein,
Friedrich H. Vogt:
The Design of a Temporal Logic for Open Distributed Systems.
Open Distributed Processing 1991: 229-240 |
| 1990 |
|---|
| 7 | | Reinhard Gotzhein:
Specifying communication services with temporal logic.
PSTV 1990: 295-309 |
| 6 | | Reinhard Gotzhein:
Specifying Open Distributed Systems with Z.
VDM Europe 1990: 319-339 |
| 5 | | Reinhard Gotzhein,
Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Including Parameters.
ACM Trans. Comput. Syst. 8(4): 255-283 (1990) |
| 1989 |
|---|
| 4 | | Reinhard Gotzhein:
The Formal Definition of the Architectural Concept "Interaction Point".
FORTE 1989: 67-81 |
| 1986 |
|---|
| 3 | | Gregor von Bochmann,
Reinhard Gotzhein:
Deriving protocol specifications from service specifications.
SIGCOMM 1986: 148-156 |
| 1985 |
|---|
| 2 | | Reinhard Gotzhein,
Lothar Horbach:
Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry.
Datenschutz und Datensicherung 1985: 142-155 |
| 1982 |
|---|
| 1 | | Reinhard Gotzhein,
S. Keramidis,
Manfred Reitenspieß:
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.
Fachtagung über Programmiersprachen 1982: 105-116 |
