DSIC

Alicia Villanueva's homepage
assistant professor at the DSIC department of the Universitat Politècnica de València

UPV




Alicia Villanueva García

Departamento de Sistemas Informáticos y Computación (DSIC)
Universitat Politècnica de València
Camino de Vera s/n
46022 Valencia
Spain

villanueatdsic.upv.es

UNDER RE-CONSTRUCTION

This site contains information about my research interests, past and present research activities, and also about teaching activities.



Research Interests
  • Semantic-based program analysis and verification:
model checking, static analysis, abstract interpretation, inference of specification;
  • Programming languages:
concrete and abstract semantics of languages; concurrent, functional, logic programming;


Publications


2015
  • Marco Comini, María del Mar Gallardo, Laura Titolo, Alicia Villanueva:
    Abstract Analysis of Universal Properties for tccp. LOPSTR 2015. LNCS 9527. pp 163-178 (2015)
    PDF        RiuNet
  • María Alpuente, Daniel Pardo, Alicia Villanueva:
    Automatic Inference of Specifications in the K Framework. PROLE 2015. EPTCS 200. pp 1-17 (2015)
  • PDF        RiuNet

2014
  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Abstract Diagnosis for tccp using a Linear Temporal Logic. TPLP 14(4-5): 787-801 (2014)
    PDF        arXiv        RiuNet

2013
  • María Alpuente, Marco A. Feliú, Alicia Villanueva:
    Automatic inference of specifications using matching logic. PEPM 2013: 127-136
    • PDF
  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013)
    • PDF


Activities



PhD Students



Teaching



Software



Last Update: February 2015