Page d'accueil // SnT // People // Carlos Alberto Gonzalez Perez

Carlos Alberto Gonzalez Perez

Carlos Alberto Gonzalez Perez

Collaborateur scientifique

Faculté ou Centre Interdisciplinary Centre for Security, Reliability and Trust
Adresse postale Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Bureau sur le campus JFK Building, E04-421
E-mail
Téléphone (+352) 46 66 44 5946
Fax (+352) 46 66 44 35946
powered by
orbilu.uni.lu

Sous presse

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 detailEnabling Model Testing of Cyber-Physical Systems
Gonzalez Perez, Carlos Alberto; Varmazyar, Mojtaba; Nejati, Shiva; Briand, Lionel; isasi, Yago

in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

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