Cdric Meuter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2007
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FORTE | Testing Distributed Systems Through Symbolic Model Checking. | Gabriel Kalyon, Thierry Massart, Cdric Meuter, Laurent Van Begin |
| 2006 | FM | Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. | Alexandre Genon, Thierry Massart, Cdric Meuter |
| 2003 | OPODIS | dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. | Bram De Wachter, Thierry Massart, Cdric Meuter |