2013
1 Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña. ESOP 2013, 121-124. Web SearchBibTeXDownload
2 Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña. ESOP 2013, 121-124. Web SearchBibTeXDownload
2012
1 Julienne: A Trace Slicer for Conditional Rewrite Theories. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero. FM 2012, 28-32. Web SearchBibTeXDownload
2 Backward Trace Slicing for Conditional Rewrite Theories. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero. LPAR 2012, 62-76. Web SearchBibTeXDownload
2011
1 Dynamic Backward Slicing of Rewriting Logic Computations. María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. CoRR (abs/1105.2665) (2011). Web SearchBibTeXDownload
2 Backward Trace Slicing for Rewriting Logic Theories. María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. CADE 2011, 34-48. Web SearchBibTeXDownload
3 Debugging of Web Applications with Web-TLR. María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero. WWV 2011, 66-80. Web SearchBibTeXDownload
2010
1 A fold/unfold transformation framework for rewrite theories extended to CCT. María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. PEPM 2010, 43-52. Web SearchBibTeXDownload
2 Model-Checking Web Applications with Web-TLR. María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. ATVA 2010, 341-346. Web SearchBibTeXDownload
3 Completeness of Unfolding for Rewriting Logic Theories. María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis. SYNASC 2010, 116-123. Web SearchBibTeXDownload
4 Transformation and Debugging of Functional Logic Programs. María Alpuente, Demis Ballis, Moreno Falaschi. 25 Years GULP 2010, 271-299. Web SearchBibTeXDownload
5 An integrated framework for the diagnosis and correction of rule-based programs. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi. Theor. Comput. Sci. (411): 4055-4101 (2010). Web SearchBibTeXDownload
2009
1 Specification and Verification of Web Applications in Rewriting Logic. María Alpuente, Demis Ballis, Daniel Romero. FM 2009, 790-805. Web SearchBibTeXDownload
2008
1 An Abstract Generic Framework for Web Site Verification. María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi. SAINT 2008, 104-110. Web SearchBibTeXDownload
2 Semantic Verification of Web System Contents. María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi. ER Workshops 2008, 437-446. Web SearchBibTeXDownload
2007
1 A Fast Algebraic Web Verification Service. María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero. RR 2007, 239-248. Web SearchBibTeXDownload
2006
1 Rule-based verification of Web sites. María Alpuente, Demis Ballis, Moreno Falaschi. STTT (8): 565-585 (2006). Web SearchBibTeXDownload
2 A Semi-Automatic Methodology for Repairing FaultyWeb Sites. María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero. SEFM 2006, 31-40. Web SearchBibTeXDownload
2005
1 A Rewriting-based Framework for Web Sites Verification. María Alpuente, Demis Ballis, Moreno Falaschi. Electr. Notes Theor. Comput. Sci. (124): 41-61 (2005). Web SearchBibTeXDownload
2004
1 Automated Verification of Web Sites Using Partial Rewriting. María Alpuente, Demis Ballis, Moreno Falaschi. ISoLA (Preliminary proceedings) 2004, 81-88. Web SearchBibTeX
2 Verdi: An Automated Tool for Web Sites Verification. María Alpuente, Demis Ballis, Moreno Falaschi. JELIA 2004, 726-729. Web SearchBibTeXDownload
2003
1 Correction of Functional Logic Programs. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi. ESOP 2003, 54-68. Web SearchBibTeXDownload
2 Abstract correction of first-order functional programs. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas. Electr. Notes Theor. Comput. Sci. (86): 105-122 (2003). Web SearchBibTeXDownload
3 Abstract Correction of OBJ-like Programs. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas. APPIA-GULP-PRODE 2003, 422-433. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research