Leonardo Lima

11 papers A 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Scaling Up Proactive Enforcement.
CAV (3)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2024 J jnl
A Verified Proof Checker for Metric First-Order Temporal Logic.
Arch. Formal Proofs
Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel
2024 — conf
Explainable Online Monitoring of Metric First-Order Temporal Logic.
TACAS (1)
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
2024 — conf
Proactive Real-Time First-Order Enforcement.
CAV (2)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2024 — conf
WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts.
ATVA (2)
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
2023 — conf
Explainable Online Monitoring of Metric Temporal Logic.
TACAS (2)
Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan
2019 J jnl
Formalized meta-theory of sequent calculi for linear logics.
Theor. Comput. Sci.
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
2016 — conf
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.
LSFA
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
2015 — conf
Towards the Automated Generation of Focused Proof Systems.
WoF'15
Vivek Nigam, Giselle Reis, Leonardo Lima
2014 A conf
Quati: An Automated Tool for Proving Permutation Lemmas.
IJCAR
Vivek Nigam, Giselle Reis, Leonardo Lima
2013 J jnl
Checking Proof Transformations with ASP.
Theory Pract. Log. Program.
Vivek Nigam, Giselle Reis, Leonardo Lima