Reinhard Gotzhein Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)