| 2026 | FOSSACS | Synthesising Asynchronous Automata from Fair Specifications. | Batrice Brard, Benjamin Monmege, B. Srivathsan, Arnab Sur |
| 2020 | FOSSACS | Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. | Batrice Brard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2018 | CSL | Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. | Batrice Brard, Patricia Bouyer, Vincent Jug |
| 2014 | LATA | Channel Synthesis Revisited. | Batrice Brard, Olivier Carton |
| 2013 | ECOOP | Semi-automatic controller design of Java-like models. | Yan Zhang, Batrice Brard, Lom-Messan Hillah, Yann Thierry-Mieg |
| 2012 | CONCUR | Concurrent Games on VASS with Inhibition. | Batrice Brard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
| 2010 | TIME | Real Time Properties for Interrupt Timed Automata. | Batrice Brard, Serge Haddad, Mathieu Sassolas |
| 2009 | FOSSACS | Interrupt Timed Automata. | Batrice Brard, Serge Haddad |
| 2006 | ATVA | Timed Temporal Logics for Abstracting Transient States. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2005 | ATVA | Comparison of Different Semantics for Time Petri Nets. | Batrice Brard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
| 2005 | CONCUR | A New Modality for Almost Everywhere Properties in Timed Automata. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2000 | FOSSACS | Verifying Performance Equivalence for Timed Basic Parallel Processes. | Batrice Brard, Anne Labroue, Philippe Schnoebelen |
| 1999 | CAV | Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. | Batrice Brard, Laurent Fribourg |
| 1999 | CONCUR | Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic. | Batrice Brard, Laurent Fribourg |
| 1997 | MFCS | Accepting Zeno Words Without Making Time Stand Still. | Batrice Brard, Claudine Picaronny |
| 1996 | STACS | On the Power of Non-Observable Actions in Timed Automata. | Batrice Brard, Paul Gastin, Antoine Petit |