Startseite // SnT // People // Renzo Degiovanni

Renzo Degiovanni

Renzo Degiovanni

Postdoc. researcher/Research associate

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Postadresse Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Büroadresse E 009
E-Mail
Telefon (+352) 46 66 44 5763
Fax (+352) 46 66 44 35763

Renzo Degiovanni received his PhD in Computer Science from the National University of Córdoba (Argentina), in 2015. His research interests lie in software engineering, in particular the area of software validation and verification. Renzo joined the Security Design and Validation research group, SERVAL, headed by Prof. Yves Le Traon.

Last updated on: Donnerstag, den 16. Mai 2019

powered by
orbilu.uni.lu

2019

Full Text
See detailAn evolutionary approach to translating operational specifications into declarative specifications
Molina, Facundo; Cornejo, César; Degiovanni, Renzo Gaston; Regis, Germán; Castro, Pablo F.; Aguirre, Nazareno; Frias, Marcelo F.

in Science of Computer Programming (2019), 181

Full Text
See detailTraining binary classifiers as data structure invariants
Molina, Facundo; Degiovanni, Renzo Gaston; Ponzio, Pablo; Regis, Germán; Aguirre, Nazareno; Frias, Marcelo F.

in Proceedings of the 41st International Conference on Software Engineering ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019)

Top of Page