Jean-Vivien Millo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2006–2017
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | MODELSWARD | Explicit Control of Dataflow Graphs with MARTE/CCSL. | Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frdric Mallet, Robert de Simone |
| 2013 | EDOC | A metamodeling approach for reasoning on multiple requirements models. | Arda Goknil, Ivan Kurtev, Jean-Vivien Millo |
| 2013 | ICFEM | Boundness Issues in CCSL Specifications. | Frdric Mallet, Jean-Vivien Millo |
| 2013 | IFM | Compositional Verification of Software Product Lines. | Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane |
| 2013 | MEMOCODE | Safe CCSL specifications and marked graphs. | Frdric Mallet, Jean-Vivien Millo, Robert de Simone |
| 2012 | APSEC | Relating Requirement and Design Variabilities. | Jean-Vivien Millo, S. Ramesh |
| 2012 | SPLC | Tracing SPLs precisely and efficiently. | Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane |
| 2006 | MEMOCODE | Latency-insensitive design and central repetitive scheduling. | Julien Boucaron, Robert de Simone, Jean-Vivien Millo |