Jean-Vivien Millo

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