
Jérémy Dubut
(デュブ ジェレミー)
Modified on: 2022/12/22
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
23-
Logical Methods in Computer Science, 18(1), 2022
-
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.CoRR, abs/2201.08648, 2022
-
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
-
Arch. Formal Proofs, 2019, 2019
-
10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., 30:1-30:16-16, 2019 Peer-reviewed
-
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
-
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
-
Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), 284-285, 2019 Peer-reviewed
-
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
-
CoRR, abs/1811.12294, 2018
-
APPLIED CATEGORICAL STRUCTURES, 25(5) 775-807, Oct, 2017 Peer-reviewed
Misc.
2Research Projects
1-
Grant-in-Aid for Early-Career Scientists, Japanese Society for the Promotion of Science, Apr, 2019 - Mar, 2022