Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

André Maroneze

André Oliveira Maroneze

> Home > Persons

Person information

affiliation (PhD 2014): University of Rennes 1, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BaudinBBCKKMPPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BaudinBBCKKMPPS21
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): 56-68 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MaronezePK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MaronezePK19
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)
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BlazyMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BlazyMP15
Sandrine Blazy, André Maroneze, David Pichardie:
Verified Validation of Program Slicing. CPP 2015: 109-117
2014
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Maroneze14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Maroneze14
André Oliveira Maroneze:
Certified Compilation and Worst-Case Execution Time Estimation. (Compilation formellement vérifiée et estimation du pire temps d'éxécution). University of Rennes 1, France, 2014
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wcet/MaronezeBPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/MaronezeBPP14
André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut:
A Formally Verified WCET Estimation Tool. WCET 2014: 11-20
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BlazyLMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BlazyLMP13
Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie:
Formal Verification of a C Value Analysis Based on Abstract Interpretation. SAS 2013: 324-344
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BlazyMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BlazyMP13
Sandrine Blazy, André Maroneze, David Pichardie:
Formal Verification of Loop Bound Estimation for WCET Analysis. VSTTE 2013: 281-303
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-3596
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-3596
Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie:
Formal Verification of a C Value Analysis Based on Abstract Interpretation. CoRR abs/1304.3596 (2013)
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/drr/MaronezeCL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drr/MaronezeCL11
André Oliveira Maroneze, Bertrand Coüasnon, Aurélie Lemaitre:
Introduction of statistical information in a syntactic analyzer for document image recognition. DRR 2011: 787404

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.