List of publications

Publications of the last 5 years:

• M. Trapp, B. Schürmann, T. Tetteroo
  Analyzing the Behavior of Embedded Systems concerning Graceful Degradation
  To be published in: Journal "Parallel and Distributed Computing Practices". Nova Science Books and Journals . Hauppauge, NY (USA), 2002
  (abstract)

• G. Zimmermann
  Efficient creation of building performance simulators using automatic code generation
  Journal Energy and Buildings, No. 34, pages 973-983, 2002
  

• J.P. Riegel, M. Schneider
  Dynamic resource management
  Journal CAN Newsletter, No. 2/2000, pages 48-50, 6 2000
  (abstract)

• M. Schütze, J. P. Riegel, G. Zimmermann
  PSiGene - A Pattern-Based Component Generator for Building Simulation
  Journal Theory and Practice of Object Systems (TAPOS), Vol. 5, No. 2, pp. 83-95, 4 1999
  (abstract)

Conference Papers

• A. Metzger, C. Webel
  Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model
  In Feature Interactions in Telecommunications and Software Systems VII, 2003, IOS Press, Amsterdam
  (abstract)

• A. Metzger
  Konzeption und Analyse eines Softwarepraktikums im Grundstudium
  In Software Engineering im Unterricht der Hochschulen SEUH 2003, J. Siedersleben, D. Weber-Wulff, editor, pages 41-48, 2003, dPunkt, Heidelberg
  (abstract)

• A. Metzger, S. Queins
  Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
  In Telecommunications and beyond: The Broader Applicability of SDL and MSC, M.E. Sherrat, editor, pages 158-169, 2003, Springer, Heidelberg
  (abstract)

• A. Metzger
  Requirements Engineering by Generator-Based Prototyping
  In Software Reuse Requirements, Technologies and Applications. Proceedings of the International Colloquium of the SFB 501, H. Alt, M. Becker, editor, pages 25-35, 2003 University of Kaiserslautern
  (abstract)

• M. Trapp, B. Schürmann, T. Tetteroo
  Service-Based Development of Dynamically Reconfiguring Embedded Systems
  To be published in: IASTED International Conference on Software Engineering - SE 2003, Innsbruck, 2003
  (abstract)

• J. P. Riegel
  Flexibler Entwurf von Gebäudesimulatoren
  In Simulationstechnik - ASIM 2002, Hrsg. D. Tavangarian und R. Grützner, Seiten 576-578, Erlangen, Germany, 10/2002, Gruner Druck GmbH
  (abstract, PDF, 68 KB, gzipped postscript, 36 KB)

• A. Metzger, S. Queins
  Early Prototyping of Reactive Systems Through the Generation of SDL Specifications from Semi-formal Development Documents
  In 3rd SAM (SDL and MSC) Workshop, June 2002, SDL Forum Society; University of Wales
  (abstract, PDF, 158 KB, gzipped postscript, 235 KB)

• A. Mahdavi, A. Metzger, G. Zimmermann
  Towards a Virtual Laboratory for Building Performance and Control
  In R. Trappl, editor. Cybernetics and Systems 2002. Vol. 1, pages 281-286, April 2002, Austrian Society for Cybernetic Studies
  (abstract, PDF, 161 KB)

• M. Trapp, B. Schürmann, T. Tetteroo
  Failure Behavior Analysis for Reliable Distributed Embedded Systems
  In 10th International Workshop on Parallel and Distributed Real-Time Systems 2002, Fort Lauderdale, 2002
  

• A. Metzger, S. Queins
  Specifying Building Automation Systems with PROBAnD, a Method Based on Prototyping, Reuse, and Object-orientation
  In OMER: Object-Oriented Modeling of Embedded Real-Time Systems, Hofmann, P.; Schuerr, A., editor, pages 135-140, 2002, Koellen Verlag, Bonn
  (abstract)

• A. Metzger, S. Queins
  A Reuse- and Prototyping-based Approach for the Specification of Building Automation Systems
  In OMER-2 Workshop Proceedings, Schuerr, A., editor, pages 3-9, Munich, May 2001 University of the Federal Armed Forces
  (abstract, PDF, 88 KB, postscript, 532 KB)

• G. Zimmermann
  A New Approach To Building Simulation Based on Communicating Objects
  In R. Lamberts, et al., editors. Seventh International IBPSA Conference Proceedings. Vol. 2. pages 707-714, Rio de Janeiro, Brazil, 2001
  

