| 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 |
