| A rewriting-based framework for web sites verification M Alpuente, D Ballis, M Falaschi Electronic Notes in Theoretical Computer Science 124 (1), 41-61, 2005 | 42 | 2005 |
| A rule-based method to match software patterns against UML models D Ballis, A Baruzzo, M Comini Electronic Notes in Theoretical Computer Science 219, 51-66, 2008 | 36 | 2008 |
| Rule-based verification of web sites M Alpuente, D Ballis, M Falaschi International Journal on Software Tools for Technology Transfer 8, 565-585, 2006 | 35 | 2006 |
| Exploring conditional rewriting logic computations M Alpuente, D Ballis, F Frechina, J Sapiña Journal of Symbolic Computation 69, 3-39, 2015 | 28 | 2015 |
| Backward trace slicing for rewriting logic theories M Alpuente, D Ballis, J Espert, D Romero Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 28 | 2011 |
| Using conditional trace slicing for improving Maude programs M Alpuente, D Ballis, F Frechina, D Romero Science of Computer Programming 80, 385-415, 2014 | 27 | 2014 |
| Model-Checking Web Applications with Web-TLR M Alpuente, D Ballis, J Espert, D Romero International Symposium on Automated Technology for Verification and …, 2010 | 22 | 2010 |
| A fold/unfold transformation framework for rewrite theories extended to CCT M Alpuente, D Ballis, M Baggi, M Falaschi Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 22 | 2010 |
| Specification and verification of web applications in rewriting logic M Alpuente, D Ballis, D Romero International Symposium on Formal Methods, 790-805, 2009 | 22 | 2009 |
| A semi-automatic methodology for repairing faultyweb sites M Alpuente, D Ballis, M Falaschi, D Romero Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 22 | 2006 |
| A rule-based system for web site verification D Ballis, J García-Vivó Electronic Notes in Theoretical Computer Science 157 (2), 11-17, 2006 | 22 | 2006 |
| Quantitative pathway logic for computational biology M Baggi, D Ballis, M Falaschi International Conference on Computational Methods in Systems Biology, 68-82, 2009 | 21 | 2009 |
| Debugging Maude programs via runtime assertion checking and trace slicing M Alpuente, D Ballis, F Frechina, J Sapiña Journal of Logical and Algebraic Methods in Programming 85 (5), 707-736, 2016 | 20 | 2016 |
| A minimalist visual notation for design patterns and antipatterns D Ballis, A Baruzzo, M Comini Fifth International Conference on Information Technology: New Generations …, 2008 | 20 | 2008 |
| : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance M Alpuente, D Ballis, A Cuenca-Ortega, S Escobar, J Meseguer European Conference on Logics in Artificial Intelligence, 171-181, 2019 | 19 | 2019 |
| Correction of functional logic programs M Alpuente, D Ballis, FJ Correa, M Falaschi European Symposium on Programming, 54-68, 2003 | 18 | 2003 |
| Static correction of Maude programs with assertions M Alpuente, D Ballis, J Sapiña Journal of Systems and Software 153, 64-85, 2019 | 16 | 2019 |
| Backward trace slicing for conditional rewrite theories M Alpuente, D Ballis, F Frechina, D Romero International Conference on Logic for Programming Artificial Intelligence …, 2012 | 16 | 2012 |
| A Fast Algebraic Web Verification Service M Alpuente, D Ballis, M Falaschi, P Ojeda, D Romero International Conference on Web Reasoning and Rule Systems, 239-248, 2007 | 14 | 2007 |
| A rewriting logic approach to the formal specification and verification of web applications M Alpuente, D Ballis, D Romero Science of Computer Programming 81, 79-107, 2014 | 13 | 2014 |
