Publications

Export 4 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Degiovanni, Renzo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
G. Scilingo, M. M. Novaira, and R. Degiovanni, “Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.PDF icon SCR_Scenarios-tool-paper.pdf (129.05 KB)
G. Scilingo, M. M. Novaira, R. Degiovanni, and N. Aguirre, “Analyzing formal requirements specifications using an off-the-shelf model checker”, in XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013, 2013.PDF icon analisis-scr-model-checking.pdf (188.48 KB)
R. Degiovanni, D. Alrajeh, N. Aguirre, and S. Uchitel, “Automated goal operationalisation based on interpolation and {SAT} solving”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
S
G. Regis, R. Degiovanni, N. D'Ippolito, and N. Aguirre, “Specifying Event-Based Systems with a Counting Fluent Temporal Logic”, in 37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, Florence, Italy, 2015.