012026
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
42nd International Conference on Logic Programming (ICLP 2026)Technical Communication · EPTCS 450 · pp. 430–443 · Lisbon, Portugal
Research output
Publications
Peer-reviewed work on deductive model checking, narrowing-based analysis and executable formal semantics.
items
10 publications · ordered from newest to oldest
022026
Generating Invariants by Deductive Model Checking
16th International Workshop on Rewriting Logic and Its Applications (WRLA 2026)Lecture Notes in Computer Science · Camilo Rocha (ed.)
Forthcoming
032026
DM-Check: Verifying invariants of concurrent systems by deductive model checking
Journal of Logical and Algebraic Methods in ProgrammingVolume 149 · Article 101107 · March 2026
042025
Folding Variant Narrowing for the Analysis of Mutual Exclusion Protocols
27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025)
052024
Verifying Invariants by Deductive Model Checking
15th International Workshop on Rewriting Logic and Its Applications (WRLA 2024)LNCS 14953 · pp. 3–21 · Kazuhiro Ogata (ed.)
062023
Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023)Proceedings · pp. 14–25
072023
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis
Journal of Logical and Algebraic Methods in ProgrammingVolume 135 · October 2023
082022
Canonical Narrowing for Variant-based Conditional Rewrite Theories
23rd International Conference on Formal Engineering Methods (ICFEM 2022)LNCS 13478 · pp. 20–35 · Adrián Riesco and Min Zhang (eds.)
092022
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
14th International Workshop on Rewriting Logic and Its Applications (WRLA 2022)LNCS 13252 · pp. 151–170 · Kyungmin Bae (ed.)
102022
An Efficient Canonical Narrowing Implementation for Protocol Analysis
14th International Workshop on Rewriting Logic and Its Applications (WRLA 2022)Lecture Notes in Computer Science, volume 13252