Publications

(See also DBLP or ELP Publications)

Classified by:
  • Books (and Chapters)
  • International Journals
  • Conference & Workshop Papers
  • Technical Reports
  • PhD Thesis
  • Other

    • Books (and Chapters)

    2017

  • Horatiu Cirstea and Santiago Escobar.
    3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Porto, Portugal, 23rd June 2016.
    Electronic Proceedings in Theoretical Computer Science, volume 235.
    Available: DOI

  • Santiago Escobar (Ed.)
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 86, Issue 1, Part 2, Pages 157-297 (January 2017).
    © Elsevier Science

    		•  Journal of Logical and Algebraic Methods in Programming

    2016

  • Santiago Escobar (Ed.)
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 85, Issue 1, Part 1, Pages 1-120 (January 2016).
    © Elsevier Science

    		•  Journal of Logical and Algebraic Methods in Programming

    2015

  • Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß.
    2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015), July 2, 2015, Warsaw, Poland.
    Open Access Series in Informatics (OASICS), volume 46, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
    Available: DOI

  • Santiago Escobar
    XIV Jornadas sobre Programación y Lenguajes (PROLE'2014), Cádiz, Spain. Revised Selected Papers.
    Electronic Proceedings in Theoretical Computer Science, volume 173.
    Available: DOI

    • 2014

  • Santiago Escobar
    Rewriting Logic and Its Applications,
    10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS,
    Grenoble, France, April 5-6, 2014, Revised Selected Papers.
    Lecture Notes in Computer Science, volume 8663, 296 pages.
    © Springer-Verlag
    Available: DOI
    		•  WRLA 2014 LNCS

  • Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov (Eds.)
    UNIF 2012 Post-Worskhop Proceedings.
    The 26th International Workshop on Unification, Manchester, UK, July 1, 2012.
    EPiC Series 24, EasyChair 2014.
    Available: Preface

  • Santiago Escobar (Ed.)
    Functional and (Constraint) Logic Programming, Special Issue of Information and Computation.
    Information and Computation. Volume 235, pages 1-136, 2014
    © Elsevier Science

    		•  Information and Computation

    2012

  • Santiago Escobar
    Reduction Strategies in Rewriting and Programming,
    10th International Workshop, WRS 2011, Novi Sad, Serbia, May 29,2011, Revised Selected Papers    .
    Electronic Proceedings in Theoretical Computer Science.
    Available: EPTCS DOI

    • 2010

  • Santiago Escobar
    Functional and Constraint Logic Programming,
    18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers    .
    Lecture Notes in Computer Science, volume 5979, 180 pages.
    © Springer-Verlag
    Available: DOI

    		•  WFLP 2009 LNCS

    2009

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
    FOSAD 2007/2008/2009 Tutorial Lectures, LNCS 5705, pages 1-50.
    © Springer-Verlag
    • Available: PDF

  • Dan Dougherty, Santiago Escobar,
    Security and Rewriting Techniques, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science, Volume 234, pages 1-114.
    © Elsevier Science

    		•  SecReT 2008 ENTCS

  • Demis Ballis, Santiago Escobar,
    Automated Specification and Verification of Web Sites, 4th Int'l Workshop
    Electronic Notes in Theoretical Computer Science, Volume 235, pages 1-152.
    © Elsevier Science

    		•  WWV 2008 ENTCS

    2008

  • Demis Ballis, Santiago Escobar, Massimo Marchiori.
    Automated Specification and Verification of Web Sites, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 200, Issue 3, Pages 1-188.
    © Elsevier Science

    		•  WWV 2007 ENTCS

    2007

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Systems, 2nd Int'l Workshop, May 2007
    © IEEE Press
    Available: IEEE Xplore link

    • 2006

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Sites, 1st Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 157, Issue 2, Pages 1-212, 22 May 2006
    © Elsevier Science
    Available: Online Pre-proceedings

    		•  WWV 2005 ENTCS

    International Journals

    2017

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña.
    Inspecting Maude Variants with GLINTS.
    Theory and Practice of Logic Programming, Volume 17, Issue 5-6, pages 689-707, September 2017.
    © Cambridge University Press
    Available: DOI

    • 2015

  • Andrew Cholewa, Santiago Escobar, José Meseguer
    Constrained narrowing for conditional equational theories modulo axioms.
    Science of Computer Programming, volume 112, part 1, pages 24-57, 2015.
    © Elsevier
    Available: DOI

    • 2014

  • Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
    State Space Reduction in the Maude-NRL Protocol Analyzer.
    Information and Computation, Volume 238, November 2014, Pages 157-186.
    © Elsevier
    Available: Preliminary version DOI

  • María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A Modular Order-sorted Equational Generalization Algorithm.
    Information and Computation, Volume 235, April 2014, Pages 98-136.
    © Elsevier
    Available: Preliminary version DOI

    • 2012

  • Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding variant narrowing and optimal variant termination.
    The Journal of Logic and Algebraic Programming, Volume 81, Issues 7-8, pages 898-928, 2012.
    © Elsevier
    Available: Preliminary version DOI link

    • 2010

  • María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing and Equational Unification.
    Logic Journal of the IGPL, Volume 19, Issue 6, pages 731-762. 2010.
    © Oxford Journals
    Available: DOI link Preliminary version

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra.
    A Compact Fixpoint Semantics for Term Rewriting Systems
    Theoretical Computer Science, Volume 411, Issue 37, 7 August 2010, Pages 3348-3371.
    © Elsevier
    Available: DOI link Preliminary version

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
    Theoretical Computer Science, Volume 411, Issue 2, 2 January 2010, Pages 504-541.
    © Elsevier
    Available: DOI link Preliminary version

    • 2009

  • María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing Revisited
    Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Pages 4608-4625.
    Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi.
    © Elsevier
    Available: DOI link Preliminary version

    • 2007

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    Theory and Practice of Logic Programming, Volume 7, Issues 1-2, pages 3-35, 2007.
    © Cambridge University Press
    Available: DOI link Online version (CoRR)

    • 2006

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties
    Theoretical Computer Science, Volume 367, Issues 1-2, pages 162-202, 2006.
    © Elsevier
    Available: DOI link Preliminary version

    • 2004

  • Santiago Escobar.
    Strategies and Analysis Techniques in Functional Program Optimization
    AI Communications, 17(1):35 - 37.
    IOS Press, 2004
    © IOS Press
    Available: ACM link PDF

    • Conference & Workshop Papers

    (Select year: 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2000 1999 )

    2018

  • Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, and José Meseguer.
    Formal verification of the YubiKey and YUbiHSM APIs in Maude-NPA.
    In proceedings of     22th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR18), Awassa Ethiopia, 16-21 November 2018.
    EPiC Series in Computing, volume 57.
    Available: EPiC Series in Computing CoRR

  • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer.
    Modular Verification of Sequential Composition for Private Channels in Maude-NPA.
    In proceedings of     14th International Workshop on Security and Trust Management (STM 2018).
    Lecture Notes in Computer Science, to appear.
    © Springer-Verlag

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jose Meseguer.
    Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms.
    In proceedings of     28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018).
    Lecture Notes in Computer Science, to appear.
    © Springer-Verlag

  • Santiago Escobar.
    Multiparadigm programming in Maude.
    In proceedings of     12th International Workshop on Rewriting Logic and its Applications (WRLA 2018).
    Lecture Notes in Computer Science, volume 11152, pages 26-44.
    © Springer-Verlag
    Available: DOI

  • Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott.
    Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.
    In proceedings of     12th International Workshop on Rewriting Logic and its Applications (WRLA 2018).
    Lecture Notes in Computer Science, volume 11152, pages 98-114.
    © Springer-Verlag
    Available: DOI

    • 2017

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña.
    Inspecting Maude Variants with GLINTS.
    In proceedings of     the 33rd International Conference on Logic Programming (ICLP 2017).
    Available: CoRR

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
    In proceedings of     26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
    © Springer-Verlag

    • 2016

  • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, and Sonia Santiago.
    Strand Spaces with Choice via a Process Algebra Semantics.
    In proceedings of     18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016).
    © ACM Press
    Available: DOI

  • Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott.
    Built-in Variant Generation and Unification, and their Applications in Maude 2.7.
    In proceedings of     International Joint Conference on Automated Reasoning (IJCAR).
    Lecture Notes in Computer Science, volume 9706, pages 183-192. Springer 2016.
    © Springer-Verlag
    Available: DOI

    • 2015

  • Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago.
    Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
    In proceedings of     Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday.
    Lecture Notes in Computer Science, volume 9465, pages 238-261. Springer 2015.
    © Springer-Verlag
    Available: DOI

  • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott.
    Two Decades of Maude.
    In proceedings of     Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday.
    Lecture Notes in Computer Science, volume 9200, pages 232-254. Springer 2015.
    © Springer-Verlag
    Available: DOI

  • Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    Analysis of the PKCS#11 API using the Maude-NPA tool.
    In proceedings of     2nd International Conference on Research in Security Standardisation (SSR 2015).
    Lecture Notes in Computer Science, volume 9497, pages 86-106. Springer 2015.
    © Springer-Verlag

    • 2014

  • Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    Analysis of the IBM CCA Security API Protocols in Maude-NPA.
    In proceedings of     1st International Conference on Research in Security Standardisation (SSR 2014), Royal Holloway, London, UK - December 16-17, 2014
    Lecture Notes in Computer Science, volume 8893, pages 111-130, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI

  • Elena Lloret, Santiago Escobar, Manuel Palomar, and Isidro Ramos.
    Incremental and Adaptive Software Systems Development of Natural Language Applications.
    In proceedings of 22nd International Conference on Information Systems Development (ISD 2013), Sevilla, Spain, September 2-4, 2013.
    ISBN 978-3-319-07214-2, pages 511-523, 2014.
    © Springer-Verlag
    Available: Preliminary version DOI

  • Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA.
    In proceedings of     10th International Workshop on Security and Trust Management (STM 2014) in conjunction with ESORICS 2014., Wrocław, Poland - September 10-11, 2014
    Lecture Notes in Computer Science, volume 8743, pages 162-177, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI

  • María Alpuente, Santiago Escobar, Javier Espert, and José Meseguer.
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
    In proceedings of     14th European Confernece on Logics in Artificial Intelligence (JELIA 2014), September 24th - 26th, Madeira, Portugal
    Lecture Notes in Computer Science, volume 8761, pages 573--581, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI

  • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, and Paliath Narendran.
    Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
    In proceedings of     16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), September 8-10, 2014, Canterbury, UK
    © ACM Press
    Available: Preliminary version

  • Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    A Rewriting-based Forwards Semantics for Maude-NPA.
    In proceedings of     Symposium and Bootcamp on the Science of Security (HotSoS 2014), April 8-9, 2014, Raleigh, NC, USA.
    ACM Digital Library, 2014.
    © ACM Press
    Available: DOI Preliminary version

  • Santiago Escobar.
    Functional Logic Programming in Maude.
    In proceedings of     Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugit (SAS 2014), Kanazawa, Japan, 2014.
    Lecture Notes in Computer Science, volume 8373, pages 315-336, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI

    • 2013

  • Santiago Escobar.
    Unification and Anti-unification modulo Equational Theories.
    The 27th International Workshop on Unification (UNIF 2013), EPiC - EasyChair Proceedings in Computing, volume 19, page 1, 2013.
    Available: Online

  • María Alpuente, Santiago Escobar, Javier Espert.
    Detecting ACU Structural Symmetries.
    The 27th International Workshop on Unification (UNIF 2013), EPiC - EasyChair Proceedings in Computing, volume 19, page 3-7, 2013.
    Available: Online

  • Kyungmin Bae, Santiago Escobar, and José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    In proceedings of     24th International Conference on Rewriting Techniques and Applications (RTA 2013),
    LIPIcs-Leibniz International Proceedings in Informatics, volume 21, pages 81-96, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Available: DOI

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
    In proceedings of     CADE-24 - the 24th International Conference on Automated Deduction,
    Lecture Notes in Computer Science, volume 7898, pages 231-248, Springer 2013.
    © Springer-Verlag
    Available: Preliminary version DOI

    • 2012

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse.
    Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions
    In proceedings of     17th European Symposium on Research in Computer Security (ESORICS 2012).,
    Lecture Notes in Computer Science, volume 7459, pages 73-90, 2012.
    © Springer-Verlag
    Available: DOI

  • Serdar Erbatur, Santiago Escobar, and Paliath Narendran.
    Unification modulo a property of the El Gamal Encryption Scheme.
    In proceedings of     The International Workshop on Unification (UNIF 2012).
    Available: Preliminary version

    • 2011

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jose Meseguer, Paliath Narendran and Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
    In proceedings of     The International Workshop on Unification (UNIF 2011).

  • Santiago Escobar, Deepak Kapur, Christophe Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, and Ralf Sasse.
    Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption
    In proceedings of 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'2011).
    © ACM Press
    Available: DOI

  • Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer and Carolyn Talcott.
    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (system description)
    In proceedings of 22nd International Conference on Rewriting Techniques and Applications (RTA 2011),
    LIPIcs-Leibniz International Proceedings in Informatics, volume 10, pages 31-40, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Available: DOI

  • Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer.
    Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
    In proceedings of 6th International Workshop on Security and Trust Management (STM'10),
    Lecture Notes in Computer Science, Volume 6710, pages 163-178, 2011.
    © Springer-Verlag
    Available: DOI PDF

    • 2010

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Confidentiality Certification of source Java code in JavaPCC.
    In proceedings of 10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010).

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Approximating Non-interference and Erasure in Rewriting Logic.
    In proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010).
    © IEEE Press

  • M. Alba-Castro, M. Alpuente, S. Escobar.
    Abstract Certification of Global Non-Interference in Rewriting Logic (Invited paper)
    In proceedings of Software Technologies Concertation on Formal Methods for Components and Objects (FMCO'09),
    Lecture Notes in Computer Science, Volume 6286, pages 105-124, 2010.
    © Springer-Verlag
    Available: DOI PDF CoRR with proofs

  • S. Escobar, C. Meadows, J. Meseguer S. Santiago
    Sequential Protocol Composition in Maude-NPA
    In proceedings of European Symposium on Research in Computer Security (ESORICS 2010),
    LNCS 6345, pages 303-318. 2010.
    © Springer-Verlag
    Available: DOI

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Folding Variant Narrowing and Optimal Variant Termination
    In proceedings of 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010),
    LNCS 6381, pages 52-68. 2010.
    © Springer-Verlag
    Available: PDF DOI

    • 2009

  • S. Santiago, C. Talcott, S. Escobar, C. Meadows, J. Meseguer
    A Graphical User Interface for Maude-NPA.
    In IX Jornadas sobre Programación y Lenguajes (PROLE 2009).
    Electronic Notes in Theoretical Computer Science, volume 258, number 1, pages 3-20. Elsevier, 2009.
    © Elsevier
    • Available: DOI

  • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Pat Lincoln, Narciso Marti-Oliet, José Meseguer and Carolyn Talcott.
    Unification and Narrowing in Maude 2.4 (system description)
    In proceedings of 20th International Conference on Rewriting Techniques and Applications (RTA'09), LNCS 5595, pages 380-390, 2009.
    © Springer-Verlag
    Available: DOI PDF

    • 2008

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer (short paper)
    In proceedings of 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR08), Doha, Qatar.

  • María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing using Dependency Pairs
    In proceedings of 24th International Conference on Logic Programming (ICLP 2008),
    LNCS 5366, pages 317-331, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automated Certification of Non-Interference in Rewriting Logic
    In proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008),
    LNCS 5596, pages 182-198, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    State Space Reduction in the Maude-NRL Protocol Analyzer
    In proceedings of 13th European Symposium on Research in Computer Security (ESORICS08),
    LNCS 5283, pages 548-562, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    A Modular Equational Generalization Algorithm
    In proceedings of 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR08),
    LNCS 5438, pages 24-39, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    Order-Sorted Generalization
    In proceedings of 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08),
    Electronic Notes in Theoretical Computer Science, volume 246, pages 27-38, 2008.
    © Elsevier
    Available: DOI link PDF

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    short paper, 2008

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda and Daniel Romero
    A Tool for Automated Certification of Java Source Code in Maude
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    Electronic Notes in Theoretical Computer Science, volume 248, pages 19-29, 2008.
    © Elsevier
    Available: DOI link PDF

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Effectively Checking or Disproving the Finite Variant Property
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 79-93. 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 1-16. 2008.
    © Springer-Verlag
    Available: DOI PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer (short paper)
    In LICS-CSF short papers 21st IEEE Computer Security Foundations Symposium (CSF) and 23rd IEEE Symposium on Logic in Computer Science (LICS). , Pittsburgh, USA.

  • Mike Katelman, José Meseguer, Santiago Escobar.
    Directed-Logical Testing for Functional Verification of Microprocessors
    In proceedings of 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008),
    pages 89-100, ISBN 978-1-4244-2417-7. ACM Press, 2008
    © ACM Press
    Available: DOI

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Equational Unification by Variant Narrowing
    In proceedings of 22nd International Workshop on Unification,
    short paper, 2008

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Variant Narrowing and Equational Unification
    In proceedings of 7th International Workshop on Rewriting Logic and its Applications (WRLA08),
    Electronic Notes in Theoretical Computer Science, volume 238, issue 3, pages 103-119, 2009
    © Elsevier
    Available: DOI PDF

    • 2007

  • Santiago Escobar, Joe Hendrix, Catherine Meadows, José Meseguer.
    Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    In informal proceedings of 2nd International Workshop on Security and Rewriting Techniques (SecReT 2007), 2007.
    Available: PDF

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automatic Certification of Java Source Code in Rewriting Logic
    In proceedings of 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007),
    LNCS 4916, pages 200-217, 2008.
    © Springer-Verlag
    Available: DOI

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    In proceedings of 18th International Conference on Rewriting Techniques and Applications (RTA 2007),
    LNCS volume 4533, pages 153-168, 2007.
    © Springer-Verlag
    Available: PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    In proceedings of 1st International Workshop on Security and Rewriting Techniques (SecReT 2006),
    Electronic Notes in Theoretical Computer Science, volume 171, pages 23-36, 2007.
    © Elsevier
    Available: DOI link PDF

    • 2006

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Narrowing and Rewriting Logic: from Foundations to Applications (invited paper)
    In proceedings of 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06),
    Electronic Notes in Theoretical Computer Science, volume 177, pages 5-33, 2007.
    © Elsevier
    Available: DOI link PDF

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
    In proceedings of Midwest Security Workshop (MSW'2006), Urbana, IL, USA. 2006.

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
    In proceedings of VI Jornadas sobre Programación y Lenguajes (PROLE'2006), Sitges, Spain. 2006.

    • 2005

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation
    In proceedings of 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'05),
    pages 1-12, 2005.
    © ACM Press
    Superseded by this journal publication.
    Available: DOI link PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A Note on Syntactic Annotations for Narrowing
    In proceedings of Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005.
    © Thomson
    Available: Abstract PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Narrowing for General Term Rewriting Systems
    In proceedings of 16th International Conference on Rewriting Techniques and Applications (RTA 2005).
    LNCS 3467:279-293, 2005.
    © Springer-Verlag
    Available: DOI link PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    In proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR 2004).
    LNCS 3573:101-116, 2005.
    © Springer-Verlag
    Available: DOI link PDF

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation for Maude
    Proc. of 5th International Workshop on Rule-Based Programming, RULE'04.
    Electronic Notes in Theoretical Computer Science, 124:25-39, 2005.
    © Elsevier
    Available: DOI link PDF

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    New evaluation commands for Maude within Full Maude
    Proc. of 5th International Workshop on Rewriting Logic and its Applications, WRLA'04,
    Electronic Notes in Theoretical Computer Science, 117:263-284. 2005.
    © Elsevier
    Available: DOI link Abstract PDF

    • 2004

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    Towards (constructor) normal forms for Maude within Full Maude (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 125-136, 2004.
    Available: PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    A General Natural Rewriting Strategy (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 97-100, 2004.
    Available: PDF

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    Pre-proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004.
    Superseded by this LNCS publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ
    4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa (Italy).
    Electronic Notes in Theoretical Computer Science, Vol. 71, 2004.
    © Elsevier

  • Santiago Escobar.
    Implementing Natural Rewriting and Narrowing Efficiently
    In Y. Kameyama and P. Stuckey, editors, Proc. of the 7th International Symposium on Functional and Logic Programming (FLOPS'2004).
    LNCS 2998, pages 147 - 162, 2004.
    © Springer-Verlag
    Available: Springer link / Abstract / Postscript / PDF

    • 2003

  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Correction of OBJ-like Programs
    In L. Palopoli, editor, Proc. of the APPIA-GULP-PRODE 2003 Joint Conference on Declarative Programming (AGP'03).
    2003.

  • Santiago Escobar.
    Refining Weakly Outermost-Needed Rewriting and Narrowing
    In Proc. of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 113-123, 2003.
    ©     ACM Press
    Available: DOI link PDF BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    On-Demand evaluation by program transformation
    In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
    Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
    © Elsevier
    Available: Abstract PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    OnDemandOBJ: A Laboratory for Strategy Annotations
    In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
    Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
    © Elsevier
    Available: Abstract PDF

  • Santiago Escobar.
    Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing
    In G. Vidal, editor, Pre-proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    2003.
    Superseded by     this ACM publication.

  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Automated Correction of Functional Programs
    In G. Vidal, editor, Proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    Electronic Notes in Theoretical Computer Science, volume 86, issue 3. 2003.
    © Elsevier
    Available: Abstract PDF

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Diagnosis of Functional Programs
    In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'02),
    LNCS 2664, pages 1-16, 2003.
    © Springer-Verlag
    Available: Abstract Postscript PDF

    • 2002

  • María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction
    In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
    Electronic Notes in Theoretical Computer Science, Vol. 76.
    © Elsevier
    Available: Abstract Postscript PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A transformation for implementing on-demand strategy annotations
    Proc. of 3rd International Workshop on the Implementation of Logics. Tbilisi, Georgia, October 2002.
    Superseded by this ENTCS publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A program transformation for implementing on-demand strategy annotations
    Proc. of 14th International Workshop on the Implementation of Functional Languages, IFL'02, Madrid (Spain).
    Superseded by this ENTCS publication

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    A Declarative Debugging Scheme for Functional Programs
    Proc. of the 12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid (Spain).
    Superseded by this LNCS publication

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    Improving On-demand Rewriting Annotations
    9th Int'l Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002), Tbilisi (Georgia),
    LNAI 2514, pages 1-18, Springer-Verlag, Berlin, 2002
    © Springer-Verlag
    Available: Abstract Postscript PDF

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ
    In Proc. of the 4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa (Italy).
    Superseded by this ENTCS publication

  • María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction
    In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
    Research Report UDMI/18/2002/RR, pages 255-268. July 2002.
    Superseded by this ENTCS publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments of Functions
    In Proc. of the 9th International Conference on Algebraic Methodology And Software Technology (AMAST'2002),
    LNCS 2422, pages 117-131, 2002.
    © Springer-Verlag
    Superseded by this journal publication

    • 2000

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Redundancy Analyses in Term Rewriting
    In Proc. of the 9th Int'l Workshop on Functional and Logic Programming (WFLP2000),
    SPUPV 2000.2039, pages 309-323. Benicassim (Spain), September 2000.
    Available: Abstract PostScript BibTeX entry

    • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter
    In J. Pavelka, G. Tel, and M. Bartosek, editors, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99,
    LNCS 1725, pages 331-339, Milovy, Czech Republic, November 1999.
    © Springer-Verlag
    Available: Abstract / DVI / PostScript / BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Incremental Needed Narrowing
    In P. Tarau and K. Sagonas, editors, Proc of the Int'l Workshop on Implementation of Declarative Languages, IDL'99, 1999.
    Available: Abstract / DVI / PostScript / HTML / BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Needed Narrowing Calculus for Curry
    In M.C. Meo and M. Vilares, editors, Proc of the 1999 Joint Conference on Declarative Programming, AGP'99, L'Acquila (Italy), 1999.
    Available: BibTeX entry

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Curry Interpreter
    In Proc. of the 8th International Workshop on Functional and Logic Programming WFLP'99, Grenoble (France), 1999.
    Available: BibTeX entry

    • Technical Reports

    2007

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    Technical Report DSIC-II/05/07, 24 pages,
    Departamento de Sistemas Informáticos y Computacóón, UPV, 2007.
    Available: PDF

    • 2004

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    Technical Report DSIC-II/1/04, 39 pages,
    Departamento de Sistemas Informáticos y Computacóón, UPV, 2004.
    Superseded by this journal publication

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation by Program Transformation
    Technical Report DSIC-II/2/04, 38 pages,
    Departamento de Sistemas Informáticos y Computación, UPV, 2004.
    Available: PDF

    • 2003

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-Demand Strategy Annotations Revisited
    Technical Report DSIC-II/18/03, 51 pages,
    Departamento de Sistemas Informáticos y Computación, UPV, 2003.
    Available: PDF

    • 2002

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and complete (positive) strategy annotatios for OBJ
    Technical report DSIC, DSIC-II/9/02, 2002, 19 pp.
    Superseded by this ENTCS publication

    • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter with Polymorphic Types and Monadic I/O.
    Technical report DSIC-II/12/99, UPV, 1999.
    Available: Abstract / DVI / PostScript / BibTeX entry.

    • 1998

  • Santiago Escobar, María Alpuente, Salvador Lucas.
    UPV-Curry User's Manual.
    Technical report DSIC-II/38/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

  • Santiago Escobar, María Alpuente, Salvador Lucas.
    Modelización conceptual declarativa en un lenguaje lógico-funcional avanzado.
    Technical report DSIC-II/39/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

  • Santiago Escobar, María Alpuente, Salvador Lucas, Germán Vidal.
    UPV-Curry: Un intérprete de Curry con tipos polimórficos y E/S monádica.
    Technical report DSIC-II/40/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

    • PhD Thesis

  • Santiago Escobar.
    Strategies and Analysis Techniques for Functional Program Optimization
    Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, October 2003. (In English)
    PhD advisors:     María Alpuente and Salvador Lucas.
    Examiners: Hélène Kirchner, Francisco López-Fraguas, José Meseguer, Isidro Ramos, and Albert Rubio.
    Available: Abstract / Gzipped PostScript / PDF / BibTeX entry.

    • Other

  • Santiago Escobar.
    ¿En qué se basa nuestra moderna sociedad digital?
    Crónicas del Intangible, Periódico El País.
    May 2016. (In Spanish)
    Available: Original / PDF.
    • Last modified: Wed Oct 24 11:34:13 CEST 2018