Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from VLDB 2026 / reviewers in the wild / expert

Aymeric Vincent

dblp:99/5314 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3Theory of computation · 3

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 100%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
binary analysis		 0.112011
The BINCOA Framework for Binary Code Analysis · CAV 2011
Automated reasoning and model checking
model checking		 0.012004
The Mec 5 Model-Checker · CAV 2004
YearPublicationVenuePosition
2015 Insight: An Open Binary Analysis Framework
Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent
 TACAS4
2011 The BINCOA Framework for Binary Code Analysis
Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
 CAV6
2004 The Mec 5 Model-Checker
Alain Griffault, Aymeric Vincent
 CAV2
2003 Games for synthesis of controllers with partial observation
André Arnold, Aymeric Vincent, Igor Walukiewicz
 Theor. Comput. Sci.2