Prof. Dr. Reinhard Gotzhein

Networked Systems Group

Department of Computer Sciences

University of Kaiserslautern

Books and Journals

 [GoRe06] System Analysis and Modeling: Language Profiles
R. Gotzhein, R. Reed, (Eds.),
Revised Selected Papers of the 5th International Workshop on System Analysis and Modeling (SAM 2006), Kaiserslautern, Germany, LNCS 4320, Springer, 2006

 [DoEkGo05] SPT - The SDL Pattern Tool
J. Dorsch, A. Ek, R. Gotzhein,
in: D. Amyot, W. Williams (Eds.), System Modeling and Analysis, LNCS 3319, Springer, 2005, pp. 50-64

 [FlGeGoKuWe05b] Developing Safety-Critical Real-Time Systems with SDL Design Patterns and Components
I. Fliege, A. Geraldy, R. Gotzhein, T. Kuhn, C. Webel,
Computer Networks (Elsevier), Vol. 49, No. 5, Dec 2005, pp. 689-706

 [FlGeGoSc05c] A Flexible Micro Protocol Framework
I. Fliege, A. Geraldy, R. Gotzhein, P. Schaible,
in: D. Amyot, W. Williams (Eds.), System Modeling and Analysis, LNCS 3319, Springer, 2005, pp. 224-236

 [GlGoPr03] The Formal Semantics of SDL-2000 - Status and Perspectives
U. Glässer, R. Gotzhein, A. Prinz,
Computer Networks (Elsevier), Vol. 42, No. 3, 2003, pp. 343-358

 [Go03e] Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study
R. Gotzhein,
Information and Software Technology (Elsevier), Vol. 45, No. 11, 2003, pp. 727-741

 [Go03f] Musterbasierte Systementwicklung
R. Gotzhein,
in: M. Nagl, B. Westfechtel (Eds.), Modelle, Werkzeuge und Infrastrukturen zu Unterstützung von Entwicklungsprozessen, Wiley-VCH, 2003, pp. 155-175

 [GoKhSc03] Micro Protocol Design: The SNMP Case Study
R. Gotzhein, F. Khendek, P. Schaible,
in: Telecommunications and beyond: The Broader Applicability of SDL and MSC, E. Sherratt (Ed.), LNCS 2599, Springer, 2003, pp. 61-73

 [RoGeGo03] CoSDL - An Experimental Language for Collaboration Specification
F. Rößler, B. Geppert, R. Gotzhein,
in: Telecommunications and beyond: The Broader Applicability of SDL and MSC, E. Sherratt (Ed.), LNCS 2599, Springer, 2003, pp. 1-20

 [ScGo02] View-Based Animation of Communication Protocols in Design and in Operation
P. Schaible, R. Gotzhein,
Computer Networks (Elsevier), Vol.40, 2002, pp.621-638

 [Es+01a] The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models
R. Eschbach, U. Glässer, R. Gotzhein, M. v. Löwis, A. Prinz,
Journal of Universal Computer Science, Springer, Special Issue on Abstract State Machines, Vol. 7, No. 11, 2001, pp.1024-1049

 [BoeGo00a] Requirements Engineering: The Light Control Case Study
E. Börger, R. Gotzhein (Guest Editors):,
Special Issue of the Journal of Universal Computer Science, Springer, Vol. 6 (7), 2000

 [BoeGo00b] The Light Control Case Study: A Synopsis
E. Börger, R. Gotzhein,
in: Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), Springer, 2000

 [GoSc99] Pattern-Based Development of Communication Subsystems
R. Gotzhein, P. Schaible,
in: Annals of Telecommunications, Special Issue on Protocol Engineering, Vol. 54, No. 11-12, 1999, pp. 508-525

 [Av+98] Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforchungsbereich 501
