You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 46 results:

BibTex

Filters: First Letter Of Last Name is V [Clear All Filters]

Journal Article

M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.

M. Comini, Titolo, L., and Villanueva, A., “Abstract Diagnosis for Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.

M. Comini, Gori, R., Levi, G., and Volpe, P., “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Abstract Model Checking of tccp programs”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.

M. Falaschi and Villanueva, A., “Automatic Verification of Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 6, pp. 265–300, 2006.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”, Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.

S. Flores, Lucas, S., and Villanueva, A., “Formal Verification of Websites”, Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.

M. Alpuente, Gramlich, B., and Villanueva, A., “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.

M. Falaschi, Policriti, A., and Villanueva, A., “Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 48, pp. 1–15, 2000.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “A Real-Time Logic for tccp verification”, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “A Semantic Framework for the Abstract Model Checking of tccp programs”, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.

A. Lescaylle and Villanueva, A., “The tccp Interpreter”, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.

A. Lescaylle and Villanueva, A., “A Tool for Generating a Symbolic Representation of tccp Executions”, Electronic Notes in Theoretical Computer Science, vol. 246, pp. 131–145, 2009.

Technical Report

M. Comini, Titolo, L., and Villanueva, A., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp”. Dipartimento di Matematica e Informatica, U. di Udine, 2011.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Defining Datalog in Rewriting Logic”. DSIC, Universidad Politécnica de Valencia, 2009.

M. Alpuente, Gramlich, B., and Villanueva, A., “Timed Concurrent Constraint programming with External Functions”. DSIC, UPV, 2006.

Pages