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;


News
  • The COST Action European Research Network on Formal Proofs (EuroProofNet) will start in October 2021.
    EuroProofNet aims at boosting the interoperability and usability of proof systems across different reasoning systems and applications. If you are interested in contributing to the goals, please register via e-COST.

Activities

  Duties
  PC chair
  PC member
  • ICLP 2022 - 38th International Conference on Logic Programming.
  • 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

2021
  • Marco Comini, Maria del Mar Gallardo, Alicia Villanueva:
    A denotational semantics for PROMELA addressing arbitrary jumps. Proceedings of LOPSTR 2021.
    arXiv       
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: September 2021