Passer à la navigation principale Passer à la recherche Passer au contenu principal
Photo de Jérémy Dubut

Voir le profil Scopus

Jérémy Dubut

 https://orcid.org/0000-0002-2640-3065
  • 149
    Citations
20152025

Résultat de recherche par an

Profil personnel

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).

Intérêts de la recherche

  • categorical aspects of computer science
  • (true) concurrency
  • (directed) algebraic topology
  • formal methods for CPS
  • proof assistants

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Jérémy Dubut est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 21 Contribution à une conférence
  • 7 Article
  • 1 Chapitre
  • 1 Article de conférence

  • ACZEL-MENDLER BISIMULATIONS IN A REGULAR CATEGORY

    Dubut, J., 1 janv. 2025, Dans: Logical Methods in Computer Science. 21, 3

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Formal Specification of Temporal Properties

    Eberhart, C., Dubut, J. & Hasuo, I., 1 janv. 2025, Safety Assurance under Uncertainties: From Software to eyber-Physical/Machine Learning Systems. CRC Press, p. 67-104 38 p.

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

  • Hedge Automata Revisited: Transforming Texts to and from XML

    Yamada, A., Dubut, J. & Tsukada, T., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • 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 janv. 2024, 35th IEEE Intelligent Vehicles Symposium, IV 2024. Institute of Electrical and Electronics Engineers Inc., p. 3154 1 p. (IEEE Intelligent Vehicles Symposium, Proceedings).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis

    Pruekprasert, S., Dubut, J., Takisaka, T., Eberhart, C. & Cetinkaya, A., 1 févr. 2024, Dans: Automatica. 160, 111441.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    1 Citation (Scopus)

  • Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl)

    Yamada, A. & Dubut, J., 1 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Formal Verification of Intersection Safety for Automated Driving

    Haydon, J., Bondu, M., Eberhart, C., Dubut, J. & Hasuo, I., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    3 Citations (Scopus)

  • Formal Verification of Safety Architectures for Automated Driving

    Eberhart, C., Dubut, J., Haydon, J. & Hasuo, I., 1 janv. 2023, IV 2023 - IEEE Intelligent Vehicles Symposium, Proceedings. Institute of Electrical and Electronics Engineers Inc., (IEEE Intelligent Vehicles Symposium, Proceedings; Vol 2023-June).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    5 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 avr. 2023, Dans: IEEE Transactions on Intelligent Vehicles. 8, 4, p. 3040-3072 33 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    15 Citations (Scopus)
Tout afficher 30 résultat de recherche