André Maroneze

According to our database, André Maroneze authored at least 8 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.

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

Commun. ACM, 2021

2019

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

André Maroneze, Valentin Perrelle, Florent Kirchner

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

2015

Verified Validation of Program Slicing.

Sandrine Blazy, André Maroneze, David Pichardie

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

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

André Oliveira Maroneze

PhD thesis, 2014

A Formally Verified WCET Estimation Tool.

André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

2013

Formal Verification of Loop Bound Estimation for WCET Analysis.

Sandrine Blazy, André Maroneze, David Pichardie

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Formal Verification of a C Value Analysis Based on Abstract Interpretation.

Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie

Proceedings of the Static Analysis - 20th International Symposium, 2013

2011

Introduction of statistical information in a syntactic analyzer for document image recognition.

André Oliveira Maroneze, Bertrand Coüasnon, Aurélie Lemaitre

Proceedings of the Document Recognition and Retrieval XVIII, 2011