Filter your results
- 107
- 22
- 19
- 11
- 3
- 2
- 1
- 1
- 1
- 1
- 40
- 28
- 20
- 20
- 18
- 17
- 13
- 10
- 10
- 9
- 9
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 160
- 5
- 1
- 168
- 168
- 11
- 10
- 7
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 168
- 166
- 124
- 45
- 39
- 32
- 21
- 19
- 16
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 9
- 9
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 156
- 12
- 138
- 30
- 18
- 26
- 27
- 22
- 22
- 13
- 22
- 15
- 1
- 1
- 1
|
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩
Conference papers
hal-01093327v1
|
||
|
Negation for Free![Research Report] RR-7749, INRIA. 2011, pp.16
Reports
inria-00629657v1
|
||
|
An Extended Buffered Memory Model With Full ReorderingsFtFjp - Ecoop workshop, Jul 2016, Rome, Italy. pp.1 - 6, ⟨10.1145/2955811.2955816⟩
Conference papers
hal-01379514v1
|
||
|
HOCore in CoqVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers
hal-01099130v1
|
||
|
Improving static analyses of C programs with conditional predicatesScience of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩
Journal articles
hal-01242077v1
|
||
|
A Non-Null Annotation Inferencer for Java BytecodePASTE: Program analysis for software tools and engineering, Nov 2008, Atlanta, Georgia, United States. pp.10.1145/1512475.1512484, ⟨10.1145/1512475.1512484⟩
Conference papers
inria-00504006v1
|
||
|
Sawja: Static Analysis Workshop for JavaThe International Conference on Formal Verification of Object-Oriented Software, Beckert, Bernhard and Marché, Claude, 2010, Paris, France. pp.253--267
Conference papers
inria-00504047v1
|
||
|
Modeling and Abstraction of Memory Management in a HypervisorFundamental Approaches to Software Engineering (FASE’16), Apr 2016, Eindhoven, Netherlands. pp.214 - 230, ⟨10.1007/978-3-662-49665-7_13⟩
Conference papers
hal-01394174v1
|
||
|
A Trusted Mechanised JavaScript SpecificationPOPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Conference papers
hal-00910135v1
|
||
|
Symbolic Path-Oriented Test Data Generation for Floating-Point ProgramsProc. of the 6th IEEE Int. Conf. on Software Testing, Verification and Validation (ICST'13), Mar 2013, Luxembourg, Luxembourg
Conference papers
hal-00807884v1
|
||
|
Enforcing Secure Object Initialization in Java15th European Symposium on Research in Computer Security (ESORICS), 2010, Athènes, Greece. pp.101-115
Conference papers
inria-00503953v1
|
||
|
A formally-verified C static analyzerPOPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.247-259, ⟨10.1145/2676726.2676966⟩
Conference papers
hal-01078386v1
|
||
|
Certified Result Checking for Polyhedral Analysis of Bytecode ProgramsThe 5th International Symposium on Trustworthy Global Computing (TGC), 2010, Munich, Germany
Conference papers
inria-00537816v1
|
||
|
Verifying Resource Access Control on Mobile Interactive DevicesJournal of Computer Security, 2010, 18 (6), pp.971-998
Journal articles
inria-00537821v1
|
||
|
Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation[Research Report] RR-6681, INRIA. 2009
Reports
inria-00328154v3
|
||
|
Tree Automata Completion for Static Analysis of Functional Programs2013
Reports
hal-00780124v2
|
||
|
Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates2012
Preprints, Working Papers, ...
hal-00715726v1
|
||
|
Fast inference of polynomial invariants for imperative programs[Research Report] RR-7627, INRIA. 2011, pp.31
Reports
inria-00595783v1
|
||
|
A Note on the Precision of the Tree Automata Completion[Research Report] IRISA. 2014, pp.13
Reports
hal-01091393v1
|
||
Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. ProceedingsSandrine Blazy; Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2
Proceedings
hal-01194558v1
|
|||
|
Hybrid Typing of Secure Information Flow in a JavaScript-like LanguageInternational Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Conference papers
hal-01243029v1
|
||
|
Reachability Analysis of Innermost Rewriting[Research Report] 2013
Reports
hal-00848260v5
|
||
Formal verification of compilers and static analyzers.PLMW@POPL 2015 - Programming Languages Mentoring Workshop, Jan 2015, Mumbai, India
Conference papers
hal-01242094v1
|
|||
|
Validating Dominator Trees for a Fast, Verified Dominance TestInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_6⟩
Conference papers
hal-01193281v1
|
||
|
A Probabilistic Framework for Security Scenarios with Dependent ActionsIntegrated Formal Methods, Sep 2014, Bertinoro, Italy. pp.256 - 271, ⟨10.1007/978-3-319-10181-1_16⟩
Conference papers
hal-01093276v1
|
||
|
Certified semantics and analysis of JavaScriptProgramming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S087⟩
Theses
tel-01478722v1
|
||
|
Formal Verification of Control-flow Graph FlatteningCertified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩
Conference papers
hal-01242063v1
|
||
Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. ProceedingsSandrine Blazy and Marsha Chechik. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Jul 2016, Toronto, Canada. 9971, Springer, 2016, Lecture Notes in Computer Science
Proceedings
hal-01387207v1
|
|||
A completion algorithm for lattice tree automataCIAA 2013 - 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, NS, Canada. pp.134-145, ⟨10.1007/978-3-642-39274-0_13⟩
Conference papers
istex
cea-01834984v1
|
|||
|
An Abstract Memory Functor for Verified C Static AnalyzersACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Sep 2016, Nara, Japan. pp.14, ⟨10.1145/2951913.2951937⟩
Conference papers
hal-01339969v1
|