| Formal methods for scheduling of latency-insensitive designs J Boucaron, R De Simone, JV Millo EURASIP journal on Embedded Systems 2007, 1-16, 2007 | 40 | 2007 |
| Compositional Verification of Software Product Lines JV Millo, S Ramesh, SN Krishna, GK Narwane 10th International Conference on integrated Formal Methods, 2013 | 36* | 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 | 34 | 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 | 26 | 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 | 24 | 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 | 20 | 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 | 20 | 2006 |
| Periodic scheduling of marked graphs using balanced binary words JV Millo, R De Simone Theoretical Computer Science 458, 113-130, 2012 | 18 | 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 | 16 | 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 | 16 | 2013 |
| Ordonnancements périodiques dans les réseaux de processus: application à la conception insensible aux latences JV Millo Université Nice Sophia Antipolis, 2008 | 10 | 2008 |
| State-based representation of CCSL operators F Mallet, JV Millo, Y Romenska INRIA, 2013 | 8 | 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 | 7 | 2011 |
| Compositionality of statically scheduled IP J Boucaron, JV Millo Electronic Notes in Theoretical Computer Science 200 (1), 71-87, 2008 | 6 | 2008 |
| Kahn-extended event graphs J Boucaron, A Coadou, B Ferrero, JV Millo, R De Simone INRIA, 2008 | 6 | 2008 |
| Relating requirement and design variabilities JV Millo, S Ramesh 2012 19th Asia-Pacific Software Engineering Conference 2, 35-42, 2012 | 5 | 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 | 4 | 2013 |
| Explicit routing schemes for implementation of cellular automata on processor arrays JV Millo, R de Simone Natural Computing 12, 353-368, 2013 | 4 | 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 | 3 | 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 | 3 | 2013 |
