Back
  1. Home
  2. Profile of Carlos Alberto GONZALEZ PEREZ (Unilu)
Profil

GONZALEZ PEREZ Carlos Alberto

Main Referenced Co-authors
BRIAND, Lionel  (2)
NEJATI, Shiva  (2)
VARMAZYAR, Mojtaba  (2)
CABOT, Jordi  (1)
Clarisó, Robert (1)
Main Referenced Keywords
Cyber-Physical Systems (2); Class Diagram (1); Constraint Propagation (1); Formal Verification (1); Model-Based Systems Engineering (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (1)
Snt Centre (1)
Main Referenced Disciplines
Computer science (3)

Publications (total 3)

The most downloaded
1047 downloads
GONZALEZ PEREZ, C. A., VARMAZYAR, M., NEJATI, S., BRIAND, L., & isasi, Y. (2018). Enabling Model Testing of Cyber-Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239409 https://hdl.handle.net/10993/36130

The most cited

28 citations (Scopus®)

GONZALEZ PEREZ, C. A., VARMAZYAR, M., NEJATI, S., BRIAND, L., & isasi, Y. (2018). Enabling Model Testing of Cyber-Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239409 https://hdl.handle.net/10993/36130

Clarisó, R., GONZALEZ PEREZ, C. A., & CABOT, J. (In press). Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2017.2777830
Peer Reviewed verified by ORBi

GONZALEZ PEREZ, C. A., VARMAZYAR, M., NEJATI, S., BRIAND, L., & isasi, Y. (2018). Enabling Model Testing of Cyber-Physical Systems. In Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18). doi:10.1145/3239372.3239409
Peer reviewed

GONZALEZ PEREZ, C. A., VARMAZYAR, M., NEJATI, S., BRIAND, L., & Isasi, Y. (2018). A SysML-Based Methodology for Model Testing of Cyber-Physical Systems. (TR-SNT-2018-2). Luxembourg, Luxembourg: University of Luxembourg. https://orbilu.uni.lu/handle/10993/35699

Contact ORBilu