| 2025 | ICTAC | Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -. | Antoine Girard |
| 2023 | IPIN | Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment. | Raphal Neymann, Alexis Berthou, Jean-Franois Jourdas, Hugo Lhachemi, Christophe Prieur, Antoine Girard |
| 2013 | SENSYS | Robust Controlled Invariance for UFAD Regulation. | Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant |
| 2012 | ATVA | Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. | Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard |
| 2011 | CAV | SpaceEx: Scalable Verification of Hybrid Systems. | Goran Frehse, Colas Le Guernic, Alexandre Donz, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
| 2009 | CAV | Reachability Analysis of Hybrid Systems Using Support Functions. | Colas Le Guernic, Antoine Girard |
| 2006 | EMSOFT | Time-triggered implementations of dynamic controllers. | Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard |
| 2005 | RTSS | Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. | Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur |