Emmanuel Haucourt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2012
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ESOP | Trace Spaces: An Efficient New Technique for State-Space Reduction. | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen |
| 2011 | SAFECOMP | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. | Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram |
| 2010 | CONCUR | A Geometric Approach to the Problem of Unique Decomposition of Processes. | Thibaut Balabonski, Emmanuel Haucourt |
| 2005 | CONCUR | A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. | Eric Goubault, Emmanuel Haucourt |