| 2024 | SEFM | Validating Traces of Distributed Programs Against TLA | Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz |
| 2023 | IFM | Extending PlusCal for Modeling Distributed Algorithms. | Horatiu Cirstea, Stephan Merz |
| 2023 | SYNASC | Generic Encodings and Static Analysis of Constructor Rewriting Systems. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2021 | PPDP | Static analysis of pattern-free properties. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2020 | LOPSTR | Pattern Eliminating Transformations. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2019 | PPDP | Generic Encodings of Constructor Rewriting Systems. | Horatiu Cirstea, Pierre-Etienne Moreau |
| 2015 | SYNASC | Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frdric Zamkotsian, Horatiu Cirstea |
| 2011 | PPDP | Symbolic analysis of network security policies using rewrite systems. | Tony Bourdier, Horatiu Cirstea |
| 2003 | POPL | Pure patterns type systems. | Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
| 2001 | FOSSACS | The Rho Cube. | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
| 2001 | PADL | Specifying Authentication Protocols Using Rewriting and Strategies. | Horatiu Cirstea |