Adding Correctness Checking to Test Automation Platform. - Alberto Salmerón; Leticia Lavado; María-del-Mar Gallardo; Pedro Merino Gómez (ISSRE Workshops, 2017)

A Simulation Tool for tccp Programs. - María-del-Mar Gallardo; Leticia Lavado; Laura Panizo (WLP / WFLP, 2017)

A constraint-based language for modelling intelligent environments. - María-del-Mar Gallardo; Leticia Lavado; Laura Panizo; Laura Titolo (J. Reliab. Intell. Environ., 2017)

A characterisation of verification tools for software defined networks. - Leticia Lavado; Laura Panizo; María-del-Mar Gallardo; Pedro Merino 001 (J. Reliab. Intell. Environ., 2017)