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
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
MobSA
teaching
MPRI 2.6
master website
course notes
my materials
MPRI 2.19
master website
course notes
former lectures
projects
ANR DCore
SecurEval project (PEPR Sécurité des systèmes)
former projects
seminar
General Seminoar of the DIENS
hobbies
music
web series
theatre
Teaching
Past lectures
First Cycle:
Bachelor Frontiers of life Sciences (From 2011-2012 to 2016-2017)
Course of logic (12 hours, Bachelor 1st year)
Course materials
Course of linear algebra (18 hours, Bachelor 1st year)
Course materials
Jérôme Feret
, Last modified: 13 Feb 2025, 04:42:57 CET