Julia Sapiña

34 papers A 1C 2Misc 1Journal 19Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
DM-Check: Verifying invariants of concurrent systems by deductive model checking.
J. Log. Algebraic Methods Program.
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2024 C conf
NuITP: An Inductive Theorem Prover for Equational Program Verification.
PPDP
Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña
2024 — conf
Verifying Invariants by Deductive Model Checking.
WRLA
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2023 J jnl
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis.
CoRR
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
2023 J jnl
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.
J. Log. Algebraic Methods Program.
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
2023 — conf
Optimizing Maude Programs via Program Specialization.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
2023 J jnl
Safety enforcement via programmable strategies in Maude.
J. Log. Algebraic Methods Program.
María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña
2023 — conf
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.
FTSCS
Santiago Escobar, Raúl López-Rueda, Julia Sapiña
2022 J jnl
Optimization of rewrite theories by equational partial evaluation.
J. Log. Algebraic Methods Program.
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2022 J jnl
Order-sorted equational generalization algorithm revisited.
Ann. Math. Artif. Intell.
María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
2022 J jnl
Symbolic Specialization of Rewriting Logic Theories with Presto.
Theory Pract. Log. Program.
María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2022 C conf
Variant-Based Equational Anti-unification.
LOPSTR
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2021 — conf
Protocol Analysis with Time and Space.
Protocols, Strands, and Logic
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2021 J jnl
Symbolic Specialization of Rewriting Logic Theories with Presto.
CoRR
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2020 — conf
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.
ESORICS (2)
Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña
2020 J jnl
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System.
Math. Comput. Sci.
María Alpuente, Demis Ballis, Julia Sapiña
2020 Misc conf
Protocol Analysis with Time.
INDOCRYPT
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 J jnl
Protocol Analysis with Time.
CoRR
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 — conf
Variant-based Equational Unification under Constructor Symbols.
ICLP Technical Communications
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
2019 — conf
Most General Variant Unifiers.
ICLP Technical Communications
Santiago Escobar, Julia Sapiña
2019 J jnl
Static correction of Maude programs with assertions.
J. Syst. Softw.
María Alpuente, Demis Ballis, Julia Sapiña
2019 J jnl
Symbolic Analysis of Maude Theories with Narval.
CoRR
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2019 J jnl
Symbolic Analysis of Maude Theories with Narval.
Theory Pract. Log. Program.
María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2018 — conf
Inferring Safe Maude Programs with ÁTAME.
ICMS
María Alpuente, Demis Ballis, Julia Sapiña
2017 J jnl
Inspecting Maude Variants with GLINTS.
CoRR
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña
2017 J jnl
Inspecting Maude variants with GLINTS.
Theory Pract. Log. Program.
María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega
2016 J jnl
Assertion-based Analysis via Slicing with ABETS (System Description).
CoRR
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2016 J jnl
Assertion-based analysis via slicing with ABETS.
Theory Pract. Log. Program.
María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis
2016 J jnl
Debugging Maude programs via runtime assertion checking and trace slicing.
J. Log. Algebraic Methods Program.
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015 — conf
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.
Logic, Rewriting, and Concurrency
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015 J jnl
Exploring conditional rewriting logic computations.
J. Symb. Comput.
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014 — conf
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).
Specification, Algebra, and Software
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2013 — conf
Parametric Exploration of Rewriting Logic Computations.
SCSS
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2013 A conf
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.
ESOP
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña