| 2026 | CONCUR | Active Diagnosis with Costs and Rewards. | Serge Haddad, Engel Lefaucheux, Stefan Schwoon |
| 2023 | CONCUR | About Decisiveness of Dynamic Probabilistic Models. | Alain Finkel, Serge Haddad, Lina Ye |
| 2021 | ATVA | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2020 | FOSSACS | Minimal Coverability Tree Construction Made Complete and Efficient. | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
| 2020 | LATA | Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. | Susanna Donatelli, Serge Haddad |
| 2017 | CONCUR | Unbounded Product-Form Petri Nets. | Patricia Bouyer, Serge Haddad, Vincent Jug |
| 2016 | CONCUR | Diagnosis in Infinite-State Probabilistic Systems. | Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |
| 2016 | LATA | Accurate Approximate Diagnosability of Stochastic Systems. | Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |
| 2016 | TACAS | Approaching the Coverability Problem Continuously. | Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad |
| 2016 | VECoS | Exact and Approximate Diagnosis of Probabilistic Systems. | Serge Haddad |
| 2015 | VECoS | State Space Reduction Strategie for Model Checking Concurrent C Programs. | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |
| 2014 | FOSSACS | Active Diagnosis for Probabilistic Systems. | Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loc Hlout |
| 2012 | CONCUR | Concurrent Games on VASS with Inhibition. | Batrice Brard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
| 2012 | LICS | The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. | Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen |
| 2012 | TACAS | Coupling and Importance Sampling for Statistical Model Checking. | Benot Barbot, Serge Haddad, Claudine Picaronny |
| 2011 | FOSSACS | Ordinal Theory for Expressiveness of Well Structured Transition Systems. | Rmi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo |
| 2010 | ISCC | Response time of BPEL4WS constructors. | Serge Haddad, Lynda Mokdad, Samir Youcef |
| 2010 | TIME | Real Time Properties for Interrupt Timed Automata. | Batrice Brard, Serge Haddad, Mathieu Sassolas |
| 2009 | DSN | Parametric NdRFT for the derivation of optimal repair strategies. | Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad |
| 2009 | FOSSACS | Interrupt Timed Automata. | Batrice Brard, Serge Haddad |
| 2007 | ATVA | Continuous Petri Nets: Expressive Power and Decidability Issues. | Laura Recalde, Serge Haddad, Manuel Silva Surez |
| 2007 | FORTE | Transactional Reduction of Component Compositions. | Serge Haddad, Pascal Poizat |
| 2006 | ATVA | Timed Unfoldings for Networks of Timed Automata. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | ICALP | Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | ICTAC | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2005 | ATVA | Comparison of Different Semantics for Time Petri Nets. | Batrice Brard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
| 2005 | ATVA | Syntactical Colored Petri Nets Reductions. | Sami Evangelista, Serge Haddad, Jean-Franois Pradat-Peyre |
| 2005 | FORTE | Modular Verification of Petri Nets Properties: A Structure-Based Approach. | Kais Klai, Serge Haddad, Jean-Michel Ili |
| 2004 | ATVA | Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. | Serge Haddad, Jean-Michel Ili, Kais Klai |
| 2004 | MASCOTS | Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. | Serge Haddad, Patrice Moreaux |
| 2001 | TIME | Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. | Serge Haddad, Denis Poitrenaud |
| 2000 | FORTE | A Model Checking Method for Partially Symmetric Systems. | Serge Haddad, Jean-Michel Ili, Khalil Ajami |
| 1999 | CATA | A formal study of interactions in multi-agent systems. | Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi |
| 1999 | CATA | Combining different failure detectors for solving a large-scale consensus problem. | Serge Haddad, F. Nguilla Kooh |
| 1998 | TACAS | Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. | Khalil Ajami, Serge Haddad, Jean-Michel Ili |