Seguir
Jean-Vivien Millo
Jean-Vivien Millo
INRIA Sophia-Antipolis
Email confirmado em inria.fr
Título
Citado por
Citado por
Ano
Formal methods for scheduling of latency-insensitive designs
J Boucaron, R De Simone, JV Millo
EURASIP journal on Embedded Systems 2007, 1-16, 2007
402007
Compositional Verification of Software Product Lines
JV Millo, S Ramesh, SN Krishna, GK Narwane
10th International Conference on integrated Formal Methods, 2013
35*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
302013
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
262006
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
252012
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
222016
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
192006
Periodic scheduling of marked graphs using balanced binary words
JV Millo, R De Simone
Theoretical Computer Science 458, 113-130, 2012
182012
A metamodeling approach for reasoning on multiple requirements models
A Goknil, I Kurtev, JV Millo
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
162013
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
152015
Ordonnancements périodiques dans les réseaux de processus: application à la conception insensible aux latences
JV Millo
Université Nice Sophia Antipolis, 2008
112008
State-based representation of CCSL operators
F Mallet, JV Millo, Y Romenska
INRIA, 2013
72013
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
72011
Compositionality of statically scheduled IP
J Boucaron, JV Millo
Electronic Notes in Theoretical Computer Science 200 (1), 71-87, 2008
62008
Kahn-extended event graphs
J Boucaron, A Coadou, B Ferrero, JV Millo, R De Simone
INRIA, 2008
62008
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
52013
Relating requirement and design variabilities
JV Millo, S Ramesh
2012 19th Asia-Pacific Software Engineering Conference 2, 35-42, 2012
52012
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
42015
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
42013
Explicit routing schemes for implementation of cellular automata on processor arrays
JV Millo, R de Simone
Natural Computing 12, 353-368, 2013
42013
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20