Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDJosé Meseguer
Person information
- affiliation: University of Illinois, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j112]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)- [c263]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 - [c262]Raúl López-Rueda, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS 2022: 151-170 - [c261]José Meseguer:
Checking Sufficient Completeness by Inductive Theorem Proving. WRLA@ETAPS 2022: 171-190 - [c260]José Meseguer, Stephen Skeirik:
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS 2022: 191-211 - 2021
- [c259]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: 22-49 - [e9]Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul D. Rowe:
Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science 13066, Springer 2021, ISBN 978-3-030-91630-5 [contents] - 2020
- [j111]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. Fundam. Informaticae 173(4): 315-382 (2020) - [j110]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) - [j109]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): 1611-1662 (2020) - [j108]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) - [j107]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) - [j106]José Meseguer:
Generalized rewrite theories, coherence completion, and symbolic methods. J. Log. Algebraic Methods Program. 110 (2020) - [j105]Francisco Durán, José Meseguer, Camilo Rocha:
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020) - [c258]Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150 - [c257]José Meseguer:
Symbolic Computation in Maude: Some Tapas. LOPSTR 2020: 3-36 - [c256]Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang:
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM 2020: 22-40 - [c255]José Meseguer:
Variants in the Infinitary Unification Wonderland. WRLA@ETAPS 2020: 75-95 - [c254]José Meseguer:
Variant Satisfiability of Parameterized Strings. WRLA@ETAPS 2020: 96-113 - [c253]José Meseguer, Stephen Skeirik:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA@ETAPS 2020: 114-135 - [c252]Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA@ETAPS 2020: 176-196 - [i11]Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. CoRR abs/2005.12232 (2020) - [i10]Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. CoRR abs/2010.13707 (2020)
2010 – 2019
- 2019
- [j104]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): 503-540 (2019) - [c251]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 - [c250]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 - [c249]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: 40-57 - [e8]Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic:
Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Lecture Notes in Computer Science 11565, Springer 2019, ISBN 978-3-030-19051-4 [contents] - [i9]Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Strand Spaces with Choice via a Process Algebra Semantics. CoRR abs/1904.09946 (2019) - [i8]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
- [j103]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: 74-106 (2018) - [j102]Stephen Skeirik, José Meseguer:
Metalevel algorithms for variant satisfiability. J. Log. Algebraic Methods Program. 96: 81-110 (2018) - [j101]José Meseguer:
Variant-based satisfiability in initial algebras. Sci. Comput. Program. 154: 3-41 (2018) - [c248]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: 77-93 - [c247]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR 2018: 38-55 - [c246]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: 400-417 - [c245]José Meseguer:
Formal Design of Cloud Computing Systems in Maude. SBMF 2018: 5-19 - [c244]Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM 2018: 20-36 - [c243]José Meseguer:
Symbolic Reasoning Methods in Rewriting Logic and Maude. WoLLIC 2018: 25-60 - [c242]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 - [c241]Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018: 136-152 - [c240]José Meseguer:
Generalized Rewrite Theories and Coherence Completion. WRLA@ETAPS 2018: 164-183 - [c239]Francisco Durán, José Meseguer, Camilo Rocha:
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS 2018: 184-204 - [i7]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 abs/1806.07209 (2018) - [i6]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
- [j100]José Meseguer, Stephen Skeirik:
Equational formulas and pattern operations in initial order-sorted algebras. Formal Aspects Comput. 29(3): 423-452 (2017) - [j99]Salvador Lucas, José Meseguer:
Dependency pairs for proving termination properties of conditional term rewriting systems. J. Log. Algebraic Methods Program. 86(1): 236-268 (2017) - [j98]Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017) - [j97]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): 03:1-03:26 (2017) - [j96]José Meseguer:
Strict coherence of conditional rewriting modulo axioms. Theor. Comput. Sci. 672: 1-35 (2017) - [c238]Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer:
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM 2017: 298-314 - [c237]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR 2017: 201-217 - [c236]Raúl Gutiérrez, José Meseguer:
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. LOPSTR 2017: 306-322 - [i5]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. CoRR abs/1709.05045 (2017) - [i4]Raúl Gutiérrez, José Meseguer:
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. CoRR abs/1709.05203 (2017) - 2016
- [j95]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): 34-66 (2016) - [j94]Salvador Lucas, José Meseguer:
Normal forms and normal theories in conditional rewriting. J. Log. Algebraic Methods Program. 85(1): 67-97 (2016) - [c235]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 - [c234]José Meseguer:
Order-Sorted Rewriting and Congruence Closure. FoSSaCS 2016: 493-509 - [c233]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR 2016: 3-20 - [c232]Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89 - [c231]Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer:
Formal modeling and analysis of RAMP transaction systems. SAC 2016: 1700-1707 - [c230]Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016: 118-133 - [c229]Stephen Skeirik, José Meseguer:
Metalevel Algorithms for Variant Satisfiability. WRLA 2016: 167-184 - [i3]Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Effective Sequential Protocol Composition in Maude-NPA. CoRR abs/1603.00087 (2016) - [i2]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
- [j93]Musab A. AlTurki, José Meseguer:
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. J. Log. Algebraic Methods Program. 84(4): 505-533 (2015) - [j92]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. 99: 24-74 (2015) - [j91]Kyungmin Bae, José Meseguer:
Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. 99: 193-234 (2015) - [j90]Raúl Gutiérrez, José Meseguer, Camilo Rocha:
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99: 235-261 (2015) - [j89]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: 13-50 (2015) - [j88]Andrew Cholewa, Santiago Escobar, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112: 24-57 (2015) - [c228]Salvador Lucas, José Meseguer:
Localized Operational Termination in General Logics. Software, Services, and Systems 2015: 91-114 - [c227]Si Liu, Peter Csaba Ölveczky, José Meseguer:
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems 2015: 231-252 - [c226]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: 238-261 - [c225]José Meseguer:
Variant-Based Satisfiability in Initial Algebras. FTSCS 2015: 3-34 - [c224]José Meseguer, Stephen Skeirik:
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR 2015: 36-53 - [c223]Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer:
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. QEST 2015: 228-243 - [c222]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: 86-106 - 2014
- [j87]María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. Inf. Comput. 235: 98-136 (2014) - [j86]Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014) - [j85]José Meseguer:
Taming distributed system complexity through formal patterns. Sci. Comput. Program. 83: 3-34 (2014) - [j84]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91: 3-44 (2014) - [c221]Salvador Lucas, José Meseguer:
Models for Logics and Conditional Constraints in Automated Proofs of Termination. AISC 2014: 9-20 - [c220]Camilo Rocha, José Meseguer:
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. Specification, Algebra, and Software 2014: 603-629 - [c219]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM 2014: 94-109 - [c218]Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3 - [c217]Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. ICFEM 2014: 332-347 - [c216]María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2014: 573-581 - [c215]Salvador Lucas, José Meseguer, Raúl Gutiérrez:
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. LOPSTR 2014: 113-130 - [c214]Salvador Lucas, José Meseguer:
Proving Operational Termination of Declarative Programs in General Logics. PPDP 2014: 111-122 - [c213]Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran:
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP 2014: 123-133 - [c212]Kyungmin Bae, José Meseguer:
Predicate Abstraction of Rewrite Theories. RTA-TLCA 2014: 61-76 - [c211]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: 111-130 - [c210]Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM 2014: 162-177 - [c209]Kyungmin Bae, José Meseguer:
Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA 2014: 113-129 - [c208]Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014: 162-177 - [c207]Salvador Lucas, José Meseguer:
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. WRLA 2014: 178-194 - [c206]Salvador Lucas, José Meseguer:
2D Dependency Pairs for Proving Operational Termination of CTRSs. WRLA 2014: 195-212 - [c205]Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. WRLA 2014: 247-262 - [c204]Mu Sun, José Meseguer:
Formal Specification of Button-Related Fault-Tolerance Micropatterns. WRLA 2014: 263-279 - [e7]Shusaku Iida, José Meseguer, Kazuhiro Ogata:
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 [contents] - 2013
- [j83]José Meseguer, Grigore Rosu:
The rewriting logic semantics project: A progress report. Inf. Comput. 231: 38-69 (2013) - [c203]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248 - [c202]Stephen Skeirik, Rakesh B. Bobba, José Meseguer:
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. CCGRID 2013: 636-641 - [c201]Kyungmin Bae, Santiago Escobar, José Meseguer:
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96 - 2012
- [j82]Kyungmin Bae, José Meseguer:
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. Electron. Notes Theor. Comput. Sci. 290: 19-36 (2012) - [j81]Joe Hendrix, José Meseguer:
Order-sorted Equational Unification Revisited. Electron. Notes Theor. Comput. Sci. 290: 37-50 (2012) - [j80]José Meseguer:
Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012) - [j79]Francisco Durán, José Meseguer:
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebraic Methods Program. 81(7-8): 816-850 (2012) - [j78]Santiago Escobar, Ralf Sasse, José Meseguer:
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012) - [j77]Michael Katelman, Sean Keller, José Meseguer:
Rewriting semantics of production rule sets. J. Log. Algebraic Methods Program. 81(7-8): 929-956 (2012) - [j76]José Meseguer, Peter Csaba Ölveczky:
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. 451: 1-37 (2012) - [c200]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse:
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90 - [c199]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18 - [c198]Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang:
IBOS: A Correct-By-Construction Modular Browser. FACS 2012: 224-241 - [c197]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. FASE 2012: 59-62 - [c196]Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing:
Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93 - [c195]Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446 - [c194]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160 - [c193]