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
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
Record creators
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
Record creators
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
Record creators
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
Record creators
Title
Compositionality with Strong Assumptions
Title of Conference
Nordic Workshop on Programming Theory
All authors
Hungar, Hardi
Year
2011
Record creators
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
Record creators
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
Record creators
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
Record creators
Title
Projekt SaLsA: Automatisierte Fahrzeuge im Außenbereich
Booktitle
Hebezeuge Fördermittel
All authors
Rührup, Stefan; Neugebauer, Thomas
Year
2011
Record creators
Title
Ad-hoc, Mobile, and Wireless Networks
Title of Conference
Ad-hoc, Mobile, and Wireless Networks
Year
2011
Record creators
Title
Safety and Precision of Spatial Context Models for Autonomous Systems
Booktitle
1st ETAPS Workshop on"Hybrid Autonomous Systems" (HAS 2011)
All authors
Toben, Tobe; Rakow, Jan-Hendrik
Year
2011
Record creators
Title
Dynamic Communicating Probabilistic Timed Automata Playing Games
Booktitle
Reports of SFB/TR 14 AVACS
All authors
Ehlers, Rüdiger; Hahn, E. Moritz; Mehlmann, Martin; Peter, Hans-Jörg; Rakow, Jan; Toben, Tobe; Westphal, Bernd
Year
2011
Record creators
Title
A pattern-based requirement specification language: Mapping automotive specific timing requirements
Booktitle
Software Engineering 2011 Workshopband
Title of Conference
Software Engineering 2011
All authors
Reinkemeier, Philipp; Stierand, Ingo; Rehkop, Philip; Henkler, Stefan
Year
2011
Record creators
Title
A Column Generation Approach to Scheduling of Periodic Tasks
Booktitle
Experimental Algorithms - 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings
Title of Conference
Experimental Algorithms: 10th International Symposium
All authors
Althaus, Ernst; Naujoks, Rouven; Thaden, Eike
Year
2011
Record creators
Title
Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems
Title of Conference
SAE 2011 World Congress & Exhibition, April 2011, Detroit, MI, USA
All authors
Armengaud, Eric; Zoier, Markus; Baumgart, Andreas; Biehl Matthias; Chen, DeJiu; Griessnig, Gerhard; Hein, Christian; Ritter, Tom; T. Kolagari, Ramin
Year
2011
Record creators
Title
Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design
Title of Conference
DATE 2011
All authors
Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;
Year
2011
Record creators
Title
Eine Generische Gefährdungsliste für Fahrerlose Transportfahrzeuge in der Intralogistik
Title of Conference
12. Braunschweiger Symposium AAET 2011 - Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel
All authors
Eilers, Sönke; Peikenkamp, Thomas; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes
Year
2011
Record creators
Title
Using Guided Simulation to Assess Driver Assistance Systems
Title of Conference
FORMS/FORMAT 2010
Year
2011
Record creators
Title
Predicting the Effect of Driver Assistance via Simulation
Title of Conference
Human Modelling in Assisted Transportation 2010 (HMAT)
Year
2011
Record creators
Title
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Booktitle
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
All authors
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
Year
2011
Record creators
Title
Measurability and Safety Verification for Stochastic Hybrid Systems
Booktitle
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
All authors
Fränzle, Martin; Hahn, Ernst Moritz Hahn; Hermanns, Holgers; Wolovick, Nicolas; Zhang, Lijun
Year
2011
Record creators
Title
Proof Certificates and Non-linear Arithmetic Constraints
Booktitle
Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)
All authors
Kupferschmid, Stefan; Becker, Bernd; Teige, Tino; Fränzle, Martin
Year
2011
Record creators
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
Record creators
Title
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Booktitle
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
All authors
Teige, Tino; Fränzle, Martin
Year
2011
Record creators
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
Record creators