Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

154 résultats
keyword_s : Static analysis
Page :
triés par
Image document

Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions

 Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord , Clément Quinson
[Research Report] 2009, pp.31
Rapport inria-00434037v1
Image document

Static Analysis of Semantic Web Queries with ShEx Schema Constraints

 Abdullah Abbas
Web. Université Grenoble - Alpes, 2017. English. ⟨NNT : ⟩
Thèse tel-01673074v1
Image document

Cell morphing: from array programs to array-free Horn clauses

 David Monniaux , Laure Gonnord
23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom
Communication dans un congrès hal-01206882v3
Image document

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

 Julien Braine , Laure Gonnord , David Monniaux
SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
Communication dans un congrès hal-03321868v1
Image document

Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle

 Étienne Duris
Informatique [cs]. Université d'Orléans, 1998. Français. ⟨NNT : ⟩
Thèse tel-00620486v1
Image document

A structural model for WCET estimation of Simple Out-of-Order Superscalar Processor

 Robin Schmutz , Karine Brifault , François Bodin
[Research Report] 2006
Rapport inria-00092905v1
Image document

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android

 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
[Research Report] hal-00700074, SnT. 2012
Rapport hal-00700074v2
Image document

Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH

 Julien Jaeger , Emmanuelle Saillard , Patrick Carribault , Denis Barthou
European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. ⟨10.1145/1235⟩
Communication dans un congrès hal-01252321v1

A scalable algebraic method to infer quadratic invariants of switched systems

 Xavier Allamigeon , Stéphane Gaubert , Eric Goubault , Sylvie Putot , Nikolas Stott
ACM Transactions on Embedded Computing Systems (TECS), 2016, Special Issue on ESWEEK2015, 15 (4), ⟨10.1145/2932187⟩
Article dans une revue hal-01423744v1
Image document

Efficient Static Analysis of XML Paths and Types

 Pierre Genevès , Nabil Layaïda , Alan Schmitt
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩
Communication dans un congrès hal-00189123v1
Image document

Verifying constant-time implementations in a verified compilation toolchain

 Alix Trieu
Cryptography and Security [cs.CR]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S099⟩
Thèse tel-01944510v3
Image document

Contrôle de flux d'information par utilisation conjointe d'analyse statique et dynamique accélérée matériellement

 Mounir Nasr Allah
Cryptographie et sécurité [cs.CR]. CentraleSupélec, 2020. Français. ⟨NNT : 2020CSUP0007⟩
Thèse tel-03350458v1
Image document

Static analysis of functional programs with an application to the frame problem in deductive verification

 Oana Fabiana Andreescu
Other [cs.OH]. Université de Rennes, 2017. English. ⟨NNT : 2017REN1S047⟩
Thèse tel-01677897v2
Image document

Dynamic Attribute Grammars

 Didier Parigot , Gilles Roussel , Martin Jourdan , Étienne Duris
[Research Report] RR-2881, INRIA. 1996
Rapport inria-00073810v1
Image document

A Non-Null Annotation Inferencer for Java Bytecode

 Laurent Hubert
PASTE: Program analysis for software tools and engineering, Nov 2008, Atlanta, Georgia, United States. pp.10.1145/1512475.1512484, ⟨10.1145/1512475.1512484⟩
Communication dans un congrès inria-00504006v1
Image document

A formally-verified C static analyzer

 Jacques-Henri Jourdan , Vincent Laporte , Sandrine Blazy , Xavier Leroy , David Pichardie
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.247-259, ⟨10.1145/2676726.2676966⟩
Communication dans un congrès hal-01078386v1

Rank: a tool to check program termination and computational complexity

 Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Communication dans un congrès hal-00801571v1
Image document

Tree Automata Completion for Static Analysis of Functional Programs

 Thomas Genet , Yann Salmon
2013
Rapport hal-00780124v2
Image document

The Design and Implementation of an Abstract Interpreter for OCaml Programs

 Benoît Montagu
ML Family 2023 - Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop, Sep 2023, Seattle, Washington, United States. pp.1-4
Communication dans un congrès hal-04259875v1
Image document

Improving static analyses of C programs with conditional predicates

 Sandrine Blazy , David Bühler , Boris Yakobowski
Science of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩
Article dans une revue hal-01242077v1
Image document

PARCOACH Extension for a Full-Interprocedural Collectives Verification

 Pierre Huchant , Emmanuelle Saillard , Denis Barthou , Hugo Brunie , Patrick Carribault
Second International Workshop on Software Correctness for HPC Applications, Nov 2018, Dallas, United States
Communication dans un congrès hal-01937316v1
Image document

On Adopting Linters to Deal with Performance Concerns in Android Apps

 Sarra Habchi , Xavier Blanc , Romain Rouvoy
ASE18 - Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, Sep 2018, Montpellier, France. ⟨10.1145/3238147.3238197⟩
Communication dans un congrès hal-01829135v1
Image document

Sur l'analyse statique des requêtes SPARQL avec la logique modale

 Nicola Guido
Web. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM059⟩
Thèse tel-01250984v2
Image document

Logics for XML

 Pierre Genevès
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English. ⟨NNT : ⟩
Thèse tel-00133591v3
Image document

Static Analyses for Manipulations of Hierarchically Structured Data

 Alan Schmitt
Software Engineering [cs.SE]. Université de Grenoble, 2011
HDR tel-00637917v1
Image document

Logico-Numerical Verification Methods for Discrete and Hybrid Systems

 Peter Schrammel
Numerical Analysis [cs.NA]. Université de Grenoble, 2012. English. ⟨NNT : 2012GRENM082⟩
Thèse tel-00809357v1
Image document

Automated verification of systems code using type-based memory abstractions

 Olivier Nicole
Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE021⟩
Thèse tel-03962643v2
Image document

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel

 Baptiste Lepers , Josselin Giet , Julia Lawall , Willy Zwaenepoel
EuroSys 2023 : Eighteenth European Conference on Computer Systems, May 2023, Rome, Italy. pp.33-45, ⟨10.1145/3552326.3567504⟩
Communication dans un congrès hal-04109096v1
Image document

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections

 Patrick Cousot , Radhia Cousot , Logozzo Francesco
Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11), Jan 2011, Austin, Texas, United States
Communication dans un congrès inria-00543881v1

Static Analysis by Abstract Interpretation of Embedded Critical Software

 Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , et al.
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
Communication dans un congrès inria-00528632v1
Page :