1. Recherche
24 résultats  enregistrer la recherche
hal-01355713v1  Brevet
Jean-Vivien Millo. KPASSA
France, Patent n° : IDDN.FR.001.350040.000.S.P.2014.000.10600. 2014
hal-00799094v1  Communication dans un congrès
Jean-Vivien Millo, S. Ramesh. Relating Requirement and Design Variabilities
APSEC '12 - Proceedings of the 19th Asia-Pacific Software Engineering Conference 2012, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.35-42, 2012, <10.1109/APSEC.2012.67>
...
hal-00846684v4  Rapport
Frédéric Mallet, Jean-Vivien Millo, Yuliia Romenska. State-based representation of CCSL operators
[Research Report] RR-8334, INRIA. 2013
hal-00877598v1  Communication dans un congrès
Frédéric Mallet, Jean-Vivien Millo. Boundness Issues in CCSL Specifications
Groves, Lindsay and Sun, Jing. ICFEM 2013 - 15th International Conference on Formal Engineering Methods, Oct 2013, Queenstown, New Zealand. Springer, 8144, pp.20-35, 2013, Lecture Notes in Computer Sciences; Formal Methods and Software Engineering. <10.1007/978-3-642-41202-8_3>
...
inria-00070449v1  Rapport
Julien Boucaron, Jean-Vivien Millo, Robert De Simone. Another glance at Relay Stations in Latency-Insensitive Designs
[Research Report] RR-5557, INRIA. 2005, pp.19
...
hal-00672606v1  Rapport
Jean-Vivien Millo, Robert De Simone. Periodic scheduling of marked graphs using balanced binary words
[Research Report] RR-7891, INRIA. 2012, pp.33
...
hal-00850678v1  Communication dans un congrès
Arda Goknil, Ivan Kurtev, Jean-Vivien Millo. A Metamodeling Approach for Reasoning on Multiple Requirements Models
EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference, Sep 2013, Vancouver, Canada. 2013
...
inria-00071374v1  Rapport
Julien Boucaron, Jean-Vivien Millo, Robert De Simone. Latency-Insensitive Design and Central Repetitive Scheduling
[Research Report] RR-5894, INRIA. 2006
...
inria-00168757v2  Rapport
Julien Boucaron, Benoît Ferrero, Jean-Vivien Millo, Robert De Simone. Statically scheduled Process Networks
[Research Report] RR-6289, INRIA. 2007, pp.26
...
inria-00137495v2  Rapport
Julien Boucaron, Jean-Vivien Millo, Robert De Simone. Formal Methods for Schedulings of Latency-Insensitive Designs
[Research Report] RR-6149, INRIA. 2007, pp.25
...
tel-00507498v1  Thèse
Jean-Vivien Millo. Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2008. Français
...
hal-00913962v1  Communication dans un congrès
Frédéric Mallet, Jean-Vivien Millo, Robert De Simone. Safe CCSL Specifications and Marked Graphs
Roncken, Marly and Talpin, Jean-Pierre. MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. IEEE CS, pp.157-166, 2013, <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6670955>
...
hal-00950533v1  Communication dans un congrès
Emilien Kofman, Jean-Vivien Millo, Robert De Simone. Application Architecture Adequacy through an FFT case study
JRWRTC2013 - 7th Junior Researcher Workshop on Real-Time Computing, Oct 2013, Sophia Antipolis, France. 2013
...
hal-00747533v1  Rapport
Jean-Vivien Millo, S. Ramesh, Shankara Krishna, Ganesh Narwane. Compositional Verification of Evolving SPL
[Research Report] RR-8125, INRIA. 2012, pp.34
hal-00799108v1  Communication dans un congrès
Jean-Vivien Millo, S. Ramesh, Shankara Krishna, Ganesh Narwane. Compositional Verification of Software Product Lines
Einar Broch Johnsen and Luigia Petre. iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. Springer, 7940, pp.109-123, 2013, Lecture Notes in Computer Science; Integrated Formal Methods. <10.1007/978-3-642-38613-8_8>
...
hal-00725878v2  Rapport
Jean-Vivien Millo, Robert De Simone. Refining cellular automata with routing constraints
[Research Report] RR-8051, INRIA. 2012, pp.15
...
inria-00281559v3  Rapport
Julien Boucaron, Anthony Coadou, Benoît Ferrero, Jean-Vivien Millo, Robert De Simone. Kahn-extended Event Graphs
[Research Report] RR-6541, INRIA. 2008
hal-00799104v1  Communication dans un congrès
Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Krishna, Ganesh Narwane. Tracing SPLs precisely and efficiently
SPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. ACM, pp.186-195, 2012, <10.1145/2362536.2362562>
...
hal-00784464v1  Article dans une revue
Julien Boucaron, Robert De Simone, Jean-Vivien Millo. Formal Methods for Scheduling of Latency-Insensitive Designs
EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.039161. <10.1155/2007/39161>
hal-01097315v1  Article dans une revue
Jean-Vivien Millo, Emilien Kofman, Robert De Simone. Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, Special Issue on Embedded Platforms for Crypto and Regular Papers, 14 (3), pp.article 46. <10.1145/2700081>

Contact


archive-ouverte@inria.fr