Author of the publication

From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation.

, , and . VPT@ETAPS, volume 253 of EPTCS, page 109-123. (2017)

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

Ghosts for Lists: From Axiomatic to Executable Specifications., , and . TAP, volume 10889 of Lecture Notes in Computer Science, page 177-184. Springer, (2018)Towards Full Proof Automation in Frama-C Using Auto-active Verification., , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 88-105. Springer, (2019)Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C., , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 37-53. Springer, (2018)MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models., , and . Comput. Lang. Syst. Struct., (2018)From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation., , and . VPT@ETAPS, volume 253 of EPTCS, page 109-123. (2017)A Lesson on Verification of IoT Software with Frama-C., , and . HPCS, page 21-30. IEEE, (2018)A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C., , , and . FMICS, volume 9128 of Lecture Notes in Computer Science, page 15-30. Springer, (2015)Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C., , and . SecDev, page 126-127. IEEE Computer Society, (2018)A CHR-Based Solver for Weak Memory Behaviors., , and . CSTVA@ISSTA, volume 1639 of CEUR Workshop Proceedings, page 15-22. CEUR-WS.org, (2016)Logic against ghosts: comparison of two proof approaches for a list module., , and . SAC, page 2186-2195. ACM, (2019)