Publications

Papers

2016

"Goal-Conflict Detection based on Temporal Satisfiability Checking".
R. Degiovanni, N. Ricci, D. Alrajeh, P. Castro and N. Aguirre.
31st IEEE/ACM International Conference on Automated Software Engineering, Singapore, Singapore, 2016 (ASE 2016).

2015

"Specifying Event-Based Systems with a Counting Fluent Temporal Logic". G. Regis, R. Degiovanni, N. D'Ippolito and N. Aguirre.
37th International Conference on Software Engineering, Florencia, Italia, 2015 (ICSE 2015).

2014

"Automated Goal Operationalisation based on Interpolation and SAT Solving". R. Degiovanni, D. Alrajeh, N. Aguirre y S. Uchitel.
36th International Conference on Software Engineering, Hyderabad, India, 2014 (ICSE 2014).

2013

"Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking". G. Scilingo, M. M. Novaira y R. Degiovanni. Proceedings de Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina.

"Analizando Especificaciones Formales de Requisitos de Software usando un Model Checker Off-the-Shelf". G. Scilingo, M. M. Novaira, R. Degiovanni y N. Aguirre. Proceedings of Conferencia Latinoamericana en Informática CLEI 2013, Vargas, Venezuela.

2011

"Abstraction based Automated Test Generation from Formal Tabular Requirements Specifications". R. Degiovanni, P. Ponzio, N. Aguirre y M. Frias. Tests and Proofs - 5th International Conference, Zurich, Switzerland, 2011 (TAP 2011).

Technical Reports

Counting Fluent Temporal Logic. Details of the model checking algorithm for CFLTL formulas and the proofs to some lemas.

Others

R. Ariño, R. Degiovanni, R. Fervari, P. Ponzio y N. Aguirre "Mejorando la Aplicación de Abstracción por Predicados a Especificaciones DynAlloy", in Congreso Argentino de Ciencias de la Computación 2010 (CACIC 2010).

R. Ariño, R. Degiovanni, R. Fervari, P. Ponzio y N. Aguirre "Towards Scaling Up DynAlloy Analysis using Predicate Abstraction", in Congreso Argentino de Ciencias de la Computación 2009 (CACIC 2009).