Robert Clarisó Viladrosa

Estudis d'Informàtica, Multimèdia i Telecomunicació
Universitat Oberta de Catalunya
Rambla del Poblenou 156, Office 212
08018 Barcelona, Spain

E-mail:  rclariso (a) uoc dot edu
Phone:  +34-93-3263410
Fax:      +34-93-3568822
Affiliation   |   Teaching   |   Research interests   |   Publications   |   Links

Affiliation

Teaching

Research interests

Publications

   DBLP - ResearcherID - ACM Portal - Google Scholar - MSN Academic Search

   PhD Thesis
  1. R. Clarisó. Abstract Interpretation Techniques for the Verification of Timed Systems. PhD Thesis, Department of Software (LSI), Technical University of Catalonia (UPC). September 2005. [ PDF ]
    PhD. advisor: Jordi Cortadella
   Journals
  1. J. Cabot, R. Clarisó, E. Guerra and J. de Lara. Verification and Validation of Declarative Model-to-Model Transformations Through Invariants. Journal of Systems and Software. To appear.
  2. J. Cabot, R. Clarisó, E. Guerra and J. de Lara. A UML/OCL Framework for the Analysis of Graph Transformation Rules. Software and Systems Modeling. To appear.
  3. R. Clarisó and J. Cortadella.The octahedron abstract domain. Science of Computer Programming, 64(1):115-139, January 2007.
  4. R. Clarisó and J. Cortadella.Verification of Concurrent Systems with Parametric Delays using Octahedra.. Fundamenta Informaticae,78(1):1-33, July 2007.
   International Conferences
  1. J. Cabot, R. Clarisó and D. Riera. Verifying UML/OCL Operation Contracts. In Proc. 7th International Conference on Integrated Formal methods (iFM'2009), volume 5423 of Lecture Notes in Computer Science, pages 40-55, Springer-Verlag, Februrary 2009. [ PDF ]   © Springer-Verlag LNCS
  2. J. Cabot, R. Clarisó, E. Guerra and J. de Lara. An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. In Proc. 11th International Conference on Model-Driven Engineering Languages and Systems (MODELS'2008), volume 5301 of Lecture Notes in Computer Science, pages 37-52, Springer-Verlag, September 2008. [ PDF ]   © Springer-Verlag LNCS
  3. J. Cabot, R. Clarisó, E. Guerra and J. de Lara. Analysing Graph Transformation Rules Through OCL. In Proc. International Conference on Model Transformation (ICMT'2008), volume 5063 of Lecture Notes in Computer Science, pages 225-239, Springer-Verlag, July 2008. [ PDF ]   © Springer-Verlag LNCS
  4. R. Clarisó and J. Cortadella. Verification of Concurrent Systems with Parametric Delays Using Octahedra. In Proc. 5th International Conference on Application of Concurrency to System Design (ACSD'05), pages 122-131, IEEE Computer Society Press. June 2005. [ PDF ] [ BibTeX ] © IEEE
  5. R. Clarisó, E. Rodríguez-Carbonell and J. Cortadella. Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. In Proc. 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'05), volume 3536 of Lecture Notes in Computer Science, pages 188-207, Springer-Verlag, June 2005. [ PDF ] [ BibTeX ] © Springer-Verlag LNCS
  6. R. Clarisó and J. Cortadella. The octahedron abstract domain. In 11th Static Analysis Symposium (SAS'04), volume 3148 of Lecture Notes in Computer Science, pages 312-327. Springer-Verlag, August 2004. [ PS ] [ PDF ] [ BibTeX ]   © Springer-Verlag LNCS
  7. R. Clarisó and J. Cortadella. Verification of timed circuits with symbolic delays. In Proc. Asia and South Pacific Design Automation Conference, pages 628-633. January 2004. [ PS ] [ PDF ] [ BibTeX ]
   International workshops and tool demos
  1. J. Cabot and R. Clarisó. UML/OCL Verification in Practice. In Proc. 1st International Workshop on Challenges in Model-Driven Software Engineering (ChaMDE'2008), September 2008. [ PDF ]
  2. J. Cabot, R. Clarisó and D. Riera. Verification of UML/OCL Class Diagrams Using Constraint Programming. In Proc. ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and Validation in MDE (MoDeVVa'2008), April 2008. [ PDF ]
  3. J. Cabot, R. Clarisó and D. Riera. UMLtoCSP: A Tool For the Formal Verification of UML/OCL Models Using Constraint Programming. Tool demo in 22nd ACM/IEEE International Conference on Automated Software Engineering (ASE'07), pages 547-548. November 2007. [ PDF ]
  4. R. Clarisó and J. Cortadella. Verification of parametric timed circuits using octahedra. In Proc. International Workshop on Designing Correct Circuits (DCC'05). March 2004.
  5. R. Clarisó and J. Cortadella. Verification of timed circuits with symbolic delays. In Proc. of the 12th International Workshop on Logic and Synthesis (IWLS'03), pages 310-317. May 2003.
  6. R. Clarisó and J. Cortadella. Symbolic timing analysis for the verification of asynchronous circuits. In 3rd Workshop of the Working Group on Asynchronous Circuit Design (ACiD-WG'03). January 2003.
  7. R. Clarisó, J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone and Y. Watanabe. Synthesis of embedded software for reactive systems. Proc. 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02), pages 2-20. April 2002.
   Other publications
  1. R. Clarisó. Entorn per optimització i generació de codi (in Catalan). Description of an optimizing compiler designed for academic purposes. Project to achieve the degree of Enginyer en Informàtica. April 2000. [ PDF ]

Links