Page d'accueil // SnT // People // Renzo Degiovanni

Renzo Degiovanni

Renzo Degiovanni

Postdoc. researcher/Research associate

Faculté ou Centre Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Adresse postale Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Bureau sur le campus E 009
E-mail
Téléphone (+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: jeudi 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