Cecilia Kilmurray

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Transition Systems

Mazurkiewicz Traces

Top Venues

Publications

Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
A Recursive Probabilistic Temporal Logic. ICFEM (2015)
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics. STACS (2015)
Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. SBMF (2012)
Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. SEFM (2011)