Carlos A. González

According to our database, Carlos A. González authored at least 8 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Incremental Verification of UML/OCL Models.

Robert Clarisó, Carlos A. González, Jordi Cabot

J. Object Technol., 2020

2019

Smart Bound Selection for the Verification of UML/OCL Class Diagrams.

Robert Clarisó, Carlos A. González, Jordi Cabot

IEEE Trans. Software Eng., 2019

2018

Enabling Model Testing of Cyber-Physical Systems.

Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2015

Towards Domain Refinement for UML/OCL Bounded Verification.

Robert Clarisó, Carlos A. González, Jordi Cabot

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Formal verification of static software models in MDE: A systematic review.

Carlos A. González, Jordi Cabot

Inf. Softw. Technol., 2014

Test Data Generation for Model Transformations Combining Partition and Constraint Analysis.

Carlos A. González, Jordi Cabot

Proceedings of the Theory and Practice of Model Transformations, 2014

2012

ATLTest: A White-Box Test Generation Approach for ATL Transformations.

Carlos A. González, Jordi Cabot

Proceedings of the Model Driven Engineering Languages and Systems, 2012

EMFtoCSP: a tool for the lightweight verification of EMF models.

Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012