Guillaume Voiron
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | TAP | Under-Approximation Generation Driven by Relevance Predicates and Variants. | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2017 | TASE | Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2016 | FMICS | Workflow Nets Verification: SMT or CLP? | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron |