Jérémy Dubut

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 44

Top Venues

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

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

Jérémy Dubut.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jérémy Dubut