Matthieu Petit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2004–2012
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | LOPSTR | A Declarative Pipeline Language for Complex Data Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2011 | ICLP | Bayesian Annotation Networks for Complex Sequence Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2009 | COMPSAC | Towards a Theory for Testing Non-terminating Programs. | Arnaud Gotlieb, Matthieu Petit |
| 2008 | COMPSAC | Constraint Reasoning in Path-Oriented Random Testing. | Arnaud Gotlieb, Matthieu Petit |
| 2007 | CP | Boosting Probabilistic Choice Operators. | Matthieu Petit, Arnaud Gotlieb |
| 2006 | ISSTA | Path-oriented random testing. | Arnaud Gotlieb, Matthieu Petit |
| 2004 | ICLP | Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. | Matthieu Petit, Arnaud Gotlieb |