![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
José Meseguer 0001
Person information
- affiliation: University of Illinois Urbana-Champaign, Thomas Siebel Center for Computer Science, Urbana-Champaign, IL, USA
- affiliation (former): SRI International, Menlo Park, CA, USA
- affiliation (former): Stanford University, Centre for the Study of Language and Information, CA, USA
- affiliation (former): University of Santiago de Compostela, Faculty of Science, Spain
- affiliation (PhD 1975): University of Zaragoza, Faculty of Science, Spain
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c292]Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - [c291]José Meseguer:
Equivalence, and Property Internalization and Preservation for Equational Programs. WRLA 2024: 62-83 - [i13]Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo:
The Maude strategy language. CoRR abs/2402.00275 (2024) - [i12]José Meseguer:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. CoRR abs/2405.02420 (2024) - 2023
- [j95]José Meseguer:
Variants and satisfiability in the infinitary unification wonderland. J. Log. Algebraic Methods Program. 134: 100877 (2023) - [j94]Steven Eker, Narciso Martí-Oliet
, José Meseguer, Rubén Rubio
, Alberto Verdejo:
The Maude strategy language. J. Log. Algebraic Methods Program. 134: 100887 (2023) - [c290]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: 21-50 - [c289]Fan Yang, Santiago Escobar, Catherine 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: 307-350 - [c288]D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Protocol Dialects as Formal Patterns. ESORICS (2) 2023: 42-61 - 2022
- [j93]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) - [j92]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): 315-344 (2022) - [c287]José Meseguer:
Building Correct-by-Construction Systems with Formal Patterns. WADT 2022: 3-24 - [c286]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 - [c285]Raúl López-Rueda
, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS 2022: 151-170 - [c284]José Meseguer:
Checking Sufficient Completeness by Inductive Theorem Proving. WRLA@ETAPS 2022: 171-190 - [c283]José Meseguer, Stephen Skeirik:
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS 2022: 191-211 - 2021
- [c282]Damián Aparicio-Sánchez, Santiago Escobar, Catherine 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
- [j91]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. Fundam. Informaticae 173(4): 315-382 (2020) - [j90]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) - [j89]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) - [j88]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) - [j87]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) - [j86]José Meseguer:
Generalized rewrite theories, coherence completion, and symbolic methods. J. Log. Algebraic Methods Program. 110 (2020) - [j85]Francisco Durán, José Meseguer, Camilo Rocha
:
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020) - [c281]Damián Aparicio-Sánchez, Santiago Escobar
, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150 - [c280]José Meseguer:
Symbolic Computation in Maude: Some Tapas. LOPSTR 2020: 3-36 - [c279]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 - [c278]José Meseguer:
Variants in the Infinitary Unification Wonderland. WRLA@ETAPS 2020: 75-95 - [c277]José Meseguer:
Variant Satisfiability of Parameterized Strings. WRLA@ETAPS 2020: 96-113 - [c276]José Meseguer, Stephen Skeirik:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA@ETAPS 2020: 114-135 - [c275]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 Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. CoRR abs/2010.13707 (2020)
2010 – 2019
- 2019
- [j84]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) - [c274]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 - [c273]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 - [c272]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 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
- [j83]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) - [j82]Stephen Skeirik, José Meseguer:
Metalevel algorithms for variant satisfiability. J. Log. Algebraic Methods Program. 96: 81-110 (2018) - [j81]José Meseguer:
Variant-based satisfiability in initial algebras. Sci. Comput. Program. 154: 3-41 (2018) - [c271]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 - [c270]María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR 2018: 38-55 - [c269]Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar
, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR 2018: 400-417 - [c268]José Meseguer:
Formal Design of Cloud Computing Systems in Maude. SBMF 2018: 5-19 - [c267]Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer:
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM 2018: 20-36 - [c266]José Meseguer:
Symbolic Reasoning Methods in Rewriting Logic and Maude. WoLLIC 2018: 25-60 - [c265]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 - [c264]Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018: 136-152 - [c263]José Meseguer:
Generalized Rewrite Theories and Coherence Completion. WRLA@ETAPS 2018: 164-183 - [c262]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 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
- [j80]José Meseguer, Stephen Skeirik:
Equational formulas and pattern operations in initial order-sorted algebras. Formal Aspects Comput. 29(3): 423-452 (2017) - [j79]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) - [j78]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) - [j77]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) - [j76]José Meseguer:
Strict coherence of conditional rewriting modulo axioms. Theor. Comput. Sci. 672: 1-35 (2017) - [c261]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 - [c260]Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR 2017: 201-217 - [c259]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
- [j75]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) - [j74]Salvador Lucas
, José Meseguer:
Normal forms and normal theories in conditional rewriting. J. Log. Algebraic Methods Program. 85(1): 67-97 (2016) - [c258]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 - [c257]José Meseguer:
Order-Sorted Rewriting and Congruence Closure. FoSSaCS 2016: 493-509 - [c256]María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR 2016: 3-20 - [c255]Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89 - [c254]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 - [c253]Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016: 118-133 - [c252]Stephen Skeirik, José Meseguer:
Metalevel Algorithms for Variant Satisfiability. WRLA 2016: 167-184 - [i3]Sonia Santiago, Santiago Escobar, Catherine 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
- [j73]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) - [j72]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) - [j71]Kyungmin Bae, José Meseguer:
Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. 99: 193-234 (2015) - [j70]Raúl Gutiérrez
, José Meseguer, Camilo Rocha
:
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99: 235-261 (2015) - [j69]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) - [j68]Andrew Cholewa, Santiago Escobar
, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112: 24-57 (2015) - [c251]Salvador Lucas, José Meseguer:
Localized Operational Termination in General Logics. Software, Services, and Systems 2015: 91-114 - [c250]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 - [c249]Santiago Escobar
, Catherine 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 - [c248]José Meseguer:
Variant-Based Satisfiability in Initial Algebras. FTSCS 2015: 3-34 - [c247]José Meseguer, Stephen Skeirik:
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR 2015: 36-53 - [c246]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 - [c245]Antonio González-Burgueño, Sonia Santiago
, Santiago Escobar
, Catherine Meadows, José Meseguer:
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR 2015: 86-106 - 2014
- [j67]María Alpuente
, Santiago Escobar
, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. Inf. Comput. 235: 98-136 (2014) - [j66]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago
:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014) - [j65]José Meseguer:
Taming distributed system complexity through formal patterns. Sci. Comput. Program. 83: 3-34 (2014) - [j64]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91: 3-44 (2014) - [c244]Salvador Lucas, José Meseguer:
Models for Logics and Conditional Constraints in Automated Proofs of Termination. AISC 2014: 9-20 - [c243]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 - [c242]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM 2014: 94-109 - [c241]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3 - [c240]Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. ICFEM 2014: 332-347 - [c239]María Alpuente
, Santiago Escobar
, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2014: 573-581 - [c238]Salvador Lucas
, José Meseguer, Raúl Gutiérrez
:
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. LOPSTR 2014: 113-130 - [c237]Salvador Lucas
, José Meseguer:
Proving Operational Termination of Declarative Programs in General Logics. PPDP 2014: 111-122 - [c236]Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer, Paliath Narendran:
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP 2014: 123-133 - [c235]Kyungmin Bae, José Meseguer:
Predicate Abstraction of Rewrite Theories. RTA-TLCA 2014: 61-76 - [c234]Antonio González-Burgueño, Sonia Santiago
, Santiago Escobar
, Catherine Meadows, José Meseguer:
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR 2014: 111-130 - [c233]Sonia Santiago
, Santiago Escobar
, Catherine Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM 2014: 162-177 - [c232]José Meseguer:
Extensible Symbolic System Analysis. UNIF 2014: 1-4 - [c231]Kyungmin Bae, José Meseguer:
Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA 2014: 113-129 - [c230]Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014: 162-177 - [c229]Salvador Lucas
, José Meseguer:
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. WRLA 2014: 178-194 - [c228]Salvador Lucas
, José Meseguer:
2D Dependency Pairs for Proving Operational Termination of CTRSs. WRLA 2014: 195-212 - [c227]Camilo Rocha
, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. WRLA 2014: 247-262 - [c226]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
- [j63]José Meseguer, Grigore Rosu:
The rewriting logic semantics project: A progress report. Inf. Comput. 231: 38-69 (2013) - [c225]Serdar Erbatur, Santiago Escobar
, Deepak Kapur, Zhiqiang Liu, Christopher Lynch
, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago
, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248 - [c224]Stephen Skeirik, Rakesh B. Bobba
, José Meseguer:
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. CCGRID 2013: 636-641 - [c223]Kyungmin Bae, Santiago Escobar
, José Meseguer:
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96 - 2012
- [j62]José Meseguer:
Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012) - [j61]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) - [j60]Santiago Escobar
, Ralf Sasse
, José Meseguer:
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012) - [j59]Michael Katelman, Sean Keller, José Meseguer:
Rewriting semantics of production rule sets. J. Log. Algebraic Methods Program. 81(7-8): 929-956 (2012) - [j58]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) - [c222]Serdar Erbatur, Santiago Escobar
, Deepak Kapur, Zhiqiang Liu, Christopher Lynch
, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago
, Ralf Sasse
:
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90 - [c221]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18 - [c220]Ralf Sasse
, Samuel T. King, José Meseguer, Shuo Tang:
IBOS: A Correct-By-Construction Modular Browser. FACS 2012: 224-241 - [c219]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. FASE 2012: 59-62 - [c218]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 - [c217]Alberto Lluch-Lafuente
, José Meseguer, Andrea Vandin
:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446 - [c216]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160 - [c215]Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer:
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82 - [c214]Kyungmin Bae, José Meseguer:
Model Checking LTLR Formulas under Localized Fairness. WRLA 2012: 99-117 - [c213]Raúl Gutiérrez
, José Meseguer, Camilo Rocha
:
Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012: 162-181 - [c212]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
- [j57]Artur Boronat, José Meseguer:
Automated Model Synchronization: A Case Study on UML with Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [c211]Camilo Rocha
, José Meseguer:
Proving Safety Properties of Rewrite Theories. CALCO 2011: 314-328 - [c210]Musab AlTurki
, José Meseguer:
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO 2011: 386-392 - [c209]Kyungmin Bae, José Meseguer:
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV 2011: 132-148 - [c208]José Meseguer:
Taming Distributed System Complexity through Formal Patterns. FACS 2011: 1-2 - [c207]José Meseguer, Grigore Rosu:
The Rewriting Logic Semantics Project: A Progress Report. FCT 2011: 1-37 - [c206]Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer:
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667 - [c205]Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer:
Verification of microarchitectural refinements in rule-based systems. MEMOCODE 2011: 61-71 - [c204]Felix Schernhammer, José Meseguer:
Incremental checking of well-founded recursive specifications modulo axioms. PPDP 2011: 5-16 - [c203]Santiago Escobar
, Deepak Kapur, Christopher Lynch
, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76 - [c202]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 - [c201]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: 59-64 - [e6]Gul Agha, Olivier Danvy, José Meseguer:
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, ISBN 978-3-642-24932-7 [contents] - [r1]José Meseguer:
Maude. Encyclopedia of Parallel Computing 2011: 1095-1102 - [i1]Santiago Escobar, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011) - 2010
- [j56]Artur Boronat
, José Meseguer:
An algebraic semantics for MOF. Formal Aspects Comput. 22(3-4): 269-296 (2010) - [j55]José Meseguer, Miguel Palomino
, Narciso Martí-Oliet
:
Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010) - [c200]Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago
:
Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318 - [c199]Peter Csaba Ölveczky, Artur Boronat
, José Meseguer:
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62 - [c198]Michael Katelman, José Meseguer:
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware. Haifa Verification Conference 2010: 129-145 - [c197]José Meseguer, Peter Csaba Ölveczky:
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM 2010: 303-320 - [c196]Joe Hendrix, Deepak Kapur, José Meseguer:
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ITP 2010: 275-290 - [c195]Camilo Rocha
, José Meseguer:
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) 2010: 594-609 - [c194]Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu:
A formal executable semantics of Verilog. MEMOCODE 2010: 179-188 - [c193]Ralf Sasse
, Santiago Escobar
, Catherine Meadows, José Meseguer:
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178 - [c192]José Meseguer:
Twenty Years of Rewriting Logic. WRLA 2010: 15-17 - [c191]Beatriz Alarcón, Salvador Lucas
, José Meseguer:
A Dependency Pair Framework for A OR C-Termination. WRLA 2010: 35-51 - [c190]Santiago Escobar
, Ralf Sasse
, José Meseguer:
Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68 - [c189]Francisco Durán
, José Meseguer:
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010: 69-85 - [c188]Francisco Durán
, José Meseguer:
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010: 86-103 - [c187]Michael Katelman, Sean Keller, José Meseguer:
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. WRLA 2010: 140-156 - [c186]Mu Sun, José Meseguer, Lui Sha:
A Formal Pattern Architecture for Safe Medical Systems. WRLA 2010: 157-173 - [c185]Kyungmin Bae, José Meseguer:
The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA 2010: 208-225 - [c184]Musab AlTurki, José Meseguer:
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis. RTRTS 2010: 26-45 - [c183]Michael Katelman, José Meseguer:
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures. RTRTS 2010: 101-116 - [c182]Peter Csaba Ölveczky, José Meseguer:
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. RTRTS 2010: 137-157 - [c181]Mu Sun, José Meseguer:
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control. RTRTS 2010: 158-177
2000 – 2009
- 2009
- [j54]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009) - [c180]José Meseguer:
Order-Sorted Parameterization and Induction. Semantics and Algebraic Specification 2009: 43-80 - [c179]Ravinder Shankesi, Musab AlTurki
, Ralf Sasse
, Carl A. Gunter, José Meseguer:
Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405 - [c178]Artur Boronat
, Reiko Heckel, José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33 - [c177]Francisco Durán
, Salvador Lucas
, José Meseguer:
Termination Modulo Combinations of Equational Theories. FroCoS 2009: 246-262 - [c176]Artur Boronat, José Meseguer:
MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179 - [c175]Manuel Clavel, Francisco Durán
, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - [c174]Artur Boronat
, José Meseguer:
Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115 - [c173]Sonia Santiago
, Carolyn L. Talcott, Santiago Escobar
, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA. PROLE 2009: 3-20 - 2008
- [j53]Salvador Lucas
, José Meseguer:
Termination of just/fair computations in term rewriting. Inf. Comput. 206(5): 652-675 (2008) - [j52]Francisco Durán
, Salvador Lucas
, Claude Marché, José Meseguer, Xavier Urbain:
Proving operational termination of membership equational programs. High. Order Symb. Comput. 21(1-2): 59-88 (2008) - [j51]José Meseguer, Miguel Palomino
, Narciso Martí-Oliet
:
Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008) - [c172]Camilo Rocha, José Meseguer:
Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS 2008: 337-351 - [c171]Rocco De Nicola
, Pierpaolo Degano, José Meseguer:
Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8 - [c170]José Meseguer:
The Temporal Logic of Rewriting: A Gentle Introduction. Concurrency, Graphs and Models 2008: 354-382 - [c169]Francisco Durán
, Salvador Lucas
, José Meseguer:
MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319 - [c168]Santiago Escobar
, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562 - [c167]Artur Boronat
, José Meseguer:
An Algebraic Semantics for MOF. FASE 2008: 377-391 - [c166]Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan:
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58 - [c165]Michael Katelman, José Meseguer, Jennifer C. Hou:
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS 2008: 150-169 - [c164]María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39 - [c163]Michael Katelman, José Meseguer, Santiago Escobar
:
Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100 - [c162]Salvador Lucas
, José Meseguer:
Order-sorted dependency pairs. PPDP 2008: 108-119 - [c161]Santiago Escobar
, José Meseguer, Ralf Sasse
:
Effectively Checking the Finite Variant Property. RTA 2008: 79-93 - [c160]Peter Csaba Ölveczky, José Meseguer:
The Real-Time Maude Tool. TACAS 2008: 332-336 - [c159]Santiago Escobar, José Meseguer, Ralf Sasse:
Equational Unification by Variant Narrowing (Extended Abstract). UNIF 2008: 35-39 - [c158]Artur Boronat
, Alexander Knapp, José Meseguer, Martin Wirsing:
What Is a Multi-modeling Language? WADT 2008: 71-87 - [c157]Musab AlTurki
, José Meseguer, Carl A. Gunter:
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. SecReT@LICS/CSF 2008: 3-18 - [c156]Kyungmin Bae, José Meseguer:
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. RULE 2008: 19-36 - [c155]María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
Order-Sorted Generalization. WFLP 2008: 27-38 - [c154]Joe Hendrix, José Meseguer:
Order-sorted Equational Unification Revisited. RULE 2008: 37-50 - [c153]Francisco Durán
, Salvador Lucas
, José Meseguer, Francisco Gutiérrez
:
Web Services and Interoperability for the Maude Termination Tool. PROLE 2008: 83-92 - [c152]Francisco Durán
, Salvador Lucas
, José Meseguer:
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. PROLE 2008: 93-113 - [c151]Santiago Escobar
, José Meseguer, Ralf Sasse:
Variant Narrowing and Equational Unification. WRLA 2008: 103-119 - [c150]Salvador Lucas
, José Meseguer:
Operational Termination of Membership Equational Programs: the Order-Sorted Way. WRLA 2008: 207-225 - [c149]Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
A Rewriting Semantics for Maude Strategies. WRLA 2008: 227-247 - [p27]Lui Sha, José Meseguer:
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms 2008: 92-100 - [e5]José Meseguer, Grigore Rosu:
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Lecture Notes in Computer Science 5140, Springer 2008, ISBN 978-3-540-79979-5 [contents] - [e4]Pierpaolo Degano, Rocco De Nicola, José Meseguer:
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5065, Springer 2008, ISBN 978-3-540-68676-7 [contents] - 2007
- [j50]José Meseguer, Prasanna Thati:
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. High. Order Symb. Comput. 20(1-2): 123-160 (2007) - [j49]Peter Csaba Ölveczky, José Meseguer:
Semantics and pragmatics of Real-Time Maude. High. Order Symb. Comput. 20(1-2): 161-196 (2007) - [j48]Camilo Rocha, José Meseguer:
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. Rev. Colomb. de Computación 8(2): 101-130 (2007) - [j47]Francisco Durán
, José Meseguer:
Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007) - [j46]Manuel Clavel, José Meseguer, Miguel Palomino
:
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007) - [j45]José Meseguer, Grigore Rosu:
The rewriting logic semantics project. Theor. Comput. Sci. 373(3): 213-237 (2007) - [c148]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas
, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. CALCO 2007: 173-178 - [c147]Santiago Escobar
, Catherine Meadows, José Meseguer:
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50 - [c146]Musab AlTurki
, José Meseguer:
Real-time rewriting semantics of orc. PPDP 2007: 131-142 - [c145]Santiago Escobar
, José Meseguer:
Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168 - [c144]Joe Hendrix, José Meseguer:
On the Completeness of Context-Sensitive Order-Sorted Specifications. RTA 2007: 229-245 - [c143]José Meseguer, Ralf Sasse
, Helen J. Wang, Yi-Min Wang:
A Systematic Approach to Uncover Security Flaws in GUI Logic. S&P 2007: 71-85 - [c142]Musab AlTurki
, José Meseguer:
Reduction Semantics and Formal Analysis of Orc Programs. WWV 2007: 25-41 - [c141]Narciso Martí-Oliet
, José Meseguer, Miguel Palomino
:
Algebraic Stuttering Simulations. PROLE 2007: 91-110 - [c140]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
A Rewriting Logic Approach to Operational Semantics (Extended Abstract). SOS@LICS/ICALP 2007: 125-141 - [p26]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p25]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Using Maude. All About Maude 2007: 31-37 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Syntax and Basic Parsing. All About Maude 2007: 39-59 - [p23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Functional Modules. All About Maude 2007: 61-118 - [p22]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129 - [p21]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
System Modules. All About Maude 2007: 131-157 - [p20]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino
, Alberto Verdejo
:
Playing with Maude. All About Maude 2007: 159-184 - [p19]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Module Operations. All About Maude 2007: 185-230 - [p18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Predefined Data Modules. All About Maude 2007: 231-305 - [p17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino
, Alberto Verdejo
:
Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338 - [p16]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Based Programming. All About Maude 2007: 339-372 - [p15]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Model Checking Invariants Through Search. All About Maude 2007: 373-384 - [p14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
LTL Model Checking. All About Maude 2007: 385-418 - [p13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458 - [p12]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Metaprogramming Applications. All About Maude 2007: 459-483 - [p11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco
, Alberto Verdejo:
Mobile Maude. All About Maude 2007: 485-522 - [p10]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555 - [p9]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Full Maude: Extending Core Maude. All About Maude 2007: 559-597 - [p8]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Oriented Modules. All About Maude 2007: 599-642 - [p7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Sampler of Application Areas. All About Maude 2007: 645-665 - [p6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo:
Some Tools. All About Maude 2007: 667-693 - [p5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Debugging and Troubleshooting. All About Maude 2007: 697-736 - [p4]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Complete List of Maude Commands. All About Maude 2007: 737-749 - [p3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Core Maude Grammar. All About Maude 2007: 751-756 - [e3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - 2006
- [j44]Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
Joseph Goguen (1941-2006). Bull. EATCS 90: 199-201 (2006) - [j43]Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott:
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods Syst. Des. 29(3): 253-293 (2006) - [j42]Roberto Bruni
, José Meseguer:
Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006) - [j41]Prasanna Thati, José Meseguer:
Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. 366(1-2): 163-179 (2006) - [j40]Santiago Escobar
, Catherine Meadows, José Meseguer:
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006) - [c139]Azadeh Farzan, José Meseguer:
State Space Reduction of Rewrite Theories Using Invisible Transitions. AMAST 2006: 142-157 - [c138]José Meseguer:
From OBJ to Maude and Beyond. Essays Dedicated to Joseph A. Goguen 2006: 252-280 - [c137]Joe Hendrix, José Meseguer, Hitoshi Ohsaki:
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. IJCAR 2006: 151-155 - [c136]José Meseguer, Raman Sharykin:
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC 2006: 460-475 - [c135]Steven Eker, Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
Deduction, Strategies, and Rewriting. STRATEGIES@IJCAR 2006: 3-25 - [c134]Santiago Escobar
, José Meseguer, Prasanna Thati:
Narrowing and Rewriting Logic: from Foundations to Applications. WFLP 2006: 5-33 - [c133]Peter Csaba Ölveczky, José Meseguer:
Abstraction and Completeness for Real-Time Maude. WRLA 2006: 5-27 - [c132]Santiago Escobar
, Catherine Meadows, José Meseguer:
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. SecReT@ICALP 2006: 23-36 - [c131]Ralf Sasse
, José Meseguer:
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. WRLA 2006: 29-46 - [c130]Michael Katelman, José Meseguer:
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. WRLA 2006: 47-60 - [c129]Azadeh Farzan, José Meseguer:
Partial Order Reduction for Rewriting Semantics of Programming Languages. WRLA 2006: 61-78 - [c128]Peter Csaba Ölveczky, José Meseguer:
Recent Advances in Real-Time Maude. RULE@FLoC 2006: 65-81 - [e2]Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, ISBN 3-540-35462-X [contents] - 2005
- [j39]Salvador Lucas
, Claude Marché, José Meseguer:
Operational termination of conditional term rewriting systems. Inf. Process. Lett. 95(4): 446-453 (2005) - [j38]Narciso Martí-Oliet
, Isabel Pita
, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum:
A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005) - [c127]José Meseguer:
Functorial Semantics of Rewrite Theories. Formal Methods in Software and Systems Modeling 2005: 220-235 - [c126]Miguel Palomino, José Meseguer, Narciso Martí-Oliet:
A Categorical Approach to Simulations. CALCO 2005: 313-330 - [c125]Prasanna Thati, José Meseguer:
Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO 2005: 379-394 - [c124]Santiago Escobar
, Catherine Meadows, José Meseguer:
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12 - [c123]José Meseguer:
A Rewriting Logic Sampler. ICTAC 2005: 1-28 - [c122]Salvador Lucas
, José Meseguer:
Termination of Fair Computations in Term Rewriting. LPAR 2005: 184-198 - [c121]Joe Hendrix, Manuel Clavel, José Meseguer:
A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174 - [c120]José Meseguer:
Localized Fairness: A Rewriting Semantics. RTA 2005: 250-263 - [c119]Santiago Escobar
, José Meseguer, Prasanna Thati:
Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293 - [c118]José Meseguer, Grigore Rosu:
Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE 2005: 256-267 - [c117]José Meseguer, Grigore Rosu:
The Rewriting Logic Semantics Project. SOS@ICALP 2005: 27-56 - [c116]Gul A. Agha, José Meseguer, Koushik Sen:
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. QAPL 2005: 213-239 - 2004
- [j37]David A. Basin, Manuel Clavel, José Meseguer:
Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004) - [c115]Azadeh Farzan, José Meseguer, Grigore Rosu:
Formal JVM Code Analysis in JavaFAN. AMAST 2004: 132-147 - [c114]José Meseguer, Christiano Braga:
Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378 - [c113]Mark-Oliver Stehr, José Meseguer:
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. Essays in Memory of Ole-Johan Dahl 2004: 334-375 - [c112]José Meseguer, Grigore Rosu:
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004: 1-44 - [c111]Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu:
Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505 - [c110]Peter Csaba Ölveczky, José Meseguer:
Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358 - [c109]Santiago Escobar
, José Meseguer, Prasanna Thati:
Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116 - [c108]Francisco Durán, Salvador Lucas
, José Meseguer, Claude Marché, Xavier Urbain:
Proving termination of membership equational programs. PEPM 2004: 147-158 - [c107]Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143 - [c106]José Meseguer, Prasanna Thati:
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. WRLA 2004: 153-182 - [c105]Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude 2.1. WRLA 2004: 285-314 - [c104]Christiano Braga, José Meseguer:
Modular Rewriting Semantics in Practice. WRLA 2004: 393-416 - [c103]Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
Towards a Strategy Language for Maude. WRLA 2004: 417-441 - 2003
- [j36]Francisco Durán
, José Meseguer:
Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003) - [c102]José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Equational Abstractions. CADE 2003: 2-16 - [c101]Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer:
Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380 - [c100]Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha:
A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46 - [c99]Roberto Bruni, José Meseguer:
Generalized Rewrite Theories. ICALP 2003: 252-266 - [c98]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270 - [c97]José Meseguer:
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. MEMOCODE 2003: 3- - [c96]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
The Maude 2.0 System. RTA 2003: 76-87 - [c95]Steven Eker, José Meseguer, Ambarish Sridharanarayanan:
The Maude LTL Model Checker and Its Implementation. SPIN 2003: 230-234 - 2002
- [j35]Roberto Bruni, José Meseguer, Ugo Montanari:
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Math. Struct. Comput. Sci. 12(1): 53-90 (2002) - [j34]Narciso Martí-Oliet
, José Meseguer:
Preface. Theor. Comput. Sci. 285(2): 119-120 (2002) - [j33]Narciso Martí-Oliet
, José Meseguer:
Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002) - [j32]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) - [j31]Manuel Clavel, José Meseguer:
Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002) - [j30]Peter Csaba Ölveczky, José Meseguer:
Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2): 359-405 (2002) - [c94]José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott:
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE 2002: 494-510 - [c93]José Meseguer, Carolyn L. Talcott:
Semantic Models for Distributed Object Reflection. ECOOP 2002: 1-36 - [c92]José Meseguer, Grigore Rosu:
A Total Approach to Partial Algebraic Specification. ICALP 2002: 572-584 - [c91]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
:
Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277 - [c90]Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez:
Pathway Logic: Symbolic Analysis of Biological Signaling. Pacific Symposium on Biocomputing 2002: 400-412 - [c89]Roberto Bruni
, José Meseguer, Ugo Montanari:
Tiling Transactions in Rewriting Logic. WRLA 2002: 90-109 - [c88]Manuel Clavel, José Meseguer, Miguel Palomino
:
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. WRLA 2002: 110-126 - [c87]Steven Eker, José Meseguer, Ambarish Sridharanarayanan:
The Maude LTL Model Checker. WRLA 2002: 162-187 - [c86]José Meseguer, Grigore Rosu:
Towards Behavioral Maude: Behavioral Membership Equational Logic. CMCS 2002: 197-253 - 2001
- [j29]Roberto Bruni
, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001) - [j28]José Meseguer:
Report on ETAPS 2000. ACM SIGSOFT Softw. Eng. Notes 26(1): 39 (2001) - [c85]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303 - [c84]Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele:
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE 2001: 333-348 - [c83]Pavel Naumov
, Mark-Oliver Stehr, José Meseguer:
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345 - [c82]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. UNIGRA 2001: 140-162 - 2000
- [j27]José Meseguer, Carolyn L. Talcott:
Semantic interoperation of open systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 64-65 (2000) - [j26]José Meseguer, Carolyn L. Talcott:
Maude. ACM SIGSOFT Softw. Eng. Notes 25(1): 104 (2000) - [j25]Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer:
Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1-2): 35-132 (2000) - [c81]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
:
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421 - [c80]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c79]José Meseguer:
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. FMOODS 2000: 89-117 - [c78]Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott:
Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS 2000: 200-216 - [c77]David A. Basin, Manuel Clavel, José Meseguer:
Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80 - [c76]Bow-Yaw Wang, José Meseguer, Carl A. Gunter:
Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification 2000: E49-E56 - [c75]Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Mobile Maude. ASA/MA 2000: 73-85 - [c74]José Meseguer:
Rewriting Logic and Maude: Concepts and Applications. RTA 2000: 1-26 - [c73]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315 - [c72]Francisco Durán
, José Meseguer:
Parameterized Theories and Views in Full Maude 2.0. WRLA 2000: 316-338 - [c71]Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. WRLA 2000: 361-382 - [c70]Grit Denker, José Meseguer, Carolyn L. Talcott:
Rewriting Semantics of Meta-Objects and Composable Distributed Services. WRLA 2000: 405-425
1990 – 1999
- 1999
- [c69]José Meseguer, Carolyn L. Talcott:
A Partial Order Event Model for Concurrent Objects. CONCUR 1999: 415-430 - [c68]Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi. FASE 1999: 60-76 - [c67]Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr:
Maude as a Formal Meta-tool. World Congress on Formal Methods 1999: 1684-1703 - [c66]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243 - [c65]José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita:
Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458 - [c64]Roberto Bruni
, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy. CTCS 1999: 21 - [c63]Francisco Durán
, José Meseguer:
Structured Theories and Institutions. CTCS 1999: 23-41 - 1998
- [c62]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244 - [c61]Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima:
On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming 1998: 123-142 - [c60]José Meseguer:
A Logical Framework for Distributed Systems and Communication Protocols. FORTE 1998: 327-333 - [c59]José Meseguer, Carolyn L. Talcott:
Mapping OMRS to rewriting logic. WRLA 1998: 33-54 - [c58]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. WRLA 1998: 147-160 - [c57]Francisco Durán, José Meseguer:
An extensible module algebra for Maude. WRLA 1998: 174-195 - [c56]Roberto Bruni
, José Meseguer, Ugo Montanari:
Internal strategies in a rewriting implementation of tile systems. WRLA 1998: 263-284 - [c55]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer:
Metalevel computation in Maude. WRLA 1998: 331-352 - 1997
- [j24]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Place/Transition Petri Nets. Math. Struct. Comput. Sci. 7(4): 359-397 (1997) - [j23]Maura Cerioli
, José Meseguer:
May I Borrow Your Logic? (Transporting Logical Structures Along Maps). Theor. Comput. Sci. 173(2): 311-347 (1997) - [c54]José Meseguer, Ugo Montanari, Vladimiro Sassone:
Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249 - [c53]Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer:
Specification and Proof in Membership Equational Logic. TAPSOFT 1997: 67-92 - [c52]José Meseguer:
Membership algebra as a logical framework for equational specification. WADT 1997: 18-61 - [c51]José Meseguer, Ugo Montanari:
Mapping tile logic into rewriting logic. WADT 1997: 62-91 - 1996
- [j22]Pierpaolo Degano, José Meseguer, Ugo Montanari:
Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica 33(7): 641-667 (1996) - [j21]José Meseguer:
Why OOP Needs New Semantic Foundations. ACM Comput. Surv. 28(4es): 159 (1996) - [j20]Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins:
Software Component Search. J. Syst. Integr. 6(1/2): 93-134 (1996) - [j19]Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes I: First-Order Case. J. Log. Comput. 6(3): 409-438 (1996) - [j18]Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. 6(4): 541-572 (1996) - [j17]José Meseguer, Ugo Montanari, Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996) - [c50]Livio Ricciulli, Patrick Lincoln, José Meseguer:
Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24 - [c49]José Meseguer:
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. CONCUR 1996: 331-372 - [c48]Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Maude. WRLA 1996: 65-89 - [c47]Manuel Clavel, José Meseguer:
Reflection and strategies in rewriting logic. WRLA 1996: 126-148 - [c46]Narciso Martí-Oliet
, José Meseguer:
Rewriting logic as a logical and semantic framework. WRLA 1996: 190-225 - [c45]Peter Csaba Ölveczky, José Meseguer:
Specifying real-time systems in rewriting logic. WRLA 1996: 284-309 - [c44]José Meseguer:
Preface. WRLA 1996: 424-425 - [e1]José Meseguer:
First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996. Electronic Notes in Theoretical Computer Science 4, Elsevier 1996 [contents] - 1994
- [c43]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets 1994: 16-38 - [c42]José Meseguer, Narciso Martí-Oliet:
From Abstract Data Types to Logical Frameworks. COMPASS/ADT 1994: 48-80 - [c41]Patrick Lincoln, José Meseguer, Livio Ricciulli:
The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR 1994: 509-520 - [c40]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms 1994: 309-339 - [c39]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli:
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48 - 1993
- [j16]José Meseguer, Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Inf. Comput. 103(1): 114-158 (1993) - [c38]José Meseguer:
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ECOOP 1993: 220-246 - [c37]Maura Cerioli
, José Meseguer:
May I Borrow Your Logic? MFCS 1993: 342-351 - [c36]José Meseguer, Xiaolei Qian:
A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98 - 1992
- [j15]José Meseguer:
Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci. 96(1): 73-155 (1992) - [j14]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992) - [j13]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273 (1992) - [c35]José Meseguer:
Multiparadigm Logic Programming. ALP 1992: 158-200 - [c34]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Petri Nets. CONCUR 1992: 286-301 - 1991
- [j12]Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic through Categories: A Survey. Int. J. Found. Comput. Sci. 2(4): 297-399 (1991) - [j11]Narciso Martí-Oliet
, José Meseguer:
From Petri Nets to Linear Logic. Math. Struct. Comput. Sci. 1(1): 69-101 (1991) - [j10]Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
Temporal Structures. Math. Struct. Comput. Sci. 1(2): 179-213 (1991) - [c33]José Meseguer, Timothy C. Winkler:
Parallel Programmming in Maude. Research Directions in High-Level Parallel Programming Languages 1991: 253-293 - 1990
- [j9]José Meseguer, Ugo Montanari:
Petri Nets Are Monoids. Inf. Comput. 88(2): 105-155 (1990) - [c32]José Meseguer:
Rewriting as a Unified Model of Concurrency. CONCUR 1990: 384-400 - [c31]José Meseguer:
Conditional Rewriting Logic: Deduction, Models and Concurrency. CTRS 1990: 64-91 - [c30]Hitoshi Aida, Joseph A. Goguen, José Meseguer:
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332 - [c29]José Meseguer:
A Logical Theory of Concurrent Objects. OOPSLA/ECOOP 1990: 101-115 - [c28]José Meseguer:
Rewriting as a unified model of concurrency. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990: 86-88
1980 – 1989
- 1989
- [j8]José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989) - [c27]Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
Temporal Structures. Category Theory and Computer Science 1989: 21-51 - [c26]Narciso Martí-Oliet
, José Meseguer:
From Petri Nets to Linear Logic. Category Theory and Computer Science 1989: 313-340 - [c25]Pierpaolo Degano, José Meseguer, Ugo Montanari:
Axiomatizing Net Computations and Processes. LICS 1989: 175-185 - [c24]José Meseguer:
Relating Models of Polymorphism. POPL 1989: 228-241 - 1988
- [c23]Joseph A. Goguen, José Meseguer:
Software for the Rewrite Rule Machine. FGCS 1988: 628-637 - [c22]Claude Kirchner, Hélène Kirchner, José Meseguer:
Operational Semantics of OBJ-3 (Extended Abstract). ICALP 1988: 287-301 - [c21]José Meseguer, Ugo Montanari:
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory. LICS 1988: 155-164 - 1987
- [j7]Irène Guessarian, José Meseguer:
On the Axiomatization of "If-Then-Else". SIAM J. Comput. 16(2): 332-357 (1987) - [j6]Joseph A. Goguen, José Meseguer:
Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices 22(4): 41-48 (1987) - [c20]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181 - [c19]Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler:
An Introduction to OBJ 3. CTRS 1987: 258-263 - [c18]Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada:
Parameterized Programming in OBJ2. ICSE 1987: 51-60 - [c17]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29 - [c16]Joseph A. Goguen, José Meseguer:
Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22 - [p2]Joseph A. Goguen, José Meseguer:
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478 - 1986
- [j5]Joseph A. Goguen, José Meseguer:
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS 30: 66-73 (1986) - [c15]Joseph A. Goguen, Claude Kirchner, José Meseguer:
Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93 - [c14]Joseph A. Goguen, José Meseguer:
Extensions and foundations of object-oriented programming. OOPWORK 1986: 153-162 - [c13]Joseph A. Goguen, José Meseguer:
Foundations and extensions of object-oriented programming (abstract only). OOPWORK 1986: 185 - [p1]Joseph A. Goguen, José Meseguer:
EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363 - 1985
- [c12]Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231 - [c11]Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2. POPL 1985: 52-66 - 1984
- [j4]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984) - [c10]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125 - [c9]Joseph A. Goguen, José Meseguer:
Unwinding and Inference Control. S&P 1984: 75-87 - 1983
- [j3]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983) - 1982
- [j2]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 17(1): 9-17 (1982) - [c8]Joseph A. Goguen, José Meseguer:
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281 - [c7]Danny Dolev, José Meseguer, Marshall C. Pease:
Finding Safe Paths in a Faulty Environment. PODC 1982: 95-103 - [c6]Joseph A. Goguen, José Meseguer:
Rapid prototyping: in the OBJ executable specification language. Rapid Prototyping 1982: 75-84 - [c5]Joseph A. Goguen, José Meseguer:
Security Policies and Security Models. S&P 1982: 11-20 - 1981
- [j1]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 16(7): 24-32 (1981) - [c4]José Meseguer:
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. ICFPC 1981: 152-168
1970 – 1979
- 1977
- [c3]José Meseguer:
On Order-Complete Universal Algebra and Enriched Functorial Semantics. FCT 1977: 294-301 - [c2]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595 - 1974
- [c1]José Meseguer, Ignacio Sols:
Automata in semimodule categories. Category Theory Applied to Computation and Control 1974: 193-198
Coauthor Index
aka: Catherine A. Meadows
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 00:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint