MONTSERRAT
HERMO HUGUET
PROFESORADO TITULAR DE UNIVERSIDAD
University of Westminster
Londres, Reino UnidoPublications in collaboration with researchers from University of Westminster (6)
2024
-
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification
Proceedings -Design, Automation and Test in Europe, DATE
2023
-
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Journal of Logical and Algebraic Methods in Programming, Vol. 130
2020
-
Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
Theoretical Computer Science, Vol. 813, pp. 428-451
-
One-pass context-based tableaux systems for CTL and ECTL
Leibniz International Proceedings in Informatics, LIPIcs
2019
-
Towards certified model checking for PLTL using one-pass tableaux
Leibniz International Proceedings in Informatics, LIPIcs
2018
-
Extending fairness expressibility of ECTL+: A tree-style one-pass tableau approach
Leibniz International Proceedings in Informatics, LIPIcs