Publications of this Group
Below you will find all - only the group owned - publications.
Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.
Title
A Contract-Based Installation Methodology for Safety-Related Automotive Systems
Title of Conference
SAE 2013 World Congress & Exhibition, April 2013, Detroit, MI, USA
Year
2013
Title
Inferring decoding strategies from choice probabilities in the presence of correlated variability
All authors
Haefner, Ralf M.; Gerwinn, Sebastian; Macke, Jakob H.; Bethge, Matthias
Year
2013
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
Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems
Booktitle
Proceedings of the 2012 European Simulation and Modelling Conference
Title of Conference
26th European Simulation and Modelling Conference
All authors
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Year
2012
Title
Project SOOP: Safe Offshore Operations
Title of Conference
9th International Symposium Information on Ships (ISIS)
All authors
Sobiech, Cilli; Böde, Eckard; Lüdtke, Andreas; Hahn, Axel; Nicklas, Daniela; Korte, Holger
Year
2012
Title
A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations
Booktitle
Computer Safety, Reliability, and Security
Title of Conference
SAFECOMP
All authors
Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas
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
Modeling TCL via DTMC
Title of Conference
Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
All authors
Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils
Year
2012
Title
Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations
Booktitle
Formal Methods for Industrial Critical Systems
Title of Conference
FMICS 2012
All authors
Droste, Rainer; Läsche, Christoph; Sobiech, Cilli; Böde, Eckard; Hahn Axel
Year
2012
Title
An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments
Booktitle
Workshop Proceedings: Trustworthy Cyber-Physical Systems
All authors
Eilers, Sönke ; Gerwinn, Sebastian; Fränzle, Martin; Kuka, Christian; Schweiger, Sören; Toben, Tobe
Year
2012
Title
Solving geometric constraints to verify independence properties for safety-relevant systems
Title of Conference
SWIM 2012: Small Workshop on Interval Methods
All authors
Andreas Baumgart
Year
2012
Title
Towards a Rigorous Modeling Formalism for Systems of Systems
Title of Conference
Third IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2012
All authors
Gezgin, Tayfun; Etzien Christoph; Henkler, Stefan, Rettberg, Achim
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
Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process
Booktitle
Proceedings of the Conference on Design, Automation and Test in Europe
Title of Conference
Proceedings of the Conference on Design, Automation and Test in Europe
All authors
Ellen, Christian; Etzien Christoph; Oertel, Markus
Year
2012
Title
A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data
Booktitle
Proceedings of the of the Embedded World 2012 Exhibition and Conference
Title of Conference
Embedded World 2012 Exhibition and Conference
All authors
Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz
Year
2012
Title
Specification of an Architecture Meta-Model
Title of Conference
OFFIS Technical Report
All authors
Raphael Weber, Eike Thaden, Philipp Reinkemeier, Andreas Baumgart
Year
2012
Title
Prozessorientiertes Produktqualitätsmonitoring für die Entwicklung elektronischer Systeme
All authors
Häusler, S.
Year
2012
Title
Integrated tool-chain for improving traceability during the development of automotive systems
Booktitle
Proceedings of the 2012 Embedded Real Time Software and Systems Conference
All authors
E. Armengaud and M. Biehl and Q. Bourrouilh and M. Breunig and S. Farfeleder and C. Hein and M. Oertel and A. Wallner and M. Zoier
Year
2012
Title
A multi-domain platform of safety process methods and tools for critical embedded systems
Booktitle
Proceedings of the 2012 Embedded Real Time Software and Systems Conference
All authors
Jean paul Blanquart and Eric Armengaud and Quentin Bourrouilh and Joseph Machrouh and Andreas Mitschke and Markus Oertel and Thomas Peikenkamp and Tormod Wien
Year
2012
Title
Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis
Booktitle
Proceedings of the of the Embedded World 2012 Exhibition and Conference
All authors
Markus Oertel and Bernhard Josko
Year
2012
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
In All Likelihood, Deep Belief Is Not Enough
All authors
Theis, Lucas; Gerwinn, Sebastian; Sinz, Fabian; Bethge, Matthias
Year
2011
Title
Compositionality with Strong Assumptions
Title of Conference
Nordic Workshop on Programming Theory
All authors
Hungar, Hardi
Year
2011
Title
Support Vector Machines for an efficient Representation of Voltage Band Constraints
Title of Conference
Innovative Smart Grid Technologies
All authors
Blank, Marita; Gerwinn, Sebastian; Krause, Olav; Lehnhoff, Sebastian
Year
2011
Title
Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A
Title of Conference
AeroTech Congress & Exhibition
All authors
Seguin, Christel; Bieber, Pierre; Böde, Eckard; Bozzano, Marco; Bretschneider, Matthias; Cavallo, Antonella; Deneux, Johann; Heckmann, Jean-Pierre; Lisagor, Oleg; Morel, Marion; Papadopoulos, Chris; Sagaspe, Laurent; Sartor, Valerie; Delmas, Rémi
Year
2011