Author of the publication

With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves.

, and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 155-172. Springer, (2023)

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

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming., and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 520-547. Springer, (2022)JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java., , , , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 143-150. Springer, (2023)n-Complete test suites for IOCO., , and . Softw. Qual. J., 27 (2): 563-588 (2019)Enhancing Automata Learning by Log-Based Metrics., , and . IFM, volume 9681 of Lecture Notes in Computer Science, page 295-310. Springer, (2016)n-Complete Test Suites for IOCO., , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 91-107. Springer, (2017)VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs., and . FM, volume 14000 of Lecture Notes in Computer Science, page 321-339. Springer, (2023)From User Stories to End-to-end Web Testing., and . ICSTW, page 140-148. IEEE, (2023)Tester versus Bug: A Generic Framework for Model-Based Testing via Games., and . GandALF, volume 277 of EPTCS, page 118-132. (2018)Coverage-Based Testing with Symbolic Transition Systems., and . TAP, volume 11823 of Lecture Notes in Computer Science, page 64-82. Springer, (2019)The Integration of Testing and Program Verification - A Position Paper., and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 524-538. Springer, (2022)