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 SIGIR 2026 / reviewers in the wild / expert

Yannick Moy

dblp:32/5672 · DBLP profile ↗
← Back
8ranked-venue papers
2as first author
0since 2021 · last 2020
0000-0002-0368-2081ORCID · corroborated

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

Software engineering, systems software and programming languages · 7 · 1 first-authorTheory of computation · 2 · 1 first-author

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 verification · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

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

TopicWeightPapersLastEvidence papers
Program verification › invariant verification › invariant-based verification
loop invariants		 0.112012
Maximal and Compositional Pattern-Based Loop Invariants · FM 2012
Logic in computer science › program semantics
abstract interpretation		 0.012012
Maximal and Compositional Pattern-Based Loop Invariants · FM 2012

Methods — techniques the papers use, named apart from their topics

pattern-based invariant inference · 0.3
YearPublicationVenuePosition
2020 Verification of Programs with Pointers in SPARK
Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
 ICFEM4
2017 Focused Certification of an Industrial Compilation and Static Verification Toolchain
Robby, John Hatcliff, Yannick Moy, Pierre Courtieu
 SEFM4
2016 Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014
Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles
 ISoLA (1)3
2016 Counterexamples from Proof Failures in SPARK
David Hauzar, Claude Marché, Yannick Moy
 SEFM3
2015 SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler
Duc Hoang, Yannick Moy, Angela Wallenburg, Roderick Chapman
 Int. J. Softw. Tools Technol. Transf.2
2012 Maximal and Compositional Pattern-Based Loop Invariants
Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango
 FM3
2010 Modular inference of subprogram contracts for safety checking
Yannick Moy, Claude Marché
 J. Symb. Comput.1
2008 Sufficient Preconditions for Modular Assertion Checking
Yannick Moy
 VMCAI1