ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Laure Petrucci

Registered user since Wed 22 Aug 2018

Name: Laure Petrucci

Bio: I am Full Professor since 2003 at the Networks and Telecommunications department of the Technology Institute of Villetaneuse, Université Paris 13. I am a member of the LoVe (Logics and Verification) group of the Computer Science Laboratory of Paris North (LIPN), and more specifically part of the specification and verification research theme.

My area of expertise is formal specification and verification of concurrent systems so as to guarantee their appropriate behaviour, using automata or Petri nets models, as well as parametric models. In order to tackle the well-known state space explosion problem, the research I develop exploits modularity in the models, proposes distributed approaches, and algorithms for parameter synthesis.

Country: France

Affiliation: Université Paris 13

Personal website: https://lipn.univ-paris13.fr/~petrucci/index_uk.html

Research interests: Formal specification and verification, parametric model checking, parallel model-checking

Contributions

SynCoP 2019Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track
Organizing Committee in Organizing Committee within the SynCoP-track
Author of Pruning NDFS for Parametric Timed Automata within the SynCoP-track
TACAS 2019Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track
ETAPS 2019Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track
Show activities from other conferences

ETAPS 2019-profile
View general profile