Julien Henry
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SCAM | Automated Customized Bug-Benchmark Generation. | Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte |
| 2012 | SAS | When the Decreasing Sequence Fails. | Nicolas Halbwachs, Julien Henry |
| 2012 | SAS | Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. | Julien Henry, David Monniaux, Matthieu Moy |