Julia Sapiña

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 27

Top Topics

Partial Evaluation

Top Venues

J. Log. Algebraic Methods Program.

Theory Pract. Log. Program.

ICLP Technical Communications

Publications

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