Concepedia

Santiago Escobar

SE

24

Publications

736

Citations

16

H-Index

2003

Active since

Affiliations

Universitat Politècnica de València(Current)

University of Illinois Urbana-Champaign

United States Naval Research Laboratory

Universidad de Málaga

SRI International

Santiago Escobar is an author at Universitat Politècnica de València specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisCryptographyData SecuritySoftware AnalysisVerification

Publications per year

2003–2021

24

Publications

24

Folding variant narrowing and optimal variant termination

Santiago Escobar, Ralf Sasse, José Meseguer · The Journal of Logic and Algebraic Programming · 2012 · 119 citations · Full text

Mathematical Programming, Variant Narrowing, Engineering +4

A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties

Santiago Escobar, Catherine Meadows, José Meseguer · Theoretical Computer Science · 2006 · 117 citations

Formal Specification, Engineering, Rewriting-based Inference System +13

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

Kyungmin Bae, Santiago Escobar, José Meseguer · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 56 citations · Full text

A modular order-sorted equational generalization algorithm

Marı́a Alpuente, Santiago Escobar, Javier Espert et al. · Information and Computation · 2014 · 45 citations · Full text

State space reduction in the Maude-NRL Protocol Analyzer

Santiago Escobar, Catherine Meadows, José Meseguer et al. · Information and Computation · 2014 · 45 citations · Full text

Reachability Analysis, Engineering, Quantum Computing +6

Rows per page

1–5 of 24