Thomas Genet

Publications

177

Citations

H-Index

2003

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Université de Rennes

Institut national de recherche en sciences et technologies du numérique

École Normale Supérieure Paris-Saclay

Thomas Genet is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningCryptographyVerificationHardware SecuritySoftware AnalysisInformation Security

Publications per year

2003–2020

Publications

Reachability Analysis over Term Rewriting Systems

Guillaume Feuillade, Thomas Genet, Val�rie Viet Triem Tong · Journal of Automated Reasoning · 2004 · 84 citations

Software Maintenance, Engineering, Reachability Problem +10

A Short SPAN+AVISPA Tutorial

Thomas Genet · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 28 citations · Full text

Artificial Intelligence, Intelligent Information Processing, Engineering +20

Equational approximations for tree automata completion

Thomas Genet, Vlad Rusu · Journal of Symbolic Computation · 2010 · 25 citations

Tree Language, Engineering, Automated Reasoning +5

Using Animation to Improve Formal Specifications of Security Protocols

Yohan Boichut, Thomas Genet · 2008 · 16 citations

Engineering, Information Security, Improve Formal Specifications +16

Termination of Ethereum’s Smart Contracts

Thomas Genet, Thomas Jensen, Justine Sauvage · 2020 · 14 citations

Rows per page

1–5 of 6