J. Avenhaus, R. Gotzhein, T. Härder, L. Litz, K. Madlener, J. Nehmer, M. Richter, N. Ritter, D. Rombach, B. Schürmann, G. Zimmermann,
Informatik, Forschung und Entwicklung, 13(4), pp. 227-234, 1998

 [GoBr98] Trends in Formal Description Techniques
R. Gotzhein, J. Bredereke (Guest Editors):,
Theme Issue of Computer Networks and ISDN Systems (North Holland), Vol. 30, Numbers 9-10, 1998

 [Go+96a] Improving the Efficiency of Automated Protocol Implementation Using Estelle
R. Gotzhein, J. Bredereke, W. Effelsberg, S. Fischer, T. Held, H. König,
Computer Communications Journal 19(12),1996

 [Go96] Applying a Temporal Logic to the RPC-Memory Specification Problem
R. Gotzhein,
in: M. Broy, S. Merz und K. Spies (Hrsg.): Formal Systems Specification - The RPC-Memory Specification Case Study, LNCS 1169, 1996, pp. 253-273

 [GoBr96] Formal Description Techniques IX - Theory, Application and Tools
R. Gotzhein, J. Bredereke (Eds.):,
Chapman & Hall, 1996

 [Go95] Towards a Basic Reference Model of Open Distributed Processing
R. Gotzhein,
Computer Networks and ISDN Systems (North-Holland), Special Issue ISO Reference Model for Open Distributed Processing, No. 27, 1995, pp. 1287-1304

 [Go93] Open Distributed Systems - On Concepts, Methods and Design from a Logical Point of View
R. Gotzhein,
Advanced Studies in Computer Science, Vieweg Verlag, 1993

 [KoeEfGo93] Ableitung parallel ausführbarer Protokollimplementierungen
H. König, W. Effelsberg, R. Gotzhein,
in: Praxis der Informationsverarbeitung und Kommunikation (PIK), Heft 4/1993, S. 193-202

Proceedings

 [BeGoKu07] MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks
P. Becker, R. Gotzhein, T. Kuhn,
Proceedings of 7th Conference on Hybrid Intelligent Systems (HIS), Kaiserslautern, Germany, 2007

 [FlGeGo07] Micro Protocol Based Design of Routing Protocols for Ad-hoc Networks
I. Fliege, A. Geraldy, R. Gotzhein,
Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, 2007, pp. 47-58

 [FlGo07] Automated Generation of Micro Protocol Descriptions from SDL Design Specifications
I. Fliege, R. Gotzhein,
in: Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, LNCS 4745, Springer, 2007, pp. 150-165

 [Go07] Model-driven by SDL - Improving the Quality of Networked Systems Development (Invited Paper)
R. Gotzhein,
Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, 2007, pp. 31-46

 [GoGrKu07] Specifying Input Port Bounds in SDL
R. Gotzhein, R. Grammes, T. Kuhn,
in: E. Gaudin, E. Najm, R. Reed (Eds.), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, LNCS 4745, Springer, 2007. pp. 101-116

 [GrGo07] SDL Profiles - Formal Semantics and Tool Support
R. Grammes, R. Gotzhein,
in: A. Lopes, M. Dwyer (Eds.), 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007),Braga, Portugal, LNCS 4422, Springer, 2007, pp. 200-214

 [WeGo07] Formalization of Network Quality-of-Service Requirements
C. Webel, R. Gotzhein,
in: J. Derrick, J. Vain (Eds.), Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, LNCS 4574, Springer, 2007, pp. 309-324

 [BeGoKu06] Performance Simulation of Distributed Embedded Self-Organizing Systems Modeled with SDL
P. Becker, R. Gotzhein, T. Kuhn,
in: H. de Meer, P. Wüchner, A. Houyou (Eds.), Self-organizing Systema - New Trends in Architectures and Performance Modeling, Passau, Germany, 2006

 [FlGeGoJaKuWe06] An Ambient Intelligence System to Assist Team Training and Competition in Cycling
