Publications of the TC Dependable System Design
Below you will find all - only the technology cluster 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
Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation
Booktitle
HCI International 2013 Conference Proceedings
Title of Conference
HCI International 2013
All authors
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Year
2013
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
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
Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
Booktitle
Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
All authors
Busemann, Claas
Year
2012
Title
A Column Generation Approach to Scheduling of Real-Time Networks
Title of Conference
World Congress on Engineering and Computer Science (WCECS)
All authors
Althaus, Ernst; Hoffmann, Sebastian; Kupilas, Joschka; Thaden, Eike
Year
2012
Title
Abstraction Techniques for Compositional State-based Scheduling Analysis
Title of Conference
Brazilian Symposium on Computing System Engineering
All authors
Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.
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
Towards Cooperative Cognitive Models in Multi-Agent Systems
Booktitle
COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications
Title of Conference
COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications
All authors
Lenk, Jan Charles; Droste, Rainer; Sobiech, Cilli; Lüdtke, Andreas; Hahn, Axel
Year
2012
Title
Rapid Virtual-Human-in-the-Loop Simulation with the High Level Architecture
Booktitle
Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012)
Title of Conference
Summer Computer Simulation Conference 2012 (SCSC 2012)
All authors
Puch, Stefan; Fränzle, Martin; Osterloh, Jan-Patrick; Läsche, Christoph
Year
2012
Title
Der SPES 2020-Architektur-Modellierungsansatz
Title of Conference
Architekturen 2012
All authors
Henkler, Stefan
Year
2012
Title
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme
All authors
Henkler, Stefan
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
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
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
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
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
Title
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments
Title of Conference
ISoLA Workshop on Software Aspects of Robotic Systems
All authors
Eilers, Sönke; Kuka, Christian; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes
Year
2011
Title
Projekt SaLsA: Automatisierte Fahrzeuge im Außenbereich
Booktitle
Hebezeuge Fördermittel
All authors
Rührup, Stefan; Neugebauer, Thomas
Year
2011
Title
Ad-hoc, Mobile, and Wireless Networks
Title of Conference
Ad-hoc, Mobile, and Wireless Networks
Year
2011