You are here

Publications

Export 33 results:
Filters: Author is Alicia Villanueva  [Clear All Filters]
2000
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language, Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.
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.
2001
M. Falaschi, Policriti, A., and Villanueva, A., Time Limited Model Checking, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.
2003
M. Alpuente, Falaschi, M., and Villanueva, A., Symbolic Model Checking for Timed Concurrent Constraint Programs, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
2004
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.
2005
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.
M. Alpuente, Falaschi, M., and Villanueva, A., A Symbolic Model checker for tccp Programs, in Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., Verifying Real-Time Properties of tccp Programs, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.
2007
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). pp. 81–92, 2007.
S. Flores, Lucas, S., and Villanueva, A., Formal Verification of Websites, Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
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.
S. Flores, Lucas, S., and Villanueva, A., Using Maude for the Formal Verification of Websites, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 71–80, 2007.
A. Lescaylle and Villanueva, A., Using tccp for the Specification and Verification of Communication Protocols, Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.
A. Lescaylle and Villanueva, A., Using tccp for the Specification of Communication Protocols, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 301–310, 2007.
2008
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation, Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.
S. Flores, Lucas, S., and Villanueva, A., Formal Verification of Websites, Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.
2009
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.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic. DSIC, Universidad Politécnica de Valencia, 2009.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Implementing Datalog in Maude, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
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.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Using Datalog and Boolean Equation Systems for Program Analysis, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.
2010
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
2011
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.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., Automatic Synthesis of Specifications for Curry Programs, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
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.

Pages