dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. - Pablo F. Castro; Cecilia Kilmurray; Araceli Acosta; Nazareno Aguirre (SEFM, 2011)

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. - Araceli Acosta; Cecilia Kilmurray; Pablo F. Castro; Nazareno Aguirre (SBMF, 2012)

A Recursive Probabilistic Temporal Logic. - Pablo F. Castro; Cecilia Kilmurray; Nir Piterman (ICFEM, 2015)

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. - Pablo F. Castro; Cecilia Kilmurray; Nir Piterman (STACS, 2015)

Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas - Cecilia Kilmurray (2020)