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

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT., , , , und . HSCC, Seite 99-108. ACM, (2019)Complete Composition Operators for IOCO-Testing Theory., , , , und . CBSE, Seite 101-110. ACM, (2015)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)Recursive Online Enumeration of All Minimal Unsatisfiable Subsets., , und . CoRR, (2017)Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)., , , , , und . CoRR, (2015)EXPTIME-completeness of thorough refinement on modal transition systems., , , und . Inf. Comput., (2012)Refinement checking on parametric modal transition systems., , , , , und . Acta Inf., 52 (2-3): 269-297 (2015)A Case Study in Parallel Verification of Component-Based Systems., , , , und . Electron. Notes Theor. Comput. Sci., 220 (2): 67-83 (2008)Space Effective Model Checking for Component-Interaction Automata., , und . MEMICS, Volume 13 von OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)On determinism in modal transition systems., , , und . Theor. Comput. Sci., 410 (41): 4026-4043 (2009)