Alex Abuin

According to our database, Alex Abuin authored at least 5 papers between 2019 and 2023.

Collaborative distances:

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

2023

Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models.

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio

J. Log. Algebraic Methods Program., 2023

2022

Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems.

Jon Pérez, Jose Luis Flores, Christian Blum, Jesús Cerquides, Alex Abuin

IEEE Trans. Ind. Informatics, 2022

2021

Verified Model Checking for Conjunctive Positive Logic.

Alex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio

SN Comput. Sci., 2021

2020

One-Pass Context-Based Tableaux Systems for CTL and ECTL.

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

2019

Towards Certified Model Checking for PLTL Using One-Pass Tableaux.

Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio

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