Kuntz, Matthias
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Kuntz
Vorname
Matthias
Name
11 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 11
- VeröffentlichungWorking Paper/Technical ReportFrom probabilistic counterexamples via causality to fault trees(2011) Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-02
- VeröffentlichungBeitrag zu einem KonferenzbandFrom probabilistic counterexamples via causality to fault trees(2011) Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanErschienen in: FLAMMINI, Francesco, ed., Sandro BOLOGNA, ed., Valeria VITTORINI, ed.. Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 71-84. ISBN 978-3-642-24269-4. Available under: doi: 10.1007/978-3-642-24270-0_6
- VeröffentlichungBeitrag zu einem KonferenzbandFormal Performability Evaluation of Architectural Models of Critical Infrastructures(2010) Haverkort, Boudewijn R.; Kuntz, Matthias; Remke, Anne; Roolvink, StephanErschienen in: ALE, Ben J. M., ed. and others. Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) ... annual conference. London: CRC Press, 2010, pp. 27-34. ISBN 978-0-415-60427-7
- VeröffentlichungBeitrag zu einem KonferenzbandProbabilistic verification of Architectural software models using SoftArc and Prism(2010) Haverkort, Boudewijn R.; Kuntz, Matthias; Leitner-Fischer, Florian; Remke, Anne; Roolvink, StephanErschienen in: ALE, Ben J. M., ed. and others. Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) … annual conference ; Island of Rhodes, [5 - 9 September 2010]. London: CRC Press, 2010, pp. 852-860. ISBN 978-0-415-60427-7
- VeröffentlichungBeitrag zu einem KonferenzbandDirected and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation(2010) Aljazzar, Husain; Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanErschienen in: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10. New York, New York, USA: ACM Press, 2010, pp. 25-32. ISBN 978-1-60558-972-5. Available under: doi: 10.1145/1808877.1808883
- VeröffentlichungBeitrag zu einem KonferenzbandEvaluating Repair Strategies for a Water-Treatment Facility using Arcade(2010) Haverkort, Boudewijn R.; Kuntz, Matthias; Remke, Anne; Roolvink, Stephan; Stoelinga, Mariëlle Ida AntoinetteErschienen in: International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. 2010, pp. 419-424. ISBN 978-1-4244-7499-8
- VeröffentlichungWorking Paper/Technical ReportExtending non-termination proof techniques to asynchronously communicating concurrent programs(2010) Kuntz, Matthias; Leue, Stefan; Scheben, Christoph
- VeröffentlichungBeitrag zu einem KonferenzbandSafety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples(2009) Aljazzar, Husain; Fischer, Manuel; Grunske, Lars; Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanErschienen in: 2009 Sixth International Conference on the Quantitative Evaluation of Systems. IEEE, 2009, pp. 299-308. ISBN 978-0-7695-3808-2. Available under: doi: 10.1109/QEST.2009.8
- VeröffentlichungWorking Paper/Technical ReportHeuristic Search for Unbounded Executions(2009) Kuntz, Matthias; Leue, Stefan; Scheben, Christoph; Wei, Wei; Yang, Sen
- VeröffentlichungWorking Paper/Technical ReportSafety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples(2009) Aljazzar, Husain; Fischer, Manuel; Grunske, Lars; Kuntz, Matthias; Leitner, Florian; Leue, StefanSchriftenreihe: Technical Report soft;09-01