Jean-Vivien Millo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2017

Explicit Control of Dataflow Graphs with MARTE/CCSLJean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, Frédéric Mallet, Robert de Simone. modelsward 2017: 542-549 [doi]

2016

Traceability Analyses between Features and Assets in Software Product LinesGanesh Khandu Narwane, José A. Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh. entropy, 18(8):269, 2016. [doi]

2015

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTECalin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié. dafes, 19(1-2):1-33, 2015. [doi]

Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core ArchitecturesJean-Vivien Millo, Emilien Kofman, Robert de Simone. tecs, 14(3):46, 2015. [doi]

2013

A metamodeling approach for reasoning on multiple requirements modelsArda Goknil, Ivan Kurtev, Jean-Vivien Millo. edoc 2013: 159-166 [doi]

Safe CCSL specifications and marked graphsFrédéric Mallet, Jean-Vivien Millo, Robert de Simone. memocode 2013: 157-166 [doi]

Boundness Issues in CCSL SpecificationsFrédéric Mallet, Jean-Vivien Millo. icfem 2013: 20-35 [doi]

Explicit routing schemes for implementation of cellular automata on processor arraysJean-Vivien Millo, Robert de Simone. nc, 12(3):353-368, 2013. [doi]

Compositional Verification of Software Product LinesJean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane. IFM 2013: 109-123 [doi]

Scenario-based verification in presence of variability using a synchronous approachJean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh. fcsc, 7(5):650-672, 2013. [doi]

2012

2011

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checkingJean-Vivien Millo, Swarup Mohalik, S. Ramesh. indiaSE 2011: 41-50 [doi]

2008

Compositionality of Statically Scheduled IPJulien Boucaron, Jean-Vivien Millo. ENTCS, 200(1):71-87, 2008. [doi]

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, University of Nice Sophia Antipolis, France, 2008. [doi]

2007

Formal Methods for Scheduling of Latency-Insensitive DesignsJulien Boucaron, Robert de Simone, Jean-Vivien Millo. ejes, 2007, 2007. [doi]

2006

Another Glance at Relay Stations in Latency-Insensitive DesignJulien Boucaron, Jean-Vivien Millo, Robert de Simone. ENTCS, 146(2):41-59, 2006. [doi]

Latency-insensitive design and central repetitive schedulingJulien Boucaron, Robert de Simone, Jean-Vivien Millo. memocode 2006: 175-183 [doi]

Sign in or sign up to see more results.

runs on WebDSL