 |
 |
|
|
|
|---|---|---|
|
hal-00150145v1
Communication dans un congrès
Peter Habermehl, Radu Iosif, Tomas Vojnar. Automata-Based Verification of Programs with Tree Updates International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2006, Vienne, Austria. Springer Verlag, pp.350-364, 2006 |
||
|
hal-00818306v2
Pré-publication, Document de travail
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier. Stochastic Cellular Automata: Correlations, Decidability and Simulations 2013 |
||
|
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 |
||
|
hal-00369812v3
Pré-publication, Document de travail
Eugene Asarin, Aldric Degorre. Volume and entropy of regular timed languages 27 pages. Two papers based on this work will appear at Concur'09 and Formats'09. 2009 |
||
|
hal-00944502v1
Communication dans un congrès
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier. Intrinsic Simulations between Stochastic Cellular Automata 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224, 2012 |
||
|
hal-01446363v1
Direction d'ouvrage, Proceedings
Ahmed Bouajjani, David Monniaux. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan 2017, Paris, France. 10145, Springer, 2017, 978-3-319-52233-3. <10.1007/978-3-319-52234-0> |
||
|
hal-00265499v1
Communication dans un congrès
Nicolas Trotignon, Benjamin Lévêque, David Y. Lin, Frédéric Maffray. Detecting induced subgraphs EUROCOMB'07, 2007, Seville, Spain. 29, pp.207--211, 2007 |
||
|
hal-00344193v4
Pré-publication, Document de travail
Ajoy Datta, Stéphane Devismes, Florian Horn, Lawrence Larmore. Self-stabilizing K-out-of-L exclusion on tree network 15 pages. 2008 |
||
|
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-00110454v1
Communication dans un congrès
Aurore Collomb-Annichini, Mihaela Sighireanu. Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX Paul Pattersson and Sergio Yovine. Proceedings of the Real-Time Tools Workshop (RT TOOLS'01), Aug 2001, Aalborg, Denmark. pp.1-20, 2001, TR 2001-014 |
||
|
hal-00110460v1
Communication dans un congrès
Aurore Collomb-Annichini, Ahmed Bouajjani, Mihaela Sighireanu. TReX: A Tool for Reachability Analysis of Complex Systems G. Berry and H. Common and A. Finkel. Jul 2001, Springer-Verlag, pp.368-372, 2001, serie LNCS 2102 |
||
|
hal-00157338v1
Article dans une revue
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler. Scheduling with Timed Automata Theoretical Computer Science, Elsevier, 2006, 354 (2), pp.272-300. <10.1016/j.tcs.2005.11.018> |
||
|
hal-00157340v1
Article dans une revue
Eugene Asarin, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability Theoretical Computer Science, Elsevier, 2007, 379 (1-2), pp.231-265. <10.1016/j.tcs.2007.03.055> |
||
|
hal-00172768v2
Article dans une revue
Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools Theoretical Computer Science, Elsevier, 2007, Accepted, To appear. Manuscript Number: TCS-D-07-00065R1 |
||
|
hal-00281754v1
Article dans une revue
Eugène Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine. Algorithmic analysis of polygonal hybrid systems. Part II: Phase Portrait and Tools Theoretical Computer Science, Elsevier, 2008, pp.1-26 |
||
|
inria-00072755v1
Rapport
Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus [Research Report] RR-3899, INRIA. 2000 |
||
|
hal-00454388v2
Pré-publication, Document de travail
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea. Algorithms For Extracting Timeliness Graphs 2010 |
||
|
hal-00019877v1
Communication dans un congrès
Karine Altisen, Patricia Bouyer, Thierry Cachat, Franck Cassez, Guillaume Gardey. Introduction au contrôle des systèmes temps-réel Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), 2005, Autrans, France. Hermès, pp.367-380, 2005 |
||
|
hal-00859086v1
Article dans une revue
Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry. Optimal routing for end-to-end guarantees using Network Calculus Journal Performance Evaluation, 2008, 65 (11-12), pp.Pages 883-906. <10.1016/j.peva.2008.04.008> |
||
|
inria-00214235v2
Rapport
Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry. Optimal routing for end-to-end guarantees using Network Calculus [Research Report] RR-6423, INRIA. 2008, pp.20 |
||
|
hal-00558070v1
Communication dans un congrès
Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecny, Tomas Vojnar. Automatic Verification of Integer Array Programs Ahmed Bouajjani and Oded Maler. Computer Aided Verification, 21st International Conference, CAV 2009, Jun 2009, Grenoble, France. Springer, 5643, pp.157-172, 2009, LNCS. <10.1007/978-3-642-02658-4_15> |
||
|
hal-00157551v1
Communication dans un congrès
Eugene Asarin, Thao Dang. Abstraction by Projection and Application to Multi-affine Systems Hybrid Systems: Computation and Control, 7th International Workshop, 2004, Philadelphia, United States. Springer, pp.32-47, 2004, Lecture Notes in Computer Science 2993. <10.1007/b96398> |
||
|
hal-00157566v1
Communication dans un congrès
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert. Some Progress in Satisfiability Checking for Difference Logic Yassine Lakhnech and SergioYovine. Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, 2004, Grenoble, France. Springer, pp.263-276, 2004, Lecture Notes in Computer Science 3253. <10.1007/b100824> |
||
|
hal-01418925v1
Communication dans un congrès
Peter Habermehl, Radu Iosif, Tomas Vojnar. Automata-based Verification of Programs with Tree Updates 12th. International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2006), Mar 2006, Vienne, Austria. Springer, Lecture Notes in Computer Science, 3920, pp.350-364, 2006, Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. <10.1007/11691372_23> |
||
|
hal-01418881v1
Communication dans un congrès
Radu Iosif, Arnaud Sangnier. How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? 14th International Symposium on Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. Springer, Lecture Notes in Computer Science, 9938, pp.89-105, 2016, Automated Technology for Verification and Analysis. 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. <10.1007/978-3-319-46520-3_6> |
||
|
hal-01418914v1
Communication dans un congrès
Peter Habermehl, Radu Iosif, Tomáš Vojnar. What Else Is Decidable about Integer Arrays? Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Mar 2008, Budapest, Hungary. Foundations of Software Science and Computational Structures. <10.1007/978-3-540-78499-9_33> |
||
|
hal-01418919v1
Communication dans un congrès
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro et al. Programs with Lists are Counter Automata 18th International Conference on Computer Aided Verification (CAV 2006), Aug 2006, Seattle, WA, United States. Springer, Lecture Notes in Computer Science, 4144, pp.517-531, Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. <10.1007/11817963_47> |
||
|
hal-01418909v1
Communication dans un congrès
Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konečny, Tomáš Vojnar. Automatic Verification of Integer Array Programs 21st International Conference on Computer Aided Verification (CAV 2009), Jun 2009, Grenoble, France. pp.157 - 172, 2009, Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. <10.1007/978-3-642-02658-4_15> |
||
|
hal-01418915v1
Communication dans un congrès
Peter Habermehl, Radu Iosif, Tomáš Vojnar. A Logic of Singly Indexed Arrays Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008,, Nov 2008, Doha, Qatar. Lecture Notes in Computer Science, Logic for Programming, Artificial Intelligence, and Reasoning. <10.1007/978-3-540-89439-1_39> |
||
|
hal-01418916v1
Communication dans un congrès
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar. Proving Termination of Tree Manipulating Programs 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Oct 2007, Tokyo, Japan. Springer, Lecture Notes in Computer Science, 4762, pp.145-161, Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. <10.1007/978-3-540-75596-8_12> |
||
|
|
|
