Home // SnT // People // Carlos Alberto Gonzalez Perez

Carlos Alberto Gonzalez Perez

Carlos Alberto Gonzalez Perez

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Postal Address Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Campus Office JFK Building, E04-421
Email
Telephone (+352) 46 66 44 5946
Fax (+352) 46 66 44 35946
powered by
orbilu.uni.lu

In press

Full Text
See detailSmart Bound Selection for the Verification of UML/OCL Class Diagrams
Clarisó, Robert; Gonzalez Perez, Carlos Alberto; Cabot, Jordi

in IEEE Transactions on Software Engineering (in press)

Top of Page

2018

Full Text
See detailA SysML-Based Methodology for Model Testing of Cyber-Physical Systems
Gonzalez Perez, Carlos Alberto; Varmazyar, Mojtaba; Nejati, Shiva; Briand, Lionel; Isasi, Yago

Report (2018)

Top of Page