Araceli Acosta

According to our database, Araceli Acosta authored at least 2 papers between 2011 and 2012.

Collaborative distances:

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

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