Concepedia

Bertrand Jeannet

BJ

Statistics

Publications

15

Citations

422

H-Index

13

Active since

2000

Affiliations

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

Centre Inria de l'Université Grenoble Alpes

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

University of Oxford

Laboratoire d'Informatique de Grenoble

Bertrand Jeannet is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

2000–2016

15

Publications

15

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

Bertrand Jeannet · Formal Methods in System Design · 2003 · 84 citations

Reduction and Refinement Strategies for Probabilistic Analyses

P.R. d' Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen et al. · 2002 · 59 citations

, , +2

Abstract acceleration of general linear loops

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan · 2014 · 56 citations · Full text

, , +10

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation

T. Le Gall, Bertrand Jeannet, Hervé Marchand · 2006 · 36 citations

, , +10

A relational approach to interprocedural shape analysis

Bertrand Jeannet, Thomas Reps, Mooly Sagiv · ACM Transactions on Programming Languages and Systems · 2010 · 33 citations · Full text

, , +27

1–5 of 15