Posts 1-10 of 53

SNAKES: a Flexible High-Level Petri Nets Library

2015-06-01

Franck Pommereau. Proceedings of PETRI NETS'15, LNCS 9115, Springer

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

2014-02-12

Frédéric Gava, Franck Pommereau, Michaël Guedj. The Journal of Supercomputing, Springer

Modular mu-calculus model-checking with formula-dependent hierarchical abstractions

2014-01-01

Yves-Stan Le Cornec, Franck Pommereau. Proceedings of ACSD'14, IEEE

Formal modelling and analysis of distributed storage systems

2014-01-01

Jordan de la Houssaye, Franck Pommereau, Philippe Deniel. IBISC, University of Évry

Model Checking Contest at Petri Nets 2013

2013-09-01

Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Łukasz 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 (edt.)

Building Petri nets tools around Neco compiler

2013-06-01

Łukasz Fronc, Franck Pommereau. Proceedings of PNSE'13

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

2012-12-01

Frédéric Gava, Michaël Guedj, Franck Pommereau. Proceedings of PDCAT'12, IEEE Computer Society

Raw Report on the Model Checking Contest at Petri Nets 2012

2012-09-01

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Łukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel and Karsten Wolf (edt.)

A BSP algorithm for on-the-fly checking LTL formulas on security protocols

2012-06-01

Frédéric Gava, Michaël Guedj, Franck Pommereau. Proceedings of ISPDC'12, IEEE Computer Society

Integrated Regulatory Networks (IRNs): spatially organized biochemical modules

2012-05-01

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau. Theoretical Computer Science 431, Elsevier