Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking

Buchtitel

Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2013

Alle Autoren

Fakih, Maher; Grüttner, Kim; Fränzle, Martin; Rettberg, Achim

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

Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs

Titel der Konferenz

International Embedded Systems Symposium (IESS) 2013

Alle Autoren

Fakih, Maher; Grüttner, Kim; Fränzle, Martin; Rettberg, Achim

Jahr

2013

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

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

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

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Buchtitel

Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK

Titel der Konferenz

Formal Modeling and Analysis of Timed Systems (FORMATS)

Alle Autoren

Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin

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

An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments

Buchtitel

Workshop Proceedings: Trustworthy Cyber-Physical Systems

Alle Autoren

Eilers, Sönke ; Gerwinn, Sebastian; Fränzle, Martin; Kuka, Christian; Schweiger, Sören; Toben, Tobe

Jahr

2012

Titel

Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems

Buchtitel

Proceedings of the 2012 European Simulation and Modelling Conference

Titel der Konferenz

26th European Simulation and Modelling Conference

Alle Autoren

Puch, Stefan; Wortelen, Bertram; Fränzle, Martin; Peikenkamp, Thomas

Jahr

2012

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

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

A Semantics for Distributed Execution of STATEMATE

Alle Autoren

Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner

Jahr

2003