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


General information

I am a researcher with tenured position at the Cyber Physical Security Research Center of the National Institute of Advanced Industrial Science and Technology, in Tokyo.

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

Previously, I was a Project Researcher (postdoc) and then 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 a PhD student at LSV, ENS Paris-Saclay, under the supervision of Jean Goubault-Larrecq and Eric Goubault.

Email: jeremy[dot]dubut[at]aist[dot]go[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 31(6), pages 1526-1559, 2021.
    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)
    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)

I did a 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

ENS Paris-Saclay (2014-2017)

This section contains archives for the exercise sessions I monitored at the CS department at the École Normale Supérieure Paris-Saclay (ex ENS Cachan). Most of them are in English, some in French. Some have a correction. There might be duplicates. Those exercises are usally taken from books, lecture notes, or papers, but any typo or mistake is my own.

Rewriting systems

Those sessions were for students in first year of master, and were made in collaboration with Hubert Comon and Frédéric Blanqui.
archive of exercises, archive of rewriting systems for kbcv.

Tree automata

Those sessions were for students in first year of master, and were made in collaboration with Hubert Comon and Sylvain Schmitz.
archive of exercises.

Logic

Those sessions were undergraduates, and were made in collaboration with Lucca Hirschi, Hubert Comon, Gilles Dowek, and Étienne Lozes.
archive of exercises.