José Meseguer

449 papers A* 14A 14B 32C 34Misc 4Journal 113Unranked 200

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Theory of Composable Lingos for Protocol Dialects. CoRR Víctor García, Santaigo Escobar, Catherine Meadows, José Meseguer
2026	—	`ed.`	Concurrent Programming, Open Systems and Formal Methods - Essays Dedicated to Gul Agha to Celebrate His Scientific Career Concurrent Programming, Open Systems and Formal Methods José Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
2026	J	`jnl`	DM-Check: Verifying invariants of concurrent systems by deductive model checking. J. Log. Algebraic Methods Program. Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2026	J	`jnl`	Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems. CoRR Joud Khoury, Minyoung Kim, Christophe Merlin, José Meseguer, Zachary B. Ratliff, Carolyn L. Talcott
2026	—	`conf`	Programming and Verifying Actor Systems in Rewriting Logic. Concurrent Programming, Open Systems and Formal Methods José Meseguer
2025	B	`conf`	Capturing System Designs with Formal Executable Specifications. FASE José Meseguer
2025	C	`conf`	Formalizing Languages with Binding Operators in Rewriting Logic. PPDP Maribel Fernández, José Meseguer
2025	J	`jnl`	Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification. J. Log. Algebraic Methods Program. José Meseguer
2025	J	`jnl`	Protocol Dialects as Formal Patterns: A Composable Theory of Lingos - Technical report. CoRR Víctor García, Santiago Escobar, Catherine Meadows, José Meseguer
2025	C	`conf`	Symbolic Computation and Verification Methods in Maude. LOPSTR José Meseguer
2024	—	`conf`	Equivalence, and Property Internalization and Preservation for Equational Programs. WRLA José Meseguer
2024	J	`jnl`	Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. CoRR José Meseguer
2024	C	`conf`	NuITP: An Inductive Theorem Prover for Equational Program Verification. PPDP Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña
2024	C	`conf`	Programming Open Distributed Systems in Maude. PPDP Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2024	J	`jnl`	The Maude strategy language. CoRR Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2024	—	`conf`	Verifying Invariants by Deductive Model Checking. WRLA Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2023	—	`conf`	Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
2023	—	`conf`	Protocol Dialects as Formal Patterns. ESORICS (2) D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
2023	—	`conf`	Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2023	J	`jnl`	The Maude strategy language. J. Log. Algebraic Methods Program. Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2023	J	`jnl`	Variants and satisfiability in the infinitary unification wonderland. J. Log. Algebraic Methods Program. José Meseguer
2022	—	`conf`	An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA Raúl López-Rueda, Santiago Escobar, José Meseguer
2022	J	`jnl`	Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
2022	—	`conf`	Building Correct-by-Construction Systems with Formal Patterns. WADT José Meseguer
2022	—	`conf`	Checking Sufficient Completeness by Inductive Theorem Proving. WRLA José Meseguer
2022	A	`conf`	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2022	—	`conf`	On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA José Meseguer, Stephen Skeirik
2022	J	`jnl`	Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
2021	—	`conf`	Protocol Analysis with Time and Space. Protocols, Strands, and Logic Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2021	—	`ed.`	Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday Protocols, Strands, and Logic Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul D. Rowe
2020	J	`jnl`	A Constructor-Based Reachability Logic for Rewrite Theories. Fundam. Informaticae Stephen Skeirik, Andrei Stefanescu, José Meseguer
2020	J	`jnl`	A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2020	J	`jnl`	Generalized rewrite theories, coherence completion, and symbolic methods. J. Log. Algebraic Methods Program. José Meseguer
2020	—	`conf`	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
2020	J	`jnl`	Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. Francisco Durán, José Meseguer, Camilo Rocha
2020	—	`conf`	Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA José Meseguer, Stephen Skeirik
2020	J	`jnl`	Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2020	J	`jnl`	Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2020	Misc	`conf`	Protocol Analysis with Time. INDOCRYPT Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020	J	`jnl`	Protocol Analysis with Time. CoRR Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020	C	`conf`	Symbolic Computation in Maude: Some Tapas. LOPSTR José Meseguer
2020	J	`jnl`	The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques. J. Autom. Reason. Salvador Lucas, José Meseguer, Raúl Gutiérrez
2020	—	`conf`	Variant Satisfiability of Parameterized Strings. WRLA José Meseguer
2020	—	`conf`	Variants in the Infinitary Unification Wonderland. WRLA José Meseguer
2020	—	`conf`	Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA Stephen Skeirik, José Meseguer, Camilo Rocha
2020	J	`jnl`	Verification of the IBOS Browser Security Properties in Reachability Logic. CoRR Stephen Skeirik, José Meseguer, Camilo Rocha
2019	B	`conf`	ACUOS JELIA María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2019	—	`conf`	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
2019	—	`conf`	Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Foundations of Security, Protocols, and Equational Reasoning Santiago Escobar, José Meseguer
2019	—	`ed.`	Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows Foundations of Security, Protocols, and Equational Reasoning Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
2019	J	`jnl`	Programming and Symbolic Computation in Maude. CoRR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019	J	`jnl`	Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
2019	J	`jnl`	Strand Spaces with Choice via a Process Algebra Semantics. CoRR Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2018	—	`conf`	Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2018	—	`conf`	Formal Design of Cloud Computing Systems in Maude. SBMF José Meseguer
2018	—	`conf`	Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
2018	B	`conf`	Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer
2018	J	`jnl`	Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer
2018	—	`conf`	Generalized Rewrite Theories and Coherence Completion. WRLA José Meseguer
2018	C	`conf`	Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2018	J	`jnl`	Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2018	J	`jnl`	Metalevel algorithms for variant satisfiability. J. Log. Algebraic Methods Program. Stephen Skeirik, José Meseguer
2018	—	`conf`	Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2018	—	`conf`	Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA Francisco Durán, José Meseguer, Camilo Rocha
2018	B	`conf`	ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
2018	C	`conf`	Symbolic Reasoning Methods in Rewriting Logic and Maude. WoLLIC José Meseguer
2018	J	`jnl`	The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors. J. Comput. Syst. Sci. Salvador Lucas, José Meseguer, Raúl Gutiérrez
2018	J	`jnl`	Variant-based satisfiability in initial algebras. Sci. Comput. Program. José Meseguer
2017	C	`conf`	A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR Stephen Skeirik, Andrei Stefanescu, José Meseguer
2017	J	`jnl`	A Constructor-Based Reachability Logic for Rewrite Theories. CoRR Stephen Skeirik, Andrei Stefanescu, José Meseguer
2017	J	`jnl`	Dependency pairs for proving termination properties of conditional term rewriting systems. J. Log. Algebraic Methods Program. Salvador Lucas, José Meseguer
2017	J	`jnl`	Equational formulas and pattern operations in initial order-sorted algebras. Formal Aspects Comput. José Meseguer, Stephen Skeirik
2017	C	`conf`	Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
2017	J	`jnl`	Quantitative Analysis of Consistency in NoSQL Key-Value Stores. Leibniz Trans. Embed. Syst. Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer
2017	J	`jnl`	Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. Camilo Rocha, José Meseguer, César A. Muñoz
2017	J	`jnl`	Strict coherence of conditional rewriting modulo axioms. Theor. Comput. Sci. José Meseguer
2017	C	`conf`	Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. LOPSTR Raúl Gutiérrez, José Meseguer
2017	J	`jnl`	Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. CoRR Raúl Gutiérrez, José Meseguer
2016	A	`conf`	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2016	J	`jnl`	Effective Sequential Protocol Composition in Maude-NPA. CoRR Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2016	Misc	`conf`	Formal modeling and analysis of RAMP transaction systems. SAC Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer
2016	—	`conf`	Metalevel Algorithms for Variant Satisfiability. WRLA Stephen Skeirik, José Meseguer
2016	J	`jnl`	Modeling and analyzing mobile ad hoc networks in Real-Time Maude. J. Log. Algebraic Methods Program. Si Liu, Peter Csaba Ölveczky, José Meseguer
2016	J	`jnl`	Normal forms and normal theories in conditional rewriting. J. Log. Algebraic Methods Program. Salvador Lucas, José Meseguer
2016	B	`conf`	Order-Sorted Rewriting and Congruence Closure. FoSSaCS José Meseguer
2016	C	`conf`	Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2016	J	`jnl`	Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2016	C	`conf`	Strand spaces with choice via a process algebra semantics. PPDP Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2016	—	`conf`	Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA Antonio Moreno-Delgado, Francisco Durán, José Meseguer
2015	—	`conf`	Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2015	J	`jnl`	Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. Andrew Cholewa, Santiago Escobar, José Meseguer
2015	J	`jnl`	Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
2015	C	`conf`	Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR José Meseguer, Stephen Skeirik
2015	J	`jnl`	Executable rewriting logic semantics of Orc and formal analysis of Orc programs. J. Log. Algebraic Methods Program. Musab A. Alturki, José Meseguer
2015	—	`conf`	Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems Si Liu, Peter Csaba Ölveczky, José Meseguer
2015	—	`conf`	Localized Operational Termination in General Logics. Software, Services, and Systems Salvador Lucas, José Meseguer
2015	J	`jnl`	Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. Kyungmin Bae, José Meseguer
2015	J	`jnl`	Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. Raúl Gutiérrez, José Meseguer, Camilo Rocha
2015	—	`conf`	Quantitative Analysis of Consistency in NoSQL Key-Value Stores. QEST Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer
2015	J	`jnl`	Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
2015	—	`conf`	Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2015	—	`conf`	Variant-Based Satisfiability in Initial Algebras. FTSCS José Meseguer
2014	—	`conf`	2D Dependency Pairs for Proving Operational Termination of CTRSs. WRLA Salvador Lucas, José Meseguer
2014	—	`conf`	A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014	—	`conf`	A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA Si Liu, Peter Csaba Ölveczky, José Meseguer
2014	J	`jnl`	A modular order-sorted equational generalization algorithm. Inf. Comput. María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
2014	—	`conf`	A rewriting-based forwards semantics for Maude-NPA. HotSoS Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014	B	`conf`	ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
2014	—	`conf`	Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014	B	`conf`	Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
2014	C	`conf`	Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. LOPSTR Salvador Lucas, José Meseguer, Raúl Gutiérrez
2014	—	`conf`	Extensible Symbolic System Analysis. UNIF José Meseguer
2014	C	`conf`	Formal Modeling and Analysis of Cassandra in Maude. ICFEM Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
2014	—	`conf`	Formal Specification of Button-Related Fault-Tolerance Micropatterns. WRLA Mu Sun, José Meseguer
2014	J	`jnl`	Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
2014	—	`conf`	Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA Kyungmin Bae, José Meseguer
2014	—	`conf`	Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. Specification, Algebra, and Software Camilo Rocha, José Meseguer
2014	Misc	`conf`	Models for Logics and Conditional Constraints in Automated Proofs of Termination. AISC Salvador Lucas, José Meseguer
2014	—	`conf`	Predicate Abstraction of Rewrite Theories. RTA-TLCA Kyungmin Bae, José Meseguer
2014	C	`conf`	Proving Operational Termination of Declarative Programs in General Logics. PPDP Salvador Lucas, José Meseguer
2014	—	`conf`	Rewriting Modulo SMT and Open System Analysis. WRLA Camilo Rocha, José Meseguer, César A. Muñoz
2014	—	`ed.`	Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi Specification, Algebra, and Software Shusaku Iida, José Meseguer, Kazuhiro Ogata
2014	J	`jnl`	State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014	—	`conf`	Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. WRLA Salvador Lucas, José Meseguer
2014	J	`jnl`	Taming distributed system complexity through formal patterns. Sci. Comput. Program. José Meseguer
2014	C	`conf`	Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran
2013	—	`conf`	Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA Kyungmin Bae, Santiago Escobar, José Meseguer
2013	A	`conf`	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2013	B	`conf`	Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. CCGRID Stephen Skeirik, Rakesh B. Bobba, José Meseguer
2013	J	`jnl`	The rewriting logic semantics project: A progress report. Inf. Comput. José Meseguer, Grigore Rosu
2012	—	`conf`	Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer
2012	A	`conf`	Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012	J	`jnl`	Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. Santiago Escobar, Ralf Sasse, José Meseguer
2012	—	`conf`	Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
2012	J	`jnl`	Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. José Meseguer, Peter Csaba Ölveczky
2012	—	`conf`	IBOS: A Correct-By-Construction Modular Browser. FACS Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang
2012	—	`conf`	Model Checking LTLR Formulas under Localized Fairness. WRLA Kyungmin Bae, José Meseguer
2012	J	`jnl`	On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebraic Methods Program. Francisco Durán, José Meseguer
2012	—	`conf`	Order-Sorted Equality Enrichments Modulo Axioms. WRLA Raúl Gutiérrez, José Meseguer, Camilo Rocha
2012	—	`conf`	PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude FTSCS Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
2012	J	`jnl`	Rewriting semantics of production rule sets. J. Log. Algebraic Methods Program. Michael Katelman, Sean Keller, José Meseguer
2012	B	`conf`	Stable Availability under Denial of Service Attacks through Formal Patterns. FASE Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing
2012	C	`conf`	State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin
2012	—	`conf`	Statistical Model Checking for Composite Actor Systems. WADT Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
2012	B	`conf`	The SynchAADL2Maude Tool. FASE Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
2012	J	`jnl`	Twenty years of rewriting logic. J. Log. Algebraic Methods Program. José Meseguer
2011	—	`conf`	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011	J	`jnl`	Automated Model Synchronization: A Case Study on UML with Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Artur Boronat, José Meseguer
2011	—	`ed.`	Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Formal Modeling: Actors, Open Systems, Biological Systems Gul Agha, Olivier Danvy, José Meseguer
2011	C	`conf`	Incremental checking of well-founded recursive specifications modulo axioms. PPDP Felix Schernhammer, José Meseguer
2011	—	`ch.`	Maude. Encyclopedia of Parallel Computing José Meseguer
2011	B	`conf`	PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO Musab AlTurki, José Meseguer
2011	C	`conf`	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011	B	`conf`	Proving Safety Properties of Rewrite Theories. CALCO Camilo Rocha, José Meseguer
2011	J	`jnl`	State Space Reduction in the Maude-NRL Protocol Analyzer CoRR Santiago Escobar, Catherine Meadows, José Meseguer
2011	A*	`conf`	State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV Kyungmin Bae, José Meseguer
2011	C	`conf`	Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
2011	—	`conf`	Taming Distributed System Complexity through Formal Patterns. FACS José Meseguer
2011	B	`conf`	The Rewriting Logic Semantics Project: A Progress Report. FCT José Meseguer, Grigore Rosu
2011	—	`conf`	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
2011	C	`conf`	Verification of microarchitectural refinements in rule-based systems. MEMOCODE Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer
2010	—	`conf`	A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA Francisco Durán, José Meseguer
2010	—	`conf`	A Dependency Pair Framework for WRLA Beatriz Alarcón, Salvador Lucas, José Meseguer
2010	—	`conf`	A Formal Pattern Architecture for Safe Medical Systems. WRLA Mu Sun, José Meseguer, Lui Sha
2010	—	`conf`	A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA Francisco Durán, José Meseguer
2010	C	`conf`	A formal executable semantics of Verilog. MEMOCODE Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu
2010	J	`jnl`	Algebraic simulations. J. Log. Algebraic Methods Program. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2010	J	`jnl`	An algebraic semantics for MOF. Formal Aspects Comput. Artur Boronat, José Meseguer
2010	—	`conf`	Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. WRLA Michael Katelman, Sean Keller, José Meseguer
2010	—	`conf`	Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) Camilo Rocha, José Meseguer
2010	B	`conf`	Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ITP Joe Hendrix, Deepak Kapur, José Meseguer
2010	—	`conf`	Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis RTRTS Musab AlTurki, José Meseguer
2010	—	`conf`	Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control RTRTS Mu Sun, José Meseguer
2010	—	`conf`	Folding Variant Narrowing and Optimal Variant Termination. WRLA Santiago Escobar, Ralf Sasse, José Meseguer
2010	—	`conf`	Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE Peter Csaba Ölveczky, Artur Boronat, José Meseguer
2010	C	`conf`	Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM José Meseguer, Peter Csaba Ölveczky
2010	—	`conf`	Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer
2010	A	`conf`	Sequential Protocol Composition in Maude-NPA. ESORICS Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2010	—	`conf`	Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family RTRTS Peter Csaba Ölveczky, José Meseguer
2010	—	`conf`	The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA Kyungmin Bae, José Meseguer
2010	—	`conf`	Twenty Years of Rewriting Logic. WRLA José Meseguer
2010	—	`conf`	Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures RTRTS Michael Katelman, José Meseguer
2010	—	`conf`	vlogsl: A Strategy Language for Simulation-Based Verification of Hardware. Haifa Verification Conference Michael Katelman, José Meseguer
2009	—	`conf`	A Graphical User Interface for Maude-NPA. PROLE Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer
2009	J	`jnl`	A rewriting logic approach to operational semantics. Inf. Comput. Traian-Florin Serbanuta, Grigore Rosu, José Meseguer
2009	—	`conf`	Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) Artur Boronat, José Meseguer
2009	—	`conf`	MOMENT2: EMF Model Transformations in Maude. JISBD Artur Boronat, José Meseguer
2009	A	`conf`	Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
2009	—	`conf`	Order-Sorted Parameterization and Induction. Semantics and Algebraic Specification José Meseguer
2009	B	`conf`	Rewriting Logic Semantics and Verification of Model Transformations. FASE Artur Boronat, Reiko Heckel, José Meseguer
2009	—	`conf`	Termination Modulo Combinations of Equational Theories. FroCoS Francisco Durán, Salvador Lucas, José Meseguer
2009	—	`conf`	Unification and Narrowing in Maude 2.4. RTA Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2008	C	`conf`	A Modular Equational Generalization Algorithm. LOPSTR María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
2008	—	`conf`	A Rewriting Semantics for Maude Strategies. WRLA Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2008	—	`conf`	A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. RULE Kyungmin Bae, José Meseguer
2008	—	`ed.`	Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings AMAST José Meseguer, Grigore Rosu
2008	B	`conf`	An Algebraic Semantics for MOF. FASE Artur Boronat, José Meseguer
2008	—	`ed.`	Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Concurrency, Graphs and Models Pierpaolo Degano, Rocco De Nicola, José Meseguer
2008	—	`ch.`	Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms Lui Sha, José Meseguer
2008	C	`conf`	Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE Michael Katelman, José Meseguer, Santiago Escobar
2008	—	`conf`	Effectively Checking the Finite Variant Property. RTA Santiago Escobar, José Meseguer, Ralf Sasse
2008	—	`conf`	Equational Unification by Variant Narrowing (Extended Abstract). UNIF Santiago Escobar, José Meseguer, Ralf Sasse
2008	J	`jnl`	Equational abstractions. Theor. Comput. Sci. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2008	A	`conf`	MTT: The Maude Termination Tool (System Description). IJCAR Francisco Durán, Salvador Lucas, José Meseguer
2008	—	`conf`	Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. PROLE Francisco Durán, Salvador Lucas, José Meseguer
2008	—	`conf`	Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan
2008	—	`conf`	Operational Termination of Membership Equational Programs: the Order-Sorted Way. WRLA Salvador Lucas, José Meseguer
2008	—	`conf`	Order-Sorted Generalization. WFLP María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
2008	—	`conf`	Order-sorted Equational Unification Revisited. RULE Joe Hendrix, José Meseguer
2008	C	`conf`	Order-sorted dependency pairs. PPDP Salvador Lucas, José Meseguer
2008	—	`conf`	Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. SecReT@LICS/CSF Musab AlTurki, José Meseguer, Carl A. Gunter
2008	J	`jnl`	Proving operational termination of membership equational programs. High. Order Symb. Comput. Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain
2008	—	`conf`	Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS Michael Katelman, José Meseguer, Jennifer C. Hou
2008	A	`conf`	State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS Santiago Escobar, Catherine Meadows, José Meseguer
2008	J	`jnl`	Termination of just/fair computations in term rewriting. Inf. Comput. Salvador Lucas, José Meseguer
2008	A	`conf`	The Real-Time Maude Tool. TACAS Peter Csaba Ölveczky, José Meseguer
2008	—	`conf`	The Temporal Logic of Rewriting: A Gentle Introduction. Concurrency, Graphs and Models José Meseguer
2008	—	`conf`	Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS Camilo Rocha, José Meseguer
2008	—	`conf`	Ugo Montanari in a Nutshell. Concurrency, Graphs and Models Rocco De Nicola, Pierpaolo Degano, José Meseguer
2008	—	`conf`	Variant Narrowing and Equational Unification. WRLA Santiago Escobar, José Meseguer, Ralf Sasse
2008	—	`conf`	Web Services and Interoperability for the Maude Termination Tool. PROLE Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez
2008	—	`conf`	What Is a Multi-modeling Language? WADT Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
2007	—	`ch.`	A Hierarchy of Data Types: From Trees to Sets. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. Rev. Colomb. de Computación Camilo Rocha, José Meseguer
2007	—	`conf`	A Rewriting Logic Approach to Operational Semantics (Extended Abstract). SOS@LICS/ICALP Traian-Florin Serbanuta, Grigore Rosu, José Meseguer
2007	—	`ch.`	A Sampler of Application Areas. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`conf`	A Systematic Approach to Uncover Security Flaws in GUI Logic. S&P José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
2007	—	`conf`	Algebraic Stuttering Simulations. PROLE Narciso Martí-Oliet, José Meseguer, Miguel Palomino
2007	—	`book`	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Complete List of Maude Commands. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Core Maude Grammar. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Debugging and Troubleshooting. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Full Maude: Extending Core Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Functional Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Introduction. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	LTL Model Checking. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Maude's module algebra. Sci. Comput. Program. Francisco Durán, José Meseguer
2007	—	`conf`	Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD Santiago Escobar, Catherine Meadows, José Meseguer
2007	—	`ch.`	Metaprogramming Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Mobile Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007	—	`ch.`	Model Checking Invariants Through Search. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Module Operations. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Based Programming. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Oriented Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`conf`	On the Completeness of Context-Sensitive Order-Sorted Specifications. RTA Joe Hendrix, José Meseguer
2007	—	`ch.`	Playing with Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	—	`ch.`	Predefined Data Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	C	`conf`	Real-time rewriting semantics of orc. PPDP Musab AlTurki, José Meseguer
2007	—	`conf`	Reduction Semantics and Formal Analysis of Orc Programs. WWV Musab AlTurki, José Meseguer
2007	J	`jnl`	Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. Manuel Clavel, José Meseguer, Miguel Palomino
2007	—	`ch.`	Reflection, Metalevel Computation, and Strategies. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Semantics and pragmatics of Real-Time Maude. High. Order Symb. Comput. Peter Csaba Ölveczky, José Meseguer
2007	—	`ch.`	Some Tools. All About Maude 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
2007	—	`ch.`	Specifying Parameterized Data Structures in Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	—	`conf`	Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA Santiago Escobar, José Meseguer
2007	J	`jnl`	Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. High. Order Symb. Comput. José Meseguer, Prasanna Thati
2007	—	`ch.`	Syntax and Basic Parsing. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	System Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	B	`conf`	The Maude Formal Tool Environment. CALCO Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
2007	J	`jnl`	The rewriting logic semantics project. Theor. Comput. Sci. José Meseguer, Grigore Rosu
2007	—	`ch.`	User Interfaces and Metalanguage Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Using Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2006	—	`conf`	A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. WRLA Michael Katelman, José Meseguer
2006	A	`conf`	A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. IJCAR Joe Hendrix, José Meseguer, Hitoshi Ohsaki
2006	J	`jnl`	A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. Santiago Escobar, Catherine Meadows, José Meseguer
2006	—	`conf`	Abstraction and Completeness for Real-Time Maude. WRLA Peter Csaba Ölveczky, José Meseguer
2006	—	`ed.`	Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Essays Dedicated to Joseph A. Goguen Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
2006	J	`jnl`	Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. Prasanna Thati, José Meseguer
2006	—	`conf`	Deduction, Strategies, and Rewriting. STRATEGIES@IJCAR Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2006	—	`conf`	Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. SecReT@ICALP Santiago Escobar, Catherine Meadows, José Meseguer
2006	—	`conf`	From OBJ to Maude and Beyond. Essays Dedicated to Joseph A. Goguen José Meseguer
2006	—	`conf`	Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. WRLA Ralf Sasse, José Meseguer
2006	J	`jnl`	Joseph Goguen (1941-2006). Bull. EATCS Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
2006	—	`conf`	Narrowing and Rewriting Logic: from Foundations to Applications. WFLP Santiago Escobar, José Meseguer, Prasanna Thati
2006	—	`conf`	Partial Order Reduction for Rewriting Semantics of Programming Languages. WRLA Azadeh Farzan, José Meseguer
2006	—	`conf`	Recent Advances in Real-Time Maude. RULE@FLoC Peter Csaba Ölveczky, José Meseguer
2006	J	`jnl`	Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. Roberto Bruni, José Meseguer
2006	—	`conf`	Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC José Meseguer, Raman Sharykin
2006	J	`jnl`	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods Syst. Des. Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
2006	—	`conf`	State Space Reduction of Rewrite Theories Using Invisible Transitions. AMAST Azadeh Farzan, José Meseguer
2005	B	`conf`	A Categorical Approach to Simulations. CALCO Miguel Palomino, José Meseguer, Narciso Martí-Oliet
2005	C	`conf`	A Rewriting Logic Sampler. ICTAC José Meseguer
2005	—	`conf`	A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA Joe Hendrix, Manuel Clavel, José Meseguer
2005	J	`jnl`	A Verification Logic for Rewriting Logic. J. Log. Comput. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
2005	—	`conf`	A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE Santiago Escobar, Catherine Meadows, José Meseguer
2005	B	`conf`	Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO Prasanna Thati, José Meseguer
2005	—	`conf`	Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE José Meseguer, Grigore Rosu
2005	—	`conf`	Functorial Semantics of Rewrite Theories. Formal Methods in Software and Systems Modeling José Meseguer
2005	—	`conf`	Localized Fairness: A Rewriting Semantics. RTA José Meseguer
2005	—	`conf`	Natural Narrowing for General Term Rewriting Systems. RTA Santiago Escobar, José Meseguer, Prasanna Thati
2005	J	`jnl`	Operational termination of conditional term rewriting systems. Inf. Process. Lett. Salvador Lucas, Claude Marché, José Meseguer
2005	—	`conf`	PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. QAPL Gul A. Agha, José Meseguer, Koushik Sen
2005	B	`conf`	Termination of Fair Computations in Term Rewriting. LPAR Salvador Lucas, José Meseguer
2005	—	`conf`	The Rewriting Logic Semantics Project. SOS@ICALP José Meseguer, Grigore Rosu
2004	A*	`conf`	Formal Analysis of Java Programs in JavaFAN. CAV Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu
2004	—	`conf`	Formal JVM Code Analysis in JavaFAN. AMAST Azadeh Farzan, José Meseguer, Grigore Rosu
2004	—	`conf`	Modular Rewriting Semantics in Practice. WRLA Christiano Braga, José Meseguer
2004	—	`conf`	Modular Rewriting Semantics of Programming Languages. AMAST José Meseguer, Christiano Braga
2004	C	`conf`	Natural Rewriting for General Term Rewriting Systems. LOPSTR Santiago Escobar, José Meseguer, Prasanna Thati
2004	C	`conf`	Proving termination of membership equational programs. PEPM Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain
2004	—	`conf`	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. Essays in Memory of Ole-Johan Dahl Mark-Oliver Stehr, José Meseguer
2004	—	`conf`	Real-Time Maude 2.1. WRLA Peter Csaba Ölveczky, José Meseguer
2004	J	`jnl`	Reflective metalogical frameworks. ACM Trans. Comput. Log. David A. Basin, Manuel Clavel, José Meseguer
2004	A	`conf`	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR José Meseguer, Grigore Rosu
2004	B	`conf`	Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE Peter Csaba Ölveczky, José Meseguer
2004	—	`conf`	Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. WRLA José Meseguer, Prasanna Thati
2004	—	`conf`	Theoroidal Maps as Algebraic Simulations. WADT Narciso Martí-Oliet, José Meseguer, Miguel Palomino
2004	—	`conf`	Towards a Strategy Language for Maude. WRLA Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2003	—	`conf`	A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
2003	—	`conf`	Algebraic Theories for Contextual Pre-nets. ICTCS Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2003	—	`conf`	Certifying and Synthesizing Membership Equational Proofs. FME Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
2003	A	`conf`	Equational Abstractions. CADE José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2003	C	`conf`	Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. MEMOCODE José Meseguer
2003	A*	`conf`	Generalized Rewrite Theories. ICALP Roberto Bruni, José Meseguer
2003	J	`jnl`	Structured theories and institutions. Theor. Comput. Sci. Francisco Durán, José Meseguer
2003	—	`conf`	The Maude 2.0 System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2003	—	`conf`	The Maude LTL Model Checker and Its Implementation. SPIN Steven Eker, José Meseguer, Ambarish Sridharanarayanan
2002	A*	`conf`	A Total Approach to Partial Algebraic Specification. ICALP José Meseguer, Grigore Rosu
2002	C	`conf`	Mapping Modular SOS to Rewriting Logic. LOPSTR Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
2002	—	`conf`	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
2002	J	`jnl`	Maude: specification and programming in rewriting logic. Theor. Comput. Sci. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2002	Misc	`conf`	Pathway Logic: Symbolic Analysis of Biological Signaling. Pacific Symposium on Biocomputing Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
2002	J	`jnl`	Preface. Theor. Comput. Sci. Narciso Martí-Oliet, José Meseguer
2002	—	`conf`	Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. WRLA Manuel Clavel, José Meseguer, Miguel Palomino
2002	J	`jnl`	Reflection in conditional rewriting logic. Theor. Comput. Sci. Manuel Clavel, José Meseguer
2002	J	`jnl`	Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. Narciso Martí-Oliet, José Meseguer
2002	A	`conf`	Semantic Models for Distributed Object Reflection. ECOOP José Meseguer, Carolyn L. Talcott
2002	J	`jnl`	Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. Peter Csaba Ölveczky, José Meseguer
2002	J	`jnl`	Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Math. Struct. Comput. Sci. Roberto Bruni, José Meseguer, Ugo Montanari
2002	—	`conf`	The Maude LTL Model Checker. WRLA Steven Eker, José Meseguer, Ambarish Sridharanarayanan
2002	—	`conf`	Tiling Transactions in Rewriting Logic. WRLA Roberto Bruni, José Meseguer, Ugo Montanari
2002	—	`conf`	Towards Behavioral Maude: Behavioral Membership Equational Logic. CMCS José Meseguer, Grigore Rosu
2001	J	`jnl`	Functorial Models for Petri Nets. Inf. Comput. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2001	J	`jnl`	Report on ETAPS 2000. ACM SIGSOFT Softw. Eng. Notes José Meseguer
2001	—	`conf`	Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. UNIGRA Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001	—	`conf`	Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001	B	`conf`	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele
2001	—	`conf`	The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs Pavel Naumov, Mark-Oliver Stehr, José Meseguer
2000	—	`conf`	Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
2000	—	`conf`	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
2000	J	`jnl`	Maude. ACM SIGSOFT Softw. Eng. Notes José Meseguer, Carolyn L. Talcott
2000	—	`conf`	Parameterized Theories and Views in Full Maude 2.0. WRLA Francisco Durán, José Meseguer
2000	—	`conf`	Principles of Mobile Maude. ASA/MA Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
2000	—	`conf`	Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. WRLA Peter Csaba Ölveczky, José Meseguer
2000	—	`conf`	Rewriting Logic and Maude: Concepts and Applications. RTA José Meseguer
2000	—	`conf`	Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. FMOODS José Meseguer
2000	—	`conf`	Rewriting Logic as a Metalogical Framework. FSTTCS David A. Basin, Manuel Clavel, José Meseguer
2000	—	`conf`	Rewriting Semantics of Meta-Objects and Composable Distributed Services. WRLA Grit Denker, José Meseguer, Carolyn L. Talcott
2000	J	`jnl`	Semantic interoperation of open systems. ACM SIGSOFT Softw. Eng. Notes José Meseguer, Carolyn L. Talcott
2000	—	`conf`	Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification Bow-Yaw Wang, José Meseguer, Carl A. Gunter
2000	J	`jnl`	Specification and proof in membership equational logic. Theor. Comput. Sci. Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
2000	—	`conf`	Towards Maude 2.0. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2000	B	`conf`	Using Maude. FASE Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999	B	`conf`	A Partial Order Event Model for Concurrent Objects. CONCUR José Meseguer, Carolyn L. Talcott
1999	B	`conf`	Executable Tile Specifications for Process Calculi. FASE Roberto Bruni, José Meseguer, Ugo Montanari
1999	—	`conf`	Functorial semantics for Petri nets under the individual token philosophy. CTCS Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1999	—	`conf`	Maude as a Formal Meta-tool. World Congress on Formal Methods Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
1999	—	`conf`	Structured Theories and Institutions. CTCS Francisco Durán, José Meseguer
1999	—	`conf`	The Maude System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999	—	`conf`	Towards a Verification Logic for Rewriting Logic. WADT José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
1998	—	`conf`	A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1998	C	`conf`	A Logical Framework for Distributed Systems and Communication Protocols. FORTE José Meseguer
1998	—	`conf`	An extensible module algebra for Maude. WRLA Francisco Durán, José Meseguer
1998	—	`conf`	Internal strategies in a rewriting implementation of tile systems. WRLA Roberto Bruni, José Meseguer, Ugo Montanari
1998	—	`conf`	Mapping OMRS to rewriting logic. WRLA José Meseguer, Carolyn L. Talcott
1998	—	`conf`	Maude as a metalanguage. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998	—	`conf`	Metalevel computation in Maude. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1998	—	`conf`	On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima
1997	—	`conf`	Mapping tile logic into rewriting logic. WADT José Meseguer, Ugo Montanari
1997	J	`jnl`	May I Borrow Your Logic? (Transporting Logical Structures Along Maps). Theor. Comput. Sci. Maura Cerioli, José Meseguer
1997	—	`conf`	Membership algebra as a logical framework for equational specification. WADT José Meseguer
1997	J	`jnl`	On the Semantics of Place/Transition Petri Nets. Math. Struct. Comput. Sci. José Meseguer, Ugo Montanari, Vladimiro Sassone
1997	—	`conf`	Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition José Meseguer, Ugo Montanari, Vladimiro Sassone
1997	—	`conf`	Specification and Proof in Membership Equational Logic. TAPSOFT Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
1996	J	`jnl`	Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica Pierpaolo Degano, José Meseguer, Ugo Montanari
1996	—	`conf`	Distributed Simulation of Parallel Executions. Annual Simulation Symposium Livio Ricciulli, Patrick Lincoln, José Meseguer
1996	—	`ed.`	First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996 WRLA José Meseguer
1996	J	`jnl`	Inclusions and Subtypes I: First-Order Case. J. Log. Comput. Narciso Martí-Oliet, José Meseguer
1996	J	`jnl`	Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. Narciso Martí-Oliet, José Meseguer
1996	—	`conf`	Preface. WRLA José Meseguer
1996	—	`conf`	Principles of Maude. WRLA Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
1996	J	`jnl`	Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. José Meseguer, Ugo Montanari, Vladimiro Sassone
1996	—	`conf`	Reflection and strategies in rewriting logic. WRLA Manuel Clavel, José Meseguer
1996	B	`conf`	Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. CONCUR José Meseguer
1996	—	`conf`	Rewriting logic as a logical and semantic framework. WRLA Narciso Martí-Oliet, José Meseguer
1996	J	`jnl`	Software Component Search. J. Syst. Integr. Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins
1996	—	`conf`	Specifying real-time systems in rewriting logic. WRLA Peter Csaba Ölveczky, José Meseguer
1996	J	`jnl`	Why OOP Needs New Semantic Foundations. ACM Comput. Surv. José Meseguer
1994	—	`conf`	Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
1994	—	`conf`	From Abstract Data Types to Logical Frameworks. COMPASS/ADT José Meseguer, Narciso Martí-Oliet
1994	—	`conf`	On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets José Meseguer, Ugo Montanari, Vladimiro Sassone
1994	—	`conf`	Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1994	—	`conf`	The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR Patrick Lincoln, José Meseguer, Livio Ricciulli
1993	—	`conf`	A Logical Semantics for Object-Oriented Databases. SIGMOD Conference José Meseguer, Xiaolei Qian
1993	B	`conf`	May I Borrow Your Logic? MFCS Maura Cerioli, José Meseguer
1993	J	`jnl`	Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems Inf. Comput. José Meseguer, Joseph A. Goguen
1993	A	`conf`	Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ECOOP José Meseguer
1992	J	`jnl`	Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci. José Meseguer
1992	J	`jnl`	Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
1992	—	`conf`	Multiparadigm Logic Programming. ALP José Meseguer
1992	B	`conf`	On the Semantics of Petri Nets. CONCUR José Meseguer, Ugo Montanari, Vladimiro Sassone
1992	J	`jnl`	Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. Joseph A. Goguen, José Meseguer
1991	J	`jnl`	From Petri Nets to Linear Logic through Categories: A Survey. Int. J. Found. Comput. Sci. Narciso Martí-Oliet, José Meseguer
1991	J	`jnl`	From Petri Nets to Linear Logic. Math. Struct. Comput. Sci. Narciso Martí-Oliet, José Meseguer
1991	—	`conf`	Parallel Programmming in Maude. Research Directions in High-Level Parallel Programming Languages José Meseguer, Timothy C. Winkler
1991	J	`jnl`	Temporal Structures. Math. Struct. Comput. Sci. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
1990	—	`conf`	A Logical Theory of Concurrent Objects. OOPSLA/ECOOP José Meseguer
1990	—	`conf`	Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS Hitoshi Aida, Joseph A. Goguen, José Meseguer
1990	—	`conf`	Conditional Rewriting Logic: Deduction, Models and Concurrency. CTRS José Meseguer
1990	J	`jnl`	Petri Nets Are Monoids Inf. Comput. José Meseguer, Ugo Montanari
1990	B	`conf`	Rewriting as a Unified Model of Concurrency. CONCUR José Meseguer
1990	—	`conf`	Rewriting as a unified model of concurrency. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming José Meseguer
1989	A*	`conf`	Axiomatizing Net Computations and Processes LICS Pierpaolo Degano, José Meseguer, Ugo Montanari
1989	—	`conf`	From Petri Nets to Linear Logic. Category Theory and Computer Science Narciso Martí-Oliet, José Meseguer
1989	J	`jnl`	Order-Sorted Unification. J. Symb. Comput. José Meseguer, Joseph A. Goguen
1989	A*	`conf`	Relating Models of Polymorphism. POPL José Meseguer
1989	—	`conf`	Temporal Structures. Category Theory and Computer Science Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
1988	A*	`conf`	Operational Semantics of OBJ-3 (Extended Abstract). ICALP Claude Kirchner, Hélène Kirchner, José Meseguer
1988	A*	`conf`	Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory LICS José Meseguer, Ugo Montanari
1988	—	`conf`	Software for the Rewrite Rule Machine. FGCS Joseph A. Goguen, José Meseguer
1987	—	`conf`	An Introduction to OBJ 3. CTRS Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
1987	—	`conf`	Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science Lawrence S. Moss, José Meseguer, Joseph A. Goguen
1987	—	`conf`	Models and Equality for Logical Programming. TAPSOFT, Vol.1 Joseph A. Goguen, José Meseguer
1987	J	`jnl`	On the Axiomatization of "If-Then-Else". SIAM J. Comput. Irène Guessarian, José Meseguer
1987	A*	`conf`	Order-Sorted Algebra solves the Constructor-Selector, Multiple LICS Joseph A. Goguen, José Meseguer
1987	A*	`conf`	Parameterized Programming in OBJ2. ICSE Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada
1987	J	`jnl`	Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices Joseph A. Goguen, José Meseguer
1987	—	`ch.`	Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming Joseph A. Goguen, José Meseguer
1986	—	`conf`	Concurrent term rewriting as a model of computation. Graph Reduction Joseph A. Goguen, Claude Kirchner, José Meseguer
1986	—	`ch.`	EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations Joseph A. Goguen, José Meseguer
1986	—	`conf`	Extensions and foundations of object-oriented programming. OOPWORK Joseph A. Goguen, José Meseguer
1986	—	`conf`	Foundations and extensions of object-oriented programming (abstract only). OOPWORK Joseph A. Goguen, José Meseguer
1986	J	`jnl`	Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS Joseph A. Goguen, José Meseguer
1985	A*	`conf`	Operational Semantics for Order-Sorted Algebra. ICALP Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
1985	A*	`conf`	Principles of OBJ2. POPL Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
1984	B	`conf`	Equality, Types, Modules and Generics for Logic Programming. ICLP Joseph A. Goguen, José Meseguer
1984	J	`jnl`	Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. Joseph A. Goguen, José Meseguer
1984	—	`conf`	Unwinding and Inference Control. S&P Joseph A. Goguen, José Meseguer
1983	J	`jnl`	Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. Joseph A. Goguen, José Meseguer
1982	J	`jnl`	Completeness of many-sorted equational logic. ACM SIGPLAN Notices Joseph A. Goguen, José Meseguer
1982	A*	`conf`	Finding Safe Paths in a Faulty Environment. PODC Danny Dolev, José Meseguer, Marshall C. Pease
1982	—	`conf`	Rapid prototyping: in the OBJ executable specification language. Rapid Prototyping Joseph A. Goguen, José Meseguer
1982	—	`conf`	Security Policies and Security Models. S&P Joseph A. Goguen, José Meseguer
1982	A*	`conf`	Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP Joseph A. Goguen, José Meseguer
1981	—	`conf`	A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. ICFPC José Meseguer
1981	J	`jnl`	Completeness of many-sorted equational logic. ACM SIGPLAN Notices Joseph A. Goguen, José Meseguer
1977	B	`conf`	Correctness of Recursive Flow Diagram Programs. MFCS Joseph A. Goguen, José Meseguer
1977	B	`conf`	On Order-Complete Universal Algebra and Enriched Functorial Semantics. FCT José Meseguer
1974	—	`conf`	Automata in semimodule categories. Category Theory Applied to Computation and Control José Meseguer, Ignacio Sols