Jérémy Dubut

Profile Information

Affiliation: Project Assistant Professor, ERATO Hasuo Project, National Institute of Informatics
: Japanese French Laboratory for Informatics

Degree: doctor(Sep, 2017, ENS Paris-Saclay)

Researcher number: 50836765
J-GLOBAL ID: 201801019816267340
researchmap Member ID: B000317847

External link: http://group-mmm.org/~dubut/

Research Interests

Research Areas

Research History

Jul, 2019 - Present

Project Assistant Professor, ERATO Hasuo Project, National Institute of Informatics
Nov, 2017 - Jun, 2019

Project Researcher (postdoc), ERATO Hasuo Project, National Institute of Informatics
Oct, 2014 - Sep, 2017

PhD student, LSV, ENS Paris-Saclay

Major Awards

Dec, 2020

Paper award finalist at ICARCV 2020, IEEE

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

Papers

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, Dec, 2020 Peer-reviewed
Bisimilarity of diagrams

Jérémy Dubut

Proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020), Apr, 2020 Peer-reviewed
Fixed Points Theorems for Non-Transitive Relations.

Jérémy Dubut, Akihisa Yamada 0002

CoRR, abs/2009.13065, 2020
Relational Differential Dynamic Logic.

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

191-208, 2020
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut

Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020), 2020 Peer-reviewed
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

ITSC 2019, Jun, 2019 Peer-reviewed
A Coalgebraic View on Reachability

Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut

Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková, 60(4) 605-638, Mar, 2019 Peer-reviewed
Relational Differential Dynamic Logic.

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

CoRR, abs/1903.00153, 2019
Complete Non-Orders and Fixed Points.

Akihisa Yamada 0002, Jérémy Dubut

Arch. Formal Proofs, 2019, 2019
Complete Non-Orders and Fixed Points.

Akihisa Yamada, Jérémy Dubut

10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., 30:1-30:16-16, 2019 Peer-reviewed
Trees in Partial Higher Dimensional Automata.

Jérémy Dubut

Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 224-241, 2019 Peer-reviewed
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.

Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo

Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 523-540, 2019 Peer-reviewed
Relational differential dynamic logic: poster abstract.

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

Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), 284-285, 2019 Peer-reviewed
Fibrational Bisimulations and Quantitative Reasoning.

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

Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers, 190-213, 2018 Peer-reviewed
Path category for free - Open morphisms from coalgebras with non-deterministic branching.

Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo

CoRR, abs/1811.12294, 2018
Directed Homology Theories and Eilenberg-Steenrod Axioms

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

APPLIED CATEGORICAL STRUCTURES, 25(5) 775-807, Oct, 2017 Peer-reviewed
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 Peer-reviewed
The Directed Homotopy Hypothesis.

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

25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, 9:1-9:16, 2016 Peer-reviewed
Bisimulations and Unfolding in P-Accessible Categorical Models.

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

27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 25:1-25:14, 2016 Peer-reviewed
Natural Homology

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

AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 9135 171-183, 2015 Peer-reviewed

Misc.

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

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

Apr 12, 2019
Quantitative bisimulations using coreflections and open morphisms

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

Sep 25, 2018

Research Projects

Synthesising directed structures in Computer Science using Directed Algebraic Topology

Grant-in-Aid for Early-Career Scientists, Japanese Society for the Promotion of Science, Apr, 2019 - Mar, 2022

Jérémy Dubut

Profile Information

Research Interests

Research Areas

Research History

Major Awards

Papers

Misc.

Research Projects

Menu

Coauthors

Following