You are here

Publications

Export 37 results:
Filters: Author is Maria Alpuente  [Clear All Filters]
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, 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., 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., 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., 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., 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, 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, 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, Ballis, D., and Falaschi, M., Automated Verification of Web Sites Using Partial Rewriting, Pre-Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004. pp. 81–88, 2004.
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, 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, Ballis, D., Falaschi, M., and Romero, D. O., A Semi-Automatic Methodology for Repairing Faulty Web Sites, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.
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., 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, 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, 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, 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, Ballis, D., and Falaschi, M., Transformation and Debugging of Functional Logic Programs, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.
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, Comini, M., Escobar, S., Falaschi, M., and Iborra, J., A Compact Fixpoint Semantics for Term Rewriting Systems, Theoretical Computer Science, 2010.
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, 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, 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, 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. 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, Gramlich, B., and Villanueva, A., Timed Concurrent Constraint programming with External Functions. DSIC, UPV, 2006.
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, Gramlich, B., and Villanueva, A., Timed Concurrent Constraint Programming with Instantaneous Computations, Actas de las VI Jornadas de Programaci. Sitges, Barcelona, Spain, 2006.
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, 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, 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.

Pages