Jean-Vivien Millo

According to our database, Jean-Vivien Millo authored at least 21 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Explicit Control of Dataflow Graphs with MARTE/CCSL.

Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frédéric Mallet, Robert de Simone

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016

Traceability Analyses between Features and Assets in Software Product Lines.

Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh

Entropy, 2016

2015

Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures.

Jean-Vivien Millo, Emilien Kofman, Robert de Simone

ACM Trans. Embed. Comput. Syst., 2015

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE.

Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié

Des. Autom. Embed. Syst., 2015

2013

Explicit routing schemes for implementation of cellular automata on processor arrays.

Jean-Vivien Millo, Robert de Simone

Nat. Comput., 2013

Scenario-based verification in presence of variability using a synchronous approach.

Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh

Frontiers Comput. Sci., 2013

Safe CCSL specifications and marked graphs.

Frédéric Mallet, Jean-Vivien Millo, Robert de Simone

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Compositional Verification of Software Product Lines.

Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Boundness Issues in CCSL Specifications.

Frédéric Mallet, Jean-Vivien Millo

Proceedings of the Formal Methods and Software Engineering, 2013

A metamodeling approach for reasoning on multiple requirements models.

Arda Goknil, Ivan Kurtev, Jean-Vivien Millo

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

2012

Periodic scheduling of marked graphs using balanced binary words.

Jean-Vivien Millo, Robert de Simone

Theor. Comput. Sci., 2012

Compositional Verification of Evolving Software Product Lines

Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane

CoRR, 2012

Formalizing Traceability and Derivability in Software Product Lines

Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo

CoRR, 2012

Tracing SPLs precisely and efficiently.

Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane

Proceedings of the 16th International Software Product Line Conference, 2012

Relating Requirement and Design Variabilities.

Jean-Vivien Millo, S. Ramesh

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking.

Jean-Vivien Millo, Swarup Mohalik, S. Ramesh

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

2008

Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences. (Static scheduling in process networks : application to latency insentitive design).

Jean-Vivien Millo

PhD thesis, 2008

2007

Compositionality of Statically Scheduled IP.

Julien Boucaron, Jean-Vivien Millo

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

Formal Methods for Scheduling of Latency-Insensitive Designs.

Julien Boucaron, Robert de Simone, Jean-Vivien Millo

EURASIP J. Embed. Syst., 2007

2006

Latency-insensitive design and central repetitive scheduling.

Julien Boucaron, Robert de Simone, Jean-Vivien Millo

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

Another Glance at Relay Stations in Latency-Insensitive Design.

Julien Boucaron, Jean-Vivien Millo, Robert de Simone

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005