Skip to content

Research facility · founded 2012

VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

Villers-lès-Nancy, France · team.inria.fr/veridis

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 248
Works, last 5 years: 97
h-index: 24
Scientists listed: 1
Grants since 2016: 0

Strongest research topics

Formal Methods in Verification263Computer Science
Logic, programming, and type systems239Computer Science
Logic, Reasoning, and Knowledge89Computer Science
Polynomial and algebraic computation52Computer Science
Model-Driven Software Engineering Techniques40Computer Science
semigroups and automata theory33Computer Science

Most cited scientists, last five years

Horatiu CirsteaVERIDIS: Modeling and Verification of Distributed Algorithms and Systems · FranceComputer Science4citations, 5 yrs5works, 5 yrs16h-index