| 2024 | FedCSIS | An autonomous vehicle in a connected environment: case study of cyber-resilience. | Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj |
| 2023 | CONCUR | Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. | Clment Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault |
| 2023 | VECoS | Factorization of the State Space Construction for Cyclic Systems with Data. | Johan Arcile, Raymond Devillers, Hanna Klaudel |
| 2020 | DCAI | Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles. | Guillaume Hutzler, Hanna Klaudel, Abderrahmane Sali |
| 2017 | DCAI | Modeling and checking robustness of communicating autonomous vehicles. | Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak |
| 2017 | EUMAS | Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study. | Johan Arcile, Jrmy Sobieraj, Hanna Klaudel, Guillaume Hutzler |
| 2014 | ISSRE | Deadlock and Temporal Properties Analysis in Mixed Reality Applications. | Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile |
| 2014 | LATA | Interval Temporal Logic Semantics of Box Algebra. | Hanna Klaudel, Maciej Koutny, Zhenhua Duan |
| 2008 | ICTAC | Towards Efficient Verification of Systems with Dynamic Process Creation. | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau |
| 2008 | VR | MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. | Jean-Yves Didier, Bachir Djafri, Hanna Klaudel |
| 2006 | ICTAC | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2006 | ICTAC | A Petri Net Translation of | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2004 | FORTE | Petri Net Semantics of the Finite pi-Calculus. | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2004 | IFM | Object-Oriented Modelling with High-Level Modular Petri Nets. | Ccile Bui Thanh, Hanna Klaudel |
| 2000 | IFM | A Concurrent and Compositional Petri Net Semantics of Preemption. | Hanna Klaudel, Franck Pommereau |
| 1999 | PDPTA | Refinement-based Semantics of Parallel Procedures. | Hanna Klaudel, Robert-C. Riemann |
| 1997 | CONCUR | High Level Expressions with their SOS Semantics (Extended Abstract). | Hanna Klaudel, Robert-C. Riemann |
| 1995 | FCT | Communication as Unification in the Petri Box Calculus. | Hanna Klaudel, Elisabeth Pelz |