Raphal Michel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CADE | SMT-LIB Sequences and Regular Expressions. | Nikolaj S. Bjrner, Vijay Ganesh, Raphal Michel, Margus Veanes |
| 2012 | CADE | An SMT-based approach to automated configuration. | Raphal Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans |
| 2012 | ICSE | Languages and tools for managing feature models. | Mathieu Acher, Raphal Michel, Patrick Heymans, Philippe Collet, Philippe Lahire |
| 2012 | SPLC | Next-generation model-based variability management: languages and tools. | Mathieu Acher, Patrick Heymans, Raphal Michel |
| 2010 | SLE | Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies. | Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphal Michel, Patrick Heymans |