Lukasz Fronc

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Venues

CoRR

Infinity

PNSE+ModPE

ABZ (Case Study)

University of Évry Val d'Essonne, France (PHD)

Education History

University of Évry Val d'Essonne, France

PHD

Publications

Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. CoRR (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. FORMATS (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. ABZ (Case Study) (2014)
Lukasz Fronc, Alexandre Duret-Lutz
LTL Model Checking with Neco. ATVA (2013)
Lukasz Fronc, Franck Pommereau
Building Petri Nets Tools around Neco Compiler. PNSE+ModPE (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Lukasz Fronc
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation Infinity (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Lukasz Fronc, Franck Pommereau
Towards a Certified Petri Net Model-Checker. APLAS (2011)

Lukasz Fronc.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lukasz Fronc