Discrete Parameters in Petri Nets. - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (Petri Nets, 2015)

Modelling Social-Technical Attacks with Timed Automata. - Nicolas David 002; Alexandre David; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Christian W. Probst (MIST@CCS, 2015)

Discrete Parameters in Petri Nets (Informal Presentation). - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (SynCoP, 2015)

Coverability Synthesis in Parametric Petri Nets. - Nicolas David 002; Claude Jard; Didier Lime; Olivier H. Roux (CONCUR, 2017)

Discrete Parameters in Petri Nets. (Réseaux de Petri à Paramètres Discrets). - Nicolas David 002 (2017)