Filtrer vos résultats
- 62
- 19
- 61
- 11
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 79
- 2
- 1
- 25
- 24
- 1
- 4
- 3
- 4
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 5
- 3
- 5
- 5
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 2
- 1
- 77
- 3
- 1
- 40
- 31
- 22
- 13
- 8
- 7
- 6
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 81
- 14
- 14
- 12
- 12
- 10
- 8
- 8
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
81 résultats
|
|
AstréeA: A Static Analyzer for Large Embedded Multi-Task Software16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Jan 2015, Mumbai, India. pp.3
Communication dans un congrès
hal-01105235v1
|
||
|
|
The Octagon Abstract DomainOct 2001, pp.310-319
Communication dans un congrès
hal-00136664v1
|
||
|
|
Inferring functional properties of matrix manipulating programs by abstract interpretationFormal Methods in System Design, 2018, 53 (2), pp.221 - 258. ⟨10.1007/s10703-017-0311-x⟩
Article dans une revue
hal-01884695v1
|
||
|
|
Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.211-242
Communication dans un congrès
hal-03936718v2
|
||
|
|
Space Software Validation using Abstract InterpretationThe International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
Communication dans un congrès
inria-00528590v1
|
||
|
|
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference AbstractionsVerification, 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
|
||
|
|
Static Analysis by Abstract Interpretation of Sequential and Multi-Thread Programs10th School of Modelling and Verifying Parallel Processes, Dec 2012, Marseille, France
Communication dans un congrès
hal-00763076v1
|
||
|
|
Static Analysis and Verification of Aerospace Software by Abstract InterpretationFoundations and Trends in Programming Languages, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩
Article dans une revue
hal-01312241v1
|
||
|
|
A Multilanguage Static Analysis of Python Programs with Native C ExtensionsStatic Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Communication dans un congrès
hal-03313409v1
|
||
|
|
Analysis of Software Patches Using Numerical Abstract Interpretation26th International Symposium, Bor-Yuh Evan Chang, Oct 2019, Porto, Portugal. pp.225-246, ⟨10.1007/978-3-030-32304-2_12⟩
Communication dans un congrès
hal-02319259v1
|
||
|
|
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Jan 2015, Mumbai, India. pp.19, ⟨10.1007/978-3-662-46081-8_11⟩
Communication dans un congrès
hal-01105238v1
|
||
|
|
An Abstract Domain to Infer Octagonal Constraints with Absolute Value21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany. pp.18, ⟨10.1007/978-3-319-10936-7_7⟩
Communication dans un congrès
hal-01105217v1
|
||
|
|
Un solveur de contraintes basé sur les domaines abstraits9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
Communication dans un congrès
hal-00925430v1
|
||
|
|
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs23rd Static Analysis Symposium (SAS), Sep 2016, Edimbourg, United Kingdom. pp.257-277, ⟨10.1007/978-3-662-53413-7_13⟩
Communication dans un congrès
hal-01360556v1
|
||
Static Analysis by Abstract Interpretation of Embedded Critical Softwarethe 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
Communication dans un congrès
inria-00528632v1
|
|||
|
|
Inferring sufficient conditions with backward polyhedral under-approximationsNSAD'12 - 4th International Workshop on Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.12
Communication dans un congrès
hal-00748095v1
|
||
|
|
A Few Graph-Based Relational Numerical Abstract DomainsSep 2002, pp.117-132
Communication dans un congrès
hal-00136663v1
|
||
Finding All Potential Run-Time Errors and Data Races in Automotive SoftwareWCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
Communication dans un congrès
hal-01674831v1
|
|||
|
|
Perlin Textures in Real Time using OpenGL[Research Report] RR-3713, INRIA. 1999, pp.18
Rapport
inria-00072955v1
|
||
|
|
Value and Allocation Sensitivity in Static Python Analyses9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
Communication dans un congrès
hal-02876667v1
|
||
|
|
Analysis of Program Differences with Numerical Abstract InterpretationPERR 2019 - 3rd Workshop on Program Equivalence and Relational Reasoning, Apr 2019, Prague, Czech Republic
Communication dans un congrès
hal-02109517v1
|
||
|
|
BullsEye : Scalable and Accurate Approximation Framework for Cache Miss CalculationACM Transactions on Architecture and Code Optimization, 2023, 20 (1), pp.1-28. ⟨10.1145/3558003⟩
Article dans une revue
hal-03918318v1
|
||
|
|
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩
Communication dans un congrès
hal-03113053v1
|
||
|
|
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics softwareACM 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
|
||
|
|
The Octagon Abstract DomainHigher-Order and Symbolic Computation, 2006, 19, pp.31-100
Article dans une revue
hal-00136639v1
|
||
|
|
Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer ArithmeticsJun 2006, pp.54-63
Communication dans un congrès
hal-00136650v1
|
||
|
|
Abstract domains for bit-level machine integer and floating-point operationsWING'12 - 4th International Workshop on invariant Generation, Jun 2012, Manchester, United Kingdom. pp.16
Communication dans un congrès
hal-00748094v1
|
||
|
|
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)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
|
||
Static Analysis and Verification of Aerospace Software by Abstract InterpretationAmerican Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
Communication dans un congrès
inria-00528611v1
|
|||
L'analyseur statique AstréeJean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
Chapitre d'ouvrage
inria-00636877v1
|