Lukasz Fronc

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.
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).
PhD thesis, 2013

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

LTL Model Checking with Neco.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Building Petri Nets Tools around Neco Compiler.
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
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
CoRR, 2012

2011
Towards a Certified Petri Net Model-Checker.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011


  Loading...