José Meseguer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'José Meseguer' as author, editor, or advisor:

The Rewriting Logic Semantics Project: A Progress ReportJosé Meseguer, Grigore Rosu. fct 2011: 1-37 [doi]
A Rewriting Decision Procedure for Dijkstra-Scholten s Syllogistic Logic with ComplementsCamilo Rocha, José Meseguer. rcc, 8(2):101-130, 2007. [doi]
State/Event-Based LTL Model Checking under Parametric Generalized FairnessKyungmin Bae, José Meseguer. cav 2011: 132-148 [doi]
A formal executable semantics of VerilogPatrick O Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu. memocode 2010: 179-188 [doi]
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott. RTA 2011: 31-40 [doi]
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis ToolMusab AlTurki, José Meseguer. calco 2011: 386-392 [doi]
Operational Semantics for Order-Sorted AlgebraJoseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer. icalp 1985: 221-231
Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [doi]
Inclusions and Subtypes II: Higher-Order CaseNarciso Martí-Oliet, José Meseguer. logcom, 6(4):541-572, 1996.
From OBJ to Maude and BeyondJosé Meseguer. BIRTHDAY 2006: 252-280 [doi]
Formal Analysis of Leader Election in MANETs Using Real-Time MaudeSi Liu, Peter Csaba Ölveczky, José Meseguer. BIRTHDAY 2015: 231-252 [doi]
Reflection in conditional rewriting logicManuel Clavel, José Meseguer. TCS, 285(2):245-288, 2002. [doi]
Order-sorted equality enrichments modulo axiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. SCP, 99:235-261, 2015. [doi]
Executable Tile Specifications for Process CalculiRoberto Bruni, José Meseguer, Ugo Montanari. FASE 1999: 60-76
Finding Safe Paths in a Faulty EnvironmentDanny Dolev, José Meseguer, Marshall C. Pease. podc 1982: 95-103
PrefaceNarciso Martí-Oliet, José Meseguer. TCS, 285(2):119-120, 2002. [doi]
Representation Theorems for Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. BIRTHDAY 1997: 239-249 [doi]
Multiparadigm Logic ProgrammingJosé Meseguer. icalp 1992: 158-200
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocolsJosé Meseguer, Prasanna Thati. lisp, 20(1-2):123-160, 2007. [doi]
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th BirthdayKokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, editors, Volume 4060 of Lecture Notes in Computer Science, Springer, 2006.
Security Policies and Security ModelsJoseph A. Goguen, José Meseguer. sp 1982: 11-20 [doi]
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time SystemsJosé Meseguer, Peter Csaba Ölveczky. icfem 2010: 303-320 [doi]
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic SemanticsRalf Sasse, José Meseguer. ENTCS, 176(4):29-46, 2007. [doi]
Symbolic Computation in Maude: Some TapasJosé Meseguer. LOPSTR 2021: 3-36 [doi]
Localized Fairness: A Rewriting SemanticsJosé Meseguer. RTA 2005: 250-263 [doi]
Maude as a metalanguageManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. ENTCS, 15:147-160, 1998. [doi]
Rewriting Modulo SMT and Open System AnalysisCamilo Rocha, José Meseguer, César A. Muñoz. WRLA 2014: 247-262 [doi]
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)Pavel Naumov, Mark-Oliver Stehr, José Meseguer. tphol 2001: 329-345 [doi]
Unwinding and Inference ControlJoseph A. Goguen, José Meseguer. sp 1984: 75-87
Predicate Abstraction of Rewrite TheoriesKyungmin Bae, José Meseguer. RTA 2014: 61-76 [doi]
A Logical Theory of Concurrent ObjectsJosé Meseguer. OOPSLA 1990: 101-115
State space reduction in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. iandc, 238:157-186, 2014. [doi]
Strict coherence of conditional rewriting modulo axiomsJosé Meseguer. TCS, 672:1-35, 2017. [doi]
On the Completeness of Context-Sensitive Order-Sorted SpecificationsJoe Hendrix, José Meseguer. RTA 2007: 229-245 [doi]
An Efficient Canonical Narrowing Implementation for Protocol AnalysisRaúl López-Rueda, Santiago Escobar 0001, José Meseguer. WRLA 2022: 151-170 [doi]
Rewriting Logic and Maude: Concepts and ApplicationsJosé Meseguer. RTA 2000: 1-26
The Maude 2.0 SystemManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. RTA 2003: 76-87 [doi]
Normal forms and normal theories in conditional rewritingSalvador Lucas, José Meseguer. jlp, 85(1):67-97, 2016. [doi]
Sequential Protocol Composition in Maude-NPASantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. esorics 2010: 303-318 [doi]
Exploring Design Alternatives for RAMP Transactions Through Statistical Model CheckingSi Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer. icfem 2017: 298-314 [doi]
A Dependency Pair Framework for ::::A:::: OR ::::C::::-TerminationBeatriz Alarcón, Salvador Lucas, José Meseguer. WRLA 2010: 35-51 [doi]
Reflection and strategies in rewriting logicManuel Clavel, José Meseguer. ENTCS, 4:126-148, 1996. [doi]
PMaude: Rewrite-based Specification Language for Probabilistic Object SystemsGul A. Agha, José Meseguer, Koushik Sen. ENTCS, 153(2):213-239, 2006. [doi]
On the Semantics of Place/Transition Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. mscs, 7(4):359-397, 1997.
Generalized Rewrite Theories and Coherence CompletionJosé Meseguer. WRLA 2018: 164-183 [doi]
Semantics, distributed implementation, and formal analysis of KLAIM models in MaudeJonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing. SCP, 99:24-74, 2015. [doi]
Formal modeling and analysis of RAMP transaction systemsSi Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer. SAC 2016: 1700-1707 [doi]
Specification and proof in membership equational logicAdel Bouhoula, Jean-Pierre Jouannaud, José Meseguer. TCS, 236(1-2):35-132, 2000. [doi]
Compiling Rewriting onto SIMD and MIMD/SIMD MaschinesPatrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli. parle 1994: 37-48
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th BirthdayPierpaolo Degano, Rocco De Nicola, José Meseguer, editors, Volume 5065 of Lecture Notes in Computer Science, Springer, 2008.
Semantic Models for Distributed Object ReflectionJosé Meseguer, Carolyn L. Talcott. ECOOP 2002: 1-36 [doi]
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol AnalysisSerdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse. cade 2013: 231-248 [doi]
Axiomatizing the Algebra of Net Computations and ProcessesPierpaolo Degano, José Meseguer, Ugo Montanari. ACTA, 33(7):641-667, 1996.
System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]
Temporal StructuresRoss Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt. ctcs 1989: 21-51
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo AxiomsJoe Hendrix, José Meseguer, Hitoshi Ohsaki. cade 2006: 151-155 [doi]
Incremental checking of well-founded recursive specifications modulo axiomsFelix Schernhammer, José Meseguer. ppdp 2011: 5-16 [doi]
Automated Model Synchronization: A Case Study on UML with MaudeArtur Boronat, José Meseguer. eceasst, 41, 2011. [doi]
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic ProtocolsJosé Meseguer, Prasanna Thati. ENTCS, 117:153-182, 2005. [doi]
Temporal StructuresRoss Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt. mscs, 1(2):179-213, 1991.
Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theoriesFrancisco Durán, José Meseguer. jlp, 81(7-8):816-850, 2012. [doi]
A Rewriting Based Model for Probabilistic Distributed Object SystemsNirman Kumar, Koushik Sen, José Meseguer, Gul Agha. fmoods 2003: 32-46 [doi]
Mapping tile logic into rewriting logicJosé Meseguer, Ugo Montanari. WADT 1997: 62-91
An Introduction to OBJ 3Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler. ctrs 1988: 258-263
Generating Correct-by-Construction Distributed Implementations from Formal Maude DesignsSi Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang 0017. NFM 2020: 22-40 [doi]
Parallel Programmming in MaudeJosé Meseguer, Timothy C. Winkler. hlppp 1992: 253-293
The Temporal Logic of Rewriting: A Gentle IntroductionJosé Meseguer. birthday 2008: 354-382 [doi]
Order-Sorted Algebra solves the Constructor-Selector, MultipleJoseph A. Goguen, José Meseguer. lics 1987: 18-29
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile LogicRoberto Bruni, José Meseguer, Ugo Montanari. mscs, 12(1):53-90, 2002.
Probabilistic Modeling and Analysis of DoS Protection for the ASV ProtocolMusab AlTurki, José Meseguer, Carl A. Gunter. ENTCS, 234:3-18, 2009. [doi]
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active NetworksJosé Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott. dance 2002: 494-510 [doi]
Generalized rewrite theories, coherence completion, and symbolic methodsJosé Meseguer. jlap, 110, 2020. [doi]
Effective Symbolic Protocol Analysis via Equational Irreducibility ConditionsSerdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse. esorics 2012: 73-90 [doi]
ROLA: A New Distributed Transaction Protocol and Its Formal AnalysisSi Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer. FASE 2018: 77-93 [doi]
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott. cade 2022: 529-540 [doi]
The Real-Time Maude ToolPeter Csaba Ölveczky, José Meseguer. TACAS 2008: 332-336 [doi]
vlogsl: A Strategy Language for Simulation-Based Verification of HardwareMichael Katelman, José Meseguer. hvc 2011: 129-145 [doi]
Variants in the Infinitary Unification WonderlandJosé Meseguer. WRLA 2020: 75-95 [doi]
Remarks on remarks on many-sorted algebras with possibly emtpay carrier setsJoseph A. Goguen, José Meseguer. eatcs, 30:66-73, 1986.
Rewriting as a unified model of concurrencyJosé Meseguer. oopsm, 2(2):86-88, 1991.
Variant-based satisfiability in initial algebrasJosé Meseguer. SCP, 154:3-41, 2018. [doi]
Compiling Concurrent Rewriting onto the Rewrite Rule MachineHitoshi Aida, Joseph A. Goguen, José Meseguer. ctrs 1991: 320-332
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and AnalysisMichael Katelman, José Meseguer. ENTCS, 176(4):47-60, 2007. [doi]
Order-Sorted UnificationJosé Meseguer, Joseph A. Goguen. JSC, 8(4):383-413, 1989.
Petri Nets Are Monoids: A New Algebraic Foundation for Net TheoryJosé Meseguer, Ugo Montanari. lics 1988: 155-164
A Constructor-Based Reachability Logic for Rewrite TheoriesStephen Skeirik, Andrei Stefanescu, José Meseguer. LOPSTR 2018: 201-217 [doi]
2D Dependency Pairs for Proving Operational Termination of CTRSsSalvador Lucas, José Meseguer. WRLA 2014: 195-212 [doi]
A modular order-sorted equational generalization algorithmMaría Alpuente, Santiago Escobar, Javier Espert, José Meseguer. iandc, 235:98-136, 2014. [doi]
Twenty years of rewriting logicJosé Meseguer. jlp, 81(7-8):721-781, 2012. [doi]
Equality, Types, Modules and Generics for Logic ProgrammingJoseph A. Goguen, José Meseguer. ICLP 1984: 115-125
Modeling and analyzing mobile ad hoc networks in Real-Time MaudeSi Liu, Peter Csaba Ölveczky, José Meseguer. jlp, 85(1):34-66, 2016. [doi]
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite TheoriesCamilo Rocha, José Meseguer. lpar 2010: 594-609 [doi]
Executable rewriting logic semantics of Orc and formal analysis of Orc programsMusab A. AlTurki, José Meseguer. jlp, 84(4):505-533, 2015. [doi]
Report on ETAPS 2000José Meseguer. sigsoft, 26(1):39, 2001. [doi]
A Rewriting Logic SamplerJosé Meseguer. ictac 2005: 1-28 [doi]
From Petri Nets to Linear LogicNarciso Martí-Oliet, José Meseguer. ctcs 1989: 313-340
Relating Models of PolymorphismJosé Meseguer. POPL 1989: 228-241
A Partial Order Event Model for Concurrent ObjectsJosé Meseguer, Carolyn L. Talcott. concur 1999: 415-430 [doi]
Structured Theories and InstitutionsFrancisco Durán, José Meseguer. TCS, 29:23-41, 1999. [doi]
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection WrappersRohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan. fmoods 2008: 39-58 [doi]
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based SimplificationJosé Meseguer, Stephen Skeirik. WRLA 2020: 114-135 [doi]
Rewriting logic as a logical and semantic frameworkNarciso Martí-Oliet, José Meseguer. ENTCS, 4:190-225, 1996. [doi]
Membership algebra as a logical framework for equational specificationJosé Meseguer. WADT 1997: 18-61
From Abstract Data Types to Logical FrameworksJosé Meseguer, Narciso Martí-Oliet. compass 1995: 48-80
Order-Sorted Equality Enrichments Modulo AxiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. WRLA 2012: 162-181 [doi]
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital CircuitsMichael Katelman, Sean Keller, José Meseguer. WRLA 2010: 140-156 [doi]
Algebraic Stuttering SimulationsNarciso Martí-Oliet, José Meseguer, Miguel Palomino. ENTCS, 206:91-110, 2008. [doi]
Specification, Algebra, and Software - Essays Dedicated to Kokichi FutatsugiShusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Volume 8373 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational TheoriesSantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. BIRTHDAY 2015: 238-261 [doi]
Extensions and foundations of object-oriented programmingJoseph A. Goguen, José Meseguer. SIGPLAN, 21(10):153-162, 1986. [doi]
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting LogicManuel Clavel, José Meseguer, Miguel Palomino. ENTCS, 71:110-126, 2002. [doi]
From Petri Nets to Linear LogicNarciso Martí-Oliet, José Meseguer. mscs, 1(1):69-101, 1991.
Narrowing and Rewriting Logic: from Foundations to ApplicationsSantiago Escobar, José Meseguer, Prasanna Thati. ENTCS, 177:5-33, 2007. [doi]
Semantics and pragmatics of Real-Time MaudePeter Csaba Ölveczky, José Meseguer. lisp, 20(1-2):161-196, 2007. [doi]
Complete symbolic reachability analysis using back-and-forth narrowingPrasanna Thati, José Meseguer. TCS, 366(1-2):163-179, 2006. [doi]
Conditional Rewriting Logic as a United Model of ConcurrencyJosé Meseguer. TCS, 96(1):73-155, 1992.
Read atomic transactions with prevention of lost updates: ROLA and its formal analysisSi Liu 0003, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer. fac, 31(5):503-540, 2019. [doi]
Correctness of Recursive Flow Diagram ProgramsJoseph A. Goguen, José Meseguer. mfcs 1977: 580-595
Modular Rewriting Semantics in PracticeChristiano Braga, José Meseguer. ENTCS, 117:393-416, 2005. [doi]
On the Semantics of GAEAHiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima. FLOPS 1998: 123-142
Formal JVM Code Analysis in JavaFANAzadeh Farzan, José Meseguer, Grigore Rosu. amast 2004: 132-147 [doi]
Debugging and TroubleshootingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 697-736 [doi]
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial OperationsJoseph A. Goguen, José Meseguer. TCS, 105(2):217-273, 1992.
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case studyKyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky. SCP, 103:13-50, 2015. [doi]
On the Axiomatization of If-Then-Else Irène Guessarian, José Meseguer. SICOMP, 16(2):332-357, 1987.
The rewriting logic semantics project: A progress reportJosé Meseguer, Grigore Rosu. iandc, 231:38-69, 2013. [doi]
Formal Design of Cloud Computing Systems in MaudeJosé Meseguer. sbmf 2018: 5-19 [doi]
An extensible module algebra for MaudeFrancisco Durán, José Meseguer. ENTCS, 15:174-195, 1998. [doi]
An Algebraic Semantics for MOFArtur Boronat, José Meseguer. FASE 2008: 377-391 [doi]
Partial Evaluation of Order-Sorted Equational Programs Modulo AxiomsMaría Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. LOPSTR 2017: 3-20 [doi]
Dependency pairs for proving termination properties of conditional term rewriting systemsSalvador Lucas, José Meseguer. jlp, 86(1):236-268, 2017. [doi]
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in MaudeSi Liu 0003, Peter Csaba Ölveczky, Min Zhang 0002, Qi Wang 0017, José Meseguer. TACAS 2019: 40-57 [doi]
Functorial Models for Petri NetsRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. iandc, 170(2):207-236, 2001. [doi]
A Comparison of Petri Net Semantics under the Collective Token PhilosophyRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. asian 1998: 225-244 [doi]
Equational formulas and pattern operations in initial order-sorted algebrasJosé Meseguer, Stephen Skeirik. fac, 29(3):423-452, 2017. [doi]
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical propertiesSantiago Escobar, Catherine Meadows, José Meseguer. TCS, 367(1-2):162-202, 2006. [doi]
Specification, Transformation, and Programming of Concurrent Systemsin Rewriting LogicPatrick Lincoln, Narciso Martí-Oliet, José Meseguer. dimacs 1994: 309-340
Operational Semantics of OBJ-3 (Extended Abstract)Claude Kirchner, Hélène Kirchner, José Meseguer. icalp 1988: 287-301
On Order-Complete Universal Algebra and Enriched Functorial SemanticsJosé Meseguer. fct 1977: 294-301
MaudeJosé Meseguer, Carolyn L. Talcott. sigsoft, 25(1):104, 2000. [doi]
Specification and Proof in Membership Equational LogicAdel Bouhoula, Jean-Pierre Jouannaud, José Meseguer. tapsoft 1997: 67-92
Models and Equality for Logical ProgrammingJoseph A. Goguen, José Meseguer. tapsoft 1987: 1-22
A Modular Equational Generalization AlgorithmMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda. LOPSTR 2009: 24-39 [doi]
Rewriting as a Unified Model of ConcurrencyJosé Meseguer. concur 1990: 384-400
Abstract Logical Model Checking of Infinite-State Systems Using NarrowingKyungmin Bae, Santiago Escobar, José Meseguer. RTA 2013: 81-96 [doi]
Models for Logics and Conditional Constraints in Automated Proofs of TerminationSalvador Lucas, José Meseguer. AISC 2014: 9-20 [doi]
Concurrent term rewriting as a model of computationJoseph A. Goguen, Claude Kirchner, José Meseguer. gr 1987: 53-93
Tiling Transactions in Rewriting LogicRoberto Bruni, José Meseguer, Ugo Montanari. ENTCS, 71:90-109, 2002. [doi]
A Categorical Approach to SimulationsMiguel Palomino, José Meseguer, Narciso Martí-Oliet. calco 2005: 313-330 [doi]
Proving Operational Termination of Declarative Programs in General LogicsSalvador Lucas, José Meseguer. ppdp 2014: 111-122 [doi]
Checking Sufficient Completeness by Inductive Theorem ProvingJosé Meseguer. WRLA 2022: 171-190 [doi]
Rewriting modulo SMT and open system analysisCamilo Rocha, José Meseguer, César A. Muñoz. jlp, 86(1):269-297, 2017. [doi]
Formal Modeling and Analysis of Cassandra in MaudeSi Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer. icfem 2014: 332-347 [doi]
Strand spaces with choice via a process algebra semanticsFan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago. ppdp 2016: 76-89 [doi]
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)Traian-Florin Serbanuta, Grigore Rosu, José Meseguer. ENTCS, 192(1):125-141, 2007. [doi]
$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and InheritanceMaría Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. jelia 2019: 171-181 [doi]
Variants and satisfiability in the infinitary unification wonderlandJosé Meseguer. jlap, 134:100877, August 2023. [doi]
Universal Realization, Persistent Interconnection and Implementation of Abstract ModulesJoseph A. Goguen, José Meseguer. icalp 1982: 265-281
Taming Distributed System Complexity through Formal PatternsJosé Meseguer. facs2 2012: 1-2 [doi]
Variant-Based Decidable Satisfiability in Initial Algebras with PredicatesRaúl Gutiérrez, José Meseguer. LOPSTR 2018: 306-322 [doi]
Formal patterns for multirate distributed real-time systemsKyungmin Bae, José Meseguer, Peter Csaba Ölveczky. SCP, 91:3-44, 2014. [doi]
On Ground Convergence and Completeness of Conditional Equational Program HierarchiesJosé Meseguer, Stephen Skeirik. WRLA 2022: 191-211 [doi]
Equational Cryptographic Reasoning in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. ENTCS, 171(4):23-36, 2007. [doi]
Rewriting Semantics of Meta-Objects and Composable Distributed ServicesGrit Denker, José Meseguer, Carolyn L. Talcott. ENTCS, 36:405-425, 2000. [doi]
Conditional Rewriting Logic: Deduction, Models and ConcurrencyJosé Meseguer. ctrs 1991: 64-91
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer ToolCamilo Rocha, José Meseguer. BIRTHDAY 2014: 603-629 [doi]
Pathway Logic: Symbolic Analysis of Biological SignalingSteven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez. psb 2002: 400-412 [doi]
Structured theories and institutionsFrancisco Durán, José Meseguer. TCS, 309(1-3):357-380, 2003. [doi]
The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processorsSalvador Lucas, José Meseguer, Raúl Gutiérrez. jcss, 96:74-106, 2018. [doi]
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity AxiomsMaría Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. LOPSTR 2019: 38-55 [doi]
Order-sorted Equational Unification RevisitedJoe Hendrix, José Meseguer. ENTCS, 290:37-50, 2012. [doi]
Model checking linear temporal logic of rewriting formulas under localized fairnessKyungmin Bae, José Meseguer. SCP, 99:193-234, 2015. [doi]
From Petri Nets to Linear Logic through Categories: A SurveyNarciso Martí-Oliet, José Meseguer. ijfcs, 2(4):297-399, 1991.
Quantitative Analysis of Consistency in NoSQL Key-Value StoresSi Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer. lites, 4(1), 2017. [doi]
Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. FASE 2000: 371-374 [doi]
Ground confluence of order-sorted conditional specifications modulo axiomsFrancisco Durán, José Meseguer, Camilo Rocha. jlap, 111:100513, 2020. [doi]
Folding Variant Narrowing and Optimal Variant TerminationSantiago Escobar, Ralf Sasse, José Meseguer. WRLA 2010: 52-68 [doi]
Software Component SearchJoseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins. jsi, 6(1/2):93-134, 1996.
Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th BirthdayDaniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, editors, Volume 13066 of Lecture Notes in Computer Science, Springer, 2021. [doi]
Rapid prototyping: in the OBJ executable specification languageJoseph A. Goguen, José Meseguer. rpr 1982: 75-84 [doi]
Joseph Goguen (1941-2006)Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer. eatcs, 90:199-201, 2006.
Protocol Analysis with TimeDamián Aparicio-Sánchez, Santiago Escobar 0001, Catherine A. Meadows, José Meseguer, Julia Sapiña. indocrypt 2020: 128-150 [doi]
Proving Safety Properties of Rewrite TheoriesCamilo Rocha, José Meseguer. calco 2011: 314-328 [doi]
Specification of real-time and hybrid systems in rewriting logicPeter Csaba Ölveczky, José Meseguer. TCS, 285(2):359-405, 2002. [doi]
Analysis of the IBM CCA Security API Protocols in Maude-NPAAntonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer. secsr 2014: 111-130 [doi]
Towards a Verification Logic for Rewriting LogicJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita. WADT 2000: 438-458
Metalevel algorithms for variant satisfiabilityStephen Skeirik, José Meseguer. jlp, 96:81-110, 2018. [doi]
Symbolic Reasoning Methods in Rewriting Logic and MaudeJosé Meseguer. wollic 2018: 25-60 [doi]
Protocol Analysis with Time and SpaceDamián Aparicio-Sánchez, Santiago Escobar 0001, Catherine A. Meadows, José Meseguer, Julia Sapiña. BIRTHDAY 2021: 22-49 [doi]
The Linear Temporal Logic of Rewriting Maude Model CheckerKyungmin Bae, José Meseguer. WRLA 2010: 208-225 [doi]
The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation TechniquesSalvador Lucas, José Meseguer, Raúl Gutiérrez. JAR, 64(8):1611-1662, 2020. [doi]
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPASonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer. STM 2014: 162-177 [doi]
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. cade 2016: 183-192 [doi]
Security Policies and Security ModelsJoseph A. Goguen, José Meseguer. sp 1982: 11-20
Why OOP Needs New Semantic FoundationsJosé Meseguer. ACM Comput. Surv., 28(4es):159, 1996.
Directed-Logical Testing for Functional Verification of MicroprocessorsMichael Katelman, José Meseguer, Santiago Escobar. memocode 2008: 89-100 [doi]
Some ToolsManuel 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. maude 2007: 667-693 [doi]
Stable Availability under Denial of Service Attacks through Formal PatternsJonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing. FASE 2012: 78-93 [doi]
Strand Spaces with Choice via a Process Algebra SemanticsFan Yang, Santiago Escobar 0001, Catherine A. Meadows, José Meseguer, Sonia Santiago. BIRTHDAY 2023: 307-350 [doi]
First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996José Meseguer, editor, Volume 4 of Electronic Notes in Theoretical Computer Science, Elsevier, 1996. [doi]
An algebraic semantics for MOFArtur Boronat, José Meseguer. fac, 22(3-4):269-296, 2010. [doi]
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical FrameworkMark-Oliver Stehr, José Meseguer. BIRTHDAY 2004: 334-375 [doi]
Design and Analysis of Cloud-Based Architectures with KLAIM and MaudeMartin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer. WRLA 2012: 54-82 [doi]
Specification and Analysis of Real-Time Systems Using Real-Time MaudePeter Csaba Ölveczky, José Meseguer. FASE 2004: 354-358 [doi]
Partial Order Reduction for Rewriting Semantics of Programming LanguagesAzadeh Farzan, José Meseguer. ENTCS, 176(4):61-78, 2007. [doi]
A Constructor-Based Reachability Logic for Rewrite TheoriesStephen Skeirik, Andrei Stefanescu, José Meseguer. FUIN, 173(4):315-382, 2020. [doi]
Proving Ground Confluence of Equational Specifications Modulo AxiomsFrancisco Durán, José Meseguer, Camilo Rocha. WRLA 2018: 184-204 [doi]
Design of Complex Cyber Physical Systems with Formalized Architectural PatternsLui Sha, José Meseguer. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 92-100, Springer, 2008. [doi]
On the Model of Computation of Place/Transition Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. apn 1994: 16-38
Inclusions and Subtypes I: First-Order CaseNarciso Martí-Oliet, José Meseguer. logcom, 6(3):409-438, 1996.
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time MaudePeter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele. FASE 2001: 333-348 [doi]
Generalized Rewrite TheoriesRoberto Bruni, José Meseguer. icalp 2003: 252-266 [doi]
Taming distributed system complexity through formal patternsJosé Meseguer. SCP, 83:3-34, 2014. [doi]
Formal Specification of Button-Related Fault-Tolerance MicropatternsMu Sun, José Meseguer. WRLA 2014: 263-279 [doi]
A Formal Pattern Architecture for Safe Medical SystemsMu Sun, José Meseguer, Lui Sha. WRLA 2010: 157-173 [doi]
Modular Verification of Sequential Composition for Private Channels in Maude-NPAFan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer. STM 2018: 20-36 [doi]
A Logical Semantics for Object-Oriented DatabasesJosé Meseguer, Xiaolei Qian. SIGMOD 1993: 89-98 [doi]
Theorem Proving Modulo Based on Boolean Equational ProceduresCamilo Rocha, José Meseguer. RelMiCS 2008: 337-351 [doi]
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logicManuel Clavel, José Meseguer, Miguel Palomino. TCS, 373(1-2):70-91, 2007. [doi]
Constrained narrowing for conditional equational theories modulo axiomsAndrew Cholewa, Santiago Escobar, José Meseguer. SCP, 112:24-57, 2015. [doi]
Software for the Rewrite Rule MachineJoseph A. Goguen, José Meseguer. fgcs 1988: 628-637
Protocol analysis in Maude-NPA using unification modulo homomorphic encryptionSantiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse. ppdp 2011: 65-76 [doi]
Unifying Functional, Object-Oriented and Relational Programming with Logical SemanticsJoseph A. Goguen, José Meseguer. In Research Directions in Object-Oriented Programming. pages 417-478, 1987.
Equational Formulas and Pattern Operations in Initial Order-Sorted AlgebrasJosé Meseguer, Stephen Skeirik. LOPSTR 2015: 36-53 [doi]
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting SystemsSalvador Lucas, José Meseguer, Raúl Gutiérrez. LOPSTR 2015: 113-130 [doi]
Algebraic simulationsJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet. jlp, 79(2):103-143, 2010. [doi]
Real-Time Maude 2.1Peter Csaba Ölveczky, José Meseguer. ENTCS, 117:285-314, 2005. [doi]
The Maude strategy languageSteven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo. jlap, 134:100887, August 2023. [doi]
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPAAntonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer. lpar 2018: 400-417 [doi]
Completeness of many-sorted equational logicJoseph A. Goguen, José Meseguer. SIGPLAN, 16(7):24-32, 1981. [doi]
Principles of OBJ2Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer. POPL 1985: 52-66
Principles of Mobile MaudeFrancisco Durán, Steven Eker, Patrick Lincoln, José Meseguer. ma 2000: 73-85
On the Semantics of Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. concur 1992: 286-301
PrefaceJosé Meseguer. ENTCS, 4:424-425, 1996. [doi]
A Total Approach to Partial Algebraic SpecificationJosé Meseguer, Grigore Rosu. icalp 2002: 572-584 [doi]
ACUOS: A System for Modular ACU Generalization with Subtyping and InheritanceMaría Alpuente, Santiago Escobar, Javier Espert, José Meseguer. jelia 2014: 573-581 [doi]
Programming and symbolic computation in MaudeFrancisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott. jlap, 110, 2020. [doi]
Specification and Formal Analysis of a PLAN Algorithm in MaudeBow-Yaw Wang, José Meseguer, Carl A. Gunter. icdcsw 2000:
Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. MeadowsJoshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, editors, Volume 11565 of Lecture Notes in Computer Science, Springer, 2019. [doi]
Modular Rewriting Semantics of Programming LanguagesJosé Meseguer, Christiano Braga. amast 2004: 364-378 [doi]
State Space Reduction of Rewrite Theories Using Invisible TransitionsAzadeh Farzan, José Meseguer. amast 2006: 142-157 [doi]
Formal Modeling and Analysis of the Walter Transactional Data StoreSi Liu 0003, Peter Csaba Ölveczky, Qi Wang 0017, José Meseguer. WRLA 2018: 136-152 [doi]
Variant-Based Satisfiability in Initial AlgebrasJosé Meseguer. ftscs 2016: 3-34 [doi]
Natural Rewriting for General Term Rewriting SystemsSantiago Escobar, José Meseguer, Prasanna Thati. LOPSTR 2005: 101-116 [doi]
Executable Computational Logics: Combining Formal Methods and Programming Language Based System DesignJosé Meseguer. memocode 2003: 3 [doi]
Localized Operational Termination in General LogicsSalvador Lucas, José Meseguer. BIRTHDAY 2015: 91-114 [doi]
Ugo Montanari in a NutshellRocco De Nicola, Pierpaolo Degano, José Meseguer. birthday 2008: 1-8 [doi]
Towards Generic Monitors for Object-Oriented Real-Time Maude SpecificationsAntonio Moreno-Delgado, Francisco Durán, José Meseguer. WRLA 2016: 118-133 [doi]
Reduction Semantics and Formal Analysis of Orc ProgramsMusab AlTurki, José Meseguer. ENTCS, 200(3):25-41, 2008. [doi]
Quantitative Analysis of Consistency in NoSQL Key-Value StoresSi Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer. qest 2015: 228-243 [doi]
Semantic interoperation of open systemsJosé Meseguer, Carolyn L. Talcott. sigsoft, 25(1):64-65, 2000. [doi]
A Verification Logic for Rewriting LogicNarciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum. logcom, 15(3):317-352, 2005. [doi]
A Sufficient Completeness Reasoning Tool for Partial SpecificationsJoe Hendrix, Manuel Clavel, José Meseguer. RTA 2005: 165-174 [doi]
Specification and Analysis of Distributed Object-Based Stochastic Hybrid SystemsJosé Meseguer, Raman Sharykin. hybrid 2006: 460-475 [doi]
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis MethodSantiago Escobar, José Meseguer. BIRTHDAY 2019: 15-38 [doi]
Complete Symbolic Reachability Analysis Using Back-and-Forth NarrowingPrasanna Thati, José Meseguer. calco 2005: 379-394 [doi]
Theoroidal Maps as Algebraic SimulationsNarciso Martí-Oliet, José Meseguer, Miguel Palomino. WADT 2004: 126-143 [doi]
Recent Advances in Real-Time MaudePeter Csaba Ölveczky, José Meseguer. ENTCS, 174(1):65-81, 2007. [doi]
Functorial Semantics of Rewrite TheoriesJosé Meseguer. BIRTHDAY 2005: 220-235 [doi]
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPARalf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer. STM 2011: 163-178 [doi]
Process versus Unfolding Semantics for Place/Transition Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. TCS, 153(1&2):171-210, 1996. [doi]
Coverset Induction with Partiality and Subsorts: A Powerlist Case StudyJoe Hendrix, Deepak Kapur, José Meseguer. itp 2010: 275-290 [doi]
Order-sorted dependency pairsSalvador Lucas, José Meseguer. ppdp 2008: 108-119 [doi]
Rewriting semantics of production rule setsMichael Katelman, Sean Keller, José Meseguer. jlp, 81(7-8):929-956, 2012. [doi]
Parameterized Programming in OBJ2Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada. ICSE 1987: 51-60
Composing and Controlling Search in Reasoning Theories Using MappingsAlessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott. frocos 2000: 200-216
Metalevel Algorithms for Variant SatisfiabilityStephen Skeirik, José Meseguer. WRLA 2016: 167-184 [doi]
Foundations and extensions of object-oriented programming (abstract only)Joseph A. Goguen, José Meseguer. SIGPLAN, 21(10):185, 1986. [doi]
Natural Narrowing for General Term Rewriting SystemsSantiago Escobar, José Meseguer, Prasanna Thati. RTA 2005: 279-293 [doi]
Unification and Narrowing in Maude 2.4Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. RTA 2009: 380-390 [doi]
A Rewriting Semantics for Maude StrategiesNarciso Martí-Oliet, José Meseguer, Alberto Verdejo. ENTCS, 238(3):227-247, 2009. [doi]
Specifying real-time systems in rewriting logicPeter Csaba Ölveczky, José Meseguer. ENTCS, 4:284-309, 1996. [doi]
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model CheckingMichael Katelman, José Meseguer, Jennifer C. Hou. fmoods 2008: 150-169 [doi]
Infinite-State Model Checking of LTLR Formulas Using NarrowingKyungmin Bae, José Meseguer. WRLA 2014: 113-129 [doi]
Synchronous AADL and Its Formal Analysis in Real-Time MaudeKyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer. icfem 2011: 651-667 [doi]
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid SystemsPeter Csaba Ölveczky, José Meseguer. ENTCS, 36:361-382, 2000. [doi]
Maude s module algebraFrancisco Durán, José Meseguer. SCP, 66(2):125-153, 2007. [doi]
Formalization and correctness of the PALS architectural pattern for distributed real-time systemsJosé Meseguer, Peter Csaba Ölveczky. TCS, 451:1-37, 2012. [doi]
Rewriting Logic as a Semantic Framework for Concurrency: a Progress ReportJosé Meseguer. concur 1996: 331-372
Optimizing Maude Programs via Program SpecializationMaría Alpuente, Demis Ballis, Santiago Escobar 0001, José Meseguer, Julia Sapiña. BIRTHDAY 2023: 21-50 [doi]
Statistical Model Checking for Composite Actor SystemsJonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing. WADT 2013: 143-160 [doi]
Definition, Semantics, and Analysis of Multirate Synchronous AADLKyungmin Bae, Peter Csaba Ölveczky, José Meseguer. FM 2014: 94-109 [doi]
May I Borrow Your Logic? (Transporting Logical Structures Along Maps)Maura Cerioli, José Meseguer. TCS, 173(2):311-347, 1997. [doi]
Correctness of Recursive Parallel Nondeterministic Flow ProgramsJoseph A. Goguen, José Meseguer. jcss, 27(2):268-290, 1983.
Rewriting Logic as a Unifying Framework for Petri NetsMark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. apn 2001: 250-303 [doi]
Verification of microarchitectural refinements in rule-based systemsNirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer. memocode 2011: 61-71 [doi]
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity AxiomsMaría Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer. FUIN, 177(3-4):297-329, 2020. [doi]
Symbolic Model Checking of Infinite-State Systems Using NarrowingSantiago Escobar, José Meseguer. RTA 2007: 153-168 [doi]
Effectively Checking the Finite Variant PropertySantiago Escobar, José Meseguer, Ralf Sasse. RTA 2008: 79-93 [doi]
EQLOG: Equality, Types, and Generic Modules For Logic ProgrammingJoseph A. Goguen, José Meseguer. In Logic Programming: Functions, Relations, and Equations. pages 295-363, 1986.
IntroductionManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 1-28 [doi]
Order-sorted equational generalization algorithm revisitedMaría Alpuente, Santiago Escobar 0001, José Meseguer, Julia Sapiña. AMAI, 90(5):499-522, 2022. [doi]
Rewriting Logic as a Metalogical FrameworkDavid A. Basin, Manuel Clavel, José Meseguer. fsttcs 2000: 55-80 [doi]
May I Borrow Your Logic?Maura Cerioli, José Meseguer. mfcs 1993: 342-351
State Space Reduction in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. esorics 2008: 548-562 [doi]
Equality, Types, Modules, and (Why not ?) Generics for Logic ProgrammingJoseph A. Goguen, José Meseguer. jlp, 1(2):179-210, 1984.
The SynchAADL2Maude ToolKyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem. FASE 2012: 59-62 [doi]
Real-time rewriting semantics of orcMusab AlTurki, José Meseguer. ppdp 2007: 131-142 [doi]
Completeness of many-sorted equational logicJoseph A. Goguen, José Meseguer. SIGPLAN, 17(1):9-17, 1982.
Formal Patterns for Multi-rate Distributed Real-Time SystemsKyungmin Bae, José Meseguer, Peter Csaba Ölveczky. facs2 2013: 1-18 [doi]
Bridging the semantic gap between qualitative and quantitative models of distributed systemsSi Liu 0003, José Meseguer, Peter Csaba Ölveczky, Min Zhang 0002, David A. Basin. PACMPL, 6(OOPSLA2):315-344, 2022. [doi]
Reflective metalogical frameworksDavid A. Basin, Manuel Clavel, José Meseguer. tocl, 5(3):528-576, 2004. [doi]
Axiomatizing Net Computations and ProcessesPierpaolo Degano, José Meseguer, Ugo Montanari. lics 1989: 175-185
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite TheoriesFrancisco Durán, José Meseguer. WRLA 2010: 86-103 [doi]
Internal strategies in a rewriting implementation of tile systemsRoberto Bruni, José Meseguer, Ugo Montanari. ENTCS, 15:263-284, 1998. [doi]
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying FrameworkMark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. ENTCS, 44(4):140-162, 2001. [doi]
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeperStephen Skeirik, Rakesh B. Bobba, José Meseguer. ccgrid 2013: 636-641 [doi]
Twenty Years of Rewriting LogicJosé Meseguer. WRLA 2010: 15-17 [doi]
State Space c-Reductions of Concurrent Systems in Rewriting LogicAlberto Lluch-Lafuente, José Meseguer, Andrea Vandin. icfem 2012: 430-446 [doi]
A Framework for Mobile Ad hoc Networks in Real-Time MaudeSi Liu, Peter Csaba Ölveczky, José Meseguer. WRLA 2014: 162-177 [doi]
Proving termination of membership equational programsFrancisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain. PEPM 2004: 147-158 [doi]
Variant Satisfiability of Parameterized StringsJosé Meseguer. WRLA 2020: 96-113 [doi]
Final Algebras, Cosemicomputable Algebras, and Degrees of UnsolvabilityLawrence S. Moss, José Meseguer, Joseph A. Goguen. ctcs 1987: 158-181
A rewriting-based forwards semantics for Maude-NPASantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. hotsos 2014: 3 [doi]
Equational AbstractionsJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet. cade 2003: 2-16 [doi]
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude SpecificationsFrancisco Durán, José Meseguer. WRLA 2010: 69-85 [doi]
Petri Nets Are MonoidsJosé Meseguer, Ugo Montanari. iandc, 88(2):105-155, October 1990.
Mapping OMRS to rewriting logicJosé Meseguer, Carolyn L. Talcott. ENTCS, 15:33-54, 1998. [doi]
Parameterized Theories and Views in Full Maude 2.0Francisco Durán, José Meseguer. ENTCS, 36:316-338, 2000. [doi]
Analysis of the PKCS#11 API Using the Maude-NPA ToolAntonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer. secsr 2015: 86-106 [doi]
Operational Termination of Membership Equational Programs: the Order-Sorted WaySalvador Lucas, José Meseguer. ENTCS, 238(3):207-225, 2009. [doi]
A Systematic Approach to Uncover Security Flaws in GUI LogicJosé Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang. sp 2007: 71-85 [doi]
Operational termination of conditional term rewriting systemsSalvador Lucas, Claude Marché, José Meseguer. ipl, 95(4):446-453, 2005. [doi]
Formal Analysis of Java Programs in JavaFANAzadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu. cav 2004: 501-505 [doi]
Final Algebras, Cosemicomputable Algebras and Degrees of UnsolvabilityLawrence S. Moss, José Meseguer, Joseph A. Goguen. TCS, 100(2):267-302, 1992.
A Logical Framework for Distributed Systems and Communication ProtocolsJosé Meseguer. forte 1998: 327-333
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudePeter Csaba Ölveczky, Artur Boronat, José Meseguer. forte 2010: 47-62 [doi]
A Rewriting-Based Model Checker for the Linear Temporal Logic of RewritingKyungmin Bae, José Meseguer. ENTCS, 290:19-36, 2012. [doi]
A partial evaluation framework for order-sorted equational programs modulo axiomsMaría Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. jlap, 110, 2020. [doi]
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion ProblemsJosé Meseguer, Joseph A. Goguen. iandc, 103(1):114-158, March 1993.
Verification of the IBOS Browser Security Properties in Reachability LogicStephen Skeirik, José Meseguer, Camilo Rocha. WRLA 2020: 176-196 [doi]
Folding variant narrowing and optimal variant terminationSantiago Escobar, Ralf Sasse, José Meseguer. jlp, 81(7-8):898-928, 2012. [doi]
Variant Narrowing and Equational UnificationSantiago Escobar, José Meseguer, Ralf Sasse. ENTCS, 238(3):103-119, 2009. [doi]
The Rewrite Rule Machine Node Architecture and Its PerformancePatrick Lincoln, José Meseguer, Livio Ricciulli. conpar 1994: 509-520
Theories of Homomorphic Encryption, Unification, and the Finite Variant PropertyFan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran. ppdp 2014: 123-133 [doi]
Principles of MaudeManuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer. ENTCS, 4:65-89, 1996. [doi]
Equational abstractionsJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet. TCS, 403(2-3):239-264, 2008. [doi]
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th BirthdayGul Agha, Olivier Danvy, José Meseguer, editors, Volume 7000 of Lecture Notes in Computer Science, Springer, 2011. [doi]
IBOS: A Correct-By-Construction Modular BrowserRalf Sasse, Samuel T. King, José Meseguer, Shuo Tang. facs2 2013: 224-241 [doi]
Associative Unification and Symbolic Reasoning Modulo Associativity in MaudeFrancisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. WRLA 2018: 98-114 [doi]
A rewriting-based inference system for the NRL protocol analyzer: grammar generationSantiago Escobar, Catherine Meadows, José Meseguer. ccs 2005: 1-12 [doi]
Rewriting Logic Semantics and Verification of Model TransformationsArtur Boronat, Reiko Heckel, José Meseguer. FASE 2009: 18-33 [doi]
Strong and Weak Operational Termination of Order-Sorted Rewrite TheoriesSalvador Lucas, José Meseguer. WRLA 2014: 178-194 [doi]
Towards a Strategy Language for MaudeNarciso Martí-Oliet, José Meseguer, Alberto Verdejo. ENTCS, 117:417-441, 2005. [doi]
Solving the Inheritance Anomaly in Concurrent Object-Oriented ProgrammingJosé Meseguer. ECOOP 1993: 220-246 [doi]
Model Checking LTLR Formulas under Localized FairnessKyungmin Bae, José Meseguer. WRLA 2012: 99-117 [doi]
Remarks on Remarks on Many-Sorted Equational LogicJoseph A. Goguen, José Meseguer. SIGPLAN, 22(4):41-48, 1987.

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

José Meseguer's Profile

Unidentified Publications