Cecilia Kilmurray

According to our database, Cecilia Kilmurray authored at least 4 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.

Pablo F. Castro, Cecilia Kilmurray, Nir Piterman

Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

A Recursive Probabilistic Temporal Logic.

Pablo F. Castro, Cecilia Kilmurray, Nir Piterman

Proceedings of the Formal Methods and Software Engineering, 2015

2012

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.

Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.

Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011