I. Fliege, A. Geraldy, R. Gotzhein, T. Jaitner, T. Kuhn, C. Webel,
in: E. F. Moritz, S. Haake, (Eds.), The Engineering of Sport 6, Vol. I: Developements for Sports, Springer Science and Business Media, New York, 2006, pp. 103-108

 [Go06] System Analysis and Modeling
R. Gotzhein,
Proceedings of the 5th Workshop on System Analysis and Modelling (SAM 2006), Department of Computer Sciences, University of Kaiserslautern, Germany, 2006

 [GoKh06] Compositional Testing of Communication Systems
R. Gotzhein, F. Khendek,
in: M. Ü. Uyar, A. Y. Duale, M. A. Fecko (Eds.), 18th IFIP International Conference on Testing Communication Systems (TestCom 2006), New York, USA, LNCS 3963, Springer, 2006, pp. 227-244 (Best Paper Award)

 [KuGoWe06] Model-driven Development with SDL - Process, Tools, and Experiences
T. Kuhn, R. Gotzhein, C. Webel,
9th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genua, Italy, 2006

 [WeFlGeGoKrKu06] Cross-Layer Integration in Ad-hoc Networks with Enhanced Best-effort Quality-of-Service Guarantees
C. Webel, I. Fliege, A. Geraldy, R. Gotzhein, M. Krämer, T. Kuhn,
Proceedings of the World Telecommunications Congress, Budapest, Hungary, 2006.

 [KuGeGoRo05] ns+SDL - The Network Simulator for SDL Systems
T. Kuhn, A. Geraldy, R. Gotzhein, F. Rothländer,
in: A. Prinz, R. Reed, J.Reed (Eds.), SDL 2005 - Model Driven, 12th International SDL Forum Grimstad, Norway, LNCS 3530, Springer, 2005, pp. 103-116

 [BrGoGrSch04] Chatroom over WLAN: Systematical Development of a QoS-integrated Distributed System
J. Brandt, R. Gotzhein, R. Grammes, B. Schürmann,
Proceedings of the 5th European Wireless Conference (EW 2004), Barcelona, Spain, 2004

 [DoEkGo04] SPT - The SDL Pattern Tool
J. Dorsch, A. Ek, R. Gotzhein,
Proceedings of 4th SDL and MSC Workshop (SAM 2004), Ottawa, Canada, 2004

 [FlGeGoSc04] A Flexible Micro Protocol Framework
I. Fliege, A. Geraldy, R. Gotzhein, P. Schaible,
Proceedings of 4th SDL and MSC Workshop )SAM 2004), Ottawa, Canada,2004

 [GrGo04] Towards the Harmonisation of UML and SDL
R. Grammes, R. Gotzhein,
in: D. de Frutos-Escrig, M. Nunez (Eds.), Formal Techniques for Networked and Distributed Systems - FORTE 2004, Madrid, Spain, LNCS 3235, Springer, 2004

 [WeFlGeGo04] Developing Reliable Systems with SDL Design Patterns and Design Components
C. Webel, I. Fliege, A. Geraldy, R. Gotzhein,
Workshop on Integrated Reliability with Telecommunications and UML Languages, (Witul 2004), Rennes, France, 2004

 [GeGo03] Micro Protocol Based Development of Mobile Ad Hoc Networks
A. Geraldy, R. Gotzhein,
Personal Wireless Communications (PWC 2003), Venice, Italy, 2003

 [Go03c] Vertical Reuse in the Development of Distributed Systems with FDTs
R. Gotzhein,
International Conference on Application of Formal Description Techniques in Internet and Communication Domains (FORTE 2003), Berlin, Germany, LNCS 2767, Springer, 2003, pp. 31-47

 [Go03d] Reuse Concepts in the Design of Communication Protocols
R. Gotzhein,
Proceedings of the International Colloquium of the SFB 501, Kaiserslautern, 2003, pp.101-111

 [GoAvMa03] Reuse-Oriented Requirements Engineering with FoReST
