| 2026 | GPCE | Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote). | Georgiana Caltais |
| 2025 | IFM | Concurrency Under Control: Systematic Analysis of SDN Races Hazards. | Georgiana Caltais, Andrei Covaci, Hossein Hojjat |
| 2022 | FOSSACS | DyNetKAT: An Algebra of Dynamic Networks. | Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hnkar Can Tun |
| 2022 | TASE | A Language-Based Causal Model for Safety. | Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hnkar Can Tun |
| 2020 | MODELSWARD | Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. | Georgiana Caltais, Stefan Leue, Hargurbir Singh |
| 2013 | APLAS | Brzozowski's and Up-To Algorithms for Must Testing. | Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva |
| 2011 | CALCO | PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2009 | CALCO | CIRC: A Behavioral Verification Tool Based on Circular Coinduction. | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
| 2009 | SYNASC | Simplification and Generalization in CIRC. | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu |
| 2008 | SYNASC | A Rewrite Stack Machine for ROC!. | Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras |