Följ
Robert Clarisķ
Robert Clarisķ
Associate professor, Universitat Oberta de Catalunya (UOC)
Verifierad e-postadress på uoc.edu - Startsida
Titel
Citeras av
Citeras av
År
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
3012008
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
J Cabot, R Clarisķ, D Riera
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
2562007
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
2082010
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
1582014
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
1332012
The octahedron abstract domain
R Clarisķ, J Cortadella
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004
1062004
Verifying UML/OCL operation contracts
J Cabot, R Clarisķ, D Riera
International conference on integrated formal methods, 40-55, 2009
772009
A NLP-based architecture for the autocompletion of partial domain models
L Burgueņo, R Clarisķ, S Li, S Gérard, J Cabot
33rd International Conference on Advanced Information Systems Engineering …, 2021
762021
The octahedron abstract domain
R Clarisķ, J Cortadella
Science of Computer Programming 64 (1), 115-139, 2007
762007
Verification-driven slicing of UML/OCL models
A Shaikh, R Clarisķ, UK Wiil, N Memon
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
722010
Cognifying model-driven software engineering
J Cabot, R Clarisķ, M Brambilla, S Gérard
Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018
702018
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
702013
Experiences in digital circuit design courses: A self-study platform for learning support
D Baneres, R Clariso, J Jorba, M Serra
IEEE Transactions on Learning Technologies 7 (4), 360-374, 2014
572014
Formative Assessment, Learning Data Analytics and Gamification In ICT Education
S Caballé, R Clarisķ
Academic Press, 2016
452016
Extracting software product line feature models from natural language specifications
A Sree-Kumar, E Planas, R Clarisķ
22nd International Conference on Systems and Software Product Line-Volume 1 …, 2018
442018
ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification
D Gaņán, S Caballé, R Clarisķ, J Conesa, D Baņeres
International Journal of Web Information Systems 13 (1), 25-54, 2017
362017
Applying graph kernels to model-driven engineering problems
R Clarisķ, J Cabot
1st International Workshop on Machine Learning and Software Engineering in …, 2018
342018
Verification of concurrent systems with parametric delays using octahedra
R Clarisķ, J Cortadella
Fundamenta Informaticae 78 (1), 1-33, 2007
342007
Verification of timed circuits with symbolic delays
R Clarisķ, J Cortadella
ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004
342004
Analysing graph transformation rules through OCL
J Cabot, R Clarisķ, E Guerra, J De Lara
Theory and Practice of Model Transformations, 229-244, 2008
312008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20