Autor der Publikation

From Probabilistic Counterexamples via Causality to Fault Trees.

, , und . SAFECOMP, Volume 6894 von Lecture Notes in Computer Science, Seite 71-84. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Quantum dot photonic devices for lightwave communication., , und . Microelectronics Journal, 36 (3-6): 175-179 (2005)Evaluating repair strategies for a water-treatment facility using Arcade., , , , und . DSN, Seite 419-424. IEEE Computer Society, (2010)Faster SPDL Model Checking Through Property-Driven State Space Generation., und . EPEW, Volume 4748 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2007)From Probabilistic Counterexamples via Causality to Fault Trees., , und . SAFECOMP, Volume 6894 von Lecture Notes in Computer Science, Seite 71-84. Springer, (2011)Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation., , , und . QUOVADIS@ICSE, Seite 25-32. ACM, (2010)Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees., , , , und . CoRR, (2019)Symbolic Model Checking of Stochastic Systems: Theory and Implementation., und . SPIN, Volume 3925 von Lecture Notes in Computer Science, Seite 89-107. Springer, (2006)Symbolic Performance and Dependability Evaluation with the Tool CASPA., , und . FORTE Workshops, Volume 3236 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2004)Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples., , , , , und . QEST, Seite 299-308. IEEE Computer Society, (2009)Model Checking Markov Chains with Actions and State Labels., , , , und . IEEE Trans. Software Eng., 33 (4): 209-224 (2007)