2008 |
67 | EE | Thomas Kuhn,
Reinhard Gotzhein:
Model-Driven Platform-Specific Testing through Configurable Simulations.
ECMDA-FA 2008: 278-293 |
66 | EE | Christian Webel,
Reinhard Gotzhein,
Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.
FORTE 2008: 218-233 |
65 | EE | 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 | EE | Rüdiger Grammes,
Reinhard Gotzhein:
SDL Profiles - Formal Semantics and Tool Support.
FASE 2007: 200-214 |
63 | EE | Christian Webel,
Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements.
FORTE 2007: 309-324 |
62 | EE | Philipp Becker,
Reinhard Gotzhein,
Thomas Kuhn:
MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks.
HIS 2007: 277-282 |
61 | EE | Reinhard Gotzhein,
Rüdiger Grammes,
Thomas Kuhn:
Specifying Input Port Bounds in SDL.
SDL Forum 2007: 101-116 |
60 | EE | 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 | EE | Thomas Kuhn,
Reinhard Gotzhein,
Christian Webel:
Model-Driven Development with SDL - Process, Tools, and Experiences.
MoDELS 2006: 83-97 |
57 | EE | 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 | EE | Thomas Kuhn,
Alexander Geraldy,
Reinhard Gotzhein,
Florian Rothländer:
ns+SDL - The Network Simulator for SDL Systems.
SDL Forum 2005: 103-116 |
53 | EE | 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 | EE | Rüdiger Grammes,
Reinhard Gotzhein:
Towards the Harmonisation of UML and SDL.
FORTE 2004: 61-78 |
51 | EE | Ingmar Fliege,
Alexander Geraldy,
Reinhard Gotzhein,
Philipp Schaible:
A Flexible Micro Protocol Framework.
SAM 2004: 224-236 |
50 | EE | Jörg Dorsch,
Anders Ek,
Reinhard Gotzhein:
SPT - The SDL Pattern Tool.
SAM 2004: 50-64 |
2003 |
49 | EE | 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 | EE | Alexander Geraldy,
Reinhard Gotzhein:
µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks.
PWC 2003: 188-191 |
46 | EE | 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 | EE | Philipp Schaible,
Reinhard Gotzhein:
Development of Distributed Systems with SDL by Means of Formalized APIs.
SDL Forum 2003: 317-334 |
44 | EE | Uwe Glässer,
Reinhard Gotzhein,
Andreas Prinz:
The formal semantics of SDL-2000: Status and perspectives.
Computer Networks 42(3): 343-358 (2003) |
43 | EE | Reinhard Gotzhein:
Consolidating and applying the SDL-pattern approach: a detailed case study.
Information & Software Technology 45(11): 727-741 (2003) |
2002 |
42 | EE | Frank Rößler,
Birgit Geppert,
Reinhard Gotzhein:
CoSDL: An Experimental Language for Collaboration Specification.
SAM 2002: 1-20 |
41 | EE | Reinhard Gotzhein,
Ferhat Khendek,
Philipp Schaible:
Micro Protocol Design: The SNMP Case Study.
SAM 2002: 61-73 |
40 | EE | Philipp Schaible,
Reinhard Gotzhein:
View-based animation of communication protocols in design and in operation.
Computer Networks 40(5): 621-638 (2002) |
2001 |
39 | EE | Frank Rößler,
Birgit Geppert,
Reinhard Gotzhein:
Collaboration-Based Design of SDL Systems.
SDL Forum 2001: 72-89 |
38 | EE | 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 | EE | 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 | EE | Egon Börger,
Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study.
J. UCS 6(7): 580-581 (2000) |
33 | EE | 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 | EE | 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 | EE | Reinhard Gotzhein,
Martin Kronenburg,
Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.
FTRTFT 1998: 65-74 |
27 | EE | Reinhard Gotzhein,
Jan Bredereke:
Trends in Formal Description Techniques.
Computer Networks 30(9-10): 863-864 (1998) |
26 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |