Filtrer vos résultats
- 38
- 24
- 39
- 10
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 62
- 3
- 1
- 7
- 1
- 2
- 6
- 1
- 2
- 6
- 3
- 8
- 5
- 2
- 2
- 2
- 5
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 56
- 5
- 1
- 29
- 26
- 26
- 10
- 5
- 5
- 4
- 4
- 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
- 62
- 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
- 1
- 1
- 1
- 1
- 1
62 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
|
||
|
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⟩
Communication dans un congrès
hal-03942146v1
|
||
|
Interprocedural Shape Analysis Using Separation Logic-based Transformer SummariesSAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States
Communication dans un congrès
hal-03081558v1
|
||
|
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⟩
Communication dans un congrès
hal-00760421v1
|
||
|
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⟩
Communication dans un congrès
hal-00760424v1
|
||
|
Recommendations on "Grey-Zone PublishersInria. 2023, pp.1-3
Rapport
hal-04201298v1
|
||
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
|
|||
|
Static AnalysisSpringer, LNCS (9837), 2016, 978-3-662-53412-0. ⟨10.1007/978-3-662-53413-7⟩
Ouvrages
hal-01388205v1
|
||
Introduction to Static AnalysisMIT Press, 2020, 9780262043410
Ouvrages
hal-02402597v1
|
|||
|
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript ObjectsAPLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Nov 2017, Suzhou, China. pp.148-168, ⟨10.1007/978-3-319-71237-6_8⟩
Communication dans un congrès
hal-01648680v1
|
||
|
Reduced Product Combination of Abstract Domains for ShapesVMCAI 2013 : 14th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2013, Rome, Italy. pp.375-395, ⟨10.1007/978-3-642-35873-9_23⟩
Communication dans un congrès
hal-00760428v1
|
||
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany
Communication dans un congrès
hal-00753732v1
|
|||
|
Hierarchical Shape Abstraction of Dynamic Structures in Static BlocksAPLAS 2012 - Asian Conference on Programming Languages And Software, Dec 2012, Kyoto, Japan. pp.131-147, ⟨10.1007/978-3-642-35182-2_10⟩
Communication dans un congrès
hal-00760427v1
|
||
|
Semantic-Directed Clumping of Disjunctive Abstract States *POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩
Communication dans un congrès
hal-01648679v1
|
||
|
On Correctness of Automatic Differentiation for Non-Differentiable FunctionsNeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
Communication dans un congrès
hal-03081582v1
|
||
Separating Shape Graphs19th European Symposium on Programming - ESOP 2010, Andrew Gordon, Mar 2010, Paphos, Cyprus. pp.387-406
Communication dans un congrès
inria-00539548v1
|
|||
|
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)Leveraging Applications of Formal Methods, Verification and Validation. (ISOLA), Oct 2014, Corfu, Greece. pp.489 - 492, ⟨10.1007/978-3-662-45231-8_40⟩
Communication dans un congrès
hal-01095977v1
|
||
|
Abstraction of Arrays Based on Non Contiguous Partitions15th Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. pp.282 - 299, ⟨10.1007/978-3-662-46081-8_16⟩
Communication dans un congrès
hal-01095985v1
|
||
|
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ProceedingsVMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. 8318, Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. ⟨10.1007/978-3-642-54013-4⟩
Proceedings/Recueil des communications
hal-01095535v1
|
||
|
A Relational Shape Abstract DomainNFM 2017 - 9th NASA Formal Methods Symposium, Apr 2017, Moffett Field, United States. pp.212-229, ⟨10.1007/978-3-319-57288-8_15⟩
Communication dans un congrès
hal-01648681v1
|
||
|
Bilan de la mandature 2019-2023 de la Commission d'Évaluation InriaInria. 2023
Rapport
hal-04193082v1
|
||
|
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
|
||
|
Indicateurs de suivi de l'activité scientifique de l'Inria[Rapport de recherche] Inria. 2020
Rapport
hal-03033764v1
|
||
|
No crash, no exploit: Automated verification of embedded KernelsRTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States
Communication dans un congrès
hal-03538067v1
|
||
|
A relational shape abstract domainFormal Methods in System Design, 2021, ⟨10.1007/s10703-021-00366-4⟩
Article dans une revue
hal-03538097v2
|
||
|
Weakly Sensitive Analysis for JavaScript Object-Manipulating ProgramsSoftware: Practice and Experience, 2019, ⟨10.1002/spe⟩
Article dans une revue
hal-02399944v1
|
||
Experiments with Finite Tree Automata in Coq14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Sep 2001, Edinburgh, United Kingdom. pp.362-377
Communication dans un congrès
hal-03206071v1
|
|||
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⟩
Communication dans un congrès
hal-01256116v1
|
|||
|
Lightweight Shape Analysis based on Physical TypesVMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2022, Philadelphia, United States
Communication dans un congrès
hal-03538088v1
|