Alex Abuin

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Formal Verification

Linear Temporal Logic

Top Venues

J. Log. Algebraic Methods Program.

IEEE Trans. Ind. Informatics

SN Comput. Sci.

Publications

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. J. Log. Algebraic Methods Program. 130 (2023)
Jon Pérez, Jose Luis Flores, Christian Blum, Jesús Cerquides, Alex Abuin
Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems. IEEE Trans. Ind. Informatics 18 (1) (2022)
Alex Abuin, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
Verified Model Checking for Conjunctive Positive Logic. SN Comput. Sci. 2 (5) (2021)
Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
One-Pass Context-Based Tableaux Systems for CTL and ECTL. TIME (2020)
Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. TIME (2019)