Carlos A. Gonzlez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | MODELS | Enabling Model Testing of Cyber-Physical Systems. | Carlos A. Gonzlez, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi |
| 2015 | SEFM | Towards Domain Refinement for UML/OCL Bounded Verification. | Robert Claris, Carlos A. Gonzlez, Jordi Cabot |
| 2012 | ICSE | EMFtoCSP: a tool for the lightweight verification of EMF models. | Carlos A. Gonzlez, Fabian Bttner, Robert Claris, Jordi Cabot |
| 2012 | MODELS | ATLTest: A White-Box Test Generation Approach for ATL Transformations. | Carlos A. Gonzlez, Jordi Cabot |