André Oliveira Maroneze

Formal Verification of a C Value Analysis Based on Abstract Interpretation

David Pichardie, Sandrine Blazy, Vincent Laporte, 2013, SAS.

Verified Validation of Program Slicing

David Pichardie, Sandrine Blazy, André Oliveira Maroneze, 2015, CPP.

Certified Compilation and Worst-Case Execution Time Estimation. (Compilation formellement vérifiée et estimation du pire temps d'éxécution)

André Oliveira Maroneze, A. Maroneze, 2014 .

Formal Verification of Loop Bound Estimation for WCET Analysis

David Pichardie, Sandrine Blazy, André Oliveira Maroneze, 2013, VSTTE.

Advances in Usability of Formal Methods for Code Verification with Frama-C

André Oliveira Maroneze, Florent Kirchner, Valentin Perrelle, 2019, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A Formally Verified WCET Estimation Tool

David Pichardie, Sandrine Blazy, André Oliveira Maroneze, 2014, WCET.