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

On determinism in modal transition systems., , , und . Theor. Comput. Sci., 410 (41): 4026-4043 (2009)LTL Model Checking of Parametric Timed Automata., , , , und . CoRR, (2014)Factorization for Component-Interaction Automata., , und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 554-565. Springer, (2012)Accelerating Parameter Synthesis Using Semi-algebraic Constraints., , , , und . IFM, Volume 11918 von Lecture Notes in Computer Science, Seite 27-45. Springer, (2019)On clock-aware LTL parameter synthesis of timed automata., , , und . J. Log. Algebraic Methods Program., (2018)Process Algebra for Modal Transition Systemses., und . MEMICS, Volume 16 von OASIcs, Seite 9-18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Complete Composition Operators for IOCO-Testing Theory., , , , und . CBSE, Seite 101-110. ACM, (2015)Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT., , , , und . HSCC, Seite 99-108. ACM, (2019)Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks., , , , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 353-369. Springer, (2019)Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)., , , , , und . CoRR, (2015)