María Alpuente

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 28

Top Venues

CoRR

J. Log. Algebraic Methods Program.

LOPSTR

Theory Pract. Log. Program.

Publications

María Alpuente, Alicia Villanueva
Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (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)
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)
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)
María Alpuente, Daniel Pardo, Alicia Villanueva
Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae 177 (3-4) (2020)
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)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae 177 (3-4) (2020)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 (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, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2019)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Symbolic Analysis of Maude Theories with Narval. CoRR (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, José Meseguer
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR (2018)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR (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, Daniel Pardo, Alicia Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR (2016)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR (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, Daniel Pardo, Alicia Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR (2016)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR (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, Daniel Pardo, Alicia Villanueva
Automatic Inference of Specifications in the K Framework. PROLE (2015)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80 (2014)
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2014)
María Alpuente, Demis Ballis, Daniel Romero
A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. 81 (2014)
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, Santiago Escobar, Javier Espert, José Meseguer
A modular order-sorted equational generalization algorithm. Inf. Comput. 235 (2014)
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. 82 (8) (2013)
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, Christophe Joubert, Stefan Kowalewski, Marco Roveri
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program. 78 (7) (2013)
María Alpuente, Santiago Escobar, Javier Espert
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Parametric Exploration of Rewriting Logic Computations. SCSS (2013)
María Alpuente, Marco A. Feliú, Alicia Villanueva
Automatic inference of specifications using matching logic. PEPM (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Backward Trace Slicing for Conditional Rewrite Theories. LPAR (2012)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Julienne: A Trace Slicer for Conditional Rewrite Theories. FM (2012)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Backward Trace Slicing for Rewriting Logic Theories. CADE (2011)
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
Debugging of Web Applications with Web-TLR WWV (2011)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Dynamic Backward Slicing of Rewriting Logic Computations CoRR (2011)
María Alpuente, Santiago Escobar, José Iborra
Modular termination of basic narrowing and equational unification. Log. J. IGPL 19 (6) (2011)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411 (47) (2010)
María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM (2010)
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
Datalog-Based Program Analysis with BES and RWL. Datalog (2010)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411 (37) (2010)
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
Completeness of Unfolding for Rewriting Logic Theories. SYNASC (2010)
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411 (2) (2010)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Model-Checking Web Applications with Web-TLR. ATVA (2010)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Abstract Certification of Global Non-Interference in Rewriting Logic CoRR (2010)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Approximating Non-interference and Erasure in Rewriting Logic. SYNASC (2010)
María Alpuente, Daniel Romero
A Tool for Computing the Visual Similarity of Web Pages. SAINT (2010)
María Alpuente, Santiago Escobar, José Iborra
Termination of narrowing revisited. Theor. Comput. Sci. 410 (46) (2009)
María Alpuente, Demis Ballis, Daniel Romero
Specification and Verification of Web Applications in Rewriting Logic. FM (2009)
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
Order-Sorted Generalization. Electron. Notes Theor. Comput. Sci. 246 (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
A Tool for Automated Certification of Java Source Code in Maude. Electron. Notes Theor. Comput. Sci. 248 (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Defining Datalog in Rewriting Logic. LOPSTR (2009)
María Alpuente, Daniel Romero
A Visual Technique for Web Pages Comparison. Electron. Notes Theor. Comput. Sci. 235 (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electron. Notes Theor. Comput. Sci. 248 (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Abstract Certification of Global Non-interference in Rewriting Logic. FMCO (2009)
María Alpuente, Santiago Escobar, José Iborra
Termination of Narrowing Using Dependency Pairs. ICLP (2008)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS (2008)
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
Semantic Verification of Web System Contents. ER Workshops (2008)
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
An Abstract Generic Framework for Web Site Verification. SAINT (2008)
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
A Modular Equational Generalization Algorithm. LOPSTR (2008)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Automated Certification of Non-Interference in Rewriting Logic. FMICS (2008)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electron. Notes Theor. Comput. Sci. 206 (2008)
María Alpuente, Santiago Escobar, José Iborra
Modular Termination of Basic Narrowing. RTA (2008)
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
A Fast Algebraic Web Verification Service. RR (2007)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Automatic Certification of Java Source Code in Rewriting Logic. FMICS (2007)
María Alpuente, Santiago Escobar, Salvador Lucas
Removing redundant arguments automatically. Theory Pract. Log. Program. 7 (1-2) (2007)
María Alpuente, Bernhard Gramlich, Alicia Villanueva
A Framework for Timed Concurrent Constraint Programming with External Functions. Electron. Notes Theor. Comput. Sci. 188 (2007)
María Alpuente, Demis Ballis, Moreno Falaschi
Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM (2006)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12 (11) (2006)
María Alpuente, Santiago Escobar, Salvador Lucas
Removing Redundant Arguments Automatically CoRR (2006)
María Alpuente, Santiago Escobar, Moreno Falaschi
Preface. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. 5 (3) (2005)
María Alpuente, Demis Ballis, Moreno Falaschi
A Rewriting-based Framework for Web Sites Verification. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Abstract Model Checking of tccp programs. Electron. Notes Theor. Comput. Sci. 112 (2005)
María Alpuente, Santiago Escobar, Moreno Falaschi
Preface. WWV (2005)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346 (1) (2005)
María Alpuente, Francisco J. Correa
Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Rev. Colomb. de Computación 5 (2) (2004)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311 (1-3) (2004)
María Alpuente, Moreno Falaschi, Alicia Villanueva
A Symbolic Model Checker for tccp Programs. RISE (2004)
María Alpuente, Demis Ballis, Moreno Falaschi
Verdi: An Automated Tool for Web Sites Verification. JELIA (2004)
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing CoRR (2004)
María Alpuente, Demis Ballis, Moreno Falaschi
Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) (2004)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
Correction of Functional Logic Programs. ESOP (2003)
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE (2003)
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract correction of first-order functional programs. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
María Alpuente, Santiago Escobar, Salvador Lucas
OnDemandOBJ: A Laboratory for Strategy Annotations. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Uniform Lazy Narrowing. J. Log. Comput. 13 (2) (2003)
María Alpuente, Santiago Escobar, Salvador Lucas
On-demand Evaluation by Program Transformation. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)

María Alpuente.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

María Alpuente