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