Jérémy Dubut

49 papers B 9C 4Journal 26Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Variants of Higher-Dimensional Automata. CoRR Hugo Bazille, Jérémy Dubut, Uli Fahrenberg, Krzysztof Ziemianski
2025	J	`jnl`	Aczel-Mendler Bisimulations in a Regular Category. Log. Methods Comput. Sci. Jérémy Dubut
2024	C	`conf`	Goal-Aware RSS for Complex Scenarios via Program Logic. IV Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
2024	—	`conf`	Hedge Automata Revisited: Transforming Texts to and from XML. ATVA (2) Akihisa Yamada, Jérémy Dubut, Takeshi Tsukada
2024	J	`jnl`	Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Autom. Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
2023	B	`conf`	A Categorical Framework for Program Semantics and Semantic Abstraction. MFPS Shin-ya Katsumata, Xavier Rival, Jérémy Dubut
2023	B	`conf`	Aczel-Mendler Bisimulations in a Regular Category. CALCO Jérémy Dubut
2023	J	`jnl`	Aczel-Mendler Bisimulations in a Regular Category. CoRR Jérémy Dubut
2023	—	`conf`	Formal Verification of Intersection Safety for Automated Driving. ITSC James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
2023	J	`jnl`	Formal Verification of Intersection Safety for Automated Driving. CoRR James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo
2023	C	`conf`	Formal Verification of Safety Architectures for Automated Driving. IV Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
2023	J	`jnl`	Formal Verification of Safety Architectures for Automated Driving. CoRR Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo
2023	B	`conf`	Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). ITP Akihisa Yamada, Jérémy Dubut
2023	J	`jnl`	Formalizing Results on Directed Sets. Arch. Formal Proofs Akihisa Yamada, Jérémy Dubut
2023	J	`jnl`	Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
2023	B	`conf`	Weighted and Branching Bisimilarities from Generalized Open Maps. FoSSaCS Jérémy Dubut, Thorsten Wißmann
2023	J	`jnl`	Weighted and Branching Bisimilarities from Generalized Open Maps. CoRR Jérémy Dubut, Thorsten Wißmann
2022	J	`jnl`	Fixed Points Theorems for Non-Transitive Relations. Log. Methods Comput. Sci. Jérémy Dubut, Akihisa Yamada
2022	J	`jnl`	Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
2022	—	`conf`	Logic for Timed Agent Network Topologies. CDC Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert
2022	J	`jnl`	Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. CoRR Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
2021	—	`conf`	Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. CDC Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2021	J	`jnl`	Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. CoRR Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2021	J	`jnl`	Fibrational bisimulations and quantitative reasoning: Extended version. J. Log. Comput. David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
2020	C	`conf`	Bisimilarity of Diagrams. RAMiCS Jérémy Dubut
2020	J	`jnl`	Fixed Points Theorems for Non-Transitive Relations. CoRR Jérémy Dubut, Akihisa Yamada
2020	—	`conf`	Relational Differential Dynamic Logic. TACAS (1) Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2020	C	`conf`	Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. ICARCV Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2020	J	`jnl`	Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. CoRR Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
2019	J	`jnl`	A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. CoRR Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida
2019	B	`conf`	Complete Non-Orders and Fixed Points. ITP Akihisa Yamada, Jérémy Dubut
2019	J	`jnl`	Complete Non-Orders and Fixed Points. Arch. Formal Proofs Akihisa Yamada, Jérémy Dubut
2019	—	`conf`	Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. ITSC Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
2019	J	`jnl`	Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. CoRR Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
2019	J	`jnl`	Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. CoRR Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut
2019	B	`conf`	Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. FoSSaCS Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
2019	J	`jnl`	Relational Differential Dynamic Logic. CoRR Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019	—	`conf`	Relational differential dynamic logic: poster abstract. HSCC Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019	B	`conf`	Trees in Partial Higher Dimensional Automata. FoSSaCS Jérémy Dubut
2018	J	`jnl`	Bisimilarity of diagrams. CoRR Jérémy Dubut
2018	—	`conf`	Fibrational Bisimulations and Quantitative Reasoning. CMCS David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
2018	J	`jnl`	Path category for free - Open morphisms from coalgebras with non-deterministic branching. CoRR Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
2018	J	`jnl`	Quantitative bisimulations using coreflections and open morphisms. CoRR Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
2018	J	`jnl`	Trees in partial Higher Dimensional Automata. CoRR Jérémy Dubut
2017	J	`jnl`	Directed Homology Theories and Eilenberg-Steenrod Axioms. Appl. Categorical Struct. Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
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
2016	B	`conf`	Bisimulations and Unfolding in P-Accessible Categorical Models. CONCUR Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2016	B	`conf`	The Directed Homotopy Hypothesis. CSL Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2015	—	`conf`	Natural Homology. ICALP (2) Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq