Jérémy Dubut

J-GLOBAL         Last updated: Sep 11, 2019 at 13:35
 
Avatar
Name
Jérémy Dubut
Nickname
JeremyDubut
E-mail
dubutnii.ac.jp
URL
http://group-mmm.org/~dubut/
Affiliation
National Institute of Informatics
Section
ERATO Hasuo Project
Job title
Project Assistant Professor
Degree
doctor(ENS Paris-Saclay)
Other affiliation
Japanese French Laboratory for Informatics
Research funding number
50836765

Research Areas

 
 

Academic & Professional Experience

 
Jul 2019
 - 
Today
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
 

Awards & Honors

 
Apr 2019
Best Theory Paper Award at ETAPS
 
Sep 2016
First Price of the best scientific production of the STIC doctoral school, Université Paris-Saclay
 

Published Papers

 
Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida
ITSC 2019      Jun 2019   [Refereed]
In this paper, we investigate the decision making of autonomous vehicles in
an unsignalized intersection in presence of malicious vehicles, which are
vehicles that do not respect the law by not using the proper rules of the right
of way. Each vehi...
Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut
Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková      Mar 2019   [Refereed]
Coalgebras for an endofunctor provide a category-theoretic framework for
modeling a wide range of state-based systems of various types. We provide an
iterative construction of the reachable part of a given pointed coalgebra that
is inspired by and...
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   2019   [Refereed]
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   [Refereed]
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, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.   284-285   2019   [Refereed]
Array,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   [Refereed]
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   [Refereed]
Jérémy Dubut,Array,Jean Goubault-Larrecq
Applied Categorical Structures   25(5) 775-807   2017   [Refereed]
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   [Refereed]
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   [Refereed]
Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq
Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II   171-183   2015   [Refereed]

Misc

 
Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida
   Apr 2019
In this paper, we consider a problem of decision making for multiple
autonomous vehicles in a roundabout. In particular, we propose an approach that
balances between the safety of all vehicles and their velocity, using a Nash
equilibrium to make a...
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
   Mar 2019
In the field of quality assurance of hybrid systems (that combine continuous
physical dynamics and discrete digital control), Platzer's differential dynamic
logic (dL) is widely recognized as a deductive verification method with solid
mathematical...
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
   Sep 2018
We investigate a canonical way of defining bisimilarity of systems when their
semantics is given by a coreflection, typically in a category of transition
systems. We use the fact, from Joyal et al., that coreflections preserve open
morphisms situa...
Jérémy Dubut
   Apr 2018
In this paper, we investigate diagrams, namely functors from any small
category to a fixed category, and more particularly, their bisimilarity.
Initially defined using the theory of open maps of Joyal et al., we prove
several equivalent characteri...

Research Grants & Projects

 
Synthesising directed structures in Computer Science using Directed Algebraic Topology
Japanese Society for the Promotion of Science: Grant-in-Aid for Early-Career Scientists
Project Year: Apr 2019 - Mar 2022    Investigator(s): Jérémy Dubut