Exploring conditional rewriting logic computations M Alpuente, D Ballis, F Frechina, J Sapiña Journal of Symbolic Computation 69, 3-39, 2015 | 28 | 2015 |
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 | 18 | 2016 |
Static correction of Maude programs with assertions M Alpuente, D Ballis, J Sapiña Journal of Systems and Software 153, 64-85, 2019 | 13 | 2019 |
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne M Alpuente, D Ballis, F Frechina, J Sapiña European Symposium on Programming, 121-124, 2013 | 13 | 2013 |
Assertion-based analysis via slicing with ABETS*(system description) M Alpuente, F Frechina, J Sapiña, D Ballis Theory and Practice of Logic Programming 16 (5-6), 515-532, 2016 | 9 | 2016 |
Order-sorted equational generalization algorithm revisited M Alpuente, S Escobar, J Meseguer, J Sapina Annals of Mathematics and Artificial Intelligence, 1-24, 2022 | 8 | 2022 |
Inspecting Maude variants with GLINTS M Alpuente, S Escobar, J Sapiña, A Cuenca-Ortega Theory and Practice of Logic Programming 17 (5-6), 689-707, 2017 | 8 | 2017 |
Inspecting rewriting logic computations (in a Parametric and Stepwise Way) M Alpuente, D Ballis, F Frechina, J Sapiña Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | 8 | 2014 |
Protocol analysis with time D Aparicio-Sánchez, S Escobar, C Meadows, J Meseguer, J Sapiña International Conference on Cryptology in India, 128-150, 2020 | 7 | 2020 |
Most general variant unifiers S Escobar, J Sapina arXiv preprint arXiv:1909.08241, 2019 | 6 | 2019 |
Protocol analysis with time and space D Aparicio-Sánchez, S Escobar, C Meadows, J Meseguer, J Sapiña Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the …, 2021 | 5 | 2021 |
Combining runtime checking and slicing to improve Maude error diagnosis M Alpuente, D Ballis, F Frechina, J Sapiña Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 5 | 2015 |
Parametric Exploration of Rewriting Logic Computations. M Alpuente, D Ballis, F Frechina, J Sapiña SCSS, 4-18, 2013 | 5 | 2013 |
Optimization of rewrite theories by equational partial evaluation M Alpuente, D Ballis, S Escobar, J Sapiña Journal of Logical and Algebraic Methods in Programming 124, 100729, 2022 | 4 | 2022 |
Symbolic analysis of Maude theories with Narval M Alpuente, S Escobar, J Sapina, D Ballis Theory and Practice of Logic Programming 19 (5-6), 874-890, 2019 | 4 | 2019 |
Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system M Alpuente, D Ballis, J Sapiña Mathematics in Computer Science 14 (3), 591-606, 2020 | 3 | 2020 |
Imposing assertions in Maude via program transformation M Alpuente, D Ballis, J Sapiña MethodsX 6, 2577-2583, 2019 | 3 | 2019 |
Inferring safe Maude programs with ÁTAME M Alpuente, D Ballis, J Sapiña International Congress on Mathematical Software, 1-10, 2018 | 3 | 2018 |
Safety enforcement via programmable strategies in Maude M Alpuente, D Ballis, S Escobar, D Galán, J Sapiña Journal of Logical and Algebraic Methods in Programming 132, 100849, 2023 | 2 | 2023 |
Variant-based equational unification under constructor symbols D Aparicio-Sánchez, S Escobar, J Sapina arXiv preprint arXiv:2009.11070, 2020 | 2 | 2020 |