home
contact
venue
research fields
forthcoming events
curriculum vitæ
short CV
long CV
cv court
cv long
social networks
Linkedin
ResearchGate
publications
by topic
Static analysis of mobile systems
Static analysis of biological systems
Static analysis of critical embedded software
online bibliographies
DBLP
Google Scholar
HAL - INRIA
Microsoft Academic Search
PubMed
social networks
Linkedin
ResearchGate
online talks
Microsoft Research
August 2007
How does ASTRÉE deals with digital filters?
(65 minutes)
INRIA Paris-Rocquencourt
April 2015
Réduction de modèles de voies de signalisation intracellulaire
(37 minutes)
ENS
Octobre 2015
Réduction de modèles de voies de signalisation intracellulaire
(52 minutes)
Imperial College
April 2016
An overview of the ASTRÉE/ASTRÉEA static analyzer
(45 minutes)
software
Astrée
OpenKappa
teaching
L3 ENS
AIRE Master
MPRI 2.6
master website
course notes
MPRI 2.19
master website
course notes
former lectures
projects
DCore
former projects
seminar
General Seminoar of the DIENS
hobbies
music
web series
theatre
I can be found in the offices of the project-team
Abstraction
:
Project-team Abstraction
DI - École Normale Supérieure
45, rue d'Ulm
75 230 Paris Cedex 05 --- France
on the second floor on the left, stairs of the direction.
Jérôme Feret
, Last modified: 21 Nov 2022, 16:56:08 CET