Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

52 résultats
Page :
triés par
Image document

Étude formelle de l'implémentation du code des impôts

 Denis Merigoux , Raphaël Monat , Christophe Gaie
JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès hal-02320347v3
Image document

Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints

 Ting Zhao , Dongming Wang , Hoon Hong , Philippe Aubry
27th Annual ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Trento, Italy. pp.94-101, ⟨10.1145/2245276.2245297⟩
Communication dans un congrès hal-00683596v1

Mathemagix

 Joris van der Hoeven , Grégoire Lecerf , Bernard Mourrain , Philippe Trebuchet , Jérémy Berthomieu , et al.
ACM Communications in Computer Algebra, 2012, 45 (3/4), pp.186-188. ⟨10.1145/2110170.2110180⟩
Article dans une revue hal-02350521v1
Image document

Médiation en sciences du numériques : un levier pour comprendre notre quotidien ?

 Sylvie Alayrangues , Gilles Dowek , Erwan Kerrien , Jean Mairesse , Thierry Viéville
Science & You, Jun 2015, Nancy, France
Communication dans un congrès hal-01211457v2
Image document

Data Streams as Random Permutations: the Distinct Element Problem

 Ahmed Helmi , Jérémie Lumbroso , Conrado Martínez , Alfredo Viola
23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12), Jun 2012, Montreal, Canada. pp.323-338, ⟨10.46298/dmtcs.3002⟩
Communication dans un congrès hal-01197221v1
Image document

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

 Raphaël Monat , Marco Milanese , Francesco Parolini , Jérôme Boillot , Abdelraouf Ouadjaout , et al.
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩
Communication dans un congrès hal-04536418v1
Image document

Distances on Lozenge Tilings

 Olivier Bodini , Thomas Fernique , Éric Rémila
DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, Sep 2009, Montreal, Canada. pp.240-251, ⟨10.1007/978-3-642-04397-0_21⟩
Communication dans un congrès hal-00432218v1
Image document

Exactly Solvable Balanced Tenable Urns with Random Entries via the Analytic Methodology

 Basile Morcrette , Hosam M. Mahmoud
23rd International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'12), Jun 2012, Montreal, Canada. pp.219--232, ⟨10.46298/dmtcs.2996⟩
Communication dans un congrès hal-00719639v1
Image document

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions

 Raphaël Monat , Antoine Miné
Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Jan 2017, Paris, France. pp.386-404, ⟨10.1007/978-3-319-52234-0_21⟩
Communication dans un congrès hal-01490178v1
Image document

Unification des couleurs dans un lambda-calcul polychrome

 Bernard P. Serpette , Pascal Manoury , Emmanuel Chailloux
Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Communication dans un congrès hal-00918944v1
Image document

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

 Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
Foundations and Trends in Programming Languages, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩
Article dans une revue hal-01312241v1
Image document

On the sub-additivity of stochastic matching

 Pascal Moyal , Ana Busic , Jean Mairesse
2023
Pré-publication, Document de travail hal-04088419v1
Image document

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Communication dans un congrès hal-04077678v1
Image document

Philippe Flajolet, the Father of Analytic Combinatorics

 Bruno Salvy , Bob Sedgewick , Michèle Soria , Wojtek Szpankowski , Brigitte Vallée
23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.1-2, ⟨10.46298/dmtcs.2966⟩
Communication dans un congrès hal-01336772v1
Image document

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software

 Antoine Miné , David Delmas
ACM SIGBED International Conference on Embedded Software (EMSOFT), Oct 2015, Amsterdam, Netherlands. pp.65-74, ⟨10.1109/EMSOFT.2015.7318261⟩
Communication dans un congrès hal-01312246v1
Image document

Boltzmann Sampling of Unlabelled Structures

 Philippe Flajolet , Eric Fusy , Carine Pivoteau
