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)A Framework for Point-Free Program Transformation., , and . IFL, volume 4015 of Lecture Notes in Computer Science, page 1-18. Springer, (2005)Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach., , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 41-67. Springer, (2016)Real-time MTL with durations as SMT with applications to schedulability analysis., , , and . TASE, page 49-56. IEEE, (2020)Combining interaction nets with externally defined programs., , and . APPIA-GULP-PRODE, page 297-312. Departamento de Informática, Universidade de Évora, (2001)Verification conditions for source-level imperative programs., and . Comput. Sci. Rev., 5 (3): 252-277 (2011)Recursion patterns and time-analysis., , and . ACM SIGPLAN Notices, 40 (5): 45-54 (2005)GamaSlicer: an online laboratory for program verification and analysis., , and . LDTA, page 3. ACM, (2010)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)