Robert Clarisó B-5450-2009 - ResearcherID.com

Clarisó, Robert

ResearcherID:	B-5450-2009
Other Names:	Robert Clariso; Robert Clariso Viladrosa; Robert Clarisó Viladrosa
URL:	http://www.researcherid.com/rid/B-5450-2009
Subject:	Computer Science
Keywords:	formal methods; formal verification ; abstract interpretation; model driven engineering

My Institutions (more details)
Primary Institution:	Universitat Oberta de Catalunya, UOC
Sub-org/Dept:
Role:	Researcher (Academic)

Joint Affiliation:	Universitat Autònoma de Barcelona, UAB

Description:

Formal verification applied to several problems (timing analysis of asynchronous circuits, consistency verification in model-driven engineering) and using different techniques (abstract interpretation, constraint programming).

	My Publications My Publications(11) View Publications Citation Metrics ResearcherID labs Create A Badge Collaboration Network Citing Articles Network

My Publications: View

This list contains papers that I have authored.

11 publication(s)

Page of 2

Sort by:
Results per page:


1.	Title: Verification and validation of declarative model-to-model transformations through invariants Author(s): Cabot, J.; Clariso, R.; Guerra, E.; et al. Source: Journal of Systems and Software Volume: 83 Issue: 2 Pages: 283-302 Published: 2010 Times Cited: 0 DOI: 10.1016/j.jss.2009.08.012	added 13-Apr-10
2.	Title: Verifying UML/OCL Operation Contracts Author(s): Cabot, J.; Clariso, R.; Riera, D. Source: Integrated Formal Methods, Proceedings Volume: 5423 Pages: 40-55 Published: 2009 Times Cited: 5	added 26-May-09
3.	Title: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations Author(s): Cabot, J.; Clariso, R.; Guerra, E.; et al. Source: Model Driven Engineering Languages and Systems, Proceedings Volume: 5301 Pages: 37-52 Published: 2008 Times Cited: 3	added 26-May-09
4.	Title: Analysing graph transformation rules through OCL Author(s): Cabot, J.; Clariso, R.; Guerra, E.; et al. Source: Theory and Practice of Model Transformations Volume: 5063 Pages: 229-244 Published: 2008 Times Cited: 5	added 26-May-09
5.	Title: The octahedron abstract domain Author(s): Clariso, R.; Cortadella, J. Source: Science of Computer Programming Volume: 64 Issue: 1 Pages: 115-139 Published: 2007 Times Cited: 5 DOI: 10.1016/j.scico.2006.03.009	added 26-May-09
6.	Title: Verification of concurrent systems with parametric delays using octahedra Author(s): Clariso, R.; Cortadella, J. Source: Fundamenta Informaticae Volume: 78 Issue: 1 Pages: 1-33 Published: 2007 Times Cited: 0	added 26-May-09
7.	Title: Abstract interpretation techniques for the verification of timed systems Author(s): Clarisó Viladrosa, Robert	added 13-Apr-10
8.	Title: Derivation of non-structural invariants of Petri Nets using abstract interpretation Author(s): Clariso, R.; Rodriguez-Carbonell, E.; Cortadella, J. Source: Applications and Theory of Petri Nets 2005, Proceedings Volume: 3536 Pages: 188-207 Published: 2005 Times Cited: 3	added 26-May-09
9.	Title: Verification of concurrent systems with parametric delays using octahedra Author(s): Clariso, R.; Cortadella, J. Source: ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings Pages: 122-131 Published: 2005 Times Cited: 2	added 26-May-09
10.	Title: The octahedron abstract domain Author(s): Clariso, R.; Cortadella, J. Source: Static Analysis, Proceedings Volume: 3148 Pages: 312-327 Published: 2004 Times Cited: 23	added 26-May-09

11 publication(s)

Page of 2

Sort by:
Results per page:

My Publications

My Publications(11)

ResearcherID labs