Academic Papers
UTC Time, Formally Verified
  • Author: Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, and Joost Joosten.
  • Year: 2024.
  • In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024). Association for Computing Machinery, New York, NY, USA, 2–13. https://doi.org/10.1145/3636501.3636958.

Suitable logics: provability, temporal laws, and formalization

To drive or not to drive: A logical and computational analysis of European transport regulations
  • Author: Ana de Almeida Borges, Juan Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar & Joost J. Joosten.
  • Year: 2021.
  • Information and Computation, 280, 104636.

The second order traffic fine: temporal reasoning in European transport regulations
  • Author: Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, and Joost Joosten.
  • Year: 2019.
  • In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss-Dagstuhl-Leibniz Zentrum für Informatik.