Nicolás Ricci

According to our database, Nicolás Ricci authored at least 4 papers between 2012 and 2016.

Collaborative distances:

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

2016

Goal-conflict detection based on temporal satisfiability checking.

Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.

Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.

Germán Regis, Fernando Villar, Nicolás Ricci

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

2012

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.

Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum

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