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

Carlos Alberto Gonzalez Perez

Carlos Alberto Gonzalez Perez
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
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