• J. P. Riegel, C. Kaesling, M. Schütze
  Modeling Software Architecture Using Domain-Specific Patterns
  First Working IFIP Conference on Software Architecture (WICSA 1), Kluwer Academic Publishers, February 1999
  (abstract, gzipped postscript, 53 KB)

• G. Zimmermann
  Modeling embedded digital controllers
  In New Information Technologies in Science, Education, Telecommunications and Business (IT+SE'98), Yalta-Gurzuff, Ukraine, March 1998
  

• B. Schürmann
  Structure and Design of Building Automation Systems
  In New Information Technologies in Science, Education, Telecommunications and Business (IT+SE'98), Yalta-Gurzuff, Ukraine, März 1998
  (abstract, gzipped postscript, 54 KB)

• M. Schütze, J. P. Riegel, G. Zimmermann
  A Pattern-Based Application Generator for Building Simulation
  ESEC 97, Zurich (CH), September 1997
  (abstract, gzipped postscript, 46 KB)

• J. P. Riegel, M. Schütze, G. Zimmermann
  Pattern-Based Generation of Customized, Flexible Building Simulators
  CAAD Futures 97, Kluwer Academic Publishers, Dordrecht (NL), August 1997
  (abstract, gzipped postscript, 58 KB)

• J. Altmeyer, J. P. Riegel, B. Schürmann, M. Schütze, G. Zimmermann
  Application of a Generator-Based Software Development Method Supporting Model Reuse
  Proceedings of 9th Conference on Advanced Information Systems Engineering (CAiSE*97), Barcelona (ES), June 1997
  (abstract, gzipped postscript, 41 KB)

• F. Heister, J. P. Riegel, M. Schütze, S. Schulz, G. Zimmermann
  Pattern-Based Code Generation for Well-Defined Application Domains
  EuroPLoP '97, Siemens Technical Report 120/SW1/FB, Munich (D) / Zurich (CH), June 1997
  (abstract, gzipped postscript, 34 KB)

• S. Schulz, M. Schütze
  Modellierung einer Gebäudesteuerung und -simulation mit Statemate
  4. Deutsches Anwenderforum für STATEMATE/ExpressV-HDL, Systemtechnik Berner & Mattner GmbH, Munich (D), June 1996
  (gzipped postscript, 50 KB)

Technical Reports

• A. Metzger, G. Zimmermann, (Hrsg.)
  Modellierung Reaktiver Systeme: Ein Fallbeispiel
  No. SFB 501 Bericht 08/03, 2003
  (abstract)

• A. Metzger
  Ein flexibles Testfeld für Experimente im Bereich der Gebäudeautomation und -simulation
  No. 04/2001, SFB 501, 02 2001
  (abstract, PDF, 342 KB, gzipped postscript, 729 KB)

• A. Metzger
  Dokumentation der Testinstallation für Gebäudeautomationssysteme
  Universität Kaiserslautern, 2000
  (PDF, 931 KB, gzipped postscript, 216 KB)

• L. Geyer, M. Kronenburg, R. Merz, B. Schürmann
  Domain Modeling in the SFB 051
  SFB 501-Bericht No. 07/00, Universität Kaiserslautern, 2000
  

• W. Mahnke, U. Marder, S. Queins, N. Ritter, B. Schürmann
  Integrierte Produkt- und Erfahrungsdatenverwaltung
  SFB 501-Bericht No. 08/00, Universität Kaiserslautern, 2000
  

• S. Queins, G. Zimmermann
  A First Iteration of a Reuse-Driven, Domain-Specific System Requirements Analysis Process
  SFB 501-Bericht No. 13/1999, University of Kaiserslautern, 1999
  

• A. Metzger
  An Interlink of Building Control System Prototypes and the Lighting Simulation Lumina
  University of Kaiserslautern, 8 1999
  (gzipped postscript, 168 KB)

• R. L. Feldmann, J. Münch, S. Queins, S. Vorwieger, G. Zimmermann
  Baselining a Domain-Specific Software Development Process
  SFB-501 Bericht No. 02/99, University of Kaiserslautern, 1999
  

• S. Queins, B. Schürmann, T. Tetteroo
  Bewertung des dynamischen Verhaltens von SDL-Modellen
  No. 9/1999, Universität Kaiserslautern, 1999
  

• G. Zimmermann
  A domain Specific Model Architecture for Complex Embedded Systems: A Building Automation Case Study
  No. 10/98, SFB report, 10 1998
  

• G. Zimmermann
  Building Automation: A Software Engineer's View
  SFB 501-Bericht Nr. 05/97, Universität Kaiserslautern, 1997
  

• A. Metzger, S. Queins, B. Schürmann
  Installation eines Testraums zur Gebäudeautomation und deren Schnittstelle
  SFB 501-Bericht Nr. 13/96, Universität Kaiserslautern, 1996
  

• B. Schürmann, C. Kaesling, J. Altmeyer, S. Queins, M. Schütze
  MPOK: Modeling and Generating Smalltalk Data Management Code
  SFB 501-Bericht Nr. 11/96, Universität Kaiserslautern, 1996
  

• J. P. Riegel, M. Schütze, G. Zimmermann
  Objektorientierte Modellierung einer Simulationsumgebung mit Patterns
  SFB 501-Bericht Nr. 09/96, Universität Kaiserslautern, 1996
  (abstract, gzipped postscript, 152 KB)

• J. Altmeyer, B. Schürmann, M. Schütze
  Generator-Based Reuse of Common Models
  SFB 501 report No. 3/96, University of Kaiserslautern, 1996
  

Dissertations

• S. Queins
  PROBAnD - eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme
  Phd thesis, Universität Kaiserslautern, Schriftenreihe des Fachbereichs Informatik, Band 1, 4 2002
  

• M. Schütze
  Eine musterbasierte Methode zur domänenspezifischen Modellierung und Generierung von Softwarekomponenten
  Dissertation, Universität Kaiserslautern, 1999
  

Diploma Theses

• W. Hanke
  Modellbasierte Konsistenzpruefung und -herstellung in Entwicklungsdokumenten
  Master thesis, September 2003
  (PDF, 927 KB)

• Mario Trapp
  Operational Modes in Fault-Tolerant Embedded Systems
  Master thesis, University of Kaiserslautern, Kaiserslautern, September 2001
  

• T. Disper
  Entwicklung verlässlicher CAN-Sensoren auf der Basis des 80C592 Mikrokontrollers
  Diplomarbeit, Universität Kaiserslautern, 2001
  

• H. Taubert
  Werkzeugunterstützung für die Partitionierung verteilter eingebetteter Systeme
  Master thesis, Universität Kaiserslautern, Kaiserslautern, September 2000
  

• R. Boos
  Erweiterung des Patternkonzeptes von PsiGene um Typen und Regeln
  Diplomarbeit, Universität Kaiserslautern, 1999
  (abstract)

• B. Noll
  Pattern-Basierte Anwendung Endlicher Automaten in PSiGene
  Diplomarbeit, Universität Kaiserslautern, 1999
  (abstract)

• Schneider, M.
  Entwurf und Implementierung eines echtzeitfähigen Kommunikationssubsystems für CAN
  Diplomarbeit, Universität Kaiserslautern, 2/1998
  

• A. Metzger
  Tool Supported Prototyping for the Specification and the Design of Building Automation Systems
  Diplomarbeit, Universität Kaiserslautern, 1998
  

• J. P. Riegel
  Modellierung einer objektorientierten, echtzeitfähigen und hybriden Simulationsumgebung
  Diplomarbeit, Universität Kaiserslautern, April 1996
  (abstract, gzipped postscript, 161 KB)

Project Works

• D. Schmidt
  Entwurf eines Java-Gebäudesimulators unter Berücksichtigung von Entwurfsmustern
  Projektarbeit, Universität Kaiserslautern, 2003
  

• T. Brack
  Testfallbeschreibung für Pattern-basierte Entwurfsmethoden
  Projektarbeit, Universität Kaiserslautern, 2003
  

• T. Disper
  Gebäudeautomation mit CAN auf Basis des Philips P8xC592
  Projektarbeit, 4 1999
  

• K. Haller
  Development of a Lightning Control System in SDL
  Projektarbeit, University of Kaiserslautern, 1999
  

• A. Heß, G. Zimmermann
  Interconnection Length Estimation During Hierarchical VLSI Design
  In SLIP' 99 Workshop Notes, Workshop on System-Level Interconnect Prediction, pages 68-73, Monterey, 1999
  (abstract, gzipped postscript, 40 KB)