Title: The octahedron abstract domain Author(s): Clariso, R.; Cortadella, J. Source: Static Analysis, Proceedings Volume: 3148 Pages: 312-327 Published: 2004 Times Cited: 20
added
26-May-09
2.
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
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: 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: 3 DOI: 10.1016/j.scico.2006.03.009
added
26-May-09
5.
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
6.
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
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
9.
Title: Verification of timed circuits with symbolic delays Author(s): Clariso, R.; Cortadella, J. Source: Asp-Dac 2004: Proceedings of the Asia and South Pacific Design Automation Conference Pages: 628-633 Published: 2004 Times Cited: 0
added
26-May-09
10.
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
