


default search action
María Alpuente
Person information
- affiliation: Polytechnic University of Valencia, Spain
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j38]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: 100849 (2023) - [c88]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: 21-50 - [c87]María Alpuente
, Alicia Villanueva
:
Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 51-71 - 2022
- [j37]María Alpuente
, Santiago Escobar
, José Meseguer, Julia Sapiña:
Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90(5): 499-522 (2022) - [j36]María Alpuente
, Demis Ballis, Santiago Escobar
, Julia Sapiña:
Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. 124: 100729 (2022) - [j35]María Alpuente
, Santiago Escobar, Julia Sapiña
, Demis Ballis:
Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. 22(3): 444-495 (2022) - [c86]María Alpuente
, Demis Ballis
, Santiago Escobar
, Julia Sapiña
:
Variant-Based Equational Anti-unification. LOPSTR 2022: 44-60 - 2021
- [i11]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR abs/2112.10201 (2021) - 2020
- [j34]María Alpuente
, Daniel Pardo, Alicia Villanueva
:
Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae 177(3-4): 235-273 (2020) - [j33]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): 297-329 (2020) - [j32]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) - [j31]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): 591-606 (2020)
2010 – 2019
- 2019
- [j30]María Alpuente
, Demis Ballis, Julia Sapiña
:
Static correction of Maude programs with assertions. J. Syst. Softw. 153: 64-85 (2019) - [j29]María Alpuente
, Santiago Escobar
, Julia Sapiña
, Demis Ballis:
Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. 19(5-6): 874-890 (2019) - [c85]María Alpuente
, Demis Ballis, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2019: 171-181 - [i10]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Symbolic Analysis of Maude Theories with Narval. CoRR abs/1907.10919 (2019) - 2018
- [c84]María Alpuente
, Demis Ballis, Julia Sapiña:
Inferring Safe Maude Programs with ÁTAME. ICMS 2018: 1-10 - [c83]María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR 2018: 38-55 - [i9]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR abs/1808.05097 (2018) - 2017
- [j28]María Alpuente
, Santiago Escobar
, Julia Sapiña, Angel Cuenca-Ortega
:
Inspecting Maude variants with GLINTS. Theory Pract. Log. Program. 17(5-6): 689-707 (2017) - [i8]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña:
Inspecting Maude Variants with GLINTS. CoRR abs/1707.05599 (2017) - 2016
- [j27]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): 707-736 (2016) - [j26]María Alpuente
, Francisco Frechina, Julia Sapiña, Demis Ballis:
Assertion-based analysis via slicing with ABETS. Theory Pract. Log. Program. 16(5-6): 515-532 (2016) - [c82]María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR 2016: 3-20 - [c81]María Alpuente
, Daniel Pardo, Alicia Villanueva
:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR 2016: 187-202 - [i7]María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Assertion-based Analysis via Slicing with ABETS (System Description). CoRR abs/1608.01433 (2016) - [i6]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR abs/1608.03424 (2016) - [i5]María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR abs/1608.05619 (2016) - 2015
- [j25]María Alpuente
, Demis Ballis, Francisco Frechina, Julia Sapiña:
Exploring conditional rewriting logic computations. J. Symb. Comput. 69: 3-39 (2015) - [c80]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: 72-96 - [c79]María Alpuente
, Daniel Pardo, Alicia Villanueva
:
Automatic Inference of Specifications in the K Framework. PROLE 2015: 1-17 - 2014
- [j24]María Alpuente
, Santiago Escobar
, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. Inf. Comput. 235: 98-136 (2014) - [j23]María Alpuente
, Demis Ballis, Francisco Frechina, Daniel Romero:
Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80: 385-415 (2014) - [j22]María Alpuente
, Demis Ballis, Daniel Romero:
A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. 81: 79-107 (2014) - [c78]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: 229-255 - [c77]María Alpuente
, Santiago Escobar
, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2014: 573-581 - 2013
- [j21]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): 326-352 (2013) - [j20]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): 775-777 (2013) - [c76]María Alpuente
, Demis Ballis, Francisco Frechina, Julia Sapiña:
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. ESOP 2013: 121-124 - [c75]María Alpuente
, Marco A. Feliú
, Alicia Villanueva
:
Automatic inference of specifications using matching logic. PEPM 2013: 127-136 - [c74]María Alpuente
, Santiago Escobar, Javier Espert:
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA 2013: 3-7 - [c73]María Alpuente
, Demis Ballis, Francisco Frechina, Julia Sapiña:
Parametric Exploration of Rewriting Logic Computations. SCSS 2013: 4-18 - 2012
- [c72]María Alpuente
, Demis Ballis, Francisco Frechina, Daniel Romero:
Julienne: A Trace Slicer for Conditional Rewrite Theories. FM 2012: 28-32 - [c71]María Alpuente
, Demis Ballis, Francisco Frechina, Daniel Romero:
Backward Trace Slicing for Conditional Rewrite Theories. LPAR 2012: 62-76 - 2011
- [j19]María Alpuente
, Santiago Escobar
, José Iborra:
Modular termination of basic narrowing and equational unification. Log. J. IGPL 19(6): 731-762 (2011) - [c70]María Alpuente
, Demis Ballis, Javier Espert, Daniel Romero:
Backward Trace Slicing for Rewriting Logic Theories. CADE 2011: 34-48 - [c69]María Alpuente
, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero:
Debugging of Web Applications with Web-TLR. WWV 2011: 66-80 - [e9]María Alpuente
:
Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6564, Springer 2011, ISBN 978-3-642-20550-7 [contents] - [i4]María Alpuente, Demis Ballis, Javier Espert, Daniel Romero:
Dynamic Backward Slicing of Rewriting Logic Computations. CoRR abs/1105.2665 (2011) - 2010
- [j18]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): 504-541 (2010) - [j17]María Alpuente
, Marco Comini
, Santiago Escobar
, Moreno Falaschi
, José Iborra:
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010) - [j16]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): 4055-4101 (2010) - [c68]María Alpuente
, Demis Ballis, Javier Espert, Daniel Romero:
Model-Checking Web Applications with Web-TLR. ATVA 2010: 341-346 - [c67]María Alpuente
, Marco Antonio Feliú, Christophe Joubert
, Alicia Villanueva
:
Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20 - [c66]María Alpuente
, Demis Ballis, Michele Baggi, Moreno Falaschi
:
A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52 - [c65]María Alpuente
, Daniel Romero:
A Tool for Computing the Visual Similarity of Web Pages. SAINT 2010: 45-51 - [c64]María Alpuente
, Michele Baggi, Moreno Falaschi
, Demis Ballis:
Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123 - [c63]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132 - [p1]María Alpuente
, Demis Ballis, Moreno Falaschi
:
Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299 - [i3]Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Abstract Certification of Global Non-Interference in Rewriting Logic. CoRR abs/1006.4304 (2010)
2000 – 2009
- 2009
- [j15]María Alpuente
, Santiago Escobar
, José Iborra:
Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009) - [c62]María Alpuente
, Demis Ballis, Daniel Romero:
Specification and Verification of Web Applications in Rewriting Logic. FM 2009: 790-805 - [c61]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124 - [c60]María Alpuente
, Marco A. Feliú, Christophe Joubert
, Alicia Villanueva
:
Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204 - [e8]María Alpuente
, Byron Cook, Christophe Joubert
:
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5825, Springer 2009, ISBN 978-3-642-04569-1 [contents] - 2008
- [c59]María Alpuente
, Michele Baggi, Demis Ballis, Moreno Falaschi
:
Semantic Verification of Web System Contents. ER Workshops 2008: 437-446 - [c58]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198 - [c57]María Alpuente
, Marco A. Feliú, Christophe Joubert
, Alicia Villanueva
:
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231 - [c56]María Alpuente
, Santiago Escobar
, José Iborra:
Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331 - [c55]María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39 - [c54]María Alpuente
, Santiago Escobar
, José Iborra:
Modular Termination of Basic Narrowing. RTA 2008: 1-16 - [c53]María Alpuente
, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
:
An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110 - [c52]María Alpuente
, Daniel Romero:
A Visual Technique for Web Pages Comparison. WWV 2008: 3-18 - [c51]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
, Pedro Ojeda, Daniel Romero:
A Tool for Automated Certification of Java Source Code in Maude. PROLE 2008: 19-29 - [c50]María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
Order-Sorted Generalization. WFLP 2008: 27-38 - [c49]María Alpuente
, Marco A. Feliú
, Christophe Joubert
, Alicia Villanueva
:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. PROLE 2008: 57-66 - [e7]María Alpuente
, Germán Vidal
:
Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5079, Springer 2008, ISBN 978-3-540-69163-1 [contents] - 2007
- [j14]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
Removing redundant arguments automatically. Theory Pract. Log. Program. 7(1-2): 3-35 (2007) - [c48]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217 - [c47]María Alpuente
, Demis Ballis, Moreno Falaschi
, Pedro Ojeda, Daniel Romero:
A Fast Algebraic Web Verification Service. RR 2007: 239-248 - [c46]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. PROLE 2007: 3-21 - 2006
- [j13]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): 1551-1573 (2006) - [j12]María Alpuente
, Demis Ballis, Moreno Falaschi
:
Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. 8(6): 565-585 (2006) - [c45]María Alpuente
, Demis Ballis, Moreno Falaschi
, Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40 - [c44]María Alpuente
, Bernhard Gramlich, Alicia Villanueva
:
A Framework for Timed Concurrent Constraint Programming with External Functions. PROLE 2006: 143-155 - [e6]María Alpuente, Santiago Escobar, Moreno Falaschi:
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005. Electronic Notes in Theoretical Computer Science 157(2), Elsevier 2006 [contents] - [i2]María Alpuente, Santiago Escobar, Salvador Lucas:
Removing Redundant Arguments Automatically. CoRR abs/cs/0601039 (2006) - 2005
- [j11]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): 58-95 (2005) - [j10]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): 273-303 (2005) - [c43]María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface. WWV 2005 - [c42]María Alpuente
, Santiago Escobar
, Moreno Falaschi
:
Preface. WWV 2005: 1-2 - [e5]María Alpuente, Santiago Escobar, Moreno Falaschi:
First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005 [contents] - 2004
- [j9]María Alpuente, Francisco J. Correa:
Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Rev. Colomb. de Computación 5(2) (2004) - [j8]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): 479-525 (2004) - [c41]María Alpuente, Demis Ballis, Moreno Falaschi:
Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88 - [c40]María Alpuente
, Demis Ballis, Moreno Falaschi
:
Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729 - [c39]María Alpuente
, Moreno Falaschi
, Alicia Villanueva:
A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56 - [c38]María Alpuente
, María-del-Mar Gallardo, Ernesto Pimentel
, Alicia Villanueva
:
Abstract Model Checking of tccp programs. QAPL 2004: 19-36 - [c37]María Alpuente
, Demis Ballis, Moreno Falaschi
:
A Rewriting-based Framework for Web Sites Verification. RULE@RDP 2004: 41-61 - [i1]María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal:
Specialization of Functional Logic Programs Based on Needed Narrowing. CoRR cs.PL/0403011 (2004) - 2003
- [j7]María Alpuente
, Moreno Falaschi
, Pascual Julián Iranzo
, Germán Vidal
:
Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003) - [c36]María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433 - [c35]María Alpuente
, Demis Ballis, Francisco J. Correa, Moreno Falaschi
:
Correction of Functional Logic Programs. ESOP 2003: 54-68 - [c34]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
OnDemandOBJ: A Laboratory for Strategy Annotations. RULE@RDP 2003: 1-27 - [c33]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
On-demand Evaluation by Program Transformation. RULE@RDP 2003: 92-118 - [c32]María Alpuente
, Demis Ballis, Santiago Escobar
, Moreno Falaschi
, Salvador Lucas
:
Abstract correction of first-order functional programs. WFLP 2003: 105-122 - 2002
- [c31]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
Removing Redundant Arguments of Functions. AMAST 2002: 117-131 - [c30]María Alpuente
, Marco Comini, Santiago Escobar
, Moreno Falaschi
, Salvador Lucas
:
Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16 - [c29]María Alpuente
, Santiago Escobar
, Bernhard Gramlich, Salvador Lucas:
Improving On-Demand Strategy Annotations. LPAR 2002: 1-18 - [c28]María Alpuente
, Rachid Echahed, Santiago Escobar
, Salvador Lucas
:
Redundancy of Arguments Reduced to Induction. WFLP 2002: 20-41 - [c27]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
Correct and Complete (Positive) Strategy Annotations for OBJ. WRLA 2002: 70-89 - 2001
- [c26]María Alpuente
, Francisco J. Correa, Moreno Falaschi
:
A Debugging Scheme for Functional Logic Programs. WFLP 2001: 18-55 - [c25]María Alpuente
, Francisco J. Correa, Moreno Falaschi
:
Declarative Debugging of Functional Logic Programs. WRS 2001: 17-40 - 2000
- [c24]María Alpuente
, Moreno Falaschi
, Ginés Moreno, Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000: 289-297 - [c23]María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Using PE to Automate Program Composition. WFLP 2000: 169-183 - [c22]María Alpuente, Santiago Escobar, Salvador Lucas:
Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323 - [e4]María Alpuente:
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000. 2000 [contents]
1990 – 1999
- 1999
- [j6]María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal:
Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artif. 3(8): 27-35 (1999) - [c21]