The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reinhard Gotzhein: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Philipp Schaible, Reinhard Gotzhein
    Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:165-174 [Conf]
  5. Detlef Kreuz, Reinhard Gotzhein
    A Compiler for the Parallel Execution of Estelle Specification. [Citation Graph (0, 0)][DBLP]
    FBT, 1992, pp:161-178 [Conf]
  6. Reinhard Gotzhein
    Specifying Open Distributed Systems with Z. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:319-339 [Conf]
  7. Birgit Geppert, Frank Rößler, Reinhard Gotzhein
    Pattern Application vs. Inheritance in SDL. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  8. 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]
  9. Jan Bredereke, Reinhard Gotzhein
    Increasing the Concurrency in Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:125-139 [Conf]
  10. 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]
  11. 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]
  12. Reinhard Gotzhein
    Vertical Reuse in the Development of Distributed Systems with FDTs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:31-47 [Conf]
  13. Reinhard Gotzhein
    The Formal Definition of the Architectural Concept "Interaction Point". [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:67-81 [Conf]
  14. Rüdiger Grammes, Reinhard Gotzhein
    Towards the Harmonisation of UML and SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:61-78 [Conf]
  15. Joachim Thees, Reinhard Gotzhein
    Open Estelle - An FDT for Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:19-36 [Conf]
  16. 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]
  17. 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]
  18. Reinhard Gotzhein
    On Conformance in the Context of Open Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:236-243 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Joachim Thees, Reinhard Gotzhein
    Leistungsbewertung automatisch generierter Protokollimplementierungen. [Citation Graph (0, 0)][DBLP]
    MMB (Kurzbeiträge), 1997, pp:26-33 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Reinhard Gotzhein
    Specifying communication services with temporal logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:295-309 [Conf]
  28. Reinhard Gotzhein, Gregor von Bochmann
    Specialization in Estelle. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:21-36 [Conf]
  29. Reinhard Gotzhein, Ferhat Khendek
    Compositional Testing of Communication Systems. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:227-244 [Conf]
  30. Jörg Dorsch, Anders Ek, Reinhard Gotzhein
    SPT - The SDL Pattern Tool. [Citation Graph (0, 0)][DBLP]
    SAM, 2004, pp:50-64 [Conf]
  31. Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible
    A Flexible Micro Protocol Framework. [Citation Graph (0, 0)][DBLP]
    SAM, 2004, pp:224-236 [Conf]
  32. Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible
    Micro Protocol Design: The SNMP Case Study. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:61-73 [Conf]
  33. Andreas Prinz, Robert Eschbach, Reinhard Gotzhein
    A Executable Formal Semantics for SDL-2000. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:249-261 [Conf]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. Gregor von Bochmann, Reinhard Gotzhein
    Deriving protocol specifications from service specifications. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1986, pp:148-156 [Conf]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. Rüdiger Grammes, Reinhard Gotzhein
    SDL Profiles - Formal Semantics and Tool Support. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:200-214 [Conf]
  57. Christian Webel, Reinhard Gotzhein
    Formalization of Network Quality-of-Service Requirements. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:309-324 [Conf]
  58. 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]
  59. 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]

  60. Model-Driven Platform-Specific Testing through Configurable Simulations. [Citation Graph (, )][DBLP]


  61. NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. [Citation Graph (, )][DBLP]


  62. MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. [Citation Graph (, )][DBLP]


  63. Performance evaluation of multi-path routing in reservation-based wireless networks. [Citation Graph (, )][DBLP]


  64. Energy-Aware System Design with SDL. [Citation Graph (, )][DBLP]


  65. Model-Driven Development of Time-Critical Protocols with SDL-MDD. [Citation Graph (, )][DBLP]


  66. Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. [Citation Graph (, )][DBLP]


  67. Flexible and energy-efficient duty cycling in wireless networks with MacZ. [Citation Graph (, )][DBLP]


Search in 0.098secs, Finished in 0.102secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002