Jérémy Dubut

According to our database, Jérémy Dubut authored at least 32 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 2024

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, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

A Categorical Framework for Program Semantics and Semantic Abstraction.

Shin-ya Katsumata, Xavier Rival, Jérémy Dubut

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Formalizing Results on Directed Sets.

Akihisa Yamada, Jérémy Dubut

Arch. Formal Proofs, 2023

Formal Verification of Safety Architectures for Automated Driving.

Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Formal Verification of Intersection Safety for Automated Driving.

James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl).

Akihisa Yamada, Jérémy Dubut

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Weighted and Branching Bisimilarities from Generalized Open Maps.

Jérémy Dubut, Thorsten Wißmann

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Aczel-Mendler Bisimulations in a Regular Category.

Jérémy Dubut

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Fixed Points Theorems for Non-Transitive Relations.

Jérémy Dubut, Akihisa Yamada

Log. Methods Comput. Sci., 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

Logic for Timed Agent Network Topologies.

Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Fibrational bisimulations and quantitative reasoning: Extended version.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

J. Log. Comput., 2021

Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Relational Differential Dynamic Logic.

Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the 16th International Conference on Control, 2020

Bisimilarity of Diagrams.

Jérémy Dubut

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

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

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles.

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida

CoRR, 2019

A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout.

Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida

CoRR, 2019

Complete Non-Orders and Fixed Points.

Akihisa Yamada, Jérémy Dubut

Arch. Formal Proofs, 2019

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles.

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Relational differential dynamic logic: poster abstract.

Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 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

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Trees in Partial Higher Dimensional Automata.

Jérémy Dubut

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Quantitative bisimulations using coreflections and open morphisms.

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

CoRR, 2018

Fibrational Bisimulations and Quantitative Reasoning.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2018

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

PhD thesis, 2017

Directed Homology Theories and Eilenberg-Steenrod Axioms.

Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq

Appl. Categorical Struct., 2017

2016

The Directed Homotopy Hypothesis.

Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Bisimulations and Unfolding in P-Accessible Categorical Models.

Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Natural Homology.

Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015