Autor der Publikation

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

SAT-based Explicit LTLf Satisfiability Checking., , , , und . CoRR, (2018)Linear Temporal Logic Symbolic Model Checking.. Computer Science Review, 5 (2): 163-203 (2011)MLTL Benchmark Generation via Formula Progression., und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 426-433. Springer, (2018)R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems., , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 233-249. Springer, (2015)Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties., , , , und . FMCAD, Seite 1-9. IEEE, (2019)LTL satisfiability checking., und . STTT, 12 (2): 123-137 (2010)Comparing Different Functional Allocations in Automated Air Traffic Control Design., , , , und . FMCAD, Seite 112-119. IEEE, (2015)Probabilistic model checking for comparative analysis of automated air traffic control systems., und . ICCAD, Seite 690-695. IEEE, (2014)Satisfiability Checking for Mission-Time LTL., , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2019)Runtime Analysis with R2U2: A Tool Exhibition Report., , und . RV, Volume 10012 von Lecture Notes in Computer Science, Seite 504-509. Springer, (2016)