Jean-Vivien Millo

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Venues

CoRR

Des. Autom. Embed. Syst.

ACM Trans. Embed. Comput. Syst.

SPLC (1)

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Jean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, Frédéric Mallet, Robert de Simone
Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD (2017)
Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh
Traceability Analyses between Features and Assets in Software Product Lines. Entropy 18 (8) (2016)
Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Des. Autom. Embed. Syst. 19 (1-2) (2015)
Jean-Vivien Millo, Emilien Kofman, Robert de Simone
Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures. ACM Trans. Embed. Comput. Syst. 14 (3) (2015)
Jean-Vivien Millo, Robert de Simone
Explicit routing schemes for implementation of cellular automata on processor arrays. Nat. Comput. 12 (3) (2013)
Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh
Scenario-based verification in presence of variability using a synchronous approach. Frontiers Comput. Sci. 7 (5) (2013)
Arda Goknil, Ivan Kurtev, Jean-Vivien Millo
A metamodeling approach for reasoning on multiple requirements models. EDOC (2013)
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
Compositional Verification of Software Product Lines. IFM (2013)
Frédéric Mallet, Jean-Vivien Millo, Robert de Simone
Safe CCSL specifications and marked graphs. MEMOCODE (2013)
Frédéric Mallet, Jean-Vivien Millo
Boundness Issues in CCSL Specifications. ICFEM (2013)
Jean-Vivien Millo, Robert de Simone
Periodic scheduling of marked graphs using balanced binary words CoRR (2012)
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo
Formalizing Traceability and Derivability in Software Product Lines CoRR (2012)
Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane
Tracing SPLs precisely and efficiently. SPLC (1) (2012)
Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Des. Autom. Embed. Syst. 16 (2) (2012)
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
Compositional Verification of Evolving Software Product Lines CoRR (2012)
Jean-Vivien Millo, S. Ramesh
Relating Requirement and Design Variabilities. APSEC Workshops (2012)
Jean-Vivien Millo, Robert de Simone
Periodic scheduling of marked graphs using balanced binary words. Theor. Comput. Sci. 458 (2012)
Jean-Vivien Millo, Swarup Mohalik, S. Ramesh
Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. ISEC (2011)
Julien Boucaron, Jean-Vivien Millo
Compositionality of Statically Scheduled IP. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)
Julien Boucaron, Robert de Simone, Jean-Vivien Millo
Formal Methods for Scheduling of Latency-Insensitive Designs. EURASIP J. Embed. Syst. 2007 (2007)
Julien Boucaron, Robert de Simone, Jean-Vivien Millo
Latency-insensitive design and central repetitive scheduling. MEMOCODE (2006)
Julien Boucaron, Jean-Vivien Millo, Robert de Simone
Another Glance at Relay Stations in Latency-Insensitive Design. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)

Jean-Vivien Millo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Vivien Millo