Jérémy Dubut
(デュブ ジェレミー)
Modified on: 2024/01/30
Profile Information
- Affiliation
- Researcher, Cyber Physical Security, National Institute of Advanced Industrial Science and Technology
- Degree
-
doctor(Sep, 2017, ENS Paris-Saclay)
- Researcher number
- 50836765
- J-GLOBAL ID
- 201801019816267340
- researchmap Member ID
- B000317847
- External link
Research Interests
4Research Areas
3Research History
4-
Jul, 2019 - Mar, 2022
-
Nov, 2017 - Jun, 2019
-
Oct, 2014 - Sep, 2017
Major Awards
3Papers
32-
IEEE Transactions on Intelligent Vehicles, 8(4) 3040-3072, Apr, 2023
-
CoRR, abs/2308.10365, 2023
-
CoRR, abs/2308.06785, 2023
-
ITP, 34-13, 2023
-
CDC, 2870-2877, 2022
-
Logical Methods in Computer Science, 18(1), 2022
-
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.CoRR, abs/2201.08648, 2022
-
CoRR, abs/2103.16122, 2021
-
2021 60th IEEE Conference on Decision and Control (CDC)(CDC), 1321-1328, 2021
-
Journal of Logic and Computation, 31(6) 1526-1559, 2021
-
ICARCV 2020, Dec, 2020 Peer-reviewed
-
Proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020), Apr, 2020 Peer-reviewed
-
CoRR, abs/2009.13065, 2020
-
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, 191-208, 2020
-
Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020), 2020 Peer-reviewed
-
ITSC 2019, Jun, 2019 Peer-reviewed
-
Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková, 60(4) 605-638, Mar, 2019 Peer-reviewed
-
CoRR, abs/1903.00153, 2019
Misc.
2Research Projects
1-
Grant-in-Aid for Early-Career Scientists, Japanese Society for the Promotion of Science, Apr, 2019 - Mar, 2022
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated