José Meseguer

ORCID

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 69

Top Venues

J. Log. Algebraic Methods Program.

WRLA@ETAPS

CoRR

Sci. Comput. Program.

Publications

José Meseguer
Variants and satisfiability in the infinitary unification wonderland. J. Log. Algebraic Methods Program. 134 (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)
Fan Yang, Santiago Escobar, Catherine A. 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)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. J. Log. Algebraic Methods Program. 134 (2023)
Raúl López-Rueda, Santiago Escobar, José Meseguer
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS (2022)
María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90 (5) (2022)
Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
José Meseguer
Checking Sufficient Completeness by Inductive Theorem Proving. WRLA@ETAPS (2022)
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)
José Meseguer, Stephen Skeirik
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS (2022)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time and Space. Protocols, Strands, and Logic (2021)
Salvador Lucas, José Meseguer, Raúl Gutiérrez
The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques. J. Autom. Reason. 64 (8) (2020)
José Meseguer
Generalized rewrite theories, coherence completion, and symbolic methods. J. Log. Algebraic Methods Program. 110 (2020)
Stephen Skeirik, Andrei Stefanescu, José Meseguer
A Constructor-Based Reachability Logic for Rewrite Theories. Fundam. Informaticae 173 (4) (2020)
José Meseguer, Stephen Skeirik
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA@ETAPS (2020)
José Meseguer
Symbolic Computation in Maude: Some Tapas. LOPSTR (2020)
Stephen Skeirik, José Meseguer, Camilo Rocha
Verification of the IBOS Browser Security Properties in Reachability Logic. CoRR (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)
Stephen Skeirik, José Meseguer, Camilo Rocha
Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA@ETAPS (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. CoRR (2020)
Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. INDOCRYPT (2020)
Francisco Durán, José Meseguer, Camilo Rocha
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111 (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)
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)
José Meseguer
Variants in the Infinitary Unification Wonderland. WRLA@ETAPS (2020)
José Meseguer
Variant Satisfiability of Parameterized Strings. WRLA@ETAPS (2020)
Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. 31 (5) (2019)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
Strand Spaces with Choice via a Process Algebra Semantics. CoRR (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)
Santiago Escobar, José Meseguer
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Foundations of Security, Protocols, and Equational Reasoning (2019)
Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) (2019)
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 (2019)
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR (2018)
Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE (2018)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM (2018)
José Meseguer
Symbolic Reasoning Methods in Rewriting Logic and Maude. WoLLIC (2018)
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR (2018)
José Meseguer
Generalized Rewrite Theories and Coherence Completion. WRLA@ETAPS (2018)
Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS (2018)
José Meseguer
Variant-based satisfiability in initial algebras. Sci. Comput. Program. 154 (2018)
Salvador Lucas, José Meseguer, Raúl Gutiérrez
The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors. J. Comput. Syst. Sci. 96 (2018)
Francisco Durán, José Meseguer, Camilo Rocha
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS (2018)
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)
José Meseguer
Formal Design of Cloud Computing Systems in Maude. SBMF (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)
Stephen Skeirik, José Meseguer
Metalevel algorithms for variant satisfiability. J. Log. Algebraic Methods Program. 96 (2018)
José Meseguer, Stephen Skeirik
Equational formulas and pattern operations in initial order-sorted algebras. Formal Aspects Comput. 29 (3) (2017)
Stephen Skeirik, Andrei Stefanescu, José Meseguer
A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR (2017)
Raúl Gutiérrez, José Meseguer
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. LOPSTR (2017)
José Meseguer
Strict coherence of conditional rewriting modulo axioms. Theor. Comput. Sci. 672 (2017)
Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM (2017)
Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. Leibniz Trans. Embed. Syst. 4 (1) (2017)
Camilo Rocha, José Meseguer, César A. Muñoz
Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86 (1) (2017)
Raúl Gutiérrez, José Meseguer
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. CoRR (2017)
Salvador Lucas, José Meseguer
Dependency pairs for proving termination properties of conditional term rewriting systems. J. Log. Algebraic Methods Program. 86 (1) (2017)
Stephen Skeirik, Andrei Stefanescu, José Meseguer
A Constructor-Based Reachability Logic for Rewrite Theories. CoRR (2017)
Antonio Moreno-Delgado, Francisco Durán, José Meseguer
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA (2016)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR (2016)
Salvador Lucas, José Meseguer
Normal forms and normal theories in conditional rewriting. J. Log. Algebraic Methods Program. 85 (1) (2016)
Stephen Skeirik, José Meseguer
Metalevel Algorithms for Variant Satisfiability. WRLA (2016)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Strand spaces with choice via a process algebra semantics. PPDP (2016)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR (2016)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. J. Log. Algebraic Methods Program. 85 (1) (2016)
José Meseguer
Order-Sorted Rewriting and Congruence Closure. FoSSaCS (2016)
Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Effective Sequential Protocol Composition in Maude-NPA. CoRR (2016)
Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer
Formal modeling and analysis of RAMP transaction systems. SAC (2016)
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)
Raúl Gutiérrez, José Meseguer, Camilo Rocha
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99 (2015)
José Meseguer, Stephen Skeirik
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR (2015)
Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. 103 (2015)
Andrew Cholewa, Santiago Escobar, José Meseguer
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112 (2015)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security (2015)
Kyungmin Bae, José Meseguer
Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. 99 (2015)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems (2015)
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR (2015)
José Meseguer
Variant-Based Satisfiability in Initial Algebras. FTSCS (2015)
Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. QEST (2015)
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. 99 (2015)
Musab A. AlTurki, José Meseguer
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. J. Log. Algebraic Methods Program. 84 (4) (2015)
Salvador Lucas, José Meseguer
Localized Operational Termination in General Logics. Software, Services, and Systems (2015)
Salvador Lucas, José Meseguer
Proving Operational Termination of Declarative Programs in General Logics. PPDP (2014)
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91 (2014)
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2014)
Kyungmin Bae, José Meseguer
Predicate Abstraction of Rewrite Theories. RTA-TLCA (2014)
José Meseguer
Taming distributed system complexity through formal patterns. Sci. Comput. Program. 83 (2014)
Salvador Lucas, José Meseguer
Models for Logics and Conditional Constraints in Automated Proofs of Termination. AISC (2014)
Salvador Lucas, José Meseguer, Raúl Gutiérrez
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. LOPSTR (2014)
Kyungmin Bae, José Meseguer
Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA (2014)
Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM (2014)
Mu Sun, José Meseguer
Formal Specification of Button-Related Fault-Tolerance Micropatterns. WRLA (2014)
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR (2014)
Si Liu, Peter Csaba Ölveczky, José Meseguer
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA (2014)
Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
Formal Modeling and Analysis of Cassandra in Maude. ICFEM (2014)
Salvador Lucas, José Meseguer
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. WRLA (2014)
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
A modular order-sorted equational generalization algorithm. Inf. Comput. 235 (2014)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
A rewriting-based forwards semantics for Maude-NPA. HotSoS (2014)
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM (2014)
Salvador Lucas, José Meseguer
2D Dependency Pairs for Proving Operational Termination of CTRSs. WRLA (2014)

José Meseguer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José Meseguer