Filtrer vos résultats
- 61
- 19
- 60
- 11
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 78
- 2
- 1
- 25
- 24
- 4
- 3
- 4
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 5
- 3
- 5
- 5
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 2
- 1
- 76
- 3
- 1
- 40
- 31
- 21
- 13
- 8
- 6
- 6
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 80
- 14
- 13
- 12
- 12
- 10
- 8
- 7
- 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
80 résultats
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Perlin Textures in Real Time using OpenGL[Research Report] RR-3713, INRIA. 1999, pp.18
Rapport
inria-00072955v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
A Static Analyzer for Large Safety-Critical Software2003, pp.196 - 207, ⟨10.1145/781131.781153⟩
Communication dans un congrès
hal-00128135v1
|
||
|
Sound Abstract Nonexploitability Analysis2023
Pré-publication, Document de travail
hal-04268105v1
|
||
|
Modular static analysis of string manipulations in C programsSAS 2018, Aug 2018, Freiburg im Breisgau, Germany
Communication dans un congrès
hal-01884772v1
|
||
|
Static analysis by abstract interpretation of functional properties of device drivers in TinyOSJournal of Systems and Software, 2016, 120, pp.114--132. ⟨10.1016/j.jss.2016.07.030⟩
Article dans une revue
hal-01350646v1
|
||
|
Relational thread-modular static value analysis by abstract interpretationVMCAI 2014 - 15th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2014, San Diego, United States. pp.39-58, ⟨10.1007/978-3-642-54013-4_3⟩
Communication dans un congrès
hal-00925713v1
|
||
|
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory ModelsSAS 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
|
||
|
Numerical Static Analysis of Interrupt-Driven Programs via SequentializationEMSOFT 2015 - International Conference on Embedded Software, Oct 2015, Amsterdam, Netherlands. pp.55-64, ⟨10.1109/EMSOFT.2015.7318260⟩
Communication dans un congrès
hal-01312248v1
|
||
Astree: Proving the Absence of Runtime ErrorsEmbedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
Communication dans un congrès
inria-00528600v1
|
|||
|
Varieties of Static Analyzers: A Comparison with ASTRÉEFirst Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), Jun 2007, Shanghai, China. pp.3-20, ⟨10.1109/TASE.2007.55⟩
Communication dans un congrès
hal-00154031v1
|
||
Why does Astrée scale up?Formal Methods in System Design, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩
Article dans une revue
istex
inria-00528582v1
|