VRAIN


Alicia Villanueva's homepage
     (Under permanent reconstruction)

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

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 2021 - 37th International Conference on Logic Programming.
  • LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation.
  • PROLE 2021 - XX Jornadas sobre Programación y Lenguajes.
  • ECAI 2020 - 24th European Conference on Artificial Intelligence.
  • ICLP 2020 - 36th International Conference on Logic Programming.
  • PROLE 2020 - XX Jornadas sobre Programación y Lenguajes (cancelled due to COVID-19).
  • 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
  • and PROLE 2015, PROLE 2014, WLPE 2013, PROLE 2013, PROLE 2012, PROLE 2011, LOPSTR 2010, and WFLP 2008.


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




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


2020
  • María Alpuente, Daniel Pardo, Alicia Villanueva:
    Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundamenta Informaticae 177: 235-273
    Electronic edition        RiuNet
2017
  • Marco Comini, María del Mar Gallardo, Laura Titolo, Alicia Villanueva:
    A program analysis framework for tccp based on abstract interpretation. Formal Aspects of Computing 29(3): 531-557
    Electronic edition        RiuNet
2016
  • María Alpuente, Daniel Pardo, Alicia Villanueva:
    Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR 2016. LNCS 10184, pp. 183-202
    Electronic edition        arXiv
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)
    Electronic edition        RiuNet
  • María Alpuente, Daniel Pardo, Alicia Villanueva:
    Automatic Inference of Specifications in the K Framework. PROLE 2015. EPTCS 200. pp 1-17 (2015)
  • Electronic edition        RiuNet
2014
  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Abstract Diagnosis for tccp using a Linear Temporal Logic. TPLP 14(4-5): 787-801 (2014)
    Electronic edition        arXiv
2013
  • María Alpuente, Marco A. Feliú, Alicia Villanueva:
    Automatic inference of specifications using matching logic. PEPM 2013: 127-136
    Electronic edition        RiuNet

  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Towards an Effective Decision Procedure for LTL formulas with Constraints. WLPE 2013
    Electronic edition (arXiv)
2012
  • Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva:
    The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) 2012: 144-153
    Electronic edition (DROPS)

  • Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva:
    Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34
    Electronic edition        RiuNet
2011
  • Marco Comini, Laura Titolo, Alicia Villanueva:
    Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (ICLP 2011)
    Electronic edition        arXiv

Last Update: February 2021