|
|
Presentation
GRES-UOC is a research group within the
Internet Interdisciplinary
Institute (IN3) of the Open University of
Catalonia. The focus of its research are tools and methods for
Computer-Aided Software Engineering in areas such as validation, formal
verification, synthesis or simulation.
News
- 2008/01/17: Two PhD positions available, deadline September 30. More information here [ PDF ].
- 2007/10/22: One PhD position available, deadline November 15. More information here [ PDF ].
Members
| |
| Faculty |
|---|
| Dr. Eng. Robert Clarisó |
|
web |
|
e-mail |
| Dr. Eng. Daniel Riera |
|
web |
|
e-mail |
| Dr. Eng. Jordi Conesa |
|
web |
|
e-mail |
| Dr. Eng. Àngels Rius |
|
web |
|
e-mail |
| Dr. Eng. Santi Caballé |
|
web |
|
e-mail |
| Dr. Eng. Elena Planas |
|
web |
|
e-mail |
| Eng. Isabel Guitart |
|
web |
|
e-mail |
|
|
| Research assistants |
|---|
| Eng. David Sànchez Mendoza |
|
web |
|
e-mail |
| Eng. David Elfau |
|
web |
|
e-mail |
|
|
| Collaborators |
|---|
| Dr. Eng. Jordi Cabot |
|
web |
|
e-mail |
|
|
| Former members |
|---|
| Eng. Patricia de la Fuente |
|
web |
|
e-mail |
| Eng. Christian Pérez |
|
web |
|
e-mail |
| Eng. Josep Lluis Figueras |
|
web |
|
e-mail |
| M.Sc. Eng. Asadullah Shaikh |
|
web |
|
e-mail |
|
Publications
- Asadullah Shaikh, Robert Clarisó,
Uffe Kock Wiil,
Nasrullah Memon.
Verification-driven slicing of UML/OCL Models.
In Proc. 25th IEEE/ACM International Conference on Automated Software Engineering, pages 185-194, ACM, 2010.
[ PDF ]
- Jordi Cabot,
Robert. Clarisó,
Esther Guerra and Juan de Lara.
Synthesis of OCL Pre-conditions for Graph Transformation Rules.
In Proc. 3rd International Conference on Model Transformation (ICMT'2010), volume 6142 of Lecture Notes in Computer Science, pages 45-60, Springer-Verlag, 2010.
[ PDF ]
© Springer-Verlag LNCS
- Jordi Cabot, Robert Clarisó, Daniel Riera.
Verifying UML/OCL Operation Contracts.
7th International Conference on Integrated Formal Methods (iFM'2009), LNCS 5423, pp. 40-55.
16-19 February 2009, Dusseldorf, Germany.
[ PDF ] © Springer-Verlag
- Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
An Invariant-Based Method for the Analysis of Declarative Model-to-Model
Transformations. Proceedings of the ACM/IEEE 11th International Conference on Model
Driven Engineering Languages and Systems (MODELS'2008), LNCS 5301, pp. 37-52.
28 September - 3 October 2008, Tolouse, France. [ PDF ] © Springer-Verlag
- Jordi Cabot, Robert Clarisó. UML/OCL Verification in Practice.
1st International Workshop on Challenges in Model-Driven Software
Engineering (ChaMDE'08 - Satellite event of MODELS'2008).
28 September 2008, Toulouse, France. [ PDF ]
- Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
Analysing Graph Transformation Rules Using OCL.
Proceedings of the International Conference on Model Transformation: Theory and Practice of Model Transformations
(ICMT'2008), LNCS 5063, pp. 225-239.
1-2 July 2008, Zurich, Switzerland. [ PDF ] © Springer-Verlag
- Jordi Cabot, Robert Clarisó, Daniel Riera.
Verification of UML/OCL Class Diagrams Using Constraint Programming.
ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and
Validation in MDE (MoDeVVa'2008). pp. 73-80.
8 April 2008, Lillehammer, Norway. [ PDF ]
- Jordi Cabot, Robert Clarisó, Daniel Riera.
UMLtoCSP: A tool for the formal verification of UML/OCL models.
Proceedings of the 22nd ACM/IEEE International Conference on Automated Software Engineering (ASE'2007),
pp. 547-548.
4-9 November 2007, Atlanta, Georgia, USA. [ PDF ]
Visit the webpage of the group members to see additional publications.
Tools
- UMLtoCSP: A tool for the formal verification of UML/OCL models based on Constraint Programming.
- CUCKOO: An e-learning environment for teaching conceptual modelling in UML.
|