ELP

Alicia Villanueva's homepage     (Under permanent reconstruction)

UPV


Alicia Villanueva García
Valencian Research Institute for Artificial Intelligence (vrAIn)
Universitat Politècnica de València
Camino de Vera s/n
46022 Valencia
Spain

alvilga1atupv.es

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;


Activities

  PC chair
  PC member
  • ICLP 2019 - 35th International Conference on Logic Programming.
  • PROLE 2019 - XIX Jornadas sobre Programación y Lenguajes.
  • HCVS 2019 - 6th Workshop on Horn Clauses for Verification and Synthesis.
  • LSFA 2018 - 13th Workshop on Logical and Semantic Frameworks with Applications
  • PROLE 2018 - XVIII Jornadas sobre Programación y Lenguajes
  • LOPSTR 2017 - 27th International Symposium on Logic-Based Program Synthesis and Transformation
  • PROLE 2017 - XVII Jornadas sobre Programación y Lenguajes
  • ICLP 2016 - 32nd International Conference on Logic Programming
  • PROLE 2015 - XV Jornadas sobre Programación y Lenguajes
  • PROLE 2014 - XIV Jornadas sobre Programación y Lenguajes
  • WLPE 2013 - 23rd Workshop on Logic-based methods in Programming Environments
  • PROLE 2013 - XIII Jornadas sobre Programación y Lenguajes
  • PROLE 2012 - XII Jornadas sobre Programación y Lenguajes
  • PROLE 2011 - XI Jornadas sobre Programación y Lenguajes
  • LOPSTR 2010 - 20th International Simposium on Logic-Based Program Synthesis and Transformation
  • WFLP 2008 - 17th International Workshop on Functional and (Constraint) Logic Programming


Software
  • AbsSpec: A tool for the inference of specifications for Curry programs
  • TADi: An Abstract Diagnosis Tool for tccp using Temporal Formulas
  • Datalaude: A datalog solver based on Rewriting Logic
  • KindSpec: A Rewriting-based, Symbolic Abstract Contract Syntheser


PhD Students



Teaching

    Bachelor's Degree in Informatics Engineering. GII (ETSInf, UPV):     Master's Degree in Software Engineering, Formal Methods and Information Systems. MITSS (DSIC, UPV):



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        RiuNet

  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013)

    PDF        RiuNet
Last Update: June 2019