From post

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.

 

Другие публикации лиц с тем же именем

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems., , и . ICTAC, том 9399 из Lecture Notes in Computer Science, стр. 563-572. Springer, (2015)Synchronizing Asynchronous Conformance Testing., , , и . SEFM, том 7041 из Lecture Notes in Computer Science, стр. 334-349. Springer, (2011)Towards Model-Based Testing of Electronic Funds Transfer Systems., , , и . FSEN, том 7141 из Lecture Notes in Computer Science, стр. 253-267. Springer, (2011)A Pre-congruence Format for XY-simulation., и . FSEN, том 9392 из Lecture Notes in Computer Science, стр. 215-229. Springer, (2015)Basic behavioral models for software product lines: Expressiveness and testing pre-orders., , и . Sci. Comput. Program., (2016)Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)., и . J. Log. Algebraic Methods Program., (2017)On the search for industry-relevant regression testing research., , , , , , , и . Empir. Softw. Eng., 24 (4): 2020-2055 (2019)Towards understanding causality - a retrospective study of using explanations in interactions between a humanoid robot and autistic children., , , , , , и . RO-MAN, стр. 323-328. IEEE, (2022)Compositional Learning for Interleaving Parallel Automata., , , и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 413-435. Springer, (2023)Locality-Based Test Selection for Autonomous Agents., , , и . ICTSS, том 13045 из Lecture Notes in Computer Science, стр. 73-89. Springer, (2021)