Investigadores
Publicaciones de Robert Clarisó Viladrosa
Artículos de revistas
-
CLARISÓ, R.; CORTADELLA, J. (2007). " Verification of Concurrent Systems with Parametric Delays Using Octahedra ". Fundamenta Informaticae. Núm. 78(1). Pág. 1- 33. ISSN: 0169-2968.
-
CLARISÓ, R.; CORTADELLA, J. (2007). " The Octahedron Abstract Domain (extended version) ". Science of Computer Programming. Núm. 64. Pág. 115- 139. ISSN: 01676423.
-
CLARISÓ, R.; RODRÍGUEZ, E.; CORTADELLA, J. (2005). " Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation ". Lecture Notes in Computer Science. Núm. 3536. Pág. 188- 207. ISSN: 03029743.
-
CLARISÓ, R.; CORTADELLA, J. (2004). " The Octahedron Abstract Domain ". Lecture Notes in Computer Science. Núm. 3148. Pág. 312- 327. ISSN: 03029743.
Capítulos de libros
-
GUERRA, E.; DE, J.; CLARISÓ, R.; CABOT, J. (2008). " An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations ". Proceedings ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'2008) . Pág. 37- 52.
-
CLARISÓ, R.; CABOT, J. (2008). " Proceedings International Conference on Model Transformation: Theory and Practice of Model Transformations International ". Analysing Graph Transformation Rules Using OCL. Pág. 225- 239.
-
CABOT, J.; CLARISÓ, R.; RIERA, D. (2007). " UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming ". En: EGYED, A.; FISCHER, B.; STIREWALT, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Pág. 547- 548. ISBN: 978-1-59593-882-4.
-
CABOT, J.; CLARISÓ, R.; DE, P.; RIERA, D. (2007). " UMLtoCSP: Una herramienta para la verificación de modelos mediante Constraint Programming ". En: FRANCH, X. Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007). Zaragoza: Thomson. Pág. 385- 386. ISBN: 978-84-9732-595-0.
-
CLARISÓ, R.; CORTADELLA, J. (2005). " Verification of Concurrent Systems with Parametric Delays Using Octahedra ". Proceedings of the 5th International Conference on Application of Concurrency to System Design. IEEE Computer Society Press . Pág. 122- 131.
-
CLARISÓ, R.; CORTADELLA, J. (2004). " Verification of Timed Circuits with Symbolic Delays ". Proceedings of the 9th Asia and South Pacific Design Automation Conference. Pág. 628- 633.
Contribuciones a congresos
-
CLARISÓ, R. (2008). " Verification of UML/OCL Class Diagrams Using Constraint Programming ". En: ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and Validation in MDE (MoDeVVa'2008). Lillehammer, 9 abril.
-
CLARISÓ, R.; RODRÍGUEZ, E.; CORTADELLA, J. (2005). " Derivation of non-structural invariants of Petri nets using abstract interpretation ". En: 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'05). Miami, 20 junio.
-
CLARISÓ, R.; CORTADELLA, J. (2005). " Verification of concurrent systems with parametric delays using octahedra ". En: 5th International Conference on Application of Concurrency to System Design (ACSD'05). Saint Malo, 7 junio.
-
CLARISÓ, R.; CORTADELLA, J. (2004). " The octahedron abstract domain ". En: 11th Static Analysis Symposium (SAS'04), . Verona, 26 agosto.
-
CLARISÓ, R.; CORTADELLA, J. (2004). " Verification of parametric timed circuits using octahedra ". En: 5th International Workshop on Designing Correct Circuits (DCC'04) . BARCELONA, 27 marzo.
-
CLARISÓ, R. (2004). " Verification of timed circuits with symbolic delays ". En: 9th Asia and South Pacific Design Automation Conference. Yokohama, 27 enero.
-
CLARISÓ, R.; CORTADELLA, J. (2003). " Verification of Timed Circuits with Symbolic Delays ". En: 12th International Workshop on Logic and Synthesis (IWLS'03). Laguna Beach, 28 mayo.
-
CLARISÓ, R.; CORTADELLA, J. (2003). " Symbolic timing analysis for the verification of asynchronous circuits ". En: 3rd Workshop of the Working Group on Asynchronous Circuit Design (ACiD-WG'03). Creta, 27 enero.
-
CLARISÓ, R.; KONDRATYEV, A.; LAVAGNO, L.; PASSERONE, C.; WATANABE, Y. (2002). " Synthesis of embedded software for reactive systems. ". En: 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02). Grenoble, 6 abril.