Julia Sapiña

According to our database, Julia Sapiña authored at least 28 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Verifying Invariants by Deductive Model Checking.

Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

NuITP: An Inductive Theorem Prover for Equational Program Verification.

Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2023

An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.

Raúl López-Rueda, Santiago Escobar, Julia Sapiña

J. Log. Algebraic Methods Program., October, 2023

Safety enforcement via programmable strategies in Maude.

María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña

J. Log. Algebraic Methods Program., April, 2023

Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.

Santiago Escobar, Raúl López-Rueda, Julia Sapiña

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

Optimizing Maude Programs via Program Specialization.

María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Symbolic Specialization of Rewriting Logic Theories with Presto.

María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis

Theory Pract. Log. Program., 2022

Optimization of rewrite theories by equational partial evaluation.

María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña

J. Log. Algebraic Methods Program., 2022

Order-sorted equational generalization algorithm revisited.

María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña

Ann. Math. Artif. Intell., 2022

Variant-Based Equational Anti-unification.

María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2021

Protocol Analysis with Time and Space.

Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System.

María Alpuente, Demis Ballis, Julia Sapiña

Math. Comput. Sci., 2020

Variant-based Equational Unification under Constructor Symbols.

Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Protocol Analysis with Time.

Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña

Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.

Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña

Proceedings of the Computer Security - ESORICS 2020, 2020

2019

Symbolic Analysis of Maude Theories with Narval.

María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis

Theory Pract. Log. Program., 2019

Static correction of Maude programs with assertions.

María Alpuente, Demis Ballis, Julia Sapiña

J. Syst. Softw., 2019

Most General Variant Unifiers.

Santiago Escobar, Julia Sapiña

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

2018

Inferring Safe Maude Programs with ÁTAME.

María Alpuente, Demis Ballis, Julia Sapiña

Proceedings of the Mathematical Software - ICMS 2018, 2018

2017

Inspecting Maude variants with GLINTS.

María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega

Theory Pract. Log. Program., 2017

2016

Assertion-based analysis via slicing with ABETS.

María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis

Theory Pract. Log. Program., 2016

Debugging Maude programs via runtime assertion checking and trace slicing.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

J. Log. Algebraic Methods Program., 2016

Assertion-based Analysis via Slicing with ABETS (System Description).

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

CoRR, 2016

2015

Exploring conditional rewriting logic computations.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

J. Symb. Comput., 2015

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the Specification, Algebra, and Software, 2014

2013

Parametric Exploration of Rewriting Logic Computations.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the Programming Languages and Systems, 2013