Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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