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

Abstract Acceleration in Linear relation analysis (extended version)

 Laure Gonnord , Peter Schrammel
2013
Rapport hal-00787212v1
Image document

Static analysis by abstract interpretation of functional properties of device drivers in TinyOS

 Abdelraouf Ouadjaout , Antoine Miné , Noureddine Lasla , Nadjib Badache
Journal of Systems and Software, 2016, 120, pp.114--132. ⟨10.1016/j.jss.2016.07.030⟩
Article dans une revue hal-01350646v1
Image document

Towards Verified Stochastic Variational Inference for Probabilistic Programs

 Wonyeol Lee , Hangyeol Yu , Xavier Rival , Hongseok Yang
Proceedings of the ACM on Programming Languages, In press, 16, ⟨10.1145/3371084⟩
Article dans une revue hal-02399922v1
Image document

Static analysis by abstract interpretation of functional temporal properties of programs

 Caterina Urban
Other [cs.OH]. Ecole normale supérieure - ENS PARIS, 2015. English. ⟨NNT : 2015ENSU0017⟩
Thèse tel-01176641v2
Image document

Inference of ranking functions for proving temporal properties by abstract interpretation

 Caterina Urban , Antoine Miné
Computer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.10.001⟩
Article dans une revue hal-01312239v1
Image document

Relational thread-modular static value analysis by abstract interpretation

 Antoine Miné
VMCAI 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
Image document

Varieties of Static Analyzers: A Comparison with ASTRÉE

 Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne , Antoine Miné , et al.
First 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
Image document

Ambiguity Detection for Programming Language Grammars

 Bas Basten
Computation and Language [cs.CL]. Universiteit van Amsterdam, 2011. English. ⟨NNT : ⟩
Thèse tel-00644079v1
Image document

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android

 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
IEEE Transactions on Software Engineering, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
Article dans une revue hal-01055656v1
Image document

Dioïdes et idéaux de polynômes en analyse statique

 Arnaud Jobin
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0004⟩
Thèse tel-00881301v1
Image document

Analyse de la complexité des programmes par interprétation sémantique

 Romain Pechoux
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français. ⟨NNT : 2007INPL084N⟩
Thèse tel-01752904v2
Image document

Analyse de programmes malveillants par abstraction de comportements

 Philippe Beaucamps
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
Thèse tel-01751072v1
Image document

Highlight and execute suspicious paths in Android malware

 Mourad Leslous
Cryptography and Security [cs.CR]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S090⟩
Thèse tel-02132759v1
Image document

Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version

 Philippe Beaucamps , Isabelle Gnaedig , Jean-Yves Marion
[Research Report] 2011
Rapport inria-00594396v1
Image document

Modular termination of C programs

 Guillaume Andrieu , Christophe Alias , Laure Gonnord
[Research Report] RR-8166, INRIA. 2012
Rapport hal-00760917v2
Image document

Development and verification of arbitrary-precision integer arithmetic libraries

 Raphaël Rieu
Computer Arithmetic. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG023⟩
Thèse tel-03032942v1

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses

 Omar Chebaro , Pascal Cuoq , Nikolai Kosmatov , Bruno Marre , Anne Pacalet , et al.
Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
Article dans une revue hal-00818147v1
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

 Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier , et al.
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Communication dans un congrès hal-01590442v1

On Characterizing the Data Access Complexity of Programs

 Venmugil Elango , Fabrice Rastello , Louis-Noël Pouchet , Jagannathan Ramanujam , Ponnuswamy Sadayappan
42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Jan 2015, Mumbai, India. pp.567-580
Communication dans un congrès hal-01104556v1
Image document

A Confinement Criterion for Securely Executing Mobile Code

 Hervé Grall
Journal of Automata Languages and Combinatorics, 2006, 1 (11), pp.59-106
Article dans une revue hal-00484906v1
Page :