default search action
Alicia Villanueva
Person information
- affiliation: Polytechnic University of Valencia, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Maurizio Proietti, Alicia Villanueva:
Preface. Fundam. Informaticae 192(2) (2024) - 2023
- [c20]María Alpuente
, Alicia Villanueva
Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 51-71 - 2022
- [e3]Alicia Villanueva
Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Lecture Notes in Computer Science 13474, Springer 2022, ISBN 978-3-031-16766-9 [contents] - [i7]Alicia Villanueva:
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022). CoRR abs/2208.04235 (2022) - 2021
- [i6]Marco Comini, María-del-Mar Gallardo, Alicia Villanueva:
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR abs/2108.12348 (2021) - 2020
- [j9]María Alpuente
Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae 177(3-4): 235-273 (2020)
2010 – 2019
- 2019
- [e2]Bart Bogaerts
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - 2017
- [j8]Marco Comini
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29(3): 531-557 (2017) - [e1]Alicia Villanueva:
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents] - 2016
- [c19]María Alpuente
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR 2016: 187-202 - [i5]María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR abs/1608.05619 (2016) - 2015
- [c18]Marco Comini
Abstract Analysis of Universal Properties for tccp. LOPSTR 2015: 163-178 - [c17]María Alpuente
Automatic Inference of Specifications in the K Framework. PROLE 2015: 1-17 - 2014
- [j7]Marco Comini
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14(4-5): 787-801 (2014) - [i4]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR abs/1405.3675 (2014) - 2013
- [c16]María Alpuente
Automatic inference of specifications using matching logic. PEPM 2013: 127-136 - [i3]Marco Comini, Laura Titolo, Alicia Villanueva:
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013) - 2012
- [c15]Giovanni Bacci, Marco Comini
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) 2012: 144-153 - [c14]Giovanni Bacci, Marco Comini
Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34 - 2011
- [j6]Marco Comini
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (2011) - [i2]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for Timed Concurrent Constraint programs. CoRR abs/1109.1587 (2011) - 2010
- [c13]María Alpuente
Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20 - [c12]Alexei Lescaylle, Alicia Villanueva
Bridging the Gap between Two Concurrent Constraint Languages. WFLP 2010: 155-173
2000 – 2009
- 2009
- [c11]María Alpuente
Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204 - [c10]Alexei Lescaylle, Alicia Villanueva
The tccp Interpreter. PROLE 2009: 63-77 - 2008
- [c9]María Alpuente
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231 - [c8]María Alpuente
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. PROLE 2008: 57-66 - [c7]Alexei Lescaylle, Alicia Villanueva
A Tool for Generating a Symbolic Representation of tccp Executions. WFLP 2008: 131-145 - 2007
- [j5]Alicia Villanueva:
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. J. Funct. Program. 17(6): 813-814 (2007) - [c6]María Alpuente
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. PROLE 2007: 3-21 - [c5]Sonia Flores, Salvador Lucas
Formal Verification of Websites. WWV 2007: 103-118 - 2006
- [j4]María Alpuente
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12(11): 1551-1573 (2006) - [j3]Moreno Falaschi
Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. 6(3): 265-300 (2006) - [c4]María Alpuente
A Framework for Timed Concurrent Constraint Programming with External Functions. PROLE 2006: 143-155 - 2005
- [j2]María Alpuente
A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005) - [i1]Moreno Falaschi, Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs. CoRR abs/cs/0505026 (2005) - 2004
- [j1]Alicia Villanueva:
Model checking for the concurrent constraint paradigm. AI Commun. 17(2): 93-94 (2004) - [c3]María Alpuente
A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56 - [c2]María Alpuente
Abstract Model Checking of tccp programs. QAPL 2004: 19-36 - 2001
- [c1]Moreno Falaschi
Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE 2001: 197-210
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: