| 2026 | FM | Formal Reasoning About Confidence and Automated Verification of Neural Networks. | Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta |
| 2025 | ATVA | Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. | Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman |
| 2025 | ICML | Adaptive Multi-prompt Contrastive Network for Few-shot Out-of-distribution Detection. | Xiang Fang, Arvind Easwaran, Blaise Genest |
| 2025 | MODELS | DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins. | Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon |
| 2024 | ECAI | Vanilla Gradient Descent for Oblique Decision Trees. | Subrat Prasad Panda, Blaise Genest, Arvind Easwaran, Ponnuthurai Nagaratnam Suganthan |
| 2022 | STACS | On Robustness for the Skolem and Positivity Problems. | S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala |
| 2020 | CAV | Global PAC Bounds for Learning Discrete Time Markov Chains. | Hugo Bazille, Blaise Genest, Cyrille Jgourel, Jun Sun |
| 2020 | FOSSACS | Timed Negotiations. | S. Akshay, Blaise Genest, Loc Hlout, Sharvik Mital |
| 2020 | STACS | Succinct Population Protocols for Presburger Arithmetic. | Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax |
| 2018 | FOSSACS | Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. | Hugo Bazille, Eric Fabre, Blaise Genest |
| 2018 | LICS | Distribution-based objectives for Markov Decision Processes. | S. Akshay, Blaise Genest, Nikhil Vyas |
| 2017 | CONCUR | Controlling a Population. | Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert |
| 2016 | STACS | On Regularity of Unary Probabilistic Automata. | S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas |
| 2015 | FOSSACS | Knowledge = Observation + Memory + Computation. | Blaise Genest, Doron A. Peled, Sven Schewe |
| 2013 | ICALP | Asynchronous Games over Tree Architectures. | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
| 2012 | ICTAC | Symbolically Bounding the Drift in Time-Constrained MSC Graphs. | S. Akshay, Blaise Genest, Loc Hlout, Shaofa Yang |
| 2012 | LICS | Approximate Verification of the Symbolic Dynamics of Markov Chains. | Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan |
| 2010 | ICALP | Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
| 2009 | LICS | Qualitative Determinacy and Decidability of Stochastic Games with Signals. | Nathalie Bertrand, Blaise Genest, Hugo Gimbert |
| 2008 | ATVA | Tree Pattern Rewriting Systems. | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
| 2008 | CONCUR | Quasi-Static Scheduling of Communicating Tasks. | Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
| 2008 | FOSSACS | Products of Message Sequence Charts. | Philippe Darondeau, Blaise Genest, Loc Hlout |
| 2008 | SEKE | Minimal Observability for Transactional Hierarchical Services. | Debmalya Biswas, Blaise Genest |
| 2007 | ATVA | Quantifying the Discord: Order Discrepancies in Message Sequence Charts. | Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini |
| 2007 | CONCUR | Causal Message Sequence Charts. | Thomas Gazagnaire, Blaise Genest, Loc Hlout, P. S. Thiagarajan, Shaofa Yang |
| 2007 | ICALP | On Commutativity Based Edge Lean Search. | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |
| 2007 | TACAS | Detecting Races in Ensembles of Message Sequence Charts. | Edith Elkind, Blaise Genest, Doron A. Peled |
| 2006 | FORTE | Grey-Box Checking. | Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu |
| 2006 | ICALP | Constructing Exponential-Size Deterministic Zielonka Automata. | Blaise Genest, Anca Muscholl |
| 2005 | CONCUR | On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. | Blaise Genest |
| 2005 | TACAS | Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. | Blaise Genest |
| 2005 | TACAS | Snapshot Verification. | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled |
| 2004 | DLT | A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. | Blaise Genest, Anca Muscholl, Dietrich Kuske |
| 2004 | FOSSACS | Specifying and Verifying Partial Order Properties Using Template MSCs. | Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
| 2003 | CONCUR | High-Level Message Sequence Charts and Projections. | Blaise Genest, Loc Hlout, Anca Muscholl |
| 2002 | ICALP | Infinite-State High-Level MSCs: Model-Checking and Realizability. | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |
| 2002 | LATIN | Pattern Matching and Membership for Hierarchical Message Sequence Charts. | Blaise Genest, Anca Muscholl |