Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Laboratoire d’Informatique de Paris-Nord
A204, Institut Galilée
99 avenue Jean-Baptiste Clément
The Inverse Method (2013, co-authored by Romain Soulat) now available from ISTE and Wiley & Sons.
I am an associate professor (
maître de conférences) with LIPN in the University Paris 13, working in the Logic, Computation and Reasoning team, more specifically in the research axis. specification and verification
Keywords: model checking, Verification, distributed and concurrent systems, Timed systems, Parametric Timed Automata, Parameter synthesis.
ANR PACS ( ) (2014−2018) Parametric Analyses of Concurrent Systems
CosyVerif (2012−) Completed
PRDC 2017 ,
ICOST 2017 ,
ICFEM 2017 2016
ASE 2016 tool demo ,
ICFEM 2016 ,
ESSS 2016 2015
ESSS 2015 (PC chair),
SynCoP 2015 ,
ICOST 2015 ,
PRDC 2015 (+ workshop chair),
ICFEM 2015 ,
FTSCS 2015 ,
ACOMP 2015 ,
FOR-MOVES 2015 (+ publicity chair),
ICECCS 2015 doctoral symposium 2014
FSFMA 2014 ,
ESSS 2014 (PC chair),
SynCoP 2014 (PC chair),
ICECCS 2014 ,
PRDC 2014 ,
ACOMP 2014 ,
FOR-MOVES 2014 2013
ESSS 2013 (PhD session chair),
ACOMP 2013 Software development
Louis Fippo Fitime (2017−)
I have been a research fellow (post-doc) in Prof.
’s team in the Dong Jin Song (董劲松) National University of Singapore. I have been working, and keep collaborating, with the PAT model checker team. Ph.D. thesis
I wrote my Ph.D. thesis in the
Laboratoire Spécification et Vérification, ENS Cachan, France of the École Normale Supérieure de Cachan, France under the supervision of and Laurent Fribourg . Emmanuelle Encrenaz
An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems [PDF . ]
Lazy? A version of my thesis readable in 5 secondes is available here
(another version is there). Misc
list of conferences in formal methods.
list of journals in formal methods.
I attend as often as possible the
MeFoSyLoMa seminary (Formal Methods for Software and Hardware).
I am very proud that my
ha-index is 78.