Modeling Hybrid Systems in Hy-tccp. - Damián Adalid; María-del-Mar Gallardo; Laura Titolo (CoRR, 2014)

Modeling Hybrid Systems in the Concurrent Constraint Paradigm. - Damián Adalid; María-del-Mar Gallardo; Laura Titolo (PROLE, 2014)

Using SPIN for automated debugging of infinite executions of Java programs. - Damián Adalid; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino 001 (J. Syst. Softw., 2014)