Publikationen dieser Gruppe
Nachfolgend finden Sie alle - nur zu dieser Gruppe 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
Buchtitel
Proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications
Titel der Konferenz
AINA12
Alle Autoren
Nils Müllner, Oliver Theel, Martin Fränzle
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
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
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
Titel
Modellbasiertes Produktqualitätscontrolling
Buchtitel
Anforderungsmanagement in der Produktentwicklung
Alle Autoren
Häusler, Stefan; Hahn, Axel
Jahr
2011
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
Titel
Impact Estimation for Design Flow Changes
Titel der Konferenz
eda Workshop 2011
Alle Autoren
Koppe, Roland; Häusler, Stefan; Poppen, Frank; Hahn, Axel
Jahr
2011
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
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
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
Titel
Using Guided Simulation to Assess Driver Assistance Systems
Titel der Konferenz
FORMS/FORMAT 2010
Jahr
2011
Titel
Predicting the Effect of Driver Assistance via Simulation
Titel der Konferenz
Human Modelling in Assisted Transportation 2010 (HMAT)
Jahr
2011
Titel
The Degree of Masking Fault Tolerance vs. Temporal Redundancy
Titel der Konferenz
International Conference on Advanced Information Networking and Applications
Alle Autoren
Müllner, Nils; Theel, Oliver
Jahr
2011
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
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
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
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
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
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
Titel
Semantic Independence
Buchtitel
Encyclopedia of Parallel Computing
Alle Autoren
Fränzle, Martin; Lengauer, Christian
Jahr
2011
Titel
A Formal Model of Reliable Sensor Perception
Titel der Konferenz
5th European Conference on Smart Sensing and Context (EuroSSC 2010)
Alle Autoren
Toben, Tobe
Jahr
2010
Titel
Supporting Qualification - Safety Standard Compliant Process Planning and Monitoring
Titel der Konferenz
IEEE Symposium on Product Compliance Engineering
Alle Autoren
Jost, Henning; Köhler, Silke; Häusler, Stefan; Gacnik, Jan; Hahn, Axel; Köster, Frank; Lemmer, Karsten
Jahr
2010
Titel
Ein Modell zur Einflussanalyse von Änderungen in Entwicklungsprozessen
Titel der Konferenz
Informatik 2010
Alle Autoren
Koppe, Roland; Häusler, Stefan; Hahn, Axel
Jahr
2010