Leonardo Lima

According to our database, Leonardo Lima authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Artifact for "Proactive Real-Time First-Order Enforcement".

François Hublet, Leonardo Lima, David A. Basin, Dmitriy Traytel, Srdan Krstic

Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".

François Hublet, Leonardo Lima, David A. Basin, Dmitriy Traytel, Srdan Krstic

Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".

François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel

Dataset, April, 2024

A Verified Proof Checker for Metric First-Order Temporal Logic.

Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel

Arch. Formal Proofs, 2024

Explainable Online Monitoring of Metric First-Order Temporal Logic.

Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Proactive Real-Time First-Order Enforcement.

François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts.

Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Explainable Online Monitoring of Metric Temporal Logic.

Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2019

Formalized meta-theory of sequent calculi for linear logics.

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Theor. Comput. Sci., 2019

2016

Formalized Meta-Theory of Sequent Calculi for Substructural Logics.

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2015

Towards the Automated Generation of Focused Proof Systems.

Vivek Nigam, Giselle Reis, Leonardo Lima

Proceedings of the Proceedings First International Workshop on Focusing, 2015

2014

Quati: An Automated Tool for Proving Permutation Lemmas.

Vivek Nigam, Giselle Reis, Leonardo Lima

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Checking Proof Transformations with ASP.

Vivek Nigam, Giselle Reis, Leonardo Lima

Theory Pract. Log. Program., 2013