Renzo Degiovanni

Registered user since Mon 4 Dec 2017

Name: Renzo Degiovanni

Bio: Currently, I am a Post-doc at the Department of Computer Science at the Universidad Nacional de Río Cuarto, Argentina. I am working in the area of software requirement engineering. Precisely, I am interested to use automated analysis in the elaboration and validation of software requirements.

Country: Argentina

Affiliation: Universidad Nacional de Río Cuarto

Personal website:

Research interests: Requirements Engineering, Software Testing, Model Checking, SAT Solving


ICSE 2019Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ISSTA 2018Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
* ICSE 2018 *Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track