Filter your results
- 35
- 24
- 37
- 9
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 59
- 3
- 1
- 4
- 1
- 2
- 6
- 1
- 2
- 6
- 3
- 8
- 5
- 2
- 2
- 2
- 5
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 53
- 5
- 1
- 26
- 26
- 26
- 10
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 59
- 14
- 13
- 12
- 10
- 10
- 8
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
59 Results
|
|
sorted by
|
Desynchronized Multi-State Abstractions for Open Programs in Dynamic LanguagesEuropean Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Conference papers
hal-01098379v1
|
|||
Abstract Domains and Solvers for Sets Reasoning20th International Conference, LPAR-20, Nov 2015, Suva, Fiji. ⟨10.1007/978-3-662-48899-7_25⟩
Conference papers
hal-01256309v1
|
|||
|
Abstraction de traces en analyse statique et transformation de programmes.Informatique [cs]. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩
Theses
pastel-00001914v1
|
||
Static Analysis by Abstract Interpretation of Embedded Critical Softwarethe 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
Conference papers
inria-00528632v1
|
|||
|
An array content static analysis based on non-contiguous partitionsComputer Languages, Systems and Structures, 2017, 47 (1), pp.104-129. ⟨10.1016/j.cl.2016.01.005⟩
Journal articles
hal-01399837v1
|
||
|
Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap AbstractionSOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩
Conference papers
hal-01648682v1
|
||
|
Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Conference papers
hal-01271552v1
|
||
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⟩
Conference papers
hal-01674831v1
|
|||
Astree: Proving the Absence of Runtime ErrorsEmbedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
Conference papers
inria-00528600v1
|
|||
|
A Static Analyzer for Large Safety-Critical Software2003, pp.196 - 207, ⟨10.1145/781131.781153⟩
Conference papers
hal-00128135v1
|
||
|
Automatic Analysis of Open Objects in Dynamic Language Programs21st Static Analysis Symposium (SAS), Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_9⟩
Conference papers
hal-01095955v1
|
||
|
An Abstract Domain Combinator for Separately Conjoining Memory AbstractionsStatic Analysis Symposium, Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_18⟩
Conference papers
hal-01095934v1
|
||
|
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⟩
Conference papers
hal-00154031v1
|
||
|
Synthesizing Short-Circuiting Validation of Data Structure Invariants2015
Preprints, Working Papers, ...
hal-01256324v1
|
||
|
Concrete Memory Models for Shape AnalysisNSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩
Conference papers
hal-00786330v1
|
||
Verification, Model Checking, and Abstract InterpretationKenneth McMillan and Xavier Rival. Springer, 8318, pp.493, 2014, 978-3-642-54012-7
Books
hal-00931694v1
|
|||
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⟩
Journal articles
istex
inria-00528582v1
|
|||
|
A Theoretical Foundation of Sensitivity in an Abstract Interpretation FrameworkACM Transactions on Programming Languages and Systems (TOPLAS), 2018, 40 (3), pp.1-44. ⟨10.1145/3230624⟩
Journal articles
hal-01963069v1
|
||
State Of the Art in Program AnalysisACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩
Books
hal-01388271v1
|
|||
|
Towards Verified Stochastic Variational Inference for Probabilistic ProgramsProceedings of the ACM on Programming Languages, In press, 16, ⟨10.1145/3371084⟩
Journal articles
hal-02399922v1
|
||
|
Shape AnalysisFoundations and Trends in Programming Languages, 2020, 6 (1–2), pp.1-158. ⟨10.1561/2500000037⟩
Journal articles
hal-03081617v1
|
||
|
An Abstract Domain to Infer Types over Zones in SpreadsheetsSAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. pp.94-110, ⟨10.1007/978-3-642-33125-1_9⟩
Conference papers
hal-00760424v1
|
||
|
Calling Context Abstraction with ShapesPOPL'11 - 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages 2011, Jan 2011, Austin, United States. pp.173-186, ⟨10.1145/1925844.1926406⟩
Conference papers
hal-00760421v1
|
||
|
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
Conference papers
inria-00528590v1
|
||
|
Interprocedural Shape Analysis Using Separation Logic-based Transformer SummariesSAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States
Conference papers
hal-03081558v1
|
||
|
Sound Symbolic Execution via Abstract Interpretation and its Application to SecurityVMCAI 2023 - 24th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston, MA, United States. pp.267-295, ⟨10.1007/978-3-031-24950-1_13⟩
Conference papers
hal-03942146v1
|
||
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
Book sections
inria-00636877v1
|
|||
Static Analysis and Verification of Aerospace Software by Abstract InterpretationAmerican Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
Conference papers
inria-00528611v1
|
|||
|
Recommendations on "Grey-Zone PublishersInria. 2023, pp.1-3
Reports
hal-04201298v1
|
||
Abstraction of Optional Numerical ValuesAPLAS 2015 - 13th Asian Symposium on Programming Languages and Systems, Nov 2015, Pohang, South Korea. pp.146-166, ⟨10.1007/978-3-319-26529-2_9⟩
Conference papers
hal-01256116v1
|
- 1
- 2