![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Santiago Escobar 0001
Person information
- affiliation: Polytechnic University of Valencia, Spain
Other persons with the same name
- Santiago Escobar 0002
— Universidad de San Buenaventura sede Bogotá, Bogotá, Colombia
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j27]Duong Dinh Tran
, Kazuhiro Ogata
, Santiago Escobar, Sedat Akleylek
, Ayoub Otmani:
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access 12: 1672-1687 (2024) - [c96]Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - 2023
- [j26]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) - [j25]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: 100895 (2023) - [j24]Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani:
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Comput. Sci. 9: e1547 (2023) - [j23]Duong Dinh Tran
, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata:
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. PeerJ Comput. Sci. 9: e1556 (2023) - [c95]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 - [c94]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 307-350 - [c93]D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Protocol Dialects as Formal Patterns. ESORICS (2) 2023: 42-61 - [c92]Santiago Escobar, Raúl López-Rueda, Julia Sapiña:
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. FTSCS 2023: 14-25 - [e15]Santiago Escobar, Vasco T. Vasconcelos:
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM 2023 [contents] - [i14]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 abs/2307.06348 (2023) - 2022
- [j22]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) - [j21]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) - [j20]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) - [c91]Francisco Durán
, Steven Eker
, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer
, Rubén Rubio
, Carolyn L. Talcott
:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - [c90]Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM 2022: 16-31 - [c89]Raúl López-Rueda
, Santiago Escobar:
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. ICFEM 2022: 20-35 - [c88]Víctor García
, Santiago Escobar, Kazuhiro Ogata:
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. FAVPQC@ICFEM 2022: 32-49 - [c87]Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata:
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. FAVPQC@ICFEM 2022: 50-64 - [c86]María Alpuente
, Demis Ballis
, Santiago Escobar
, Julia Sapiña
:
Variant-Based Equational Anti-unification. LOPSTR 2022: 44-60 - [c85]Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE 2022: 382-387 - [c84]Raúl López-Rueda
, Santiago Escobar:
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA@ETAPS 2022: 45-64 - [c83]Raúl López-Rueda
, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS 2022: 151-170 - [c82]Canh Minh Do
, Adrián Riesco
, Santiago Escobar
, Kazuhiro Ogata
:
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS 2022: 253-273 - [e14]Sedat Akleylek, Santiago Escobar, Kazuhiro Ogata, Ayoub Otmani:
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022. CEUR Workshop Proceedings 3280, CEUR-WS.org 2022 [contents] - 2021
- [c81]Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time and Space. Protocols, Strands, and Logic 2021: 22-49 - [i13]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR abs/2112.10201 (2021) - 2020
- [j19]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) - [j18]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) - [j17]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Rubén Rubio
, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [c80]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: 230-250 - [c79]Damián Aparicio-Sánchez, Santiago Escobar
, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150 - [c78]Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña:
Variant-based Equational Unification under Constructor Symbols. ICLP Technical Communications 2020: 38-51 - [e13]Santiago Escobar
, Narciso Martí-Oliet
:
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents] - [i12]Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. CoRR abs/2010.13707 (2020)
2010 – 2019
- 2019
- [j16]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) - [c77]Santiago Escobar
, José Meseguer:
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Foundations of Security, Protocols, and Equational Reasoning 2019: 15-38 - [c76]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 - [c75]Santiago Escobar
, Julia Sapiña:
Most General Variant Unifiers. ICLP Technical Communications 2019: 154-167 - [i11]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer:
Strand Spaces with Choice via a Process Algebra Semantics. CoRR abs/1904.09946 (2019) - [i10]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Symbolic Analysis of Maude Theories with Narval. CoRR abs/1907.10919 (2019) - [i9]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - 2018
- [c74]María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR 2018: 38-55 - [c73]Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar
, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR 2018: 400-417 - [c72]Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer:
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM 2018: 20-36 - [c71]Santiago Escobar
:
Multi-paradigm Programming in Maude. WRLA@ETAPS 2018: 26-44 - [c70]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - [i8]Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR abs/1806.07209 (2018) - [i7]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
- [j15]Santiago Escobar
:
Rewriting Logic and its Applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 86(1): 157-158 (2017) - [j14]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) - [e12]Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents] - [i6]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña:
Inspecting Maude Variants with GLINTS. CoRR abs/1707.05599 (2017) - 2016
- [j13]Santiago Escobar
:
Rewriting logic and its applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 85(1): 1-2 (2016) - [c69]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c68]María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR 2016: 3-20 - [c67]Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89 - [i5]Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Effective Sequential Protocol Composition in Maude-NPA. CoRR abs/1603.00087 (2016) - [i4]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR abs/1608.03424 (2016) - 2015
- [j12]Andrew Cholewa, Santiago Escobar
, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112: 24-57 (2015) - [c66]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [c65]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago
:
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security 2015: 238-261 - [c64]Antonio González-Burgueño, Sonia Santiago
, Santiago Escobar
, Catherine Meadows, José Meseguer:
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR 2015: 86-106 - [e11]Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß:
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland. OASIcs 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-94-1 [contents] - [e10]Santiago Escobar
:
Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS 173, 2015 [contents] - 2014
- [j11]Santiago Escobar
, Moreno Falaschi
:
Functional and (Constraint) Logic Programming. Inf. Comput. 235: 1-2 (2014) - [j10]María Alpuente
, Santiago Escobar
, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. Inf. Comput. 235: 98-136 (2014) - [j9]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago
:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014) - [c63]Santiago Escobar
:
Functional Logic Programming in Maude. Specification, Algebra, and Software 2014: 315-336 - [c62]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3 - [c61]María Alpuente
, Santiago Escobar
, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2014: 573-581 - [c60]Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer, Paliath Narendran:
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP 2014: 123-133 - [c59]Antonio González-Burgueño, Sonia Santiago
, Santiago Escobar
, Catherine Meadows, José Meseguer:
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR 2014: 111-130 - [c58]Sonia Santiago
, Santiago Escobar
, Catherine Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM 2014: 162-177 - [e9]Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov:
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. EPiC Series in Computing 24, EasyChair 2014 [contents] - [e8]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 8663, Springer 2014, ISBN 978-3-319-12903-7 [contents] - 2013
- [c57]Serdar Erbatur, Santiago Escobar
, Deepak Kapur, Zhiqiang Liu, Christopher Lynch
, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago
, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248 - [c56]Elena Lloret
, Santiago Escobar
, Manuel Palomar, Isidro Ramos:
Incremental and Adaptive Software Systems Development of Natural Language Applications. ISD 2013: 511-523 - [c55]Santiago Escobar:
Unification and Anti-unification modulo Equational Theories. UNIF@RTA/TLCA 2013: 1 - [c54]María Alpuente
, Santiago Escobar, Javier Espert:
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA 2013: 3-7 - [c53]Kyungmin Bae, Santiago Escobar
, José Meseguer:
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96 - 2012
- [j8]Santiago Escobar
, Ralf Sasse
, José Meseguer:
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012) - [c52]Serdar Erbatur, Santiago Escobar, Paliath Narendran:
The use of types in designing unification algorithms: two case studies. UNIF 2012: 7-16 - [c51]Serdar Erbatur, Santiago Escobar
, Deepak Kapur, Zhiqiang Liu, Christopher Lynch
, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago
, Ralf Sasse
:
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90 - 2011
- [j7]María Alpuente
, Santiago Escobar
, José Iborra:
Modular termination of basic narrowing and equational unification. Log. J. IGPL 19(6): 731-762 (2011) - [c50]Santiago Escobar
, Deepak Kapur, Christopher Lynch
, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76 - [c49]Francisco Durán
, Steven Eker, Santiago Escobar
, José Meseguer, Carolyn L. Talcott:
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40 - [c48]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF 2011: 59-64 - [e7]Santiago Escobar
:
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. EPTCS 82, 2011 [contents] - [i3]Santiago Escobar, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011) - 2010
- [j6]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) - [j5]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) - [c47]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago
:
Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318 - [c46]Ralf Sasse
, Santiago Escobar
, Catherine Meadows, José Meseguer:
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178 - [c45]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132 - [c44]Santiago Escobar
, Ralf Sasse
, José Meseguer:
Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68 - [e6]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 5979, Springer 2010, ISBN 978-3-642-11998-9 [contents] - [i2]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
- [j4]María Alpuente
, Santiago Escobar
, José Iborra:
Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009) - [c43]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124 - [c42]Manuel Clavel, Francisco Durán
, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - [c41]Sonia Santiago
, Carolyn L. Talcott, Santiago Escobar
, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA. PROLE 2009: 3-20 - [e5]Daniel J. Dougherty, Santiago Escobar:
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Electronic Notes in Theoretical Computer Science 234, Elsevier 2009 [contents] - [e4]Demis Ballis, Santiago Escobar:
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008. Electronic Notes in Theoretical Computer Science 235, Elsevier 2009 [contents] - 2008
- [c40]Santiago Escobar
, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562 - [c39]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198 - [c38]María Alpuente
, Santiago Escobar
, José Iborra:
Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331 - [c37]María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39 - [c36]Michael Katelman, José Meseguer, Santiago Escobar
:
Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100 - [c35]María Alpuente
, Santiago Escobar
, José Iborra:
Modular Termination of Basic Narrowing. RTA 2008: 1-16 - [c34]Santiago Escobar
, José Meseguer, Ralf Sasse
:
Effectively Checking the Finite Variant Property. RTA 2008: 79-93 - [c33]Santiago Escobar, José Meseguer, Ralf Sasse:
Equational Unification by Variant Narrowing (Extended Abstract). UNIF 2008: 35-39 - [c32]Demis Ballis, Santiago Escobar
:
Preface. WWV 2008: 1-2 - [c31]Daniel J. Dougherty, Santiago Escobar
:
Preface. SecReT@LICS/CSF 2008: 1-2 - [c30]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 - [c29]María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
Order-Sorted Generalization. WFLP 2008: 27-38 - [c28]Santiago Escobar
, José Meseguer, Ralf Sasse:
Variant Narrowing and Equational Unification. WRLA 2008: 103-119 - [e3]Demis Ballis, Santiago Escobar, Massimo Marchiori:
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007. Electronic Notes in Theoretical Computer Science 200(3), Elsevier 2008 [contents] - 2007
- [j3]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
Removing redundant arguments automatically. Theory Pract. Log. Program. 7(1-2): 3-35 (2007) - [c27]Mauricio Alba-Castro
, María Alpuente
, Santiago Escobar
:
Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217 - [c26]Santiago Escobar
, Catherine Meadows, José Meseguer:
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50 - [c25]Santiago Escobar
, José Meseguer:
Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168 - [c24]Demis Ballis, Santiago Escobar
, Massimo Marchiori:
Preface. WWV 2007: 1-2 - 2006
- [j2]Santiago Escobar
, Catherine Meadows, José Meseguer:
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006) - [c23]Santiago Escobar
, José Meseguer, Prasanna Thati:
Narrowing and Rewriting Logic: from Foundations to Applications. WFLP 2006: 5-33 - [c22]Santiago Escobar
, Catherine Meadows, José Meseguer:
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. SecReT@ICALP 2006: 23-36 - [e2]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] - [i1]María Alpuente, Santiago Escobar, Salvador Lucas:
Removing Redundant Arguments Automatically. CoRR abs/cs/0601039 (2006) - 2005
- [c21]Santiago Escobar
, Catherine Meadows, José Meseguer:
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12 - [c20]Santiago Escobar
, José Meseguer, Prasanna Thati:
Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293 - [c19]María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface. WWV 2005 - [c18]María Alpuente
, Santiago Escobar
, Moreno Falaschi
:
Preface. WWV 2005: 1-2 - [e1]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
- [j1]Santiago Escobar:
Thesis: Strategies and analysis techniques in functional program optimization. AI Commun. 17(1): 35-37 (2004) - [c17]Santiago Escobar
:
Implementing Natural Rewriting and Narrowing Efficiently. FLOPS 2004: 147-162 - [c16]Santiago Escobar
, José Meseguer, Prasanna Thati:
Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116 - [c15]Francisco Durán
, Santiago Escobar
, Salvador Lucas
:
On-demand Evaluation for Maude. RULE@RDP 2004: 25-39 - [c14]Francisco Durán
, Santiago Escobar
, Salvador Lucas
:
New Evaluation Commands for Maude Within Full Maude. WRLA 2004: 263-284 - 2003
- [c13]María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433 - [c12]Santiago Escobar
:
Refining weakly outermost-needed rewriting and narrowing. PPDP 2003: 113-123 - [c11]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
OnDemandOBJ: A Laboratory for Strategy Annotations. RULE@RDP 2003: 1-27 - [c10]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
On-demand Evaluation by Program Transformation. RULE@RDP 2003: 92-118 - [c9]María Alpuente
, Demis Ballis, Santiago Escobar
, Moreno Falaschi
, Salvador Lucas
:
Abstract correction of first-order functional programs. WFLP 2003: 105-122 - 2002
- [c8]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
Removing Redundant Arguments of Functions. AMAST 2002: 117-131 - [c7]María Alpuente
, Marco Comini, Santiago Escobar
, Moreno Falaschi
, Salvador Lucas
:
Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16 - [c6]María Alpuente
, Santiago Escobar
, Bernhard Gramlich, Salvador Lucas:
Improving On-Demand Strategy Annotations. LPAR 2002: 1-18 - [c5]María Alpuente
, Rachid Echahed, Santiago Escobar
, Salvador Lucas
:
Redundancy of Arguments Reduced to Induction. WFLP 2002: 20-41 - [c4]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
Correct and Complete (Positive) Strategy Annotations for OBJ. WRLA 2002: 70-89 - 2000
- [c3]María Alpuente, Santiago Escobar, Salvador Lucas:
Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
1990 – 1999
- 1999
- [c2]María Alpuente, Salvador Lucas, Santiago Escobar:
An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88 - [c1]María Alpuente
, Santiago Escobar
, Salvador Lucas
:
UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339
Coauthor Index
aka: Catherine A. Meadows
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 01:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint