Search the dblp DataBase
Reinhard Gotzhein :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:242-265 [Conf ] Reinhard Gotzhein Applying a Temporal Logic to the RPC-Memory Specification Problem. [Citation Graph (0, 0)][DBLP ] Formal Systems Specification, 1994, pp:253-273 [Conf ] Reinhard Gotzhein , Lothar Horbach Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry. [Citation Graph (0, 0)][DBLP ] Datenschutz und Datensicherung, 1985, pp:142-155 [Conf ] Philipp Schaible , Reinhard Gotzhein Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. [Citation Graph (0, 0)][DBLP ] FBT, 2000, pp:165-174 [Conf ] Detlef Kreuz , Reinhard Gotzhein A Compiler for the Parallel Execution of Estelle Specification. [Citation Graph (0, 0)][DBLP ] FBT, 1992, pp:161-178 [Conf ] Reinhard Gotzhein Specifying Open Distributed Systems with Z. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1990, pp:319-339 [Conf ] Birgit Geppert , Frank Rößler , Reinhard Gotzhein Pattern Application vs. Inheritance in SDL. [Citation Graph (0, 0)][DBLP ] FMOODS, 1999, pp:- [Conf ] Joachim Thees , Reinhard Gotzhein The experimental Estelle Compiler: automatic generation of implementations from formal specifications. [Citation Graph (0, 0)][DBLP ] FMSP, 1998, pp:54-61 [Conf ] Jan Bredereke , Reinhard Gotzhein Increasing the Concurrency in Estelle. [Citation Graph (0, 0)][DBLP ] FORTE, 1993, pp:125-139 [Conf ] Jan Bredereke , Reinhard Gotzhein Specification, detection and resolution of IN feature interactions with Estelle. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:376-378 [Conf ] Jan Bredereke , Reinhard Gotzhein , Friedrich H. Vogt Design of a formal Estelle semantics for verification. [Citation Graph (0, 0)][DBLP ] FORTE, 1992, pp:153-168 [Conf ] Reinhard Gotzhein Vertical Reuse in the Development of Distributed Systems with FDTs. [Citation Graph (0, 0)][DBLP ] FORTE, 2003, pp:31-47 [Conf ] Reinhard Gotzhein The Formal Definition of the Architectural Concept "Interaction Point". [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:67-81 [Conf ] Rüdiger Grammes , Reinhard Gotzhein Towards the Harmonisation of UML and SDL. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:61-78 [Conf ] Joachim Thees , Reinhard Gotzhein Open Estelle - An FDT for Open Distributed Systems. [Citation Graph (0, 0)][DBLP ] FORTE, 1998, pp:19-36 [Conf ] Reinhard Gotzhein , Martin Kronenburg , Christian Peper Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1998, pp:65-74 [Conf ] Caroline Andrae , Jan Bredereke , C. Hille , D. Peter , T. Reimer , U. Schüler , Reinhard Gotzhein , Friedrich H. Vogt Praktischer Einsatz und Weiterentwicklung von Estelle. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1991, pp:265-275 [Conf ] Reinhard Gotzhein On Conformance in the Context of Open Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 1992, pp:236-243 [Conf ] Christian Peper , Reinhard Gotzhein , Martin Kronenburg A Generic Approach to the Formal Specification of Requirements. [Citation Graph (0, 0)][DBLP ] ICFEM, 1997, pp:252-0 [Conf ] Alexander Geraldy , Reinhard Gotzhein µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] PWC, 2003, pp:188-191 [Conf ] Reinhard Gotzhein , Christian Peper , Philipp Schaible , Joachim Thees Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. [Citation Graph (0, 0)][DBLP ] KiVS, 2003, pp:131-141 [Conf ] Joachim Thees , Reinhard Gotzhein Leistungsbewertung automatisch generierter Protokollimplementierungen. [Citation Graph (0, 0)][DBLP ] MMB (Kurzbeiträge), 1997, pp:26-33 [Conf ] Thomas Kuhn , Reinhard Gotzhein , Christian Webel Model-Driven Development with SDL - Process, Tools, and Experiences. [Citation Graph (0, 0)][DBLP ] MoDELS, 2006, pp:83-97 [Conf ] Reinhard Gotzhein , Friedrich H. Vogt The Design of a Temporal Logic for Open Distributed Systems. [Citation Graph (0, 0)][DBLP ] Open Distributed Processing, 1991, pp:229-240 [Conf ] Reinhard Gotzhein , S. Keramidis , Manfred Reitenspieß A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. [Citation Graph (0, 0)][DBLP ] Fachtagung über Programmiersprachen, 1982, pp:105-116 [Conf ] Caroline Andrae , Reinhard Gotzhein , Simone Sédillot An Evolutionary Approach to the Development of Complex Protocol Standards. [Citation Graph (0, 0)][DBLP ] PSTV, 1993, pp:207-222 [Conf ] Reinhard Gotzhein Specifying communication services with temporal logic. [Citation Graph (0, 0)][DBLP ] PSTV, 1990, pp:295-309 [Conf ] Reinhard Gotzhein , Gregor von Bochmann Specialization in Estelle. [Citation Graph (0, 0)][DBLP ] PSTV, 1994, pp:21-36 [Conf ] Reinhard Gotzhein , Ferhat Khendek Compositional Testing of Communication Systems. [Citation Graph (0, 0)][DBLP ] TestCom, 2006, pp:227-244 [Conf ] Jörg Dorsch , Anders Ek , Reinhard Gotzhein SPT - The SDL Pattern Tool. [Citation Graph (0, 0)][DBLP ] SAM, 2004, pp:50-64 [Conf ] Ingmar Fliege , Alexander Geraldy , Reinhard Gotzhein , Philipp Schaible A Flexible Micro Protocol Framework. [Citation Graph (0, 0)][DBLP ] SAM, 2004, pp:224-236 [Conf ] Reinhard Gotzhein , Ferhat Khendek , Philipp Schaible Micro Protocol Design: The SNMP Case Study. [Citation Graph (0, 0)][DBLP ] SAM, 2002, pp:61-73 [Conf ] Andreas Prinz , Robert Eschbach , Reinhard Gotzhein A Executable Formal Semantics for SDL-2000. [Citation Graph (0, 0)][DBLP ] SAM, 2000, pp:249-261 [Conf ] Frank Rößler , Birgit Geppert , Reinhard Gotzhein CoSDL: An Experimental Language for Collaboration Specification. [Citation Graph (0, 0)][DBLP ] SAM, 2002, pp:1-20 [Conf ] Thomas Kuhn , Alexander Geraldy , Reinhard Gotzhein , Florian Rothländer ns+SDL - The Network Simulator for SDL Systems. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2005, pp:103-116 [Conf ] Frank Rößler , Birgit Geppert , Reinhard Gotzhein Collaboration-Based Design of SDL Systems. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2001, pp:72-89 [Conf ] Birgit Geppert , Reinhard Gotzhein , Frank Rößler Configuring communication protocols using SDL patterns. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1997, pp:523-538 [Conf ] Philipp Schaible , Reinhard Gotzhein Development of Distributed Systems with SDL by Means of Formalized APIs. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2003, pp:317-334 [Conf ] Uwe Glässer , Reinhard Gotzhein , Andreas Prinz Towards a new formal SDL semantics - outline of an abstract state machines. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1999, pp:171-192 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2003, pp:102-116 [Conf ] Gregor von Bochmann , Reinhard Gotzhein Deriving protocol specifications from service specifications. [Citation Graph (0, 0)][DBLP ] SIGCOMM, 1986, pp:148-156 [Conf ] Ingmar Fliege , Alexander Geraldy , Reinhard Gotzhein , Thomas Kuhn , Christian Webel Developing safety-critical real-time systems with SDL design patterns and components. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2005, v:49, n:5, pp:689-706 [Journal ] Uwe Glässer , Reinhard Gotzhein , Andreas Prinz The formal semantics of SDL-2000: Status and perspectives. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2003, v:42, n:3, pp:343-358 [Journal ] Reinhard Gotzhein Formal Definition and Representation of Interaction Points. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1992, v:25, n:1, pp:3-22 [Journal ] Reinhard Gotzhein Temporal Logic and Applications-A Tutorial. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1992, v:24, n:3, pp:203-218 [Journal ] Reinhard Gotzhein Towards a Basic Reference Model of Open Distributed Processing. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1995, v:27, n:8, pp:1287-1304 [Journal ] Reinhard Gotzhein , Jan Bredereke Trends in Formal Description Techniques. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:9-10, pp:863-864 [Journal ] Philipp Schaible , Reinhard Gotzhein View-based animation of communication protocols in design and in operation. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2002, v:40, n:5, pp:621-638 [Journal ] Reinhard Gotzhein , Jan Bredereke , Wolfgang Effelsberg , Stephan Fischer , Thomas Held , Hartmut König Improving the efficiency of automated protocol implementation using Estelle. [Citation Graph (0, 0)][DBLP ] Computer Communications, 1996, v:19, n:14, pp:1226-1235 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 1998, v:13, n:4, pp:227-234 [Journal ] Reinhard Gotzhein Consolidating and applying the SDL-pattern approach: a detailed case study. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:11, pp:727-741 [Journal ] Egon Börger , Reinhard Gotzhein Requirements Engineering - The Light Control Case Study. [Citation Graph (0, 0)][DBLP ] J. UCS, 2000, v:6, n:7, pp:580-581 [Journal ] Egon Börger , Reinhard Gotzhein The Light Control Case Study: A Synopsis. [Citation Graph (0, 0)][DBLP ] J. UCS, 2000, v:6, n:7, pp:582-585 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:11, pp:1024-1049 [Journal ] Reinhard Gotzhein , Gregor von Bochmann Deriving Protocol Specifications from Service Specifications Including Parameters. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1990, v:8, n:4, pp:255-283 [Journal ] Rüdiger Grammes , Reinhard Gotzhein SDL Profiles - Formal Semantics and Tool Support. [Citation Graph (0, 0)][DBLP ] FASE, 2007, pp:200-214 [Conf ] Christian Webel , Reinhard Gotzhein Formalization of Network Quality-of-Service Requirements. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:309-324 [Conf ] Ingmar Fliege , Reinhard Gotzhein Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2007, pp:150-165 [Conf ] Reinhard Gotzhein , Rüdiger Grammes , Thomas Kuhn Specifying Input Port Bounds in SDL. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2007, pp:101-116 [Conf ] Model-Driven Platform-Specific Testing through Configurable Simulations. [Citation Graph (, )][DBLP ] NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. [Citation Graph (, )][DBLP ] MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. [Citation Graph (, )][DBLP ] Performance evaluation of multi-path routing in reservation-based wireless networks. [Citation Graph (, )][DBLP ] Energy-Aware System Design with SDL. [Citation Graph (, )][DBLP ] Model-Driven Development of Time-Critical Protocols with SDL-MDD. [Citation Graph (, )][DBLP ] Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. [Citation Graph (, )][DBLP ] Flexible and energy-efficient duty cycling in wireless networks with MacZ. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.457secs