dblp.uni-trier.dewww.uni-trier.de

Reinhard Gotzhein

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Caroline Andrae [9] [15]
2Jürgen Avenhaus [26]
3Philipp Becker [62]
4Gregor von Bochmann [3] [5] [17]
5Egon Börger [33] [34]
6Jan Bredereke [9] [13] [16] [19] [21] [22] [27]
7Jörg Dorsch [50]
8Wolfgang Effelsberg [21]
9Anders Ek [50]
10Robert Eschbach [35] [37] [38]
11Stephan Fischer [21]
12Ingmar Fliege [51] [53] [60]
13Birgit Geppert [23] [32] [39] [42]
14Alexander Geraldy [47] [51] [53] [54]
15Uwe Glässer [31] [37] [38] [44]
16Rüdiger Grammes [46] [52] [61] [64]
17Theo Härder [26]
18Thomas Held [21]
19C. Hille [9]
20Lothar Horbach [2]
21S. Keramidis [1]
22Ferhat Khendek [41] [57]
23Hartmut König [21]
24Detlef Kreuz [14]
25Martin Kronenburg [25] [28]
26Thomas Kuhn [53] [54] [58] [61] [62] [65] [67]
27Lothar Litz [26]
28Martin von Löwis [38]
29Klaus Madlener [26]
30Christian Mahr [46]
31Paul Müller [55] [56]
32Jürgen Nehmer [26]
33Joachim Nicolay [66]
34Christian Peper [25] [28] [48]
35D. Peter [9]
36Andreas Prinz [31] [35] [37] [38] [44]
37Rick Reed [59]
38T. Reimer [9]
39Manfred Reitenspieß [1]
40Michael M. Richter [26]
41Norbert Ritter [26]
42H. Dieter Rombach [26]
43Frank Rößler [23] [32] [39] [42]
44Florian Rothländer [54]
45Philipp Schaible [36] [40] [41] [45] [46] [48] [51]
46Helmut Schleiffer [46]
47Jens B. Schmitt (Jens Schmitt) [55] [56]
48U. Schüler [9]
49Bernd Schürmann [26]
50Simone Sédillot [15]
51Joachim Thees [24] [29] [30] [48]
52Friedrich H. Vogt [8] [9] [13]
53Christian Webel [53] [58] [63] [66]
54Gerhard Zimmermann [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)