Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2020
[j114]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. Fundam. Informaticae 173(4): 315-382 (2020)- [j113]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) - [j112]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) - [j111]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) - [j110]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) - [j109]José Meseguer:
Generalized rewrite theories, coherence completion, and symbolic methods. J. Log. Algebraic Methods Program. 110 (2020) - [j108]Francisco Durán, José Meseguer, Camilo Rocha:
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020) - [c254]Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150 - [c253]José Meseguer:
Symbolic Computation in Maude: Some Tapas. LOPSTR 2020: 3-36 - [c252]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 - [c251]José Meseguer:
Variants in the Infinitary Unification Wonderland. WRLA@ETAPS 2020: 75-95 - [c250]José Meseguer:
Variant Satisfiability of Parameterized Strings. WRLA@ETAPS 2020: 96-113 - [c249]José Meseguer, Stephen Skeirik:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA@ETAPS 2020: 114-135 - [c248]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
- [j107]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) - [c247]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 - [c246]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 - [c245]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
- [j106]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) - [j105]Stephen Skeirik, José Meseguer:
Metalevel algorithms for variant satisfiability. J. Log. Algebraic Methods Program. 96: 81-110 (2018) - [j104]José Meseguer:
Variant-based satisfiability in initial algebras. Sci. Comput. Program. 154: 3-41 (2018) - [c244]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 - [c243]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR 2018: 38-55 - [c242]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 - [c241]José Meseguer:
Formal Design of Cloud Computing Systems in Maude. SBMF 2018: 5-19 - [c240]Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM 2018: 20-36 - [c239]José Meseguer:
Symbolic Reasoning Methods in Rewriting Logic and Maude. WoLLIC 2018: 25-60 - [c238]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 - [c237]Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018: 136-152 - [c236]José Meseguer:
Generalized Rewrite Theories and Coherence Completion. WRLA@ETAPS 2018: 164-183 - [c235]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
- [j103]José Meseguer, Stephen Skeirik:
Equational formulas and pattern operations in initial order-sorted algebras. Formal Aspects Comput. 29(3): 423-452 (2017) - [j102]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) - [j101]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) - [j100]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) - [j99]José Meseguer:
Strict coherence of conditional rewriting modulo axioms. Theor. Comput. Sci. 672: 1-35 (2017) - [c234]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 - [c233]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR 2017: 201-217 - [c232]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
- [j98]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) - [j97]Salvador Lucas, José Meseguer:
Normal forms and normal theories in conditional rewriting. J. Log. Algebraic Methods Program. 85(1): 67-97 (2016) - [c231]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 - [c230]José Meseguer:
Order-Sorted Rewriting and Congruence Closure. FoSSaCS 2016: 493-509 - [c229]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR 2016: 3-20 - [c228]Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89 - [c227]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 - [c226]Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016: 118-133 - [c225]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
- [j96]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) - [j95]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) - [j94]Kyungmin Bae, José Meseguer:
Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. 99: 193-234 (2015) - [j93]Raúl Gutiérrez, José Meseguer, Camilo Rocha:
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99: 235-261 (2015) - [j92]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) - [j91]Andrew Cholewa, Santiago Escobar, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112: 24-57 (2015) - [c224]Salvador Lucas, José Meseguer:
Localized Operational Termination in General Logics. Software, Services, and Systems 2015: 91-114 - [c223]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 - [c222]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 - [c221]José Meseguer:
Variant-Based Satisfiability in Initial Algebras. FTSCS 2015: 3-34 - [c220]José Meseguer, Stephen Skeirik:
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR 2015: 36-53 - [c219]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 - [c218]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
- [j90]María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. Inf. Comput. 235: 98-136 (2014) - [j89]Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014) - [j88]José Meseguer:
Taming distributed system complexity through formal patterns. Sci. Comput. Program. 83: 3-34 (2014) - [j87]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91: 3-44 (2014) - [c217]Salvador Lucas, José Meseguer:
Models for Logics and Conditional Constraints in Automated Proofs of Termination. AISC 2014: 9-20 - [c216]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 - [c215]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM 2014: 94-109 - [c214]Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3 - [c213]Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. ICFEM 2014: 332-347 - [c212]María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2014: 573-581 - [c211]Salvador Lucas, José Meseguer, Raúl Gutiérrez:
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. LOPSTR 2014: 113-130 - [c210]Salvador Lucas, José Meseguer:
Proving Operational Termination of Declarative Programs in General Logics. PPDP 2014: 111-122 - [c209]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 - [c208]Kyungmin Bae, José Meseguer:
Predicate Abstraction of Rewrite Theories. RTA-TLCA 2014: 61-76 - [c207]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 - [c206]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 - [c205]Kyungmin Bae, José Meseguer:
Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA 2014: 113-129 - [c204]Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014: 162-177 - [c203]Salvador Lucas, José Meseguer:
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. WRLA 2014: 178-194 - [c202]Salvador Lucas, José Meseguer:
2D Dependency Pairs for Proving Operational Termination of CTRSs. WRLA 2014: 195-212 - [c201]Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. WRLA 2014: 247-262 - [c200]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
- [j86]José Meseguer, Grigore Rosu:
The rewriting logic semantics project: A progress report. Inf. Comput. 231: 38-69 (2013) - [c199]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 - [c198]Stephen Skeirik, Rakesh B. Bobba, José Meseguer:
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. CCGRID 2013: 636-641 - [c197]Kyungmin Bae, Santiago Escobar, José Meseguer:
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96 - 2012
- [j85]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) - [j84]Joe Hendrix, José Meseguer:
Order-sorted Equational Unification Revisited. Electron. Notes Theor. Comput. Sci. 290: 37-50 (2012) - [j83]José Meseguer:
Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012) - [j82]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) - [j81]Santiago Escobar, Ralf Sasse, José Meseguer:
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012) - [j80]Michael Katelman, Sean Keller, José Meseguer:
Rewriting semantics of production rule sets. J. Log. Algebraic Methods Program. 81(7-8): 929-956 (2012) - [j79]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) - [c196]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 - [c195]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18 - [c194]Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang:
IBOS: A Correct-By-Construction Modular Browser. FACS 2012: 224-241 - [c193]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. FASE 2012: 59-62 - [c192]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 - [c191]Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446 - [c190]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160 - [c189]Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer:
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82 - [c188]Kyungmin Bae, José Meseguer:
Model Checking LTLR Formulas under Localized Fairness. WRLA 2012: 99-117 - [c187]Raúl Gutiérrez, José Meseguer, Camilo Rocha:
Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012: 162-181 - [c186]Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky:
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. FTSCS 2012: 5-21 - 2011
- [j78]Artur Boronat, José Meseguer:
Automated Model Synchronization: A Case Study on UML with Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [c185]Camilo Rocha, José Meseguer:
Proving Safety Properties of Rewrite Theories. CALCO 2011: 314-328 - [c184]Musab AlTurki, José Meseguer:
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO 2011: 386-392 - [c183]Kyungmin Bae, José Meseguer:
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV 2011: 132-148 - [c182]José Meseguer:
Taming Distributed System Complexity through Formal Patterns. FACS 2011: 1-2 - [c181]José Meseguer, Grigore Rosu:
The Rewriting Logic Semantics Project: A Progress Report. FCT 2011: 1-37 - [c180]Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer:
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667 - [c179]Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer:
Verification of microarchitectural refinements in rule-based systems. MEMOCODE 2011: 61-71 - [c178]Felix Schernhammer, José Meseguer:
Incremental checking of well-founded recursive specifications modulo axioms. PPDP 2011: 5-16 - [c177]Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76 - [c176]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 - [e6]