Natural Homology. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (ICALP (2), 2015)

Bisimulations and Unfolding in P-Accessible Categorical Models. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (CONCUR, 2016)

The Directed Homotopy Hypothesis. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (CSL, 2016)

Directed Homology Theories and Eilenberg-Steenrod Axioms. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (Appl. Categorical Struct., 2017)

Directed homotopy and homology theories for geometric models of true concurrency. (Théories homotopiques et homologiques dirigées pour des modèles géométriques de la vraie concurrence). - Jérémy Dubut (2017)

Fibrational Bisimulations and Quantitative Reasoning. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (CMCS, 2018)

Quantitative bisimulations using coreflections and open morphisms. - Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger (CoRR, 2018)

Trees in Partial Higher Dimensional Automata. - Jérémy Dubut (FoSSaCS, 2019)

Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. - Thorsten Wißmann; Jérémy Dubut; Shin-ya Katsumata; Ichiro Hasuo (FoSSaCS, 2019)

Relational differential dynamic logic: poster abstract. - Juraj Kolcák; Ichiro Hasuo; Jérémy Dubut; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (HSCC, 2019)

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. - Sasinee Pruekprasert; Xiaoyi Zhang 005; Jérémy Dubut; Chao Huang 006; Masako Kishida (ITSC, 2019)

Complete Non-Orders and Fixed Points. - Akihisa Yamada 002; Jérémy Dubut (Arch. Formal Proofs, 2019)

A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. - Sasinee Pruekprasert; Jérémy Dubut; Xiaoyi Zhang 005; Chao Huang 014; Masako Kishida (CoRR, 2019)

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. - Sasinee Pruekprasert; Xiaoyi Zhang 005; Jérémy Dubut; Chao Huang 014; Masako Kishida (CoRR, 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)

Bisimilarity of Diagrams. - Jérémy Dubut (RAMiCS, 2020)

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)

Relational Differential Dynamic Logic. - Juraj Kolcák; Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (TACAS (1), 2020)

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

Fibrational bisimulations and quantitative reasoning: Extended version. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (J. Log. Comput., 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)

Fixed Points Theorems for Non-Transitive Relations. - Jérémy Dubut; Akihisa Yamada 002 (Log. Methods Comput. Sci., 2022)

Aczel-Mendler Bisimulations in a Regular Category. - Jérémy Dubut (CALCO, 2023)

Weighted and Branching Bisimilarities from Generalized Open Maps. - Jérémy Dubut; Thorsten Wißmann (FoSSaCS, 2023)

Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). - Akihisa Yamada 002; Jérémy Dubut (ITP, 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)

Formalizing Results on Directed Sets. - Akihisa Yamada 002; Jérémy Dubut (Arch. Formal Proofs, 2023)

A Categorical Framework for Program Semantics and Semantic Abstraction. - Shin-ya Katsumata; Xavier Rival; Jérémy Dubut (MFPS, 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)

Hedge Automata Revisited: Transforming Texts to and from XML. - Akihisa Yamada 002; Jérémy Dubut; Takeshi Tsukada (ATVA (2), 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)