Lukasz Fronc

According to our database, Lukasz Fronc authored at least 9 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

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

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

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

PhD thesis, 2013

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

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

CoRR, 2013

LTL Model Checking with Neco.

Lukasz Fronc, Alexandre Duret-Lutz

Proceedings of the Automated Technology for Verification and Analysis, 2013

Building Petri Nets Tools around Neco Compiler.

Lukasz Fronc, Franck Pommereau

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Effective Marking Equivalence Checking in Systems with Dynamic Process Creation

Lukasz Fronc

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

Raw Report on the Model Checking Contest at Petri Nets 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

CoRR, 2012

2011

Towards a Certified Petri Net Model-Checker.

Lukasz Fronc, Franck Pommereau

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011