Leonardo Lima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Scaling Up Proactive Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2024 | ATVA | WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts. | Leonardo Lima, Jonathan Julin Huerta y Munive, Dmitriy Traytel |
| 2024 | CAV | Proactive Real-Time First-Order Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2024 | TACAS | Explainable Online Monitoring of Metric First-Order Temporal Logic. | Leonardo Lima, Jonathan Julin Huerta y Munive, Dmitriy Traytel |
| 2023 | TACAS | Explainable Online Monitoring of Metric Temporal Logic. | Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan |
| 2014 | CADE | Quati: An Automated Tool for Proving Permutation Lemmas. | Vivek Nigam, Giselle Reis, Leonardo Lima |
| 2014 | ICCSA | Spatial Analysis of School Network Applying Configurational Models. | Brbara M. Giaccom Ribeiro, Las Corteletti, Leonardo Lima, Clarice Maraschin |