Publikationen dieser Gruppe

A Contract-Based Installation Methodology for Safety-Related Automotive Systems

Titel der Konferenz

SAE 2013 World Congress & Exhibition, April 2013, Detroit, MI, USA

Jahr

2013

Titel

Inferring decoding strategies from choice probabilities in the presence of correlated variability

Alle Autoren

Haefner, Ralf M.; Gerwinn, Sebastian; Macke, Jakob H.; Bethge, Matthias

Jahr

2013

Titel

Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems

Alle Autoren

Müllner, Nils; Theel, Oliver; Fränzle, Martin

Jahr

2013

Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems

Buchtitel

Proceedings of the 2012 European Simulation and Modelling Conference

Titel der Konferenz

26th European Simulation and Modelling Conference

Alle Autoren

Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas

Jahr

2012

Titel

Project SOOP: Safe Offshore Operations

Titel der Konferenz

9th International Symposium Information on Ships (ISIS)

Alle Autoren

Sobiech, Cilli; Böde, Eckard; Lüdtke, Andreas; Hahn, Axel; Nicklas, Daniela; Korte, Holger

Jahr

2012

Titel

A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations

Buchtitel

Computer Safety, Reliability, and Security

Titel der Konferenz

SAFECOMP

Alle Autoren

Läsche, Christoph; Böde, Eckard; Peikenkamp, Thomas

Jahr

2012

Titel

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Buchtitel

Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK

Titel der Konferenz

Formal Modeling and Analysis of Timed Systems (FORMATS)

Alle Autoren

Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin

Jahr

2012

Titel

Modeling TCL via DTMC

Titel der Konferenz

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Alle Autoren

Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils

Jahr

2012

Titel

Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

Buchtitel

Formal Methods for Industrial Critical Systems

Titel der Konferenz

FMICS 2012

Alle Autoren

Droste, Rainer; Läsche, Christoph; Sobiech, Cilli; Böde, Eckard; Hahn Axel

Jahr

2012

Titel

An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments

Buchtitel

Workshop Proceedings: Trustworthy Cyber-Physical Systems

Alle Autoren

Eilers, Sönke ; Gerwinn, Sebastian; Fränzle, Martin; Kuka, Christian; Schweiger, Sören; Toben, Tobe

Jahr

2012

Titel

Solving geometric constraints to verify independence properties for safety-relevant systems

Titel der Konferenz

SWIM 2012: Small Workshop on Interval Methods

Alle Autoren

Andreas Baumgart

Jahr

2012

Titel

Towards a Rigorous Modeling Formalism for Systems of Systems

Titel der Konferenz

Third IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2012

Alle Autoren

Gezgin, Tayfun; Etzien Christoph; Henkler, Stefan, Rettberg, Achim

Jahr

2012

Titel

Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System

Titel der Konferenz

2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)

Alle Autoren

Nils Müllner, Oliver Theel, Martin Fränzle

Jahr

2012

Titel

Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process

Buchtitel

Proceedings of the Conference on Design, Automation and Test in Europe

Titel der Konferenz

Proceedings of the Conference on Design, Automation and Test in Europe

Alle Autoren

Ellen, Christian; Etzien Christoph; Oertel, Markus

Jahr

2012

Titel

A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data

Buchtitel

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Titel der Konferenz

Embedded World 2012 Exhibition and Conference

Alle Autoren

Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz

Jahr

2012

Titel

Specification of an Architecture Meta-Model

Titel der Konferenz

OFFIS Technical Report

Alle Autoren

Raphael Weber, Eike Thaden, Philipp Reinkemeier, Andreas Baumgart

Jahr

2012

Titel

Prozessorientiertes Produktqualitätsmonitoring für die Entwicklung elektronischer Systeme

Alle Autoren

Häusler, S.

Jahr

2012

Titel

Integrated tool-chain for improving traceability during the development of automotive systems

Buchtitel

Proceedings of the 2012 Embedded Real Time Software and Systems Conference

Alle Autoren

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

Jahr

2012

Titel

A multi-domain platform of safety process methods and tools for critical embedded systems

Buchtitel

Proceedings of the 2012 Embedded Real Time Software and Systems Conference

Alle Autoren

Jean paul Blanquart and Eric Armengaud and Quentin Bourrouilh and Joseph Machrouh and Andreas Mitschke and Markus Oertel and Thomas Peikenkamp and Tormod Wien

Jahr

2012

Titel

Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis

Buchtitel

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Alle Autoren

Markus Oertel and Bernhard Josko

Jahr

2012

CESAR Reference Technology Platform RTP V2.0 released: Experiences from innovative requirement engineering methods for modelling and test generation in the ERTMS context

Titel der Konferenz

TAE Symposium Testen im System- und Software-Life-Cycle

Alle Autoren

Oertel, Markus; Rehkop, Philip; Reyzl, Erwin; Bonifacio, Guiseppe; Farfeleder, Stefan

Jahr

2011

Titel

In All Likelihood, Deep Belief Is Not Enough

Alle Autoren

Theis, Lucas; Gerwinn, Sebastian; Sinz, Fabian; Bethge, Matthias

Jahr

2011

Titel

Compositionality with Strong Assumptions

Titel der Konferenz

Nordic Workshop on Programming Theory

Alle Autoren

Hungar, Hardi

Jahr

2011

Titel

Support Vector Machines for an efficient Representation of Voltage Band Constraints

Titel der Konferenz

Innovative Smart Grid Technologies

Alle Autoren

Blank, Marita; Gerwinn, Sebastian; Krause, Olav; Lehnhoff, Sebastian

Jahr

2011

Titel

Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A

Titel der Konferenz

AeroTech Congress & Exhibition

Alle Autoren

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

Jahr

2011