José Meseguer

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 6

Top Topics

Inductive Reasoning

Top Venues

Publications

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. CoRR (2024)
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
Verifying Invariants by Deductive Model Checking. WRLA (2024)
José Meseguer
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. CoRR (2024)
José Meseguer
Equivalence, and Property Internalization and Preservation for Equational Programs. WRLA (2024)
D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Dialects as Formal Patterns. ESORICS (2) (2023)
José Meseguer
Building Correct-by-Construction Systems with Formal Patterns. WADT (2022)
José Meseguer
Extensible Symbolic System Analysis. UNIF (2014)
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)
Santiago Escobar, José Meseguer, Ralf Sasse
Equational Unification by Variant Narrowing (Extended Abstract). UNIF (2008)