Workshop on Analytic Algorithmics and Combinatorics, Jan 2007, New Orleans, United States. pp.201-211, ⟨10.1137/1.9781611972979.5⟩
Communication dans un congrès hal-00782866v1
Image document

Unconstraint global polynomial optimization via Gradient Ideal

 Marta Abril Bucero , Bernard Mourrain , Philippe Trébuchet
2013
Pré-publication, Document de travail hal-00779666v3
Image document

Toric Border Basis

 Bernard Mourrain , Philippe Trebuchet
ISSAC'14 - International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.343-350, ⟨10.1145/2608628.2608652⟩
Communication dans un congrès hal-00994683v1

Loynes construction for the extended bipartite matching

 Pascal Moyal , Ana Bušić , Jean Mairesse
2018
Pré-publication, Document de travail hal-01968565v1
Image document

Stochastic Flips on Two-letter Words

 Olivier Bodini , Thomas Fernique , Damien Regnault
ANALCO 2010 - 7th Workshop on Analytic Algorithmics and Combinatorics, Jan 2010, Austin, TX, United States. pp.48-55, ⟨10.1137/1.9781611973006.7⟩
Communication dans un congrès hal-00436516v1
Image document

Séparation des couleurs dans un lambda-calcul bichrome

 Emmanuel Chailloux , Bernard P. Serpette
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Communication dans un congrès hal-00665958v1
Image document

Fully Analyzing an Algebraic Polya Urn Model

 Basile Morcrette
LATIN 2012 : 10th Latin American Theoretical INformatics Symposium, Apr 2012, Arequipa, Peru. pp.568-581, ⟨10.1007/978-3-642-29344-3_48⟩
Communication dans un congrès hal-00675936v1
Image document

Programming microcontrollers through high-level abstractions: The OMicroB project

 Steven Varoumas , Basile Pesin , Benoît Vaugon , Emmanuel Chailloux
Journal of Computer Languages, 2023, 77, pp.101228. ⟨10.1016/j.cola.2023.101228⟩
Article dans une revue hal-04279767v1
Image document

Moment Matrices, Border Bases and Real Radical Computation

 Jean-Bernard Lasserre , Monique Laurent , Bernard Mourrain , Philipp Rostalski , Philippe Trébuchet
Journal of Symbolic Computation, 2013, 51, pp.63-85. ⟨10.1016/j.jsc.2012.03.007⟩
Article dans une revue hal-00651759v1
Image document

Low Cost High Integrity Platform

 Thierry Lecomte , David Déharbe , Denis Sabatier , Etienne Prun , Patrick Péronne , et al.
ERTS 2020 - 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France
Communication dans un congrès hal-02446132v1

Reversibility and further properties of FCFS infinite bipartite matching

 Ivo Adan , Ana Bušić , Jean Mairesse , Gideon Weiss
Mathematics of Operations Research, 2018, 43 (2), pp.347-692. ⟨10.1287/moor.2017.0874⟩
Article dans une revue hal-01273897v1

HTML5 VIDEO portable avec Hop

 Manuel Serrano , Christian Queinnec
GNU/Linux Magazine, 2010, 129, pp.92-98
Article dans une revue hal-00498507v1

A simplified multi-tiers semantics for Hop

 Manuel Serrano , Christian Queinnec
Higher-Order and Symbolic Computation, 2010, pp.1-23. ⟨10.1007/s10990-010-9061-9⟩
Article dans une revue hal-00498502v1
Image document

A Modern Compiler for the French Tax Code

 Denis Merigoux , Raphaël Monat , Jonathan Protzenko
CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.71-82, ⟨10.1145/3446804.3446850⟩
Communication dans un congrès hal-03002266v3
Image document

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models

 Thibault Suzanne , Antoine Miné
SAS 2016 - 23rd Static Analysis Symposium, Sep 2016, Edinburgh, United Kingdom. pp.469-488, ⟨10.1007/978-3-662-53413-7_23⟩
Communication dans un congrès hal-01360566v1
Page :