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

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)., und . J. Log. Algebr. Meth. Program., (2019)Towards model checking executable UML specifications in mCRL2., , , , und . ISSE, 6 (1-2): 83-90 (2010)Notions of bisimulation and congruence formats for SOS with data., , und . Inf. Comput., 200 (1): 107-147 (2005)Sound conformance testing for cyber-physical systems: Theory and implementation., , , , und . Sci. Comput. Program., (2018)Robustness of Equations Under Operational Extensions, , und . EXPRESS, Volume 41 von EPTCS, Seite 106-120. (2010)(De-)Composing Causality in Labeled Transition Systems., , und . CREST@ETAPS, Volume 224 von EPTCS, Seite 10-24. (2016)Lifting non-finite axiomatizability results to extensions of process algebras., , , und . Acta Inf., 47 (3): 147-177 (2010)SOS rule formats for zero and unit elements., , , , und . Theor. Comput. Sci., 412 (28): 3045-3071 (2011)Efficient state synchronisation in model-based testing through reinforcement learning., , , und . ASE, Seite 368-380. IEEE, (2021)A framework for performance evaluation and functional verification in stochastic process algebras., , und . SAC, Seite 339-346. ACM, (2008)