Induction for Termination
Isabelle Gnaedig
,
Hélène Kirchner
,
Thomas Genet
[Intern report] 99-R-338 || gnaedig99a, 1999, pp.21
Rapport
inria-00098943v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Yohan Boichut
,
Benoît Boyer
,
Thomas Genet
,
Axel Legay
[Technical Report] 2010
Rapport
inria-00501487v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Towards Static Analysis of Functional Programs using Tree Automata Completion
Thomas Genet
[Research Report] 2013, pp.15
Rapport
hal-00921814v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures
Théo Losekoot
,
Thomas Genet
,
Thomas Jensen
FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction , Jun 2023, Rome, Italy. pp.1-21,
⟨10.4230/LIPIcs.FSCD.2023.7⟩
Communication dans un congrès
hal-04216680v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks
Olivier Heen
,
Gilles Guette
,
Thomas Genet
Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks , 2009, Belgium. pp.1-11
Communication dans un congrès
hal-00780724v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Towards Static Analysis of Functional Programs Using Tree Automata Completion
Thomas Genet
Communication dans un congrès
hal-01089993v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Vers un outil de vérification formelle légere pour OCaml
Thomas Genet
,
Barbara Kordy
,
Amaury Vansyngel
AFADL , 2015, Bordeaux, France. pp.6
Communication dans un congrès
hal-01194538v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Using Animation to Improve Formal Specifications of Security Protocols
Yohan Boichut
,
Thomas Genet
,
Olivier Heen
,
Yann Glouche
The 2nd National Conference on Security in Network Architectures and Information Systems , 2007, France
Communication dans un congrès
hal-00468718v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Termination of Ethereum’s Smart Contracts
Thomas Genet
,
Thomas Jensen
,
Justine Sauvage
SECRYPT 2020 - 17th International Conference on Security and Cryptography , Jul 2020, Lieusaint - Paris / Virtual, France. pp.39-51,
⟨10.5220/0009564100390051⟩
Communication dans un congrès
hal-03122008v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Automata and Equations based Approximations for Reachability Analysis
Thomas Genet
WRLA 2018 - 12th International Workshop on Rewriting Logic and its Applications , Apr 2018, Thessalonique, Greece. pp.1
Communication dans un congrès
hal-01775202v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Decidable Approximations of Sets of Descendants and Sets of Normal Forms - extended version
Thomas Genet
[Research Report] RR-3325, INRIA. 1997, pp.28
Rapport
inria-00073364v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Thomas Genet
9th Conference on Rewriting Techniques and Applications , 1998, Tsukuba, Japan, pp.151-165
Communication dans un congrès
inria-00098700v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Tree Automata Completion for Static Analysis of Functional Programs
Thomas Genet
,
Yann Salmon
2013
Rapport
hal-00780124v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates
Amrit Kumar
,
Pierre-Alain Fouque
,
Thomas Genet
,
Mehdi Tibouchi
2012
Pré-publication, Document de travail
hal-00715726v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation
Thomas Genet
,
Valérie Viet Triem Tong
[Research Report] RR-4576, INRIA. 2002
Rapport
inria-00072012v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A completion algorithm for lattice tree automata
Thomas Genet
,
Tristan Le Gall
,
Axel Legay
,
Valérie Murat
CIAA 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⟩
Communication dans un congrès
istex
cea-01834984v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Reachability Analysis of Innermost Rewriting
Thomas Genet
,
Yann Salmon
[Research Report] 2013
Rapport
hal-00848260v5
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Termination of Ethereum's Smart Contracts
Thomas Genet
,
Thomas Jensen
,
Justine Sauvage
[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020
Rapport
hal-02555738v3
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Reachability analysis of rewriting for software verification
Thomas Genet
Software Engineering [cs.SE]. Université Rennes 1, 2009
HDR
tel-00477013v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Note on the Precision of the Tree Automata Completion
Thomas Genet
[Research Report] IRISA. 2014, pp.13
Rapport
hal-01091393v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Verifying Temporal Regular properties of Abstractions of Term Rewriting Systems
Benoît Boyer
,
Thomas Genet
RULE'09 , 2009, France. pp.99-108
Communication dans un congrès
hal-00780491v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Contraintes d'ordre et automates d'arbres pour les preuves de terminaison
Thomas Genet
Thèse
tel-01747412v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Reachability Analysis of Innermost Rewriting
Thomas Genet
,
Yann Salmon
Rewriting Techniques and Applications 2015 , 2015, Warshaw, Poland
Communication dans un congrès
hal-01194530v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
SPAN+AVISPA for Verifying Cryptographic Protocols
Thomas Genet
2017
Autre publication scientifique
hal-01532086v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Certifying a Tree Automata Completion Checker
Benoît Boyer
,
Thomas Genet
,
Thomas Jensen
[Research Report] RR-6462, INRIA. 2008, pp.26
Rapport
inria-00258275v3
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'information
Radoniaina Andriatsimandefitra Ratsisahanana
,
Thomas Genet
,
Laurent Guillo
,
Jean-François Lalande
,
David Pichardie
,
et al.
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information , May 2015, Troyes, France
Communication dans un congrès
hal-01154368v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Termination criteria for tree automata completion
Thomas Genet
Article dans une revue
hal-01194533v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A Short SPAN+AVISPA Tutorial
Thomas Genet
[Research Report] IRISA. 2015
Rapport
hal-01213074v5
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Termination Proofs Using gpo Ordering Constraints : Extended Version
Thomas Genet
,
Isabelle Gnaedig
[Research Report] RR-3087, INRIA. 1997, pp.37
Rapport
inria-00073604v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Rewriting for Cryptographic Protocol Verification - Extended Version
Thomas Genet
,
Francis Klay
[Research Report] RR-3921, INRIA. 2000
Rapport
inria-00072731v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More