André Maroneze

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 2

Top Topics

Provably Correct

Formal Verification

Static Analysis

Temporal Properties

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
André Maroneze, Valentin Perrelle, Florent Kirchner
Advances in Usability of Formal Methods for Code Verification with Frama-C. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Sandrine Blazy, André Maroneze, David Pichardie
Verified Validation of Program Slicing. CPP (2015)
André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut
A Formally Verified WCET Estimation Tool. WCET (2014)
Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
Formal Verification of a C Value Analysis Based on Abstract Interpretation. SAS (2013)
Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
Formal Verification of a C Value Analysis Based on Abstract Interpretation CoRR (2013)
Sandrine Blazy, André Maroneze, David Pichardie
Formal Verification of Loop Bound Estimation for WCET Analysis. VSTTE (2013)