Jean-Vivien Millo
Jean-Vivien Millo
INRIA Sophia-Antipolis
Adresse e-mail validée de
Citée par
Citée par
Formal methods for scheduling of latency-insensitive designs
J Boucaron, R De Simone, JV Millo
EURASIP journal on Embedded Systems 2007, 1-16, 2007
Compositional Verification of Software Product Lines
JV Millo, S Ramesh, SN Krishna, GK Narwane
10th International Conference on integrated Formal Methods, 2013
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
Latency-insensitive design and central repetitive scheduling
J Boucaron, R de Simone, JV Millo
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
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
Traceability analyses between features and assets in software product lines
GK Narwane, JA Galindo, SN Krishna, D Benavides, JV Millo, S Ramesh
Entropy 18 (8), 269, 2016
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
Periodic scheduling of marked graphs using balanced binary words
JV Millo, R De Simone
Theoretical Computer Science 458, 113-130, 2012
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-33, 2015
A metamodeling approach for reasoning on multiple requirements models
A Goknil, I Kurtev, JV Millo
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
Ordonnancements périodiques dans les réseaux de processus: application à la conception insensible aux latences
JV Millo
Université Nice Sophia Antipolis, 2008
State-based representation of CCSL operators
F Mallet, JV Millo, Y Romenska
INRIA, 2013
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
Compositionality of statically scheduled IP
J Boucaron, JV Millo
Electronic Notes in Theoretical Computer Science 200 (1), 71-87, 2008
Kahn-extended event graphs
J Boucaron, A Coadou, B Ferrero, JV Millo, R De Simone
INRIA, 2008
Relating requirement and design variabilities
JV Millo, S Ramesh
2012 19th Asia-Pacific Software Engineering Conference 2, 35-42, 2012
Scenario-based verification in presence of variability using a synchronous approach
JV Millo, F Mallet, A Coadou, S Ramesh
Frontiers of Computer Science 7, 650-672, 2013
Explicit routing schemes for implementation of cellular automata on processor arrays
JV Millo, R de Simone
Natural Computing 12, 353-368, 2013
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), 1-25, 2015
Application Architecture Adequacy through an FFT case study
E Kofman, JV Millo, R De Simone
JRWRTC2013-7th Junior Researcher Workshop on Real-Time Computing, 4, 2013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20