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
Zimmermann, G. Domain Specific Model Architecture for Complex Embedded Systems: A Building Automation Case Study
In Adaptation and Evolution in Embedded Information Systems. Seminar No. 98441. Report No 226, Franke, H.; Kleinjohann, B.; Sztipanovits, J., editor, Dagstuhl, 11 1998
(abstract)
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)
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)
M. Schütze, B. Schürmann, J. Altmeyer Generating Abstract Datatypes with Remote Access Capabilities
Electronic Design Automation Frameworks, Vol. 4, Hrsg. F. J. Rammig, F. R. Wagner, Pages 66-75, Chapman & Hall, 1995
J. Altmeyer, B. Schürmann, M. Schütze Towards Design Formalization to Support Reuse in ECAD Frameworks
Electronic Design Automation Frameworks, Vol. 4, Hrsg. F. J. Rammig, F. R. Wagner, Pages 233-242, Chapman & Hall, 1995
(gzipped postscript, 25 KB)
J. Altmeyer, S. Queins, B. Schürmann Model-Based Reuse of Object-Oriented Graphic Components for CAD Systems
In Proc. 39. Int. Scientific Colloquium, Ilmenau, 1994
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)
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)
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
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
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)
A. Metzger Design of a C Library for Controlling Philips P82C150 SLIO Circuits Based on the Philips P8xC592 Microcontroller and the Real-Time OSm KEIL RTX-51
Technical report, University of Kaiserslautern, July 1997 in German
(gzipped postscript, 134 KB)
C. Kaesling Ein Smalltalk-80-Code-Generator für die Softwareentwicklungsumgebung MOOSE
Projektarbeit, Universität Kaiserslautern, 1997
J.P. Riegel Implementierung eines Generators für die Versant Datenbank
Projektarbeit, Universität Kaiserslautern, 1995
(abstract, gzipped postscript, 86 KB)
B. Schürmann Rechnerverbindungsstrukturen
Vieweg Lehrbuch, Wiesbaden, 1997
B. Schürmann Modeling Design Data and Design Processes in the PLAYOUT CAD Framework
Current Issues in Electronic Modeling (CIEM), Volume 6, Kluwer Academic Publishers, June 1996
(abstract, gzipped postscript, 76 KB)
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)
B. Schürmann, J. Altmeyer Modeling Design Tasks and Tools - The Link Between Product and Flow Model
In Proc. 34th Design Automation Conference, Seiten 564-569, Anaheim, CA, Juni 1997
J. Altmeyer Entwurfsmodelle als Grundlage eines konsistenten Entwurfsmanagements
GI/TG/GMM Workshop Allgemeine Methodik und Unterstützung von Entwurfsprozessen für Schaltungen und Systeme, CLAB, Paderborn, März 1996
W. Hebgen, G. Zimmermann Hierarchical Netlength Estimation for Timing Prediction
In Proc. 5th ACM/SIGDA Physical Design Workshop, Seiten 118-125, 1996
J. Altmeyer, B. Schürmann On Design Formalization and Retrieval of Reause Candidates
Proc. Int. Conference of Artificial Intelligence and Design (AID), Stanford, 1996
B. Ohnsorge, J. Altmeyer RODEO - Ein Werkzeug zur Unterstützung der Wiederverwendung im VLSI CAD-System PLAYOUT
SFB 124 - Bericht 21/94, Universität Kaiserslautern, 1994
(gzipped postscript, 213 KB)
S. Queins, J. Altmeyer, B. Schürmann Model-Based Reuse of Object-Oriented Graphic Components for CAD-Systems
39th International Scientific Colloquium, Ilmenau, 1994
B. Schürmann, J. Altmeyer, H. Pahle, M.Schütze The PLAYOUT Framework Approach
3. GI/ITG/GME-Fachtagung Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, Oberwiesenthal, 1994
B. Schürmann Reduction of Routing Area in High-Level Synthesis
Proc. 4th ACM/SIGDA Physical Design Workshop, Lake Arrowhead, California, 1993
(abstract, gzipped postscript, 40 KB)
B. Schürmann A 280,000 Standard Cells Test Design - First Experiences with the PLAYOUT Top-Down Design System
Proc. Int. ACM/SIGDA Workshop on Layout Synthesis, pp 93-104, 1992
K. Glasmacher, G. Zimmermann Chip Assembly in the PLAYOUT VLSI Design System
Proc. European Design Automation Conference (EURO-DAC), Hamburg, 1992
B. Schürmann, G. Zimmermann Estimation of Wiring Area for Hierarchical Design
Int. Workshop on Layout Synthesis, pp 69-86, Research Triangle Park, North Carolina, California, 1992
(abstract, gzipped postscript, 43 KB)
K. Glasmacher, A.Heß, G. Zimmermann A Genetic Algorithm for Global Improvement of Macrocell Layouts
Proc. Int. Conference on Computer Design (ICCD), pp. 306-313, Cambridge, 1991
E. Siepmann, G. Zimmermann An Object-Oriented Datamodel for the VLSI Design System PLAYOUT
Proc. 26th Design Automation Conference (DAC), pp 814-817, Las Vegas, 1991
F. Schreiner, G. Zimmermann Efficient Production System Execution on the PESA Architecture
Proc. of the 1991 Conference on Parallel Processing, pp. 674-675, 1991
F. Schreiner, G. Zimmermann PESA I A parallel and distrubuted Architecture for production systems
Computer Science, System and Engineering (Butterworth Publishing), 1991
B. Schürmann PLAYOUT - An Estimation-Based Top-Down VLSI Design System
Proc. VI SBMICRO-91, pp. 196-206, Belo Horizonte, 1991
B. Schürmann Ein paralleles Prolog Ausf"uhrungsmodell - implementiert auf der PESA-P Multipozessor Architektur
Workshop "Parallele Systeme und Algorithmen, Frankfurt, 1990
J. Paulokat, G.Zimmermann Floorplanning with In-Place Quadripartitioning
Proc. International Workshop on Layout Synthesis, Research Triangle Park, NC, USA, 6.2, 1990
G. Zimmermann VLSI Area Estimation Tolerances - Shape Function Generation vs. Floorplanning
Proc. of the EURO ASIC '90, pp. 202-207, Paris, 1990
G. Zimmermann VLSI Layout Synthesis
Proc. Fifth Congress of the Brazilian Society of Microelectronics (V SBMICRO) SPIE Volume 1405, pp. 140-155, Campinas, 1990
B. Schürmann Entwurf von VLSI-Schaltungen mit dem Entwurfssystem PLAYOUT
eingeladener Vortrag des GI-AK3, Kaiserslautern, 1989
B. Schürmann Laufzeitanalyse w"ahrend der Fl"achenfunktionsgenerierung
2. Workshop "Chiparchitektur",, Lenggries, 1989
G. Zimmermann PLAYOUT - A Hierarchical Design System
Information Processing 89, G.X.Ritter (ed.), Elsevier Science Publishers B.V., pp 905-910, Amsterdam, 1989
G. Zimmermann A New Area Shape Function Estimation Technique for VLSI Layouts
Proc. 25th Design Automation Conference (DAC), pp. 60-65, Anaheim, 1988
B. Schürmann Hierarchische Top Down Chip Planning
Informatik Spektrum, Band 11, Heft 2, pp. 57-71, 1988
G. Zimmermann PLAYOUT - A Hierarchical Layout System
Proc. GI-18. Jahrestagung, Hamburg, in: Informatik Fachberichte 188, Heidelberg: Springer pp. 31-51, 1988
F. Schreiner, G. Zimmermann Parallelism in the PESA I Multiprocessor
International Conference on Fifth Generation Computer Systems, pp. 914-921, Tokyo, 1988
F. Schreiner, G. Zimmermann Parallelism in the PESA I Multiprocessor
18. GI Jahrestagung, Informatik Fachberichte 188, Bd. II, pp. 191-208, Hamburg, 1988
G. Zimmermann The MIMOLA Design System - A Computer Aided Digital Processor Design Method
25 Years of Electronic Design Automation, A compendium of papers from the Design Automation Conference, pp. 525-530, 1988
F. Schreiner, G. Zimmermann PESA-I A Parallel Architecture for Production Systems
Proceedings 16th International Conference on Parallel Processing, 1987
Technical Reports
J. Altmeyer, B.Schürmann, M. Schütze A Generator-Based ECAD Framework Approach
SFB 124-Bericht No. 06/95, Universität Kaiserslautern, 1995
W. Hebgen, P. Nuhn, G. Zimmermann RETO, an Optimal Clocking Algorithm for Digital synchronous Circuits
SFB 124 - Bericht 42/93, Universität Kaiserslautern, 1993
G. Zimmermann From Computer Aided Design to the Design of Computer Aids
SFB 124 - Bericht 40/93, Universität Kaiserslautern, 1993
J. Altmeyer, B. Schürmann, G. Zimmermann Three-Phase Chip Planning - Strategy and Flow Control
SFB 124 - Bericht 21/93, Universität Kaiserslautern, 1993
Dissertations
A. Heß Abschätzungstoleranzen im hierarchischen VLSI-Entwurf
Dissertation, Universität Kaiserslautern, 1998
J. Altmeyer A Refinement Design Model and its Application to Modelling and retrieval
Dissertation, Universiät Kaiserslautern, Kaiserslautern, Juni 1997
B. Schürmann ECAD-Entwurfsmanagement
Habilitationsschrift, Universität Kaiserslautern, 1997
Schölzke, M. Zeitbehandlung beim Entwurf von hochintegrierten synchronen Schaltungen während der Repartitionierungsphase des PLAYOUT-Systems
Diplomarbeit, Universität Kaiserslautern, 1991
A. Heß Chip-Assembly Strategien bei der Layoutsynthese
Diplomarbeit, Universität Kaiserslautern, Oktober 1990
J. Altmeyer Der Chip Planner - Ein Werkzeug zum hierarchischen Entwurf innerhalb des VLSI-CAD-Systems PLAYOUT
Diplomarbeit, Universität Kaiserslautern, 1990
A. Horsch, G. Mittelhäußer Vergleich von Varianten des 3D-Pyramid-Linking am Beispiel der Segmentierung von Kernspindaten des Kopfes
Mustererkennung 1996, 18. DAGM-Symposium, 11.-13.9.1996 Heidelberg, Springer Verlag, 1996
J. Lichtermann Desing of a Fast Voxel Processor for Parallel Volume Visualization
Eurographics 95, 10th Eurographics Workshop on Graphics Hardware, Editor W. Strasser, Maastricht, 1995
(abstract, gzipped postscript, 117 KB)
G. Mittelhäußer Ein kombiniertes Region-Growing- und Watershed-Verfahren zur schnellen 3D-Segmentierung von MR-Volumendaten
Workshop: Automatische Analyse von Tomographie-Daten, Klinik rechts der Isar, München, 1995
G. Mittelhäußer, F. Kruggel Fast Segmentation of Brain Magnetic Resonance Tomograms
Proc. 1st int. Conference Computer Vision, Virtual Reality and Robotics in Medicine, Nice, France, 1995
F. Kruggel, A.Horsch, G. Mittelhäußer, M. Schnabel Image Processing in the Neurologic Sciences
Proc. IEEE Workshop on Biomedical Image Analysis, pp.213-223, Seattle, June 1994
J. Lichtermann, G. Neustädter A High-Speed Rotation Processor
4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, 1994
(abstract)
J. Lichtermann Ein Prozessor zur Rotation abgetasteter Daten mittels Scherungen
3. GI/ITG/GME-Fachtagung Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, Oberwiesenthal, Produserv Springer Produktions-Gesellschaft, 1994
G. Mittelhäußer, G. Zimmermann Segmentierung von MR-Volumendaten mit Bereichswachsrtumsverfahren
mustererkennung 1993, 15. DAGM-Symposium. Lübeck, Informatik Fachberichte, Springer Verlag, 1993
G. Mittelhäußer Segmentierung von MR-Volumendaten mit Bereichswachstumsverfahren
Workshop Visualisierung in der Medizin, Freiburg, 1993
Dissertations
G. Mittelhäußer 3D-Segmentierung von Volumendaten
Dissertation, Universität Kaiserslautern, Kaiserslautern, 1998 (abgeschlossen Mitte 1998)
J. Lichtermann Eine Architektur zur Echtzeitvisualisierung von Volumendaten
Dissertation, Universität Kaiserslautern, Kaiserslautern, 1998 (abgeschlossen Mitte 1998)
Diploma Theses
T. Tetteroo Entwurf des zentralen Prozessors für eine verteilte Volumenvisualisierungsarchitektur
Diplomarbeit, Universität Kaiserslautern, März 1996
T. Tetteroo Entwurf eines Voxelprozessors für die Distributed Volume Visualization Architecture (DIV2A)
Projektarbeit, Universität Kaiserslautern, 1994