Scientific Publications
Our publicly available publications are available here, sortable for title (alphabet) and year.
In addition, the search field gives you the opportunity to browse our publications database with your own selection criteria. You can search for example by author, title, text content, or booktitle.
Title
Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems
All authors
Müllner, Nils; Theel, Oliver; Fränzle, Martin
Year
2013
Title
Contracts for Systems Design
All authors
Damm, Werner; Reinkemeier, Philipp; Benveniste, Albert; Caillaud, Benoit; Nickovicy, Dejan; Passerone, Roberto; Raclet, Jean-Baptiste; Sangiovanni-Vincentelli, Alberto; Henzinger, Tom; Larsen, Kim
Year
2012
Title
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
Booktitle
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK
Title of Conference
Formal Modeling and Analysis of Timed Systems (FORMATS)
All authors
Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin
Year
2012
Title
COMPLEX - COdesign and power Management in PLatform-based design space EXploration
Title of Conference
15th Euromicro Conference on Digital System Design (DSD)
All authors
Grüttner, Kim; Hartmann, Philipp A.; Hylla, Kai; Rosinger, Sven; Nebel, Wolfgang; Herrera, Fernando: Villar, Eugenio; Brandolese, Carlo; Fornaciari, William; Palermo, Gianluca; Ykman-Couvreur, Chantal; Quaglia, Davide; Ferrero, Francisco; Valencia, Raul
Year
2012
Title
CogniLog – Cognitive Logistics for Warehousing
Booktitle
Coordinated Autonomous Systems
Title of Conference
6th International Scientific Symposium on Logistics 2012
All authors
Overmeyer, L. ; Krühn, T. ; Hahn, A. ; Pinkowski, J.
Year
2012
Title
Compilation of Methodologies to Speed up the Verification Process at System Level
Title of Conference
edaWorkshop 12
All authors
S. Radke, S. Rülke, M. F. S. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, H. Brazdrum, P. Janssen, H. M. Le, D. Große, R. Drechsler,E. Fehlauer, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, F. Headicke, R. Görgen,
Year
2012
Title
Co-Simulation of C-based SoC Simulators and MATLAB Simulink
Title of Conference
Simulation Workshop 2012 (SW12)
All authors
Poppen, Frank; Grüttner, Kim
Year
2012
Title
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
Title of Conference
2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)
All authors
Nils Müllner, Oliver Theel, Martin Fränzle
Year
2012
Title
Composition of Simulations for the Analysis of Smart Grid Scenarios
Title of Conference
Energieinformatik 2011
All authors
Schütte, Steffen
Year
2011
Title
Combining Sensor Systems: A Differential Behavior Model
Booktitle
International Transactions on Systems Science and Applications
All authors
Busemann, Claas; Nicklas, Daniela
Year
2011
Title
Clustering-Based Support for Software Architecture Restructuring
All authors
Streekmann, N.
Year
2011
Title
Clinical Decision Support with Guidelines and Bayesian Networks
All authors
Koslowski, O.
Year
2011
Title
CESAR Reference Technology Platform RTP V2.0 released: Experiences from innovative requirement engineering methods for modelling and test generation in the ERTMS context
Title of Conference
TAE Symposium Testen im System- und Software-Life-Cycle
All authors
Oertel, Markus; Rehkop, Philip; Reyzl, Erwin; Bonifacio, Guiseppe; Farfeleder, Stefan
Year
2011
Title
Compositionality with Strong Assumptions
Title of Conference
Nordic Workshop on Programming Theory
All authors
Hungar, Hardi
Year
2011
Title
Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints
Booktitle
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
Title of Conference
2011 Research in Applied Computation Symposium
All authors
Clark, Brian; Stierand, Ingo; Thaden, Eike
Year
2011
Title
CIMbaT - Automated Generation of CIM-based OPC UA-Address Spaces
Booktitle
2011 Second IEEE International Conference on Smart Grid Communications
Title of Conference
2011 Second IEEE International Conference on Smart Grid Communications
All authors
Rohjans, Sebastian; Piech, Klaus; Uslar, Mathias; Cabadi, Jean-Francois
Year
2011
Title
Checking the ACT-R/Brain Mapping Hypothesis with a complex task: Using fMRI and Bayesian identification in a multi-dimensional strategy space
Booktitle
Cognitive Systems Research, Special Issue on Complex Cognition
All authors
Möbus, Claus; Lenk, Jan Charles; Özyurt, Jale; Thiel, Christiane M.; Claassen, Arno
Year
2011
Title
Converting Conversation Protocols Using an XML Based Differential Behavior Model
Title of Conference
22nd International Conference on Database and Expert Systems Applications - DEXA 2011
All authors
Busemann, Claas; Nicklas, Daniela
Year
2011
Title
Challenges of Multi- and Many-Core Architectures for Electronic System-Level Design
Title of Conference
SAMOS 2011: International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI)
All authors
Grüttner, Kim; Hartmann, Philipp A.; Reinkemeier, Philipp; Oppenheimer, Frank; Nebel, Wolfgang
Year
2011
Title
Coping with Smart Grid
Booktitle
Enterprise Interoperability - Proceedings of the Workshops of the third International IFIP Working Conference IWEI 2011
Title of Conference
Third International IFIP Working Conference IWEI 2011
All authors
Postina, Matthias; Uslar, Mathias; Rohjans, Sebastian;Steffens, Ulrike
Year
2011
Title
Challenges in SoC System Synthesis
Title of Conference
ESLsyn 2011
All authors
Grüttner, Kim
Year
2011
Title
Combining Functional and Interoperability Testing
Booktitle
Tagungsband der eHealth2011: Health Informatics meets eHealth - von der Wissenschaft zur Anwendung und zurück
Title of Conference
eHealth2011
All authors
Heidenreich, Georg; Onken, Michael; Parisot, Charles; Poiseau, Eric; Bruun-Rasmussen, Morten, Bourquard, Karima; Devlies, Jos
Year
2011
Title
Crossing the bridge between similar games
Booktitle
Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings
All authors
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
Year
2011
Title
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
All authors
Teige, Tino; Eggers, Andreas; Fränzle, Martin
Year
2011