Jérémy Dubut (デュブ ジェレミー)


General information

I am a Project Assistant Professor in Prof. Ichiro Hasuo's ERATO Metamathematics for Systems Design Project at the National Institute of Informatics in Tokyo. Before that, I was Project Researcher in the same group.

I am also affiliated with the Japanese-French Laboratory for Informatics.

Previously, I was a PhD student at LSV, ENS Paris-Saclay, under the supervision of Jean Goubault-Larrecq and Eric Goubault.

Email: dubut[at]nii[dot]ac[dot]jp

dblp, research map

Upcoming events

Research interests

Publications

Journals

  1. J. Dubut and A. Yamada
    Fixed Point Theorems for Non-Transitive Relations. (pdf, AFP entry)
    Logical Methods in Computer Science, to appear.
    Extended version of [7].
  2. D. Sprunger, S. Katsumata, J. Dubut and I. Hasuo
    Fibrational Bisimulations and Quantitative Reasoning: Extended Version. (pdf soon)
    Journal of Logic and Computation, to appear.
    Extended version of [4].
  3. T. Wißmann, S. Milius, S. Katsumata and J. Dubut
    A Coalgebraic View on Reachability. (pdf)
    Commentationes Mathematicae Universitatis Carolinae 60(4), pages 605-638, 2019.
  4. J. Dubut, E. Goubault and J. Goubault-Larrecq
    Directed homology theories and Eilenberg-Steenrod axioms. (pdf)
    Applied Categorical Structures 25(5), pages 775-807, 2017.
    Extended version of [1].

Conferences

  1. S. Pruekprasert, C. Eberhart and J. Dubut
    Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. (pdf (not final))
    In CDC'21, 2021.
  2. S. Pruekprasert, C. Eberhart and J. Dubut
    Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. (pdf)
    In ICARCV'20, 2020. Best paper award finalist!
  3. S. Pruekprasert, T. Takisaka, C. Eberhart, A. Cetinkaya and J. Dubut
    Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. (pdf)
    In IFAC'20, 2020.
  4. J. Dubut
    Bisimilarity of diagrams. (pdf, slides, youtube video)
    In RAMiCS'20, LNCS 12062, pages 65-81, Springer, 2020.
  5. J. Kolčák, J. Dubut, I. Hasuo, S. Katsumata, D. Sprunger and A. Yamada
    Relational Differential Dynamic Logic. (pdf, code)
    In TACAS'20, LNCS 12078, pages 191-208, Springer, 2020.
  6. S. Pruekprasert, X. Zhang, J. Dubut, C. Huang and M. Kishida
    Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. (pdf)
    In ITSC'19, IEEE, 2019.
  7. A. Yamada and J. Dubut
    Complete Non-Orders and Fixed Points. (pdf, AFP entry (depreciated), slides by Akihisa)
    In ITP'19, Leibniz International Proceedings in Informatics 141, pages 30:1-30:16. Leibniz-Zentrum für Informatik, 2019.
  8. J. Dubut
    Trees in partial Higher Dimensional Automata. (pdf, slides)
    In FoSSaCS'19, LNCS 11425, pages 224-241, Springer, 2019. EATCS best paper award!
  9. T. Wißmann, J. Dubut, S. Katsumata and I. Hasuo
    Path category for free - Open morphisms from coalgebras with non-deterministic branching. (pdf, slides by Thorsten)
    In FoSSaCS'19, LNCS 11425, pages 523-540, Springer, 2019.
  10. D. Sprunger, S. Katsumata, J. Dubut and I. Hasuo
    Fibrational Bisimulations and Quantitative Reasoning. (pdf, slides by David)
    In CMCS'18, LNCS 11202, pages 190-213, Springer, 2018.
  11. J. Dubut, E. Goubault and J. Goubault-Larrecq
    The Directed Homotopy Hypothesis. (pdf, slides)
    In CSL'16, Leibniz International Proceedings in Informatics 62, pages 9:1-9:16. Leibniz-Zentrum für Informatik, 2016.
  12. J. Dubut, E. Goubault and J. Goubault-Larrecq
    Bisimulations and unfolding in P-accessible categorical models. (pdf, slides)
    In CONCUR'16, Leibniz International Proceedings in Informatics 59, pages 25:1-25:14. Leibniz-Zentrum für Informatik, 2016.
  13. J. Dubut, E. Goubault and J. Goubault-Larrecq
    Natural Homology. (pdf, slides)
    In ICALP'15, LNCS 9135, pages 171-183. Springer, 2015.

Preprints

Theses

Some presentations

Teachings

SOKENDAI (2019)

guest lecture for the Formal Methods for Cyber-Physical Systems course for SOKENDAI students on Deductive verification of hybrid systems
slides, KeYmaera model, Keymaera proof, home assignment