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

Test Generation for Sequential Nets of Abstract State Machines., , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 36-50. Springer, (2012)Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module., , and . ABZ (Case Study), volume 433 of Communications in Computer and Information Science, page 95-109. Springer, (2014)Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)., , and . CoRR, (2019)Online Causation Monitoring of Signal Temporal Logic., , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 62-84. Springer, (2023)Parameter-Based Testing and Debugging of Autonomous Driving Systems., , , , , , , and . IV Workshops, page 197-202. IEEE, (2021)CoMA: Conformance Monitoring of Java Programs by Abstract State Machines., , and . RV, volume 7186 of Lecture Notes in Computer Science, page 223-238. Springer, (2011)Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery., , , , , and . CEC, page 1-10. IEEE, (2023)JSIMutate: understanding performance results through mutations., , , and . ESEC/SIGSOFT FSE, page 1721-1725. ACM, (2022)Mutation-based test generation for quantum programs with multi-objective search., , , , and . GECCO, page 1345-1353. ACM, (2022)On the Need for Multi-Level ADS Scenarios., and . MoDELS (Companion), page 322-326. IEEE, (2021)