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

Faster Pushdown Reachability Analysis with Applications in Network Verification., , , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 170-186. Springer, (2021)Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control., , , und . FMICS, Volume 14290 von Lecture Notes in Computer Science, Seite 113-130. Springer, (2023)Elimination of Detached Regions in Dependency Graph Verification., , , und . SPIN, Volume 13872 von Lecture Notes in Computer Science, Seite 163-179. Springer, (2023)Refinement of Trace Abstraction for Real-Time Programs., , und . RP, Volume 10506 von Lecture Notes in Computer Science, Seite 42-58. Springer, (2017)PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems., , , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 225-230. Springer, (2022)Methods for Efficient Unfolding of Colored Petri Nets., , , , und . Fundam. Informaticae, 189 (3-4): 297-320 (2022)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , und 9 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2019)Simplification of CTL Formulae for Efficient Model Checking of Petri Nets., , , , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 143-163. Springer, (2018)Approximating Euclidean by Imprecise Markov Decision Processes., , , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 275-289. Springer, (2020)STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego., , , , , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 327-333. Springer, (2022)