Publikationen im TC Dependable System Design
Nachfolgend finden Sie alle - nur zu diesem Technologiecluster gehörenden - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation
Buchtitel
HCI International 2013 Conference Proceedings
Titel der Konferenz
HCI International 2013
Alle Autoren
Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas
Jahr
2013
Titel
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
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
Titel
Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
Buchtitel
Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
Alle Autoren
Busemann, Claas
Jahr
2012
Titel
A Column Generation Approach to Scheduling of Real-Time Networks
Titel der Konferenz
World Congress on Engineering and Computer Science (WCECS)
Alle Autoren
Althaus, Ernst; Hoffmann, Sebastian; Kupilas, Joschka; Thaden, Eike
Jahr
2012
Titel
Abstraction Techniques for Compositional State-based Scheduling Analysis
Titel der Konferenz
Brazilian Symposium on Computing System Engineering
Alle Autoren
Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.
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
Towards Cooperative Cognitive Models in Multi-Agent Systems
Buchtitel
COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications
Titel der Konferenz
COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications
Alle Autoren
Lenk, Jan Charles; Droste, Rainer; Sobiech, Cilli; Lüdtke, Andreas; Hahn, Axel
Jahr
2012
Titel
Rapid Virtual-Human-in-the-Loop Simulation with the High Level Architecture
Buchtitel
Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012)
Titel der Konferenz
Summer Computer Simulation Conference 2012 (SCSC 2012)
Alle Autoren
Puch, Stefan; Fränzle, Martin; Osterloh, Jan-Patrick; Läsche, Christoph
Jahr
2012
Titel
Der SPES 2020-Architektur-Modellierungsansatz
Titel der Konferenz
Architekturen 2012
Alle Autoren
Henkler, Stefan
Jahr
2012
Titel
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme
Alle Autoren
Henkler, Stefan
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
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
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
Titel
Compositionality with Strong Assumptions
Titel der Konferenz
Nordic Workshop on Programming Theory
Alle Autoren
Hungar, Hardi
Jahr
2011
Titel
Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints
Buchtitel
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
Titel der Konferenz
2011 Research in Applied Computation Symposium
Alle Autoren
Clark, Brian; Stierand, Ingo; Thaden, Eike
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
Titel
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments
Titel der Konferenz
ISoLA Workshop on Software Aspects of Robotic Systems
Alle Autoren
Eilers, Sönke; Kuka, Christian; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes
Jahr
2011
Titel
Projekt SaLsA: Automatisierte Fahrzeuge im Außenbereich
Buchtitel
Hebezeuge Fördermittel
Alle Autoren
Rührup, Stefan; Neugebauer, Thomas
Jahr
2011
Titel
Ad-hoc, Mobile, and Wireless Networks
Titel der Konferenz
Ad-hoc, Mobile, and Wireless Networks
Jahr
2011