Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Reinhard
Last name:	Gotzhein
DBLP:	g/ReinhardGotzhein
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 67  

Select a publication
Show	Title	Venue	Rating	Date
	Mattias Nissler, Reinhard Gotzhein. Performance evaluation of multi-path routing in reservation-based wireless networks.	Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2009, Tenerife, Canary Islands, Spain, October 26-19, 2009 2009	(0)	2009
	Reinhard Gotzhein, Marc Krämer Krämer, Lothar Litz, Alain Chamaken Chamaken. Energy-Aware System Design with SDL.	SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings 2009	(0)	2009
	Philipp Becker, Dennis Christmann Christmann, Reinhard Gotzhein. Model-Driven Development of Time-Critical Protocols with SDL-MDD.	SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings 2009	(0)	2009
	Dennis Christmann Christmann, Reinhard Gotzhein, Thomas Kuhn. Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks.	ECEASST 2009, Volume 17	(0)	2009
	Thomas Kuhn, Reinhard Gotzhein. Model-Driven Platform-Specific Testing through Configurable Simulations.	Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings 2008	(0)	2008
	Christian Webel, Reinhard Gotzhein, Joachim Nicolay. NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.	Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings 2008	(0)	2008
	Reinhard Gotzhein, Thomas Kuhn. Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts.	Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2008, June 16-20, 2008, Crowne Plaza, San Francisco International Airport, California, USA 2008	(0)	2008
	Rüdiger Grammes, Reinhard Gotzhein. SDL Profiles - Formal Semantics and Tool Support.	Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007	(0)	2007
	Christian Webel, Reinhard Gotzhein. Formalization of Network Quality-of-Service Requirements.	Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings 2007	(0)	2007
	Philipp Becker, Reinhard Gotzhein, Thomas Kuhn. MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks.	7th International Conference on Hybrid Intelligent Systems (HIS 2007), September 17-19, 2007, Kaiserslautern, Germany 2007	(0)	2007
	Ingmar Fliege, Reinhard Gotzhein. Automated Generation of Micro Protocol Descriptions from SDL Design Specifications.	SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings 2007	(0)	2007
	Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn. Specifying Input Port Bounds in SDL.	SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings 2007	(0)	2007
	Thomas Kuhn, Reinhard Gotzhein, Christian Webel. Model-Driven Development with SDL - Process, Tools, and Experiences.	Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings 2006	(0)	2006
	Reinhard Gotzhein, Ferhat Khendek. Compositional Testing of Communication Systems.	Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings 2006	(0)	2006
	Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer. ns+SDL - The Network Simulator for SDL Systems.	SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings 2005	(0)	2005
	Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Thomas Kuhn, Christian Webel. Developing safety-critical real-time systems with SDL design patterns and components.	Computer Networks 2005, Volume 49	(0)	2005
	Rüdiger Grammes, Reinhard Gotzhein. Towards the Harmonisation of UML and SDL.	Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings 2004	(0)	2004
	Jörg Dorsch, Anders Ek, Reinhard Gotzhein. SPT - The SDL Pattern Tool.	System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers 2005	(0)	2004
	Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible. A Flexible Micro Protocol Framework.	System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers 2005	(0)	2004
	Reinhard Gotzhein. Vertical Reuse in the Development of Distributed Systems with FDTs.	Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings 2003	(0)	2003
	Alexander Geraldy, Reinhard Gotzhein. µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks.	Personal Wireless Communications, IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings 2003	(0)	2003
	Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees. Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie.	Kommunikation in Verteilten Systemen (KiVS), 13. Fachtagung Kommunikation in Verteilten Systemen. KiVS 2003, 25.-28. Februar 2003, Leipzig, Eine Veranstaltung der Informationstechnischen Gesellschaft (ITG/VDE) unter Beteiligung der Gesellschaft für I 2003	(0)	2003
	Philipp Schaible, Reinhard Gotzhein. Development of Distributed Systems with SDL by Means of Formalized APIs.	SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings 2003	(0)	2003
	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.	SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings 2003	(0)	2003
	Uwe Glässer, Reinhard Gotzhein, Andreas Prinz. The formal semantics of SDL-2000: Status and perspectives.	Computer Networks 2003, Volume 42	(0)	2003

Your query returned 67 matches in the database.