AG Vernetzte Systeme Personen Prof. Gotzhein Veröffentlichungen

 

Prof. Dr. Reinhard Gotzhein AG Vernetzte Systeme Fachbereich Informatik TU Kaiserslautern

Zeitschriften- und Buchbeiträge

	[Go20] Real-time Communication Protocols for Multi-hop Ad-hoc Networks – Wireless Networking in Production and Control Systems
	R. Gotzhein, Computer Communications and Networks, Springer, ISBN 978-3-030-33318-8, 2020, pp. 1-272

	[KhGo18] System Analysis and Modeling – Languages, Methods, and Tools for System Engineering
	F. Khendek, R. Gotzhein, In: Proceedings of the 10th International Conference on System Analysis and Modeling (SAM 2018), Copenhagen, Denmark, Oct 15-16, 2018, Lecture Notes in Computer Science 11150, Springer, 2018

	[BrChGoIgKu14] Virtual Prototyping of Distributed Embedded Systems with FERAL
	T. Braun, D. Christmann, R. Gotzhein, A. Igel, T. Kuhn, In: International Journal of Modelling and Simulation, Volume 34, Issue: 2, Acta Press, 2014

	[BrGoKu14] Mode-Based Scheduling with Fast Mode-Signaling - A Method for Efficient Usage of Network Time Slots
	T. Braun, R. Gotzhein, T. Kuhn, In: Journal of Advances in Computer Networks (JACN), Vol. 2, No. 1, 2014, pp. 48-57

	[HaGo+14] Control and Communication Co-design
	A. Haupt, R. Gotzhein, et al., In: J. Lunze (Ed.), Control Theory of Digitally Networked Dynamic Systems, Springer, 2014, pp. 328-348

	[ChGoSiWi14] Realization of Try-Once-Discard in Wireless Multihop Networks
	D. Christmann, R. Gotzhein, S. Siegmund, F. Wirth, IEEE Transactions on Industrial Informatics, vol.10, no.1, pp.17-26, Feb. 2014

	[ChGoKrWi13] Flexible and Energy-efficient Duty Cycling in Wireless Networks with MacZ
	D. Christmann, R. Gotzhein, M. Krämer, M. Winkler, Journal on Concurrency and Computation: Practice and Experience, Vol. 25, Issue 2, Feb 2013, pp. 218-233. doi: 10.1002/cpe.2819

	[GoKu11] Black Burst Synchronization (BBS) – A protocol for deterministic tick and time synchronization in wireless networks
	R. Gotzhein, T. Kuhn, Computer Networks, Volume 55, Issue 13, 15 September 2011, Pages 3015-3031

	[ReBiGo09] SDL 2009 – Design for Motes and Mobiles
	R. Reed, A. Bilgic, R. Gotzhein, Lecture Notes in Computer Science 5719, Springer, 2009

	[BeGoKu08] Model-driven Performance Simulation of Self-organizing Systems with PartsSim
	P. Becker, R. Gotzhein, T. Kuhn, Praxis der Informationsverarbeitung und Kommunikation (PIK), Nr. 1, Volume 31, 2008, pp. 45-50

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

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

	[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

	[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

	[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

	[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

Konferenzbeiträge

	[KoGo22] dRmin-Routing – A Decentralized Algorithm for Reliability-constrained Routing
	C. Kohlstruck, R. Gotzhein, International Wireless Communications and Mobile Computing Conference (IWCMC 2022)

	[MaGo21] OB-EWMA: A Link Metric for Reliability-constrained Routing in Wireless Networks
	K. Mathews, R. Gotzhein, 2021 IEEE Wireless Communications and Networking Conference (WCNC)

	[KoGo21] cTEx – A Configurable Topology Explorer for Wireless Ad-hoc Networks
	C. Kohlstruck, R. Gotzhein, 2021 International Conference on Computer Communications and Networks (ICCCN)

	[ArGo20] Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing Schedules
	P. Aragao, R. Gotzhein, In: 34-th IEEE International Conference on Advanced Information Networking and Applications (AINA) 2020, Pages 804-816

	[KoMaGo19] rmin-Routing – Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities
	C. Kohlstruck, K. Mathews, R. Gotzhein, In: 2019 IEEE 44th Conference on Local Computer Networks (LCN), 430-437

	[KrMaGo19] Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket
	C. Kramer, K. Mathews, R. Gotzhein, In: 2019 IEEE 38th International Performance Computing and Communications Conference (IPCCC)

	[EnCkTbChRg19] BiPS – A Real-Time-Capable Protocol Framework for Wireless Networked Control Systems and Its Application
	M. Engel, C. Kramer, T. Braun, D. Christmann, R. Gotzhein, E-Business and Telecommunications. ICETE 2017. Communications in Computer and Information Science, vol 990. Springer, Cham.

	[KoEnGo18] The Selective Clustering Energy Detector for Cognitive Radio Networks – Conceptual Design and Experimental Assessment
	C. Kohlstruck, M. Engel, R. Gotzhein, In: IWCMC 18 Proceedings of the 2018 International Conference on Wireless Communications & Mobile Computing Conference, Pages 1036-1042

	[EnGo18] Dynamic Computation and Adjustment of Channel Hopping Sequences for Cognitive Radio Networks Based on Quality Metrics
	M. Engel, R. Gotzhein, In: EWSN 18 Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, Pages 79-89

	[SeGoKrScWe18] Dynamic Overlay Line Topology Establishment and Repair in Wireless Networks
	H. Sefati, R. Gotzhein, C. Kramer, S. Schloesser, M. Weiss, In: IEEE Wireless Communications and Networking Conference 2018, Barcelona, Spain, 2018. Proceedings. XXX-YYY

	[ArEnGo18] A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop Cognitive Radio Networks with Channel Hopping
	P. Aragao, M. Engel, R. Gotzhein, In: 32nd IEEE International Conference on Advanced Information Networking and Applications (AINA) 2018, Pages 32-39

	[MaKrGo17] Token Bucket Based Traffic Shaping and Monitoring for WLAN-based Control Systems
	K. Mathews, C. Kramer, R. Gotzhein, In: PIMRC 2017, Montreal, Canada, Oct 08-15, 2017. Proceedings. XXX-YYY

	[KrChGo16] A Clustering Algorithm for Distributed Service Registries in Heterogeneous Wireless Networks
	C. Kramer, D. Christmann, R. Gotzhein, In: Wireless Days 2016, Toulouse, France, March 23-25, 2016. Proceedings. XXX-YYY

	[ChBrEnGo16] BiPS - A Real-time-capable Protocol Framework for Wireless Sensor Networks
	D. Christmann, T. Braun, M. Engel, R. Gotzhein, PEC 2016, International Conference on Pervasive and Embedded Computing, Portugal, 2016

	[KrChGo15] Automatic Topology Discovery in TDMA-based Ad Hoc Networks
	C. Kramer, D. Christmann, R. Gotzhein, In: 11th International Wireless Communications & Mobile Computing Conference, IWCMC 2015, Dubrovnik, Croatia, August 24-28, 2015. Proceedings. 634-639

	[GeGoIgKr15] QoS Multicast Routing in Partially Mobile Wireless TDMA Networks
	J. Gebhardt, R. Gotzhein, A. Igel, C. Kramer, In: IEEE Globecom 2015, San Diego, USA, December 06-10, 2015. Proceedings. XXX-YYY

	[BeBeChGiGoHeOhReSc15] Vertical Integration and Adaptive Services in Networked Production Environments.
	M. Berg, K. Berns, D. Christmann, C. Giehl, R. Gotzhein, T. Herfet, M. Ohmer, M. Reichardt, A. Schmidt, In: ERP Future 2015, EF 2015, Munich, Germany, November, 16, 2015. Proceedings. Springer LNBIP 245, 1-16

	[DuChGoSiWi15] The Stability of Try-Once-Discard for Stochastic Communication Channels: Theory and Validation
	L. Hoang Duc, D. Christmann, R. Gotzhein, S. Siegmund, F. Wirth, 54th Conference on Decision and Control, Osaka, Japan, December 15-18 2015

	[BrChGo14] SDL Implementations for Wireless Sensor Networks – Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS
	T. Braun, D. Christmann, R. Gotzhein, A. Mater, In: Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher (Eds.): System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Springer LNCS 8769, 271-286

	[EnChGo14] Implementation and Experimental Validation of Timing Constraints of BBS
	M. Engel, D. Christmann, R. Gotzhein, In Bhaskar Krishnamachari, Amy L. Murphy, Niki Trigoni (Eds.): Wireless Sensor Networks - 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings, Springer LNCS 8354, 84-99

	[ChBrGo13] SDL Real-time Tasks - Concept, Implementation, and Evaluation
	D. Christmann, T. Braun, R. Gotzhein, In: Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (Eds.): SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Springer 2013, 239-257

	[BrGoKu13] Mode-Based Scheduling with Fast Mode-Signaling - A Method for Efficient Usage of Network Time Slots
	T. Braun, R. Gotzhein, T. Kuhn, In: : ICCSIT 2013: 6th International Conference on Computer Science and Information Technology, Paris, France, Dec. 20-21, 2013. (Accepted Paper)

	[IgGo13] A CC2420 Transceiver Simulation Module for ns-3 and its Integration into the FERAL Simulator Framework
	A. Igel, R. Gotzhein, The Fifth International Conference on Advances in System Simulation (SIMUL 2013), Venice, Italiy

	[BrChGoIg13] Virtual Prototyping with Feral - Adaptation and Application of a Simulator Framework
	T. Braun, D. Christmann, R. Gotzhein, A. Igel, T. Kuhn, T. Forster, In: J. Parker, M. Manda (Eds.): MS 2013: Modelling and Simulation - 24th IASTED International Conference, Banff, Canada, July 17-19, 2013. Proceedings. ACTA Press, 802-044

	[KuFoBrGo13] FERAL – Framework for Simulator Coupling on Requirements and Architecture Level
	T. Kuhn, T. Forster, T. Braun, R. Gotzhein, In: MemoCODE 2013: Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign, Portland, Oregon, USA, Oct. 18-20, 2013. Proceedings.

	[BrChGoIg12] Model-driven Engineering of Networked Ambient Systems with SDL-MDD
	T. Braun, D. Christmann, R. Gotzhein, A. Igel, 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), Niagara Falls, Ontario, Canada

	[ChGo12] Real-time Tasks in SDL
	D. Christmann, R. Gotzhein, System Analysis and Modeling: About Models - SAM 2012, 7th International Workshop on System Analysis and Modeling, Innsbruck, Austria, Lecture Notes in Computer Science (LNCS) 7744, 2012

	[IgGo12] An Analysis of the Interference Problem in Wireless TDMA Networks
	A. Igel, R. Gotzhein, The Eighth International Conference on Wireless and Mobile Communications (ICWMC 2012), Venice, Italiy

	[ChGoRo12] The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-hop Networks
	D. Christmann, R. Gotzhein, S. Rohr, International Conference on Computer Communication Networks (ICCCN 2012), Munich, Germany

	[BeBiChrGo11] Black-Burst-based Quality-of-Service Routing (BBQR) for Wireless Ad-hoc Networks
	P. Becker, M. Birtel, D. Christmann, R. Gotzhein, 11ème Conférence Internationale sur les Nouvelles Technologies de la Repartition (NOTERE), Paris, France, 2011

	[ChBeGo11] Priority Scheduling in SDL
	D. Christmann, P. Becker, R. Gotzhein, in: I. Ober, I. Ober (Eds.), SDL 2011 – Integrating System and Software Modeling, 15th International SDL Forum, Toulouse, France, LNCS 7083, Springer, 2011, pp. 200-215

	[KrBrChGo11] Real-time Signaling in SDL
	M. Krämer, T. Braun, D. Christmann, R. Gotzhein, in: I. Ober, I. Ober (Eds.), SDL 2011 – Integrating System and Software Modeling, 15th International SDL Forum, Toulouse, France, LNCS 7083, Springer, 2011, pp. 184-199

	[BrWiGo10] Integration of FlexRay into the SDL-Model-Driven Development Approach
	T. Braun, R. Gotzhein, M. Wiebel, System Analysis and Modeling: About Models - SAM 2010, 6th International Workshop on System Analysis and Modeling, Oslo, Norway, Lecture Notes in Computer Science (LNCS) 6598, 2011

	[ChGoKrWi10] Flexible and energy-efficient duty cycling in wireless networks with MacZ
	D. Christmann, R. Gotzhein, M. Krämer, M. Winkler, Proc. 10th Annual Int New Technologies of Distributed Systems (NOTERE) Conf, IEEE, 2010, 121-128

	[GeGoHe09] Model-driven Development of ReBaC2/AodvLight – A Cluster-based Routing Protocol for Ad-hoc Networks
	A. Geraldy, R. Gotzhein, C. Heidinger, 9th International Conference on New Technologies of Distributed Systems (NOTERE 2009), Montreal, Canada, 2009

	[NiGo09] Performance Evaluation of Multi-path Routing in Reservation-based Wireless Networks
	M. Nissler, R. Gotzhein, 12th ACM Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems, Oct. 26-30, 2009, Tenerife, Spain

	[ChLiKrGo09] Cross-Layer Design of Wireless Networked Control Systems with Energy Limitations
	A. Chamaken, L. Litz, M. Krämer, R. Gotzhein, European Control Conference (ECC’09), Budapest, Hungary, 2009

	[GoKrLiCh09] Energy-aware System Design with SDL
	R. Gotzhein, M. Krämer, L. Litz, A. Chamaken, in: R. Reed, A. Bilgic, R. Gotzhein (Eds.), SDL 2009 – Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, LNCS 5719, Springer, 2009, pp. 20-34

	[ChLiGoKr09] A New Approach to the Joint Design of Control and Communication in Wireless Networked Control Systems
	A. Chamaken, L. Litz, M. Krämer, R. Gotzhein, AUTOMATION 2009 - Der Automationskongress in Deutschland, VDI-Berichte/VDI-Tagungsbände

	[BeChGo09] Model-driven Development of Time-critical Protocols with SDL-MDD
	P. Becker, D. Christmann, R. Gotzhein, in: R. Reed, A. Bilgic, R. Gotzhein (Eds.), SDL 2009 – Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, LNCS 5719, Springer, 2009, pp. 35-54

	[ChLiKrGo09a] Model-based C3-Cross-Design for Wireless Networked Control Systems
	A. Chamaken, L. Litz, M. Krämer, R. Gotzhein , Proceedings of the NE{S|T}COC Symposium on Recent Trends in Networked Systems and Cooperative Control (NESCOC) and Workshop on Network Induced Constraints in Control (NETCOC), Stuttgart, Germany, 2009

	[ChGoKu09] Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks
	D. Christmann, R. Gotzhein, T. Kuhn, Proceedings of Workshop on Mobile Ad-Hoc Networks (WMAN), in conjunction with Conference on Communication in Distributed Systems (KiVS), Kassel, Germany, Mar 5, 2009

	[GoKu08] Decentralized Tick Synchronization for Multi-hop Medium Slotting in Wireless Ad Hoc Networks using Black Bursts
	R. Gotzhein, T. Kuhn, 5th Annual IEEE Communications Society Conference on Sensor, Mesh, and Ad Hoc Communications and Networks (SECON'2008), San Francisco, USA, 2008

	[KuJaGo08] Online-Monitoring of Multiple Track Cyclists during Training and Competition
	T. Kuhn, T. Jaitner, R. Gotzhein, Proceedings of the 7th ISEA Conference, Biarritz, France, June 2-6, 2008; in: M. Estivalet, P. Brisson (Eds.), The Engineering of Sport, Vol. 1, Springer, 2008

	[GeGoHe08] Model-driven Development of Complex Routing Protocols with SDL-MDD
	A. Geraldy, R. Gotzhein, C. Heidinger, Workshop on ITU System Design Languages, Geneva, Switzerland, Sep 15-16, 2008

	[KuGo08] Model-driven Platform-specific Testing through Configurable Simulations
	T. Kuhn, R. Gotzhein, 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Berlin, Germany, 2008

	[ChBeGoKu08] Model-driven Development of a MAC Layer for Ad-hoc Networks with SDL
	D. Christmann, P. Becker, R. Gotzhein, T. Kuhn, Workshop on ITU System Design Languages, Geneva, Switzerland, Sep 15-16, 2008

	[WeGoNi08] NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements
	C. Webel, R. Gotzhein, J. Nicolay, Proceedings of the 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2008), Tokyo, Japan, Lecture Notes in Computer Science (LNCS) 5048, 2008

	[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

	[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

	[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

	[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

	[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

	[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)

	[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 in Sports, Springer Science and Business Media, New York, 2006, pp. 103-108

	[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.

	[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

	[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

	[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

	[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

	[GoAvMa03] Reuse-Oriented Requirements Engineering with FoReST
	R. Gotzhein, J. Avenhaus, K. Madlener, Net.ObjectDays (NODe 2003), Erfurt, Germany, 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

	[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

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

	[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

	[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)

	[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

	[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

	[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

	[GoKh02] Conception avec Micro-Protocoles
	R. Gotzhein, F. Khendek, Colloque Francophone sur l'Ingenierie des Protocoles, Montreal, Canada, 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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[GoBo94] Specialization in Estelle
	R. Gotzhein, G.v. Bochmann, in: 14th International Conference on Protocol Specification, Testing, and Verification, 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

	[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

	[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

	[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

Technische Berichte

	[Go14] ProNet4.0 -- A Wireless real-time Communication System for Industry 4.0
	R. Gotzhein, White Paper, 2014, Networked Systems Group, Dept. of Com. Science, University of Kaiserslautern

	[IgGo11] QoS-Routing und Reservierungen in mobilen Ad-Hoc-Netzwerken
	A. Igel, R. Gotzhein, 10. Fachgespräch Sensornetze, Paderborn, Germany, Technical Report, Sep 15-16, 2011

	[ChGo11] Kommunikationsanforderungen in zukünftigen Ad-Hoc-Netzwerken
	D. Christmann, R. Gotzhein, 10. Fachgespräch Sensornetze, Paderborn, Germany, Technical Report, Sep 15-16, 2011

	[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

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

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

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

	[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

	[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

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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

	[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

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

	[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

	[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

Vorträge

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

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

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

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

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

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

	[Go98ap] Formale Spezifikation von Echtzeitanforderungen
	R. Gotzhein, GI-Fachgespräch über Quality of Service, Mannheim, 12.-13.3.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

Ausstellungen

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

	[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

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

	[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

	[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

	[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

---

	Übergeordnete Seite: Prof. Dr. Reinhard Gotzhein

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.