Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. - Germán Regis; Nicolás Ricci; Nazareno Aguirre; T. S. E. Maibaum (SBMF, 2012)

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. - Germán Regis; Fernando Villar; Nicolás Ricci (LAFM, 2013)

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 (TACAS, 2015)

Goal-conflict detection based on temporal satisfiability checking. - Renzo Degiovanni; Nicolás Ricci; Dalal Alrajeh; Pablo F. Castro; Nazareno Aguirre (ASE, 2016)