You are here

Publications

Export 94 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.
M. Alpuente, Ballis, D., and Falaschi, M., An Automated Tool for Web Sites Verification, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, vol. 3229. Springer, pp. 726–729, 2004.
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., Abstract Diagnosis of Functional Programs, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
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, Ballis, D., and Falaschi, M., Transformation and Debugging of Functional Logic Programs, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic. DSIC, Universidad Politécnica de Valencia, 2009.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs, Theoretical Computer Science, vol. 411, no. 47, 2010.
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., Backward Trace Slicing for Rewriting Logic Theories, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., Semantic Verification of Web System Contents, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
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.
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of OBJ-like Programs, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 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.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
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. 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.
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., Model-checking Web Applications with Web-TLR, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.
M. Alpuente, Ballis, D., and Falaschi, M., Rule-based Verification of Web Sites, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 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.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., Correction of Functional Logic Programs, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.
M. Alpuente, Gramlich, B., and Villanueva, A., Timed Concurrent Constraint programming with External Functions. DSIC, UPV, 2006.
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.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., A Multiparadigm Automatic Correction Scheme, Pre-Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002. 2002.
M. Alpuente, Ballis, D., and Falaschi, M., A Rewriting-based Framework for Web Sites Verification, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., Completeness of Unfolding for Rewriting Logic Theories, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., An Abstract Generic Framework for Web Site Verification, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
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, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of First-Order Functional Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., A Fast Algebraic Web Verification Service, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.
M. Alpuente, Ballis, D., and Romero, D. O., Specification and Verification of Web Applications in Rewriting Logic, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Iborra, J., A Compact Fixpoint Semantics for Term Rewriting Systems, Theoretical Computer Science, 2010.

Pages