Login / Signup
Nicolás Ricci
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 2
Top Topics
Conflict Detection
Temporal Logic
Model Checking
Formal Specification Language
Top Venues
LAFM
TACAS
ASE
SBMF
</>
Publications
</>
Renzo Degiovanni
,
Nicolás Ricci
,
Dalal Alrajeh
,
Pablo F. Castro
,
Nazareno Aguirre
Goal-conflict detection based on temporal satisfiability checking.
ASE
(2016)
Ramiro Demasi
,
Pablo F. Castro
,
Nicolás Ricci
,
Thomas Stephen Edward Maibaum
,
Nazareno Aguirre
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.
TACAS
(2015)
Germán Regis
,
Fernando Villar
,
Nicolás Ricci
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.
LAFM
(2013)
Germán Regis
,
Nicolás Ricci
,
Nazareno Aguirre
,
T. S. E. Maibaum
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.
SBMF
(2012)