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

Formal Verification With Frama-C: A Case Study in the Space Software Domain., , , , and . IEEE Trans. Reliability, 65 (3): 1163-1179 (2016)Towards a mostly-automated prover for bit-vector arithmetic., and . C3S2E, page 132-133. ACM, (2013)Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach., , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 41-67. Springer, (2016)A Framework for Point-Free Program Transformation., , and . IFL, volume 4015 of Lecture Notes in Computer Science, page 1-18. Springer, (2005)Real-time MTL with durations as SMT with applications to schedulability analysis., , , and . TASE, page 49-56. IEEE, (2020)A Tool for Programming with Interaction Nets., , and . RULE@RDP, volume 219 of Electronic Notes in Theoretical Computer Science, page 83-96. Elsevier, (2007)Token-passing Nets for Functional Languages., , and . WRS@RDP, volume 204 of Electronic Notes in Theoretical Computer Science, page 181-198. Elsevier, (2007)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 493-495. Springer, (2012)Monitoring for a Decidable Fragment of MTL-∫., , , and . RV, volume 9333 of Lecture Notes in Computer Science, page 169-184. Springer, (2015)A Compositional Monitoring Framework for Hard Real-Time Systems., , , and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 16-30. Springer, (2014)