Dominique Marcadet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2011
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | MODELS | Semantic Adaptation Using CCSL Clock Constraints. | Frdric Boulanger, Ayman Dogui, Ccile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan |
| 2008 | COMPSAC | An Architecture Description Language for Verification in Component-Based Software. | Ahcene Bouzoualegh, Dominique Marcadet, Frdric Boulanger, Christophe Jacquet |
| 2008 | ICST | Checking Properties on the Control of Heterogeneous Systems. | Christophe Jacquet, Dominique Marcadet |
| 2008 | MEMOCODE | From Data to Events: Checking Properties on the Control of a System. | Christophe Jacquet, Frdric Boulanger, Dominique Marcadet |