Author of the publication

Verifying SimpleGT Transformations Using an Intermediate Verification Language.

, , and . VOLT@STAF, volume 1530 of CEUR Workshop Proceedings, page 12-19. CEUR-WS.org, (2015)

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 Sound Execution Semantics for ATL via Translation Validation - Research Paper., , and . ICMT, volume 9152 of Lecture Notes in Computer Science, page 133-148. Springer, (2015)Visualization of AI Systems in Virtual Reality: A Comprehensive Review., , and . CoRR, (2023)CSP2Turtle: Verified Turtle Robot Plans., , , and . Robotics, 12 (2): 62 (April 2023)Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems., , and . DSN-S, page 197-199. IEEE, (2023)Creating new Program Proofs by Combining Abductive and Deductive Reasoning., , and . ICCC, page 395-399. Association for Computational Creativity (ACC), (2021)An Institution for Event-B., , and . WADT, volume 10644 of Lecture Notes in Computer Science, page 104-119. Springer, (2016)A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks., , , , , and . UKICER, page 19:1. ACM, (2022)Dafny Meets the Verification Benchmarks Challenge., and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 112-126. Springer, (2010)Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving., , and . SAC, page 1558-1561. ACM, (2016)Specification Clones: An Empirical Study of the Structure of Event-B Specifications., , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 152-167. Springer, (2017)