Autor der Publikation

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

, , , , , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)

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

Rare Event Simulation for Dynamic Fault Trees., , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 20-35. Springer, (2017)Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools., und . Computer Science Review, (2015)Effective Analysis of Attack Trees: A Model-Driven Approach., , , , , , , und . FASE, Volume 10802 von Lecture Notes in Computer Science, Seite 56-73. Springer, (2018)Rare event simulation for dynamic fault trees., , , und . Rel. Eng. & Sys. Safety, (2019)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach., , , , , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)The Quantitative Verification Benchmark Set., , , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 344-350. Springer, (2019)The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)., , , , , , , , , und . TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 69-92. Springer, (2019)Quantitative Attack Tree Analysis via Priced Timed Automata., , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 156-171. Springer, (2015)Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor., , , , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 331-347. Springer, (2016)Better Railway Engineering Through Statistical Model Checking., und . ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 151-165. (2016)