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

Programmation d'un interpréteur abstrait certifié en logique constructive., and . Technique et Science Informatiques, 30 (4): 381-408 (2011)An ω-Algebra for Real-Time Energy Problems., , and . CoRR, (2017)An ωωømega-Algebra for Real-Time Energy Problems., , and . Logical Methods in Computer Science, (2019)Certified Static Analysis by Abstract Interpretation., , , and . FOSAD, volume 5705 of Lecture Notes in Computer Science, page 223-257. Springer, (2009)Certified Memory Usage Analysis., , , and . FM, volume 3582 of Lecture Notes in Computer Science, page 91-106. Springer, (2005)Extracting a data flow analyser in constructive logic., , , and . Theor. Comput. Sci., 342 (1): 56-78 (2005)Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic., and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 376-379. Springer, (2005)An omega-Algebra for Real-Time Energy Problems., , and . FSTTCS, volume 45 of LIPIcs, page 394-407. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Formal Validation of Data Parallel Programs: Introducting the Assertional Approach., , , , and . The Data Parallel Programming Model, volume 1132 of Lecture Notes in Computer Science, page 252-281. Springer, (1996)Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement., , , and . SAC, page 1881-1890. ACM, (2018)