Mireia González Bedmar

According to our database, Mireia González Bedmar authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

UTC Time, Formally Verified.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

FV Time: a formally verified Coq library.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

CoRR, 2022

2021

To drive or not to drive: A logical and computational analysis of European transport regulations.

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten

Inf. Comput., 2021

2019

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019