 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00400272v1
Rapport
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson et al. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form [Research Report] RR-6976, INRIA. 2009, pp.16 |
||
|
hal-00600087v1
Communication dans un congrès
David Monniaux, Laure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations Eran Yahav. Static analysis symposium (SAS), Sep 2011, Venezia, Italy. Springer, 6887, pp.369-385, 2011, Lecture notes in Computer Science. <10.1007/978-3-642-23702-7_27> |
||
|
hal-00000840v1
Communication dans un congrès
Fabien Gaucher, Erwan Jahier, Florence Maraninchi, Bertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France. 2003 |
||
|
inria-00156468v1
Rapport
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al. Loosely Time-Triggered Architectures based on Communication-by-Sampling [Research Report] PI 1854, 2007, pp.41 |
||
|
inria-00001058v1
Communication dans un congrès
Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, 3188, pp.1-16, 2004, Lecture Notes in Computer Science; Formal Methods for Components and Objects: Second International Symposium, FMCO 2003. <10.1007/b100112> |
||
|
inria-00524938v1
Communication dans un congrès
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Sacchini. A New Elimination Rule for the Calculus of Inductive Constructions Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, Mar 2008, Torino, Italy. Springer, 5497, pp.32-48, 2009, Lecture Notes in Computer Science; Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. <10.1007/978-3-642-02444-3_3> |
||
|
hal-00525490v1
Communication dans un congrès
Ylìès Falcone, Mohamad Jaber. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5, 2010 |
||
|
inria-00526261v1
Communication dans un congrès
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin et al. A Protocol for Loosely Time-Triggered Architectures Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. <10.1007/3-540-45828-X_19> |
||
|
inria-00077205v1
Rapport
Gregor Gössler, Joseph Sifakis. Priority Systems [Research Report] RR-5226, INRIA. 2004 |
||
|
hal-01078214v1
Communication dans un congrès
Gregor Gössler, Lacramioara Astefanoaei. Blaming in component-based real-time systems Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ACM, 2014, <10.1145/2656045.2656048> |
||
|
hal-00798449v1
Communication dans un congrès
Swann Perarnau, Guillaume Huard. KRASH: Reproducible CPU Load Generation on Many-Core Machines IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2010, Atlanta, United States. 2010, <10.1109/IPDPS.2010.5470448> |
||
|
inria-00099072v1
Rapport
Olivier Bournez, Oded Maler. On the representation of timed polyhedra [Intern report] A00-R-079 || bournez00a, 2000 |
||
|
hal-00847827v1
Communication dans un congrès
Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jégourel, Axel Legay et al. Statistical Model Checking QoS properties of Systems with SBIP Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. Springer, 7609, pp.327-341, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_25> |
||
|
hal-00798452v1
Communication dans un congrès
Swann Perarnau, Guillaume Huard. KRASH: Reproducible CPU Load Generation on Many-Core Machines Proceedings of the 15th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, 2010, Bangalore, India. ACM, pp.327―328, 2010, PPoPP'10 |
||
|
inria-00000175v1
Rapport
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications [Research Report] PI 1730, 2005, pp.22 |
||
|
hal-00765226v1
Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al. Une introduction à la science informatique pour les enseignants de la discipline en lycée Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9 |
||
|
inria-00534336v1
Communication dans un congrès
Asma Tafat, Sylvain Boulmé, Claude Marché. A refinement methodology for object-oriented programs Bernhard Beckert and Claude Marché. Formal Verification of Object-Oriented Software, Jun 2010, Paris, France. Karlsruhe University, 2010-13, pp.143--159, 2010, Karlsruhe Reports in Informatics; Formal Verification of Object-Oriented Software, Papers Presented at the International Conference |
||
|
hal-01086874v1
Communication dans un congrès
Cristian Ene, Yassine Lakhnech, Van Chan Ngo. Formal Indistinguishability Extended to the Random Oracle Model ESORICS 2009, Sep 2009, St Malo, France. pp.555 - 570, 2009, <10.1007/978-3-642-04444-1_34> |
||
|
inria-00414793v1
Chapitre d'ouvrage
Apostolos Zarras, Christos Kloukinas, Valérie Issarny. Quality Analysis of Dependable Systems: A Developer Oriented Approach Lemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.197-218, 2003 |
||
|
inria-00466158v1
Rapport
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al. Statistical abstraction and model-checking of large heterogeneous systems [Research Report] RR-7238, INRIA. 2010 |
||
|
hal-01285579v1
Communication dans un congrès
Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. Monitoring Multi-Threaded Component-Based Systems 12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland. Proceedings of the 12th International Conference on integrated Formal Methods. <http://en.ru.is/ifm/> |
||
|
hal-01337140v1
Rapport
Julien Braine, Laure Gonnord, David Monniaux. Verifying Programs with Arrays and Lists [Intership report] ENS Lyon. 2016 |
||
|
hal-00953617v1
Communication dans un congrès
Nazha Abed, Stavros Tripakis, Jean-Marc Vincent. Systems Verification using Randomized Exploration of Large State Spaces SPIN, 2008, Los Angeles, 2008 |
||
|
hal-00387352v1
Communication dans un congrès
Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), 2007, Portugal. pp.121-135, 2009 |
||
|
hal-00955496v1
Rapport
Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi. A Unifying View of Loosely Time-Triggered Architectures [Research Report] RR-8494, INRIA. 2014, pp.14 |
||
|
inria-00360305v1
Rapport
Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots [Research Report] RR-6838, INRIA. 2009, pp.29 |
||
|
inria-00383351v1
Communication dans un congrès
Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques Chaintreau, Augustin and Magnien, Clemence. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. 2009 |
||
|
inria-00340805v1
Rapport
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communication Efficiency in Self-stabilizing Silent Protocols [Research Report] RR-6731, INRIA. 2008, pp.33 |
||
|
inria-00383349v1
Communication dans un congrès
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg. Quand le consensus est plus simple que la diffusion fiable Chaintreau, Augustin and Magnien, Clemence. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. 2009 |
||
|
hal-01131962v1
Communication dans un congrès
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. Springer, 9466, pp.183-199, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-26850-7_13> |
||
|
|
||