Lukasz Fronc

Effective Marking Equivalence Checking in Systems with Dynamic Process Creation

Lukasz Fronc, Lukasz Fronc, 2013, Infinity.

Model Checking Contest @ Petri Nets, Report on the 2013 edition pdf

Fabrice Kordon, Christian Rohr, Marco Beccuti, 2013, ArXiv.

Raw Report on the Model Checking Contest at Petri Nets 2012 pdf

Fabrice Kordon, Sami Evangelista, Christian Rohr, 2012, ArXiv.

Web Report on the Model Checking Contest @ Petri Net 2013

Fabrice Kordon, Christian Rohr, Niels Lohmann, 2013 .

Compilation de réseaux de Petri : modèles haut niveau et symétries de processus. (Compilation of Petri nets : high-level models and process symmetries)

Lukasz Fronc, Lukasz Fronc, 2013 .

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, 2014, ABZ.