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

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)Rigorous embedded design: challenges and perspectives., , and . STTT, 15 (3): 149-154 (2013)A framework for the rigorous design of highly adaptive timed systems., , , and . FormaliSE@ICSE, page 64-70. IEEE Computer Society, (2013)Incremental Invariant Generation for Compositional Design., , , , and . TASE, page 157-167. IEEE Computer Society, (2010)Specification Theories for Probabilistic and Real-Time Systems., , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 98-117. Springer, (2014)Information Leakage of Non-Terminating Processes., , , , and . FSTTCS, volume 29 of LIPIcs, page 517-529. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2014)Complexity Bounds for the Verification of Real-Time Software., , , and . VMCAI, volume 5944 of Lecture Notes in Computer Science, page 95-111. Springer, (2010)Trace checking for dynamic software product lines., , , and . SEAMS@ICSE, page 69-75. ACM, (2018)Sound Merging and Differencing for Class Diagrams., , , and . FASE, volume 8411 of Lecture Notes in Computer Science, page 63-78. Springer, (2014)