R. Gotzhein, J. Avenhaus, K. Madlener,
Net.ObjectDays (NODe 2003), Erfurt, Germany, 2003

 [GoAvMa03a] Reuse-Oriented Requirements Engineering with FoReST
R. Gotzhein, J. Avenhaus, K. Madlener,
Proceedings of the International Colloquium of the SFB 501, Kaiserslautern, 2003, pp. 15-24

 [GoPeScTh03] Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie
R. Gotzhein, C. Peper, P. Schaible, J. Thees,
Kommunikation in verteilten Systemen (KiVS 2003), Leipzig, Germany, 2003, pp. 131-142

 [GrGo+03] Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment
R. Grammes, R. Gotzhein, C. Mahr, P. Schaible, H. Schleiffer,
in: R. Reed, J. Reed (Eds.), SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, LNCS 2708, 2003, pp. 102-116

 [ScGo03] Development of Distributed Systems with SDL by Means of Formalized APIs
P. Schaible, R. Gotzhein,
in: R. Reed, J. Reed, (Eds.), SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, LNCS 2708, 2003, pp. 317-334, (Best Paper Award)

 [GoKh02] Conception avec Micro-Protocoles
R. Gotzhein, F. Khendek,
Colloque Francophone sur l'Ingenierie des Protocoles, Montreal, Canada, 2002

 [GoKhSc02] Micro Protocol Design: The SNMP Case Study
R. Gotzhein, F. Khendek, P. Schaible,
Proceedings of the 3rd SDL and MSC Workshop, (SAM 2002), Aberystwyth, UK, 2002

 [RoGeGo02] An Experimental Language for Collaboration Specification
F. Rößler, B. Geppert, R. Gotzhein,
Proceedings of the 3rd SDL and MSC Workshop (SAM 2002), Aberystwyth, UK, 2002

 [ScGo02a] Simulation and Visualization of a Distributed System on Application and Communication Level
P. Schaible, R. Gotzhein,
IASTED International Conference on Applied Modelling and Simulation (AMS 2002), Boston, USA, 2002

 [Es+01b] The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models
R. Eschbach, U. Glässer, R. Gotzhein, M. v. Löwis, A. Prinz,
Proceedings of the 8th International Conference on "Computer Aided Systems Theory and Technology (Eurocast 2001): Abstract State Machines", Spain, 2001, pp. 216-219

 [GoPe01] Einsatz von FoReST zur Entwicklung einer verteilten Lichtsteuerung
R. Gotzhein, C. Peper,
11. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, Germany, 2001

 [RoGeGo01] Collaboration-based Design of SDL Systems
F. Rößler, B. Geppert, R. Gotzhein,
in: R. Reed, J. Reed (Eds.), SDL 2001: Meeting UML, Proceedings of the 10th SDL Forum, Copenhagen, Denmark, 2001, pp. 72-89

 [EsGlGoPr00] On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz,
in: Y. Gurevich, M. Odersky, P. Kutter, L. Thiele (Eds.), Abstract State Machines, LNCS 1912, Springer, 2000

 [EsGoPr00] The Semantics of Programming Languages: A transformational/ operational approach using Abstract State Machines
R. Eschbach, R. Gotzhein, A. Prinz,
International Workshop on Abstract State Machines, Monte Verita, Switzerland, March 2000, TIK-Report Nr. 87, ETH Zurich, pp. 131-151

 [EsGoPr00a] On the Formal Semantics of SDL-2000: A Compilation Approach Using Abstract State Machines
R. Eschbach, R. Gotzhein, A. Prinz,
Local Proceedings of the ASM 2000 Workshop, Monte Verita, Schweiz, 2000

 [PrEsGo00] An Executable Formal Semantics for SDL-2000
A. Prinz, R. Eschbach, R. Gotzhein,
Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and MSC, June 2000

 [ScGo00] Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware
P. Schaible, R. Gotzhein,
GI/ITG-Fachgespräch "Formale Bescheibungstechniken für verteilte Systeme (FBT 2000)", Lübeck, Germany, 2000

 [GeRoGo99] Pattern Application vs. Inheritance in SDL
B. Geppert, F. Rößler, R. Gotzhein,
3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, (FMOODS '99), Florence, Italy,Kluwer Academic Publishers 1999

 [GlGoPr99b] Towards a New Formal SDL Semantics Based on Abstract State Machines
U. Glässer, R. Gotzhein, A. Prinz,
in: R. Dssouli, G.v. Bochmann, Y. Lahav (Eds.), SDL'99 - The Next Millenium, Proc. of the 9th SDL FORUM, Elsevier Science B.V., Juli 1999

 [Go+98] Towards a New Formal SDL Semantics
R. Gotzhein, B. Geppert, F. Rößler, P. Schaible,
in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998

 [GoGeRoSc98] Towards a New Formal SDL Semantics
R. Gotzhein, B. Geppert, F. Rößler, P. Schaible,
Workshop of the SDL Forum Society on SDL and MSC (SAM '98), Berlin, Germany, 1998

 [GoKrPe98b] Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern
R. Gotzhein, M. Kronenburg, C. Peper,
5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486, Springer 1998, pp. 65-74

 [ThGo98a] The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications
J. Thees, R. Gotzhein,
in: M. Ardis (Edt.), Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 1998

 [ThGo98b] Open Estelle - An FDT for Open Distributed Systems
J. Thees, R. Gotzhein,
in: S. Budkowski, A, Cavalli, E. Najm (Edts.): Formal Destcription Techniques and Protocol Specification, Testing and Verification (FORTE XI/PSTV XVIII'98), Kluwer Academic Publishers, 1998

 [GeGoRo97] Configuring Communication Protocols Using SDL Patterns
B. Geppert, R. Gotzhein, F. Rößler,
in: A. Cavalli, A. Sarma (Eds.): SDL'97 - Time for Testing, Elsevier Science Publishers, Proceedings of the 8th SDL-Forum, Evry, France, 1997

 [PeGoKr97b] A Generic Approach to the Formal Specification of Requirements
C. Peper, R. Gotzhein, M. Kronenburg,
Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM'97), Hiroshima, Japan, 1997, pp. 252-261

 [ThGo97b] Leistungsbewertung automatisch generierter Protokollimplementierungen
J. Thees, R. Gotzhein,
in: K. Irmscher, Ch. Mittasch, K. Richter (Hrsg.): Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Kurzbeiträge und Toolbeschreibungen zur 9. ITG/GI-Fachtagung MMB'97, Informatik in Freiberg, Band 4, TU Bergakademie Freiberg, 1997

 [ThGo97d] Generation of Efficient Protocol Implementations - an Experimental Code Generator for Estelle and its Application to XTP
J. Thees, R. Gotzhein,
Proceedings of the 6th Open Workshop on High Speed Networks, Stuttgart, Germany, 1997

 [ThGo97e] Open Estelle - A Formal Description Technique for Open Distributed Systems
J. Thees, R. Gotzhein,
International Workshop on Dynamic Modeling of Information Systems, Yamagata, Japan, November 1997

 [GoRoTh96] Towards Open Estelle
R. Gotzhein, F. Rößler, J. Thees,
in: U. Herzog, H. Hermanns (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Proceedings des 6. GI/ITG-Fachgesprächs, Erlangen, Germany, 1996, pp. 89-98

 [GoBr95] Formale Beschreibungstechniken für verteilte Systeme
R. Gotzhein, J. Bredereke,
Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, Germany, 1995

 [BrGo94a] Increasing the Concurrency in Estelle
J. Bredereke, R. Gotzhein,
in: R. L. Tenney, P. D. Amer, M. Ümit Uyar (Hrsg.), Formal Description Techniques, VI, North-Holland, 1994

 [BrGo94c] Specification, Detection and Resolution of IN Feature Interactions with Estelle
J. Bredereke, R. Gotzhein,
in: 7th International Conference on Formal Description Techniques (FORTE'94), Bern, Schweiz, 1994

 [Go94b] Überlegungen zu einem formalen ODP Referenzmodell
R. Gotzhein,
in: C. Popien, B. Meyer (Hrsg.), Neue Konzepte für die Offene Verteilte Verarbeitung, Arbeitstreffen an der RWTH Aachen, 5. September 1994

 [GoBo94] Specialization in Estelle
R. Gotzhein, G.v. Bochmann,
in: 14th International Conference on Protocol Specification, Testing, and Verification, 1994

 [AnGoSe93] An Evolutionary Approach to the Development of Complex Protocol Standards
C. Andrae, R. Gotzhein, S. Sédillot,
13th International IFIP Symposium on Protocol Spezification, Testing, and Verification (PSTV XIII), Liège, Belgium, 1993

 [BrGo93b] Increasing the Concurrency in Estelle
J. Bredereke, R. Gotzhein,
6th International Conference on Formal Description Techniques (FORTE'93), Boston, USA, 1993

 [BrGoVo93] Design of a Formal Estelle Semantics for Verification
J. Bredereke, R. Gotzhein, F.H. Vogt,
in: M. Diaz, R. Groz (Eds.), Formal Description Techniques, V, (North-Holland), 1993, pp. 153-168

 [KrGo93] A Compiler for the Parallel Execution of Estelle Specifications
D. Kreuz, R. Gotzhein,
in. H. König (Hrsg.), Formale Methoden für Verteilte Systeme, Fokus-Band 8, Saur-Verlag, München, 1993

Technical reports

 [WeGoSc07a] Formalization of Network Quality-of-Service Requirements
C. Webel, R. Gotzhein, D. Schneider,
Technical Report 356/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007

 [WeGoSc07b] Mapping of formal Network Quality-of-Service Requirements
C. Webel, R. Gotzhein, D. Schneider,
Technical Report 357/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007

 [GrGo06] SDL Profiles - Definition and Formal Extraction
R. Grammes, R. Gotzhein,
Technical Report 350/06, Department of Computer Sciences, University of Kaiserslautern, Germany, 2006

 [FlGeGoKuWe05] Model-Driven Engineering of Ambient Intelligence Systems with SDL: Design, Implementation, and Performance Simulation
I. Fliege, A. Geraldy, R. Gotzhein, T. Kuhn, C. Webel,
Technical Report 342/05, Department of Computer Sciences, University of Kaiserslautern, Germany, 2005

 [GeGo04] Adaptive Integrated Protocols for Wireless Sensor Networks: Frame-Based Forward Error Control
A. Geraldy, R. Gotzhein,
AmI Report 4/2004, Computer Sciences Department, University of Kaiserslautern, Germany, 2004

 [GeGoSch04] Improvement, Extension, Specification and Implementation of MACA/PR
A. Geraldy, R. Gotzhein, D. Schmidt,
AmI Report 5/2004, Computer Sciences Department, University of Kaiserslautern, Germany, 2004

 [GoKh04] Compositional Testing of Communications Systems
R. Gotzhein, F. Khendek,
Report 329/2004, Department of Computer Sciences, University of Kaiserslautern, Germany, 2004

 [BrGoGrSch03] Chatroom over Powerline: Systematical Development of a QoS-integrated Distributed System
J. Brandt, R. Gotzhein, R. Grammes, B. Schürmann,
SFB 501 Report 04/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [FlGeGoSc03] Design Reuse in Protocol Engineering - Components, Patterns, and Frameworks
I. Fliege, A. Geraldy, R. Gotzhein, P. Schaible,
SFB 501 Report 14/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [GlGoPr03b] An Introduction to Abstract State Machines
U. Glässer, R. Gotzhein, A. Prinz,
Technical Report 326/03, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [Go03] Vertical Reuse in the Development of Distributed Systems with FDTs
R. Gotzhein,
SFB 501 Report 01/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [Go03b] The SDL Design Pattern Approach - A Tutorial
R. Gotzhein,
SFB 501 Report 07/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [GrGo+03b] Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment
R. Grammes, R. Gotzhein, C. Mahr, P. Schaible, H. Schleiffer,
SFB 501 Report 03/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [GrGo03] Towards the Harmonisation of UML and SDL - Syntactic and Semantic Alignment
R. Grammes, R. Gotzhein,
Technical Report 327/03, Department od Computer Sciences, University of Kaiserslautern, Germany, 2003

 [ScGo03b] Development of Distributed Systems with SDL by Means of Formalized APIs
P. Schaible, R. Gotzhein,
SFB 501 Report 02/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [GoSc02] Evaluation and Application of the SDL-Pattern Approach in the Telecommunications Domain based on the UMTS-RNC-System
R. Gotzhein, P. Schaible,
Project Report UKL-020522, 2002

 [GlGoPr99a] SDL Formal Semantics Definition
U. Glässer, R. Gotzhein, A. Prinz,
Technical Report tr-rsfb-99-065, Department of Mathematics and Computer Science, University of Paderborn, Germany, 1999

 [GoKrPe99] Pattern-Based Requirements Capture Applied: The SFB 501 Case Study
R. Gotzhein, M. Kronenburg, C. Peper,
in: E. Börger, B. Hörger, D. Parnas, D. Rombach (Eds.): "Requirements Capture, Documentation, and Validation", Dagstuhl-Seminar-Report 242, June 1999

 [GoKrPe98a] Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern
R. Gotzhein, M. Kronenburg, C. Peper,
SFB 501 Report 08/1998, Department of Computer Sciences, University of Kaiserslautern, Germany, 1998

 [PeGoKr97a] Formal Specification of Real-Time Requirements for Building Automation Systems
C. Peper, R. Gotzhein, M. Kronenburg,
SFB 501 Report 01/1997, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997

 [ThGo97a] Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme
J. Thees, R. Gotzhein,
Interner Bericht 290/97, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997

 [ThGo97c] A Formal Syntax and a Formal Semantics for Open Estelle
J. Thees, R. Gotzhein,
Technical Report No. 292/97, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997

 [Go+96b] Generic Layout of Communication Subsystems - A Case Study
R. Gotzhein, B. Geppert, C. Peper, F. Rößler,
SFB 501 Report 14/1996, Department of Computer Sciences, University of Kaiserslautern, Germany, 1996

 [GoKrPe96] Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
R. Gotzhein, M. Kronenburg, C. Peper,
SFB 501 Report 15/1996, Department of Computer Sciences, University of Kaiserslautern, Germany, 1996

 [KrGoPe96] A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
M. Kronenburg , R. Gotzhein, C. Peper,
SFB 501 Report 16/1996, Department of Computer Sciences, Universit< of Kaiserslautern, Germany, 1996

 [RoGeGo96] A Clock-independent Model for Real-Time
F. Rößler, R. Gotzhein,
SFB 501 Report 18/1996

 [GoBrEf95] Improving the Efficiency of Automated Protocol Implementation Using Estelle
R. Gotzhein, J. Bredereke, W. Effelsberg, S. Fischer, T. Held, H. König,
Technical Report 274/95, Department of Computer Sciences, University of Kaiserslautern, Germany, 1995

 [BrGo94b] A Case Study on Specification, Detection and Resolution of IN Feature Interactions with Estelle
J. Bredereke, R. Gotzhein,
Technical Report 245/94, Department of Computer Sciences, University of Kaiserslautern, Germany, 1994

 [Go94a] Towards a Basic Reference Model of Open Distributed Processing
R. Gotzhein,
Interner Bericht Nr. 247/94, Fachbereich Informatik, Universität Kaiserslautern, 1994

 [BoGo93] Specialization of Object Behaviors and Requirement Specifications
G.v. Bochmann, R. Gotzhein,
Publication No. 853, Département d'IRO, Université de Montreal, 1993

 [BrGo93a] Eine Estelle-Erweiterung zur Steigerung der Nebenläufigkeit
J. Bredereke, R. Gotzhein,
Bericht FBI-HH-M-219/93, Fachbereich Informatik, Universität Hamburg, 1993

Presentations

 [Go99p] Musterbasierte Entwicklung von Kommunikationsmiddleware
R. Gotzhein,
Kolloquium, Fachbereich Informatik, Universität Braunschweig, 12. Juli 1999

 [Go98ap] Formale Spezifikation von Echtzeitanforderungen
R. Gotzhein,
GI-Fachgespräch über Quality of Service, Mannheim, 12.-13.3.1998

 [Go98bp] Musterbasierte Entwicklung von Kommunikationsprotokollen mit SDL
R. Gotzhein,
RIO6-Kolloquium, Daimler-Benz Aerospace AG, Bremen, 16.6.1998

 [Go98cp] Engineering-like Development of Customized Communication Software
R. Gotzhein,
Kolloquium, Universität Zürich, 25.6.1998

 [Go98dp] Musterbasierte Systementwicklung
R. Gotzhein,
Daimler-Benz Research, Berlin, 2.7.1998

 [Go98ep] Pattern-based System Development
R. Gotzhein,
Kolloquium, Ecole Polytechnique Federale, Lausanne, 9.7.1998

 [Go98fp] Wiederverwendung von Lösungskomponenten und Entwicklungs-Know-how
R. Gotzhein,
Deutsche Telekom, Saarbrücken, 16.12.1998

 [Go96p] Generic Layout of Communication Subsystems
R. Gotzhein,
Wissenschaftliches Kolloquium des SFB 501, Kaiserslautern, 3.9.1996

 [Go95p] Modeling and Specifying Dynamic Architectures of Open Distributed Systems
R. Gotzhein,
(Invited Presentation), Workshop on "Dynamic Modeling of Real-Time Distributed Systems", Yamagata, Japan, 31.3.1995

 [Go94p] Überlegungen zu einem formalen ODP Referenzmodell
R. Gotzhein,
Arbeitstreffen "Neue Konzepte für die Offene Verteilte Verarbeitung", Aachen, 5.9.1994

Exhibit

 [CeBit01] Präsentation eines automatisierten Gebäudemodells
R. Gotzhein, C. Peper, P. Schaible, J. Thees,
CeBit 2001, 22.-28.3.2001, Hannover

 [EmbSys01] Präsentation eines automatisierten Gebäudemodells
R. Gotzhein, C. Peper, P. Schaible, J. Thees,
Embedded Systems, 14.-16.2.2001, Nürnberg

 [Profes01] Customization of Communication Systems
R. Gotzhein, C. Peper, P. Schaible, J. Thees,
3rd International Conference on Product Focused Software Process Improvement, Kaiserslautern, Germany, September 10-13, 2001

 [Go+98a] Ingenieurmäßige Entwicklung maßgeschneiderter Kommunikationssoftware
R. Gotzhein, B. Geppert, C. Peper, F. Rößler, P. Schaible,
CeBIT 98, Hannover, 19.-25.3.1998

 [Go+98b] Maßschneiderung echtzeitfähiger Kommunikationssoftware
R. Gotzhein, B. Geppert, C. Peper, F. Rößler, P. Schaible,
CeBIT 98, Hannover, 19.-25.3.1998

 [GoGeRo97] Advanced Software Reuse through Formal Methods
R. Gotzhein, B. Geppert, F. Rößler,
Technologietransferkongress "IKT-Anwendungen auf Netzen" im Rahmen des III. Mannheimer Unternehmerforums, 6./7. Oktober 1997




 Superordinated page: Prof. Dr. Reinhard Gotzhein

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.