| 2024 | FedCSIS | An autonomous vehicle in a connected environment: case study of cyber-resilience. | Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj |
| 2018 | IROS | ASPiC: An Acting System Based on Skill Petri Net Composition. | Charles Lesire, Franck Pommereau |
| 2017 | EuroPar | Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA Architectures. | Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau, Nicolas Le Goff |
| 2012 | ISPDC | A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2012 | PDCAT | A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2012 | PDP | Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2011 | APLAS | Towards a Certified Petri Net Model-Checker. | Lukasz Fronc, Franck Pommereau |
| 2008 | ICTAC | Towards Efficient Verification of Systems with Dynamic Process Creation. | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau |
| 2004 | ICCS | Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. | Franck Pommereau |
| 2000 | IFM | A Concurrent and Compositional Petri Net Semantics of Preemption. | Hanna Klaudel, Franck Pommereau |