Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

62 résultats
Page :
triés par

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

 Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
American 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ée

 Julien Bertrane , Jérôme Feret , Patrick Cousot , Radhia Cousot , Antoine Miné , et al.
Jean-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
Image document

Recommendations on "Grey-Zone Publishers

 Frédéric Blanqui , Anne Canteaut , Hidde De Jong , Sébastien Imperiale , Nathalie Mitton , et al.
Inria. 2023, pp.1-3
Rapport hal-04201298v1
Image document

Space Software Validation using Abstract Interpretation

 Olivier Bouissou , Eric Conquet , Patrick Cousot , Radhia Cousot , Jérôme Feret , et al.
The 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
Image document

Sound Symbolic Execution via Abstract Interpretation and its Application to Security

 Ignacio Tiraboschi , Tamara Rezk , Xavier Rival
VMCAI 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
Image document

Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries

 Hugo Illous , Matthieu Lemerre , Xavier Rival
SAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States
Communication dans un congrès hal-03081558v1
Image document

An Abstract Domain to Infer Types over Zones in Spreadsheets

 Tie Cheng , Xavier Rival
SAS'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
Image document

Calling Context Abstraction with Shapes

 Xavier Rival , Bor-Yuh Evan Chang
POPL'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

Introduction to Static Analysis

 Xavier Rival , Kwangkeun Yi
MIT Press, 2020, 9780262043410
Ouvrages hal-02402597v1
Image document

Semantic-Directed Clumping of Disjunctive Abstract States *

 Huisong Li , François Bérenger , Bor-Yuh Evan Chang , Xavier Rival
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
Image document

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

 Yoonseok Ko , Xavier Rival , Sukyoung Ryu
APLAS 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

Static Analysis

 Xavier Rival
Springer, LNCS (9837), 2016, 978-3-662-53412-0. ⟨10.1007/978-3-662-53413-7⟩
Ouvrages hal-01388205v1

Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.

 Daniel Kästner , Christian Ferdinand , Steplan Wilhelm , Stefana Nenova , Olha Honcharova , et al.
Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany
Communication dans un congrès hal-00753732v1
Image document

Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

 Pascal Sotin , Xavier Rival
APLAS 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
Image document

Reduced Product Combination of Abstract Domains for Shapes

 Antoine Toubhans , Bor-Yuh Evan Chang , Xavier Rival
VMCAI 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

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

 Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
Mogensen, T. and Schmidt, D.A. and Sudborough, I.H. The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, 2566, Springer, pp.85-108, 2002, Lecture Notes in Computer Science, ⟨10.1007/3-540-36377-7_5⟩
Chapitre d'ouvrage istex inria-00528442v1
Image document

Recommandations sur les « éditeurs de la zone grise »

 Frédéric Blanqui , Anne Canteaut , Hidde de Jong , Sébastien Imperiale , Nathalie Mitton , et al.
Inria. 2023, pp.1-3
Rapport hal-04001505v1
Image document

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions

 Jiangchao Liu , Liqian Chen , Xavier Rival
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2311-2322
Article dans une revue hal-01963049v1

Combination of Abstractions in the ASTRÉE Static Analyzer

 Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , et al.
the 11th Annual Asian Computing Science Conference - ASIAN'06, Okada, Mitsu and Satoh, Ichir, Dec 2006, Tokyo, Japan. pp.272-300, ⟨10.1007/978-3-540-77505-8_23⟩
Communication dans un congrès inria-00528571v1
Image document

The ASTRÉE analyzer

 Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne , Antoine Miné , et al.
2005, pp.21, ⟨10.1007/b107380⟩
Communication dans un congrès hal-00084293v1
Image document

Modular Construction of Shape-Numeric Analyzers

 Bor-Yuh Evan Chang , Xavier Rival
Festschrift for Dave Schmidt, Sep 2013, Manhattan, Kansas, United States
Communication dans un congrès hal-00926948v1

Static Analysis for Spreadsheet Applications for Type-Unsafe Operations Detection

 Tie Cheng , Xavier Rival
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Communication dans un congrès hal-01098377v1

Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

 Kenneth Mcmillan , Xavier Rival
VMCAI (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
Image document

A Relational Shape Abstract Domain

 Hugo Illous , Matthieu Lemerre , Xavier Rival
NFM 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
Image document

Bilan de la mandature 2019-2023 de la Commission d'Évaluation Inria

 Anne Canteaut , Manuel Serrano , Céline Grandmont , Guillaume Pallez , Vincent Perrier , et al.
Inria. 2023
Rapport hal-04193082v1
Image document

Abstraction of Arrays Based on Non Contiguous Partitions

 Jiangchao Liu , Xavier Rival
15th 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
Image document

On Correctness of Automatic Differentiation for Non-Differentiable Functions

 Wonyeol Lee , Hangyeol Yu , Xavier Rival , Hongseok Yang
NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
Communication dans un congrès hal-03081582v1

Separating Shape Graphs

 Vincent Laviron , Bor-Yuh Evan Chang , Xavier Rival
19th European Symposium on Programming - ESOP 2010, Andrew Gordon, Mar 2010, Paphos, Cyprus. pp.387-406
Communication dans un congrès inria-00539548v1
Image document

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

 Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
Foundations and Trends in Programming Languages, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩
Article dans une revue hal-01312241v1
Image document

Construction of Abstract Domains for Heterogeneous Properties (Position Paper)

 Xavier Rival , Antoine Toubhans , Bor-Yuh Evan Chang
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
Page :