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 simulation-based probabilistic model checking of mixed-analog circuits., , und . Formal Methods in System Design, 36 (2): 97-113 (2010)Extending modal transition systems with structured labels., , , , und . Mathematical Structures in Computer Science, 22 (4): 581-617 (2012)Constraint Markov Chains., , , , , und . Theor. Comput. Sci., 412 (34): 4373-4404 (2011)Hardness of preorder checking for basic formalisms., , und . Theor. Comput. Sci., 412 (49): 6795-6808 (2011)Formal semantics, modular specification, and symbolic verification of product-line behaviour., , , , und . Sci. Comput. Program., (2014)A modal specification theory for components with data., , , , und . Sci. Comput. Program., (2014)Rigorous embedded design: challenges and perspectives., , und . STTT, 15 (3): 149-154 (2013)µ-calculus Pushdown Module Checking with Imperfect State Information., , , und . IFIP TCS, Volume 273 von IFIP, Seite 333-348. Springer, (2008)Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems., und . QEST, Seite 3. IEEE Computer Society, (2009)A framework for the rigorous design of highly adaptive timed systems., , , und . FormaliSE@ICSE, Seite 64-70. IEEE Computer Society, (2013)