Robert Clarisó
Robert Clarisó
Associate professor, Universitat Oberta de Catalunya (UOC)
Email confirmado em uoc.edu - Página inicial
Título
Citado por
Citado por
Ano
Verification of UML/OCL class diagrams using constraint programming
J Cabot, R Clarisó, D Riera
Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE …, 2008
2682008
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
J Cabot, R Clarisó, D Riera
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
2142007
Verification and validation of declarative model-to-model transformations through invariants
J Cabot, R Clarisó, E Guerra, J De Lara
Journal of Systems and Software 83 (2), 283-302, 2010
1772010
On the verification of UML/OCL class diagrams using constraint programming
J Cabot, R Clarisó, D Riera
Journal of Systems and Software 93, 1-23, 2014
1182014
EMFtoCSP: A tool for the lightweight verification of EMF models
CA González, F Büttner, R Clarisó, J Cabot
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
1012012
The octahedron abstract domain
R Clarisó, J Cortadella
International Static Analysis Symposium, 312-327, 2004
942004
Verifying UML/OCL operation contracts
J Cabot, R Clarisó, D Riera
International Conference on Integrated Formal Methods, 40-55, 2009
692009
The octahedron abstract domain
R Clarisó, J Cortadella
Science of Computer Programming 64 (1), 115-139, 2007
652007
Verification-driven slicing of UML/OCL models
A Shaikh, R Clarisó, UK Wiil, N Memon
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
632010
Implementación de buenas prácticas en los trabajos fin de grado
D Hernández-Leo, V Moreno Oliver, I Camps, R Clarisó, ...
REDU. Revista de Docencia Universitaria 11, 269-278, 2013
452013
Experiences in digital circuit design courses: A self-study platform for learning support
D Baneres, R Clarisó, J Jorba, M Serra
IEEE Transactions on Learning Technologies 7 (4), 360-374, 2014
342014
Verification of timed circuits with symbolic delays
R Clarisó, J Cortadella
ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004
332004
Verification of concurrent systems with parametric delays using octahedra
R Clarisó, J Cortadella
Fundamenta Informaticae 78 (1), 1-33, 2007
292007
Analysing graph transformation rules through OCL
J Cabot, R Clarisó, E Guerra, J De Lara
Theory and Practice of Model Transformations, 229-244, 2008
282008
Introducció al treball final
R Clarisó
Apunts de la Universitat Oberta de Catalunya, 2013
272013
Cognifying model-driven software engineering
J Cabot, R Clarisó, M Brambilla, S Gérard
Federation of International Conferences on Software Technologies …, 2017
262017
A UML/OCL framework for the analysis of graph transformation rules
J Cabot, R Clarisó, E Guerra, J de Lara
Software & Systems Modeling 9 (3), 335-357, 2010
252010
UML-OCL verification in practice
J Cabot, R Clarisó
MoDELS Workshops - Proc. 1st International Workshopon Challenges in Model …, 2008
232008
Backwards reasoning for model transformations: Method and applications
R Clarisó, J Cabot, E Guerra, J de Lara
Journal of Systems and Software 116, 113-132, 2016
202016
Student projects empowering mobile learning in higher education
À Rius, D Masip, R Clarisó
International Journal of Educational Technology in Higher Education 11 (1 …, 2014
20*2014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20