| Optimization techniques and formal verification for the software design of boolean algebra based safety-critical systems J Perez, JL Flores, C Blum, J Cerquides, A Abuin IEEE Transactions on Industrial Informatics 18 (1), 620-630, 2021 | 9 | 2021 |
| Towards certified model checking for PLTL using one-pass tableaux A Abuin, A Bolotov, U de Cerio, M Hermo, P Lucio Leibniz International Proceedings in Informatics 147, 12, 2019 | 6 | 2019 |
| One-pass Context-based Tableaux Systems for CTL and ECTL A Abuin, A Bolotov, M Hermo, P Lucio Leibniz International Proceedings in Informatics 178, 14, 2020 | 4 | 2020 |
| Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models A Abuin, A Bolotov, M Hermo, P Lucio Journal of Logical and Algebraic Methods in Programming 130, 100828, 2023 | 3 | 2023 |
| Using Contexts in Tableaux for PLTL: An illustrative Example A Abuin, A Bolotov, UD de Cerio, M Hermo, P Lucio WORKSHOP 2019, 23, 2019 | 1 | 2019 |
| Context-based Model Checking using SMT-solvers (Work in Progress) A Abuin, UD de Cerio, M Hermo, P Lucio PROLE2018. SISTEDES, 2018 | 1 | 2018 |
| Towards the automatic verification of QCSP tractability results A Abuin, H Chen, M Hermo, P Lucio Proceedings of the XVII Jornadas sobre Programación y Lenguajes (PROLE 2017), 2017 | 1 | 2017 |
| Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi A ABUIN YEPES Certificates for decision problems in temporal logic using context-based …, 2023 | | 2023 |
| Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models A Bolotov, M Garcia-Closas, P Lucio, A Abuin Journal of Logical and Algebraic Methods in Programming 130, 2022 | | 2022 |
| Verified Model Checking for Conjunctive Positive Logic A Abuin, UD de Cerio, M Hermo, P Lucio SN Computer Science 2 (5), 344, 2021 | | 2021 |
| Verified Model Checking for Conjunctive Positive Logic A Abuin Yepes, U Diaz de Cerio, M Hermo Huguet, F Lucio Carrasco | | 2021 |
| One-Pass Context-Based Tableaux Systems for CTL and ECTL A Abuin Yepes, A Bolotov, M Hermo Huguet, F Lucio Carrasco | | 2020 |
| Towards Certified Model Checking for PLTL Using One-Pass Tableaux A Abuin Yepes, A Bolotov, U Díaz de Cerio, M Hermo Huguet, ... | | 2019 |
Montserrat HermoUniversity of the Basque CountryVerifierad e-postadress på ehu.eus
