| 2025 | ICTAC | AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems. | Sasinee Pruekprasert, Clovis Eberhart |
| 2023 | CAV | Compositional Probabilistic Model Checking with String Diagrams of MDPs. | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo |
| 2021 | TAP | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2020 | ICARCV | Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. | Sasinee Pruekprasert, Clovis Eberhart, Jrmy Dubut |
| 2019 | ICST | Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. | Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee |
| 2019 | LICS | History-Dependent Nominal μ-Calculus. | Clovis Eberhart, Bartek Klin |
| 2018 | LICS | What's in a game?: A theory of game models. | Clovis Eberhart, Tom Hirschowitz |
| 2017 | CALCO | Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. | Clovis Eberhart, Tom Hirschowitz |
| 2015 | CALCO | An Intensionally Fully-abstract Sheaf Model for pi. | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |