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
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
The Octagon Abstract DomainOct 2001, pp.310-319
Communication dans un congrès
hal-00136664v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Combinations of Reusable Abstract Domains for a Multilingual Static AnalyzerVSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩
Communication dans un congrès
hal-02890500v1
|
||
|
|
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
|
||
|
|
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
|
||
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
|
|||
|
|
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
|
||
|
|
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
|
||
|
|
The Octagon Abstract DomainHigher-Order and Symbolic Computation, 2006, 19, pp.31-100
Article dans une revue
hal-00136639v1
|
||
|
|
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
|
||
|
|
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
|
||
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
|
|||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
A Static Analyzer for Large Safety-Critical Software2003, pp.196 - 207, ⟨10.1145/781131.781153⟩
Communication dans un congrès
hal-00128135v1
|