Fully-abstract concurrent games for pi. - Clovis Eberhart; Tom Hirschowitz; Thomas Seiller (CoRR, 2013)

An Intensionally Fully-abstract Sheaf Model for pi. - Clovis Eberhart; Tom Hirschowitz; Thomas Seiller (CALCO, 2015)

Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. - Clovis Eberhart; Tom Hirschowitz (CALCO, 2017)

An intensionally fully-abstract sheaf model for π (expanded version). - Clovis Eberhart; Tom Hirschowitz; Thomas Seiller (Log. Methods Comput. Sci., 2017)

What's in a game?: A theory of game models. - Clovis Eberhart; Tom Hirschowitz (LICS, 2018)

Simple game semantics and Day convolution. - Clovis Eberhart; Tom Hirschowitz; Alexis Laouar (CoRR, 2018)

Categories and String Diagrams for Game Semantics. (Catégories et diagrammes de cordes pour les jeux concurrents). - Clovis Eberhart (2018)

Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. - Akihisa Yamada 002; Clovis Eberhart; Fuyuki Ishikawa; Nian-Ze Lee (ICST Workshops, 2019)

History-Dependent Nominal μ-Calculus. - Clovis Eberhart; Bartek Klin (LICS, 2019)

Template Games, Simple Games, and Day Convolution. - Clovis Eberhart; Tom Hirschowitz; Alexis Laouar (FSCD, 2019)

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. - Sasinee Pruekprasert; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya; Jérémy Dubut (CoRR, 2019)

Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. - Sasinee Pruekprasert; Clovis Eberhart; Jérémy Dubut (ICARCV, 2020)

Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. - Sasinee Pruekprasert; Clovis Eberhart; Jérémy Dubut (CDC, 2021)

Architecture-Guided Test Resource Allocation via Logic. - Clovis Eberhart; Akihisa Yamada 002; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (TAP@STAF, 2021)

A Compositional Approach to Parity Games. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (MFPS, 2021)

Logic for Timed Agent Network Topologies. - Clovis Eberhart; James Haydon; Jérémy Dubut; Ahmet Cetinkaya; Sasinee Pruekprasert (CDC, 2022)

Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. - Sasinee Pruekprasert; Jérémy Dubut; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya (CoRR, 2022)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

Compositional Probabilistic Model Checking with String Diagrams of MDPs. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (CAV (3), 2023)

Formal Verification of Intersection Safety for Automated Driving. - James Haydon; Martin Bondu; Clovis Eberhart; Jérémy Dubut; Ichiro Hasuo (ITSC, 2023)

Formal Verification of Safety Architectures for Automated Driving. - Clovis Eberhart; Jérémy Dubut; James Haydon; Ichiro Hasuo (IV, 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Compositional Solution of Mean Payoff Games by String Diagrams. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (Principles of Verification (3), 2024)

A Compositional Framework for Petri Nets. - Serge Lechenne; Clovis Eberhart; Ichiro Hasuo (CMCS, 2024)

Control-data separation and logical condition propagation for efficient inference on probabilistic programs. - Ichiro Hasuo; Yuichiro Oyabu; Clovis Eberhart; Kohei Suenaga; Kenta Cho 002; Shin-ya Katsumata (J. Log. Algebraic Methods Program., 2024)

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. - Sasinee Pruekprasert; Jérémy Dubut; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya (Autom., 2024)