Research output per year
Research output per year
Personal profile
Personal profile
He is a Monge Assistant Professor at École Polytechnique. He is a member of the DIX Department, the Cosynus team, the LIX Laboratory, and the Architecture of Complex Systems Chair at Institut Polytechnique de Paris (IP Paris).
Research interests
- categorical aspects of computer science
- (true) concurrency
- (directed) algebraic topology
- formal methods for CPS
- proof assistants
Fingerprint
Dive into the research topics where Jérémy Dubut is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ACZEL-MENDLER BISIMULATIONS IN A REGULAR CATEGORY
Dubut, J., 1 Jan 2025, In: Logical Methods in Computer Science. 21, 3Research output: Contribution to journal › Article › peer-review
Open Access -
Formal Specification of Temporal Properties
Eberhart, C., Dubut, J. & Hasuo, I., 1 Jan 2025, Safety Assurance under Uncertainties: From Software to eyber-Physical/Machine Learning Systems. CRC Press, p. 67-104 38 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Hedge Automata Revisited: Transforming Texts to and from XML
Yamada, A., Dubut, J. & Tsukada, T., 1 Jan 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15055 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Goal-Aware RSS for Complex Scenarios via Program Logic
Hasuo, I., Eberhart, C., Haydon, J., Dubut, J., Bohrer, R., Kobayashi, T., Pruekprasert, S., Zhang, X. Y., Pallas, E. A., Yamada, A., Suenaga, K., Ishikawa, F., Kamijo, K., Shinya, Y. & Suetomi, T., 1 Jan 2024, 35th IEEE Intelligent Vehicles Symposium, IV 2024. Institute of Electrical and Electronics Engineers Inc., p. 3154 1 p. (IEEE Intelligent Vehicles Symposium, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis
Pruekprasert, S., Dubut, J., Takisaka, T., Eberhart, C. & Cetinkaya, A., 1 Feb 2024, In: Automatica. 160, 111441.Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus) -
Aczel-Mendler Bisimulations in a Regular Category
Dubut, J., 1 Sept 2023, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023. Baldan, P. & de Paiva, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 270).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl)
Yamada, A. & Dubut, J., 1 Jul 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 34. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 268).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formal Verification of Intersection Safety for Automated Driving
Haydon, J., Bondu, M., Eberhart, C., Dubut, J. & Hasuo, I., 1 Jan 2023, 2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023. Institute of Electrical and Electronics Engineers Inc., p. 107-114 8 p. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Citations (Scopus) -
Formal Verification of Safety Architectures for Automated Driving
Eberhart, C., Dubut, J., Haydon, J. & Hasuo, I., 1 Jan 2023, IV 2023 - IEEE Intelligent Vehicles Symposium, Proceedings. Institute of Electrical and Electronics Engineers Inc., (IEEE Intelligent Vehicles Symposium, Proceedings; vol. 2023-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access4 Citations (Scopus) -
Goal-Aware RSS for Complex Scenarios via Program Logic
Hasuo, I., Eberhart, C., Haydon, J., Dubut, J., Bohrer, R., Kobayashi, T., Pruekprasert, S., Zhang, X. Y., Pallas, E. A., Yamada, A., Suenaga, K., Ishikawa, F., Kamijo, K., Shinya, Y. & Suetomi, T., 1 Apr 2023, In: IEEE Transactions on Intelligent Vehicles. 8, 4, p. 3040-3072 33 p.Research output: Contribution to journal › Article › peer-review
Open Access14 Citations (Scopus)