Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Bertrand Jeannet | Researchclopedia

Back to researchers

Bertrand Jeannet

Dassault Systèmes (France)

55

Works

1,564

Citations

18

h-index

32

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques

Affiliations

Institut national de recherche en informatique et en automatique2002–2014

Institut de Recherche en Informatique et Systèmes Aléatoires2002–2010

Centre Inria de l'Université Grenoble Alpes2009–2014

Laboratoire d'Informatique de Grenoble2009–2012

Centre de Recherche en Informatique2000–2000

Top Works

Apron: A Library of Numerical Abstract Domains for Static Analysis

Bertrand Jeannet,Antoine Miné

2009446 citations

Embedded Systems Design Techniques

Software Reliability and Analysis Research

Reachability Analysis of Probabilistic Systems by Successive Refinements

Pedro R. D’Argenio,Bertrand Jeannet,et al.

2001154 citations

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

Bertrand Jeannet

200384 citations

UPPAAL - Now, Next, and Future

Tobias Amnell,Gerd Behrmann,et al.

200166 citations

Symbolic Test Selection Based on Approximate Analysis

Bertrand Jeannet,Thierry Jéron,et al.

200566 citations

Reduction and Refinement Strategies for Probabilistic Analysis

Pedro R. D’Argenio,Bertrand Jeannet,et al.

200262 citations

Dynamic Partitioning in Analyses of Numerical Properties

Bertrand Jeannet,Nicolas Halbwachs,et al.

199962 citations

Reduction and Refinement Strategies for Probabilistic Analyses

P.R. d' Argenio,Bertrand Jeannet,et al.

200259 citations

Abstract acceleration of general linear loops

Bertrand Jeannet,Peter Schrammel,et al.

201456 citations