Jean-Vivien Millo
Jean-Vivien Millo
INRIA Sophia-Antipolis
Verified email at inria.fr
TitleCited byYear
Formal methods for scheduling of latency-insensitive designs
J Boucaron, R De Simone, JV Millo
EURASIP journal on Embedded Systems 2007 (1), 039161, 2007
402007
Compositional Verification of Software Product Lines
JV Millo, S Ramesh, SN Krishna, GK Narwane
10th International Conference on integrated Formal Methods, 2013
312013
Latency-insensitive design and central repetitive scheduling
J Boucaron, R De Simone, JV Millo
Proceedings of the Fourth ACM and IEEE International Conference on Formal …, 2006
262006
Tracing SPLs precisely and efficiently
S Mohalik, S Ramesh, JV Millo, SN Krishna, GK Narwane
Proceedings of the 16th International Software Product Line Conference …, 2012
222012
Safe CCSL specifications and marked graphs
F Mallet, JV Millo, R De Simone
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
212013
Another glance at relay stations in latency-insensitive design
J Boucaron, JV Millo, R De Simone
Electronic Notes in Theoretical Computer Science 146 (2), 41-59, 2006
182006
Traceability analyses between features and assets in software product lines
G Narwane, J Galindo, S Krishna, D Benavides, JV Millo, S Ramesh
Entropy 18 (8), 269, 2016
142016
Periodic scheduling of marked graphs using balanced binary words
JV Millo, R De Simone
Theoretical Computer Science 458, 113-130, 2012
142012
Ordonnancements périodiques dans les réseaux de processus: application à la conception insensible aux latences
JV Millo
112008
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
C Glitia, J DeAntoni, F Mallet, JV Millo, P Boulet, A Gamatié
Design Automation for Embedded Systems 19 (1-2), 1-33, 2015
102015
A metamodeling approach for reasoning on multiple requirements models
A Goknil, I Kurtev, JV Millo
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
102013
Kahn-extended event graphs
J Boucaron, A Coadou, B Ferrero, JV Millo, R De Simone
82008
Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking
JV Millo, SK Mohalik, S Ramesh
Proceedings of the 4th India Software Engineering Conference, 41-50, 2011
72011
Compositionality of statically scheduled IP
J Boucaron, JV Millo
Electronic Notes in Theoretical Computer Science 200 (1), 71-87, 2008
62008
Application Architecture Adequacy through an FFT case study
E Kofman, JV Millo, R De Simone
52013
Modeling and analyzing dataflow applications on noc-based many-core architectures
JV Millo, E Kofman, RD Simone
ACM Transactions on Embedded Computing Systems (TECS) 14 (3), 46, 2015
42015
Explicit routing schemes for implementation of cellular automata on processor arrays
JV Millo, R de Simone
Natural Computing 12 (3), 353-368, 2013
42013
State-based representation of CCSL operators
F Mallet, JV Millo, Y Romenska
42013
Scenario-based verification in presence of variability using a synchronous approach
JV Millo, F Mallet, A Coadou, S Ramesh
Frontiers of Computer Science 7 (5), 650-672, 2013
32013
Relating requirement and design variabilities
JV Millo, S Ramesh
2012 19th Asia-Pacific Software Engineering Conference 2, 35-42, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20