Jose Meseguer | Academic Influence

Jose Meseguer's AcademicInfluence.com Rankings

Jose Meseguer

Computer Science

#1136

World Rank

#1176

Historical Rank

Software Engineering

#68

World Rank

#68

Historical Rank

Database

#608

World Rank

#638

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Jose Meseguer's Degrees

PhD Computer Science Complutense University of Madrid

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Jose Meseguer Influential?

(Suggest an Edit or Addition)

According to Wikipedia, José Meseguer is a Spanish computer scientist, and professor at the University of Illinois at Urbana–Champaign. He leads the university's Formal Methods and Declarative Languages Laboratory. Career José Meseguer obtained his PhD in mathematics in 1975 with a thesis titled Primitive recursion in model categories under Michael Pfender at the University of Zaragoza, after which he did post-doctoral work at the University of Santiago de Compostela and the University of California at Berkeley. In 1980 he joined the Computer Science Laboratory at SRI International, eventually becoming a Principal Scientist and Head of the Logic and Declarative Languages Group. He joined the University of Illinois in 2001 and currently is Professor of Computer Science, where he leads their Formal Methods and Declarative Languages Laboratory.

(See a Problem?)

Jose Meseguer's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Security Policies and Security Models (1982) (2295)
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic (2007) (1002)
Maude: specification and programming in rewriting logic (2002) (894)
Conditioned Rewriting Logic as a United Model of Concurrency (1992) (858)
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations (1992) (588)
Principles of OBJ2 (1985) (570)
Unwinding and Inference Control (1984) (486)
Membership algebra as a logical framework for equational specification (1997) (454)
Petri Nets Are Monoids (1990) (426)
Rewriting logic as a logical and semantic framework (1996) (357)
The Maude 2.0 System (2003) (323)
EQLOG: Equality, Types, and Generic Modules For Logic Programming (1986) (302)
Principles of Maude (1996) (299)
A logical theory of concurrent objects and its realization in the Maude language (1993) (295)
Initiality, induction, and computability (1986) (277)
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics (1987) (277)
The Maude LTL Model Checker (2004) (258)
Specification and proof in membership equational logic (1997) (251)
Semantics and pragmatics of Real-Time Maude (2007) (243)
Rewriting logic: roadmap and bibliography (2002) (231)
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (2009) (207)
From Petri nets to linear logic (1989) (192)
General Logics (2006) (184)
Order-Sorted Equational Computation (1989) (183)
Rewriting as a unified model of concurrency (1990) (177)
Pathway Logic: Symbolic Analysis of Biological Signaling (2001) (176)
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (1982) (174)
The Rewriting Logic Semantics Project (2006) (170)
Twenty years of rewriting logic (2010) (169)
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report (1996) (169)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (2006) (168)
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming (1984) (160)
Semantic foundations for generalized rewrite theories (2006) (155)
Completeness of many-sorted equational logic (1981) (153)
Models and Equality for Logical Programming (1987) (150)
A logical theory of concurrent objects (1990) (143)
Completeness of many-sorted equational logic (1982) (133)
The Maude System (1999) (131)
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems (1993) (130)
Formal Analysis of Java Programs in JavaFAN (2004) (127)
Operational Semantics for Order-Sorted Algebra (1985) (125)
Specification of real-time and hybrid systems in rewriting logic (2002) (124)
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties (2006) (116)
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (2007) (116)
An algebraic semantics for MOF (2008) (112)
Reflection and strategies in rewriting logic (1996) (112)
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool (2011) (109)
Axiomatizing net computations and processes (1989) (108)
Folding variant narrowing and optimal variant termination (2010) (106)
Equational abstractions (2008) (104)
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming (1993) (103)
Temporal Structures (1989) (100)
Towards a Strategy Language for Maude (2005) (100)
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (2004) (99)
An Introduction to OBJ 3 (1988) (98)
A rewriting logic approach to operational semantics (2009) (96)
The Maude LTL Model Checker and Its Implementation (2003) (95)
Operational termination of conditional term rewriting systems (2005) (95)
May I Borrow Your Logic? (Transporting Logical Structures Along Maps) (1997) (93)
Petri nets are monoids: a new algebraic foundation for net theory (1988) (92)
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude (2010) (85)
Building Equational Proving Tools by Reflection in Rewriting Logic (2000) (84)
Research Directions in Rewriting Logic (1999) (83)
Rewriting Logic as a Unifying Framework for Petri Nets (2001) (82)
Proving operational termination of membership equational programs (2008) (77)
Maude as a Formal Meta-tool (1999) (75)
On the Semantics of Petri Nets (1992) (74)
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude (2001) (73)
Concurrent term rewriting as a model of computation (1986) (72)
Symbolic Model Checking of Infinite-State Systems Using Narrowing (2007) (71)
Rapid prototyping: in the OBJ executable specification language (1982) (71)
Order-Sorted Unification (1989) (70)
Rewriting Logic Semantics and Verification of Model Transformations (2009) (69)
On the semantics of place/transition Petri nets (1997) (69)
Deduction, Strategies, and Rewriting (2007) (68)
Generalized Rewrite Theories (2003) (68)
Axiomatizing Reflective Logics and Languages (1996) (66)
Modular Rewriting Semantics of Programming Languages (2004) (65)
Rewriting modulo SMT and open system analysis (2014) (62)
Process versus Unfolding Semantics for Place/Transition Petri Nets (1996) (62)
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems (2000) (62)
Reflection in conditional rewriting logic (2002) (61)
Semantic Models for Distributed Object Reflection (2002) (61)
Mapping tile logic into rewriting logic (1997) (61)
From Petri Nets to Linear Logic through Categories: A Survey (1991) (61)
Abstraction and Completeness for Real-Time Maude (2007) (59)
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (2000) (59)
The Temporal Logic of Rewriting: A Gentle Introduction (2008) (57)
Implementing logical synchrony in integrated modular avionics (2009) (56)
Proving termination of membership equational programs (2004) (55)
Multiparadigm Logic Programming (1992) (55)
Formalization and correctness of the PALS architectural pattern for distributed real-time systems (2010) (55)
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking (2008) (55)
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (2012) (54)
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing (2013) (53)
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic (2004) (53)
Formal specification and analysis of active networks and communication protocols: the Maude experience (2000) (53)
MTT: The Maude Termination Tool (System Description) (2008) (53)
Principles of Mobile Maude (2000) (52)
Parameterized programming in OBJ2 (1987) (51)
Specification and Analysis of Real-Time Systems Using Real-Time Maude (2004) (51)
A Systematic Approach to Uncover Security Flaws in GUI Logic (2007) (50)
A formal executable semantics of Verilog (2010) (49)
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (2010) (49)
The Real-Time Maude Tool (2008) (48)
The rewriting logic semantics project: A progress report (2011) (47)
Stable Availability under Denial of Service Attacks through Formal Patterns (2012) (47)
PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ. (1983) (47)
What Is a Multi-modeling Language? (2009) (47)
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability) (2001) (46)
Equality, Types, Modules and Generics for Logic Programming (1984) (46)
Operational Semantics of OBJ-3 (Extended Abstract) (1988) (45)
The Maude Formal Tool Environment (2007) (45)
Parallel Programmming in Maude (1991) (45)
A logical semantics for object-oriented databases (1993) (44)
Variant-Based Satisfiability in Initial Algebras (2015) (44)
Formal Specification and Verification of Java Refactorings (2006) (44)
A Rewriting Based Model for Probabilistic Distributed Object Systems (2003) (44)
Termination Modulo Combinations of Equational Theories (2009) (44)
Formal JVM Code Analysis in JavaFAN (2004) (43)
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA (2014) (43)
Variant Narrowing and Equational Unification (2009) (43)
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic (1994) (43)
General logics and logical frameworks (1994) (42)
Structured Theories and Institutions (2003) (42)
Extensions and foundations of object-oriented programming (1986) (42)
An extensible module algebra for Maude (1998) (42)
Metalevel computation in Maude (1998) (42)
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic (2002) (42)
State space reduction in the Maude-NRL Protocol Analyzer (2008) (40)
Towards Maude 2.0 (2000) (40)
Process and Term Tile Logic (1998) (39)
PALS: Physically Asynchronous Logically Synchronous Systems (2009) (39)
Remarks on remarks on many-sorted equational logic (1987) (39)
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol (2009) (39)
A modular order-sorted equational generalization algorithm (2014) (39)
Software component search (1996) (38)
Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories (2005) (37)
From Abstract Data Types to Logical Frameworks (1994) (36)
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms (2006) (36)
Action and Change in Rewriting Logic (1999) (36)
Algebraic Semantics of OCL-Constrained Metamodel Specifications (2009) (36)
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems (2006) (34)
A Rewriting Semantics for Maude Strategies (2009) (34)
Modular Rewriting Semantics in Practice (2005) (34)
Formal Modeling: Actors, Open Systems, Biological Systems (2011) (34)
Functorial Models for Petri Nets (2001) (34)
May I Borrow Your Logic? (1993) (34)
Rewriting Semantics of Meta-Objects and Composable Distributed Services (2000) (33)
Conditional Rewriting Logic: Deduction, Models and Concurrency (1990) (33)
Unification and Narrowing in Maude 2.4 (2009) (33)
Proving Safety Properties of Rewrite Theories (2011) (33)
A Comparison of Petri Net Semantics under the Collective Token Philosophy (1998) (32)
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns (2008) (32)
Rewriting Logic as a Metalogical Framework (2000) (32)
Towards a Verification Logic for Rewriting Logic (1999) (32)
Formal Modeling and Analysis of Cassandra in Maude (2014) (32)
Model checking linear temporal logic of rewriting formulas under localized fairness (2015) (32)
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper (2013) (31)
Rewriting Logic and Maude: Concepts and Applications (2000) (31)
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (2010) (31)
Maude as a metalanguage (1998) (31)
Maude's module algebra (2007) (31)
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (2012) (31)
Quantitative Analysis of Consistency in NoSQL Key-Value Stores (2015) (30)
Mapping Modular SOS to Rewriting Logic (2002) (30)
A Sufficient Completeness Reasoning Tool for Partial Specifications (2005) (30)
Order completion monads (1983) (30)
Real-time rewriting semantics of orc (2007) (29)
Software for the Rewrite Rule Machine (1988) (29)
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer (2007) (29)
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic (2000) (29)
Decision procedures for equationally based reasoning (2008) (29)
Compiling Concurrent Rewriting onto the Rewrite Rule Machine (1990) (29)
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study (2015) (28)
Representation Theorems for Petri Nets (1997) (28)
Normal forms and normal theories in conditional rewriting (2016) (28)
On the Axiomatization of "If-Then-Else" (1987) (28)
Formal modeling and analysis of RAMP transaction systems (2016) (28)
Functorial semantics for Petri nets under the individual token philosophy (1999) (27)
Reflective metalogical frameworks (2004) (27)
State Space Reduction of Rewrite Theories Using Invisible Transitions (2006) (27)
Relating models of polymorphism (1989) (27)
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (2007) (27)
On Order-Complete Universal Algebra and Enriched Functorial Semantics (1977) (27)
Order-Sorted Generalization (2009) (27)
Strict coherence of conditional rewriting modulo axioms (2017) (27)
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (2006) (26)
A Partial Order Event Model for Concurrent Objects (1999) (26)
A rewriting-based inference system for the NRL protocol analyzer: grammar generation (2005) (26)
Real-Time Maude 2.1 (2005) (25)
A Constructor-Based Reachability Logic for Rewrite Theories (2017) (25)
Internal strategies in a rewriting implementation of tile systems (1998) (25)
Varieties of chain-complete algebras☆ (1980) (25)
Operational Termination of Membership Equational Programs: the Order-Sorted Way (2009) (25)
Synchronous AADL and Its Formal Analysis in Real-Time Maude (2011) (24)
Specification and Formal Analysis of a PLAN Algorithm in Maude (2000) (24)
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework (2004) (23)
Statistical Model Checking for Composite Actor Systems (2012) (23)
Reduction Semantics and Formal Analysis of Orc Programs (2008) (23)
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA (2010) (23)
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis (2010) (23)
On the Model of Computation of Place/Transition Petri Nets (1994) (23)
Natural Narrowing for General Term Rewriting Systems (2004) (22)
Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude (2017) (22)
The Linear Temporal Logic of Rewriting Maude Model Checker (2010) (22)
Partial Order Reduction for Rewriting Semantics of Programming Languages (2007) (22)
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (2008) (22)
A Modular Equational Generalization Algorithm (2009) (22)
Theoroidal Maps as Algebraic Simulations (2004) (22)
Localized Fairness: A Rewriting Semantics (2005) (21)
Axiomatizing the algebra of net computations and processes (1996) (21)
Parameterized Theories and Views in Full Maude 2.0 (2000) (21)
Generalized rewrite theories, coherence completion, and symbolic methods (2020) (20)
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines (1994) (20)
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption (2011) (20)
Specification and Analysis of a Reliable Broadcasting Protocol in Maude (1999) (20)
Specifying real-time systems in rewriting logic (1996) (20)
Stability of long liquid columns (1984) (19)
Order-sorted dependency pairs (2008) (19)
Probabilistic Rewrite Theories: Unifying Models, Logics and Tools (2003) (19)
Sufficient Completeness Checking with Propositional Tree Automata (2005) (19)
Specification, Algebra, and Software (2014) (19)
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions (2012) (19)
An algebraic axiomatization of linear logic models (1991) (18)
Sequential Protocol Composition in Maude-NPA (2010) (18)
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (2016) (18)
Algebraic simulations (2010) (18)
On the Completeness of Context-Sensitive Order-Sorted Specifications (2007) (18)
Order-sorted Equational Unification Revisited (2012) (18)
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude (2018) (17)
Effectively Checking the Finite Variant Property (2008) (17)
Executable Tile Specifications for Process Calculi (1999) (17)
A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (2007) (17)
A Dependency Pair Framework for A OR C-Termination (2010) (17)
The Rewrite Rule Machine Node Architecture and Its Performance (1994) (17)
A Framework for Mobile Ad hoc Networks in Real-Time Maude (2014) (17)
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking (2017) (16)
Variants of Variants and the Finite Variant Property (2014) (16)
Taming distributed system complexity through formal patterns (2011) (16)
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (2013) (16)
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (2011) (16)
Definition, Semantics, and Analysis of Multirate Synchronous AADL (2014) (16)
Model-Checking DoS Amplification for VoIP Session Initiation (2009) (16)
Narrowing and Rewriting Logic: from Foundations to Applications (2007) (16)
Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer (2006) (16)
Dependency pairs for proving termination properties of conditional term rewriting systems (2017) (15)
2D Dependency Pairs for Proving Operational Termination of CTRSs (2014) (15)
Architectural Design of the Rewrite Rule Machine Ensemble (1991) (15)
Infinite-State Model Checking of LTLR Formulas Using Narrowing (2014) (15)
Rewriting logic and Maude (invited speaker): a wide-spectrum semantic framework for object-based distributed systems (2000) (15)
Metalevel Algorithms for Variant Satisfiability (2016) (15)
Axiomatizing the algebra of net computations and processes (1996) (15)
The SynchAADL2Maude Tool (2012) (15)
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (2012) (14)
Models for Logics and Conditional Constraints in Automated Proofs of Termination (2014) (14)
Modeling and analyzing mobile ad hoc networks in Real-Time Maude (2016) (14)
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation (2009) (14)
The Rewrite Rule Machine Project (1989) (14)
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (2007) (14)
Order-sorted equality enrichments modulo axioms (2012) (14)
Complete symbolic reachability analysis using back-and-forth narrowing (2005) (13)
Theorem Proving Modulo Based on Boolean Equational Procedures (2008) (13)
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability (1992) (13)
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude (2019) (13)
The Temporal Logic of Rewriting (2007) (13)
State/Event-Based LTL Model Checking under Parametric Generalized Fairness (2011) (13)
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers (2008) (13)
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (2018) (13)
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude (2015) (13)
Formal Modeling and Analysis of the Walter Transactional Data Store (2018) (13)
A Rewriting Logic Sampler (2005) (12)
Constrained narrowing for conditional equational theories modulo axioms (2015) (12)
Proving Operational Termination of Declarative Programs in General Logics (2014) (12)
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories (2010) (12)
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability (1987) (12)
A Categorical Approach to Simulations (2005) (12)
A Graphical User Interface for Maude-NPA (2009) (12)
Formal Analysis of Leader Election in MANETs Using Real-Time Maude (2015) (11)
A Total Approach to Partial Algebraic Specification (2002) (11)
Rewrite Rule Machine. (1986) (11)
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (2014) (11)
Algebraic Semantics of EMOF/OCL Metamodels (2007) (11)
Strand spaces with choice via a process algebra semantics (2016) (11)
Inclusions and Subtypes I: First-Order Case (1996) (11)
MOMENT2: EMF Model Transformations in Maude (2009) (11)
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets (1986) (11)
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs (2020) (11)
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms (2016) (10)
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (2014) (10)
A Formal Pattern Architecture for Safe Medical Systems (2010) (10)
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (2019) (10)
Model Checking LTLR Formulas under Localized Fairness (2012) (10)
Order-Sorted Parameterization and Induction (2009) (10)
Simulation and performance estimation for the Rewrite Rule Machine (1992) (10)
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements (2007) (9)
Using Maude (2000) (9)
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes (1981) (9)
Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings (2006) (9)
A partial evaluation framework for order-sorted equational programs modulo axioms (2020) (9)
Tiling Transactions in Rewriting Logic (2004) (9)
Analysis of the IBM CCA Security API Protocols in Maude-NPA (2014) (9)
Inclusions and Subtypes II: Higher-Order Case (1996) (9)
IMPLEMENTING TILE SYSTEMS : SOME EXAMPLES FROM PROCESS CALCULIR (1998) (9)
Formal patterns for multirate distributed real-time systems (2014) (9)
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (2001) (9)
Incremental checking of well-founded recursive specifications modulo axioms (2011) (9)
IBOS: A Correct-By-Construction Modular Browser (2012) (8)
A Verification Logic for Rewriting Logic (2005) (8)
Automata in semimodule categories (1974) (8)
Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science. (1996) (8)
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware (2010) (8)
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude (2012) (8)
Towards Behavioral Maude: Behavioral Membership Equational Logic (2002) (8)
Directed-Logical Testing for Functional Verification of Microprocessors (2008) (8)
Equational formulas and pattern operations in initial order-sorted algebras (2015) (8)
Order-Sorted Rewriting and Congruence Closure (2016) (7)
Formal Patterns for Multi-rate Distributed Real-Time Systems (2012) (7)
Formal modeling actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday (2011) (7)
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance (2019) (7)
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (2015) (7)
A Logical Framework for Distributed Systems and Communication Protocols (1998) (7)
Analysis of the PKCS#11 API Using the Maude-NPA Tool (2015) (7)
Semantics of Transient Connectors in Rewriting Logic (1998) (7)
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family (2010) (7)
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (2010) (7)
Correctness of Recursive Parallel Nondeterministic Flow Programs (1983) (7)
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control (2010) (7)
Predicate Abstraction of Rewrite Theories (2014) (7)
The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors (2018) (7)
Rewriting semantics of production rule sets (2012) (6)
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms (2020) (6)
From OBJ to Maude and Beyond (2006) (6)
Correctness of Recursive Flow Diagram Programs (1977) (6)
Five Isomorphic Boolean Theories and Four Equational Decision Procedures (2007) (6)
Localized Operational Termination in General Logics (2015) (6)
THE REWRITE RULE MACHINE, 1988 (1989) (6)
A rewriting-based forwards semantics for Maude-NPA (2014) (6)
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories (2014) (6)
Maude as a wide-spectrum framework for formal modeling and analysis of active networks (2002) (6)
Symbolic Reasoning Methods in Rewriting Logic and Maude (2018) (6)
Primitive recursive algebraic theories and program schemes (1977) (6)
Termination of Fair Computations in Term Rewriting (2005) (6)
Automated Model Synchronization: A Case Study on UML with Maude (2011) (6)
Distributed simulation of parallel executions (1996) (6)
LTL Model Checking (2007) (6)
Certifying and Synthesizing Membership Equational Proofs (2003) (5)
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (2014) (5)
Ground confluence of order-sorted conditional specifications modulo axioms (2020) (5)
Theoretical Computer Science: Preface (2002) (5)
Generalized Rewrite Theories and Coherence Completion (2018) (5)
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates (2017) (5)
Composing and Controlling Search in Reasoning Theories Using Mappings (2000) (5)
Security models in rewriting logic for cryptographic protocols and browsers (2012) (5)
ω-Inductive completion of monoidal categories and infinite petri net computations (1993) (5)
Verification of microarchitectural refinements in rule-based systems (2011) (5)
Executable computational logics: combining formal methods and programming language based system design (2003) (5)
Static and dynamic formal analysis of concurrent systems and languages: a semantics-based approach (2007) (5)
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA (2018) (5)
Mapping OMRS to rewriting logic (1998) (5)
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (2014) (4)
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (2020) (4)
Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi (2014) (4)
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study (2010) (4)
Deduction with many-sorted rewrite (1985) (4)
Algebraic Stuttering Simulations (2008) (4)
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures (2010) (4)
Functorial Semantics of Rewrite Theories (2005) (4)
OBJ-1, A Study in Executable Algebraic Formal Specification. (1981) (4)
Rewriting Modulo SMT (2013) (4)
Natural Rewriting for General Term Rewriting Systems (2004) (4)
Verification of the IBOS Browser Security Properties in Reachability Logic (2020) (4)
The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques (2020) (4)
Rewriting Logic Semantics of Orc (2007) (4)
Execution-Driven Distributed Simulation of Parallel Architectures (2005) (4)
A meta-language for functional verification (2011) (4)
Effectively Checking or Disproving the Finite Variant Property (2008) (4)
Effective Sequential Protocol Composition in Maude-NPA (2016) (4)
Variants in the Infinitary Unification Wonderland (2020) (4)
Reflection, Metalevel Computation, and Strategies (2007) (4)
Order-sorted equational generalization algorithm revisited (2021) (4)
Termination of just/fair computations in term rewriting (2008) (4)
Mechanized Reasoning Systems : a Preliminary Report ? (1998) (3)
Recent Advances in Real-Time Maude (2007) (3)
A Systematic Approach to Uncover GUI Logic Flaws for Web Security (2006) (3)
State Space c-Reductions of Concurrent Systems in Rewriting Logic (2012) (3)
Formal Design of Cloud Computing Systems in Maude (2018) (3)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (H. Ehrig and B. Mahr) (1987) (3)
Functional Modules (2007) (3)
Functorial models for contextual pre-nets (2002) (3)
Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015) (3)
A Hierarchy of Data Types: From Trees to Sets (2007) (3)
Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories (2010) (3)
Source Code for an Executable Formal Semantics of Production Rule Sets in Maude; with Examples (2010) (3)
A Rewrite Rule Machine. Models of Computation for the Rewrite Rule Machine. (1986) (3)
Variant Narrowing and Extreme Termination (2009) (3)
Probabilistic Rewrite Theories (2003) (3)
Finding safe paths in a faulty environment (1982) (2)
Web Services and Interoperability for the Maude Termination Tool (2009) (2)
A Strategy Language for Testing Register Transfer Level Logic (2009) (2)
Algebras with actions and automata (1982) (2)
Full Maude: Extending Core Maude (2007) (2)
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms (2018) (2)
Ugo Montanari in a Nutshell (2008) (2)
Variant Satisfiability of Parameterized Strings (2020) (2)
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description) (2022) (2)
Foundations of Security, Protocols, and Equational Reasoning (2019) (2)
Proving Ground Confluence of Equational Specifications Modulo Axioms (2018) (2)
Symbolic Computation in Maude: Some Tapas (2020) (2)
Computational Logical Frameworks and Generic Program Analysis Technologies (2005) (2)
Functorial Semantics for Petri Nets (2001) (2)
Protocol Analysis with Time (2020) (2)
The dynamics of small annular jets (1988) (2)
Debugging and Troubleshooting (2007) (1)
Introduction (2007) (1)
Some Tools (2019) (1)
A New Distributed Transaction Protocol and Its Formal Analysis in Maude (2018) (1)
Termination Modulo Combinations of Equational Theories ( Long Version ) (2009) (1)
Maude: A Wide Spectrum Language for Secure Active Networks (2002) (1)
On the Semantics of GAEA (1998) (1)
Maude (2000) (1)
Modular Verification of Sequential Composition for Private Channels in Maude-NPA (2018) (1)
System Modules (2007) (1)
Why OOP needs new semantic foundations (1996) (1)
Algebraic Theories for Contextual Pre-nets (2003) (1)
The Maude Termination Assistant (2019) (1)
Specication and Analysis of the AER/NCA Active Network Protocol Suite in (2001) (1)
20 Years of Rewriting Logic (2012) (1)
Extensible Symbolic System Analysis ∗ (2014) (1)
Equational Programming (A Study in Executable Algebraic Formal Specification). (1986) (1)
Specifying, Analyzing and Programming Communication Systems in Maude (2000) (1)
Strategic Reeection ? (1998) (1)
Mobile Maude (2007) (1)
Maude-NPA version 3.1 (2018) (1)
Proceedings of the 12th international conference on Algebraic Methodology and Software Technology (2008) (1)
Predefined Data Modules (2007) (1)
Equational formulas and pattern operations in initial order-sorted algebras (2017) (1)
Maude ITP 2 . 0 Tutorial (2009) (1)
Complete List of Maude Commands (2007) (1)
A WIDE-SPECTRUM SEMANTIC FRAMEWORK FOR OBJECT-BASED DISTRIBUTED SYSTEMS (2012) (1)
Logics and Models for Concurrency and Type Theory (1992) (0)
Semantic interoperation of open systems (2000) (0)
Specification and Semantics (Dagstuhl Seminar 9628) (2021) (0)
Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude (2016) (0)
Automatic Generation of CINNI Instances for the Maude System (2011) (0)
Model Checking Invariants Through Search (2007) (0)
Rewrite Rule Machine project. Final report (1989) (0)
C Proof of Theorem 4 . 1 a Proof of Theorem 3 . 1 (1994) (0)
A Sampler of Application Areas (2007) (0)
Information Systems as Reactive Systems (Dagstuhl Seminar 98071) (2021) (0)
What ’ s New in Maude 2 . 4 (2007) (0)
Formal Specification of Button-Related Fault-Tolerance Micropatterns (2014) (0)
Formal Modeling and Analysis of RAMP Transaction Systems in Maude (2016) (0)
Proof of Concept for the Rewrite Rule Machine: Interensemble Studies (1994) (0)
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (2022) (0)
Formal Modeling and Analysis of Leader Election in MANETs (2015) (0)
Some New Features in Maude 2 . 0 (0)
Enhancing Safety and Security of Distributed Systems through Formal Patterns (2012) (0)
5 Concluding Remarks 4 a Semantics for Oodb 4.1 Schemas and Databases 4.2 Inheritance State $ Term $ Proposition Transition $ Rewriting $ Deduction 3.4 Initial Model Semantics (1993) (0)
Incremental Checking of Well-Founded Recursive Speci cations Modulo Axioms ? Technical Report (2011) (0)
Object-Oriented Modules (2007) (0)
2 Background : Real-Time Maude and Synchronous AADL (2012) (0)
WRLA 2000 Preliminary Version Towards Maude 2 . 0 ? (2000) (0)
Module Operations (2007) (0)
Formal Design of Cloud Computing Systems in (2018) (0)
Preliminary Version The Rewriting Logic Semantics Project (2005) (0)
User Interfaces and Metalanguage Applications (2007) (0)
Preface (2002) (0)
Bridging the semantic gap between qualitative and quantitative models of distributed systems (2022) (0)
SPECIFICATION OF DISTRIBUTED INFORMATION SYSTEMS (2008) (0)
Proving Safety Properties of Rewrite Theories Technical Report November 2010 (2011) (0)
Specifying Parameterized Data Structures in Maude (2007) (0)
° 1 V General Logics (0)
Joseph Goguen (1941-2006) (2006) (0)
The Maude LTL LBMC Tool Tutorial (2012) (0)
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications (2016) (0)
Natural Rewriting and Narrowing for General Term Rewriting Systems (2008) (0)
Variant-Based Satisfiability (2015) (0)
A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude (2017) (0)
Foundations and extensions of object-oriented programming (abstract only) (1986) (0)
MIMD Lattice Computation (2011) (0)
Completeness of Real-Time Maude Analysis ( Extended Version ) ? (2006) (0)
Set Theory and Algebra in Computer Science A Gentle Introduction to Mathematical Modeling (2013) (0)
Specification of Distributed Information Systems (Dagstuhl Seminar 00081) (2021) (0)
Report on ETAPS 2000 (2001) (0)
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method (2019) (0)
Syntax and Basic Parsing (2007) (0)
ALGEBRAS WITH ACTIONSANDAUTOMATA (1982) (0)
The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques (2020) (0)
Preface (1996) (0)
Checking Sufficient Completeness by Inductive Theorem Proving (2022) (0)
Preface: Volume 4 (1996) (0)
Real-Time Specifications Formalism with States : Application to VHDL Semantics (2008) (0)
Contents and abstracts of the electronic notes in theoretical computer science vol. 4 (1998) (0)
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings (2008) (0)
Object-Oriented Design and Specification (1992) (0)
Virtual Single-Core for Multicore Real-Time Computing (2020) (0)
Metaprogramming Applications (2007) (0)
Modeling and Analyzing Mobile Ad hoc Networks in Real-Time (2018) (0)
Object-Based Programming (2007) (0)
Core Maude Grammar (2007) (0)
Protocol Analysis with Time and Space (2021) (0)
Report on NSF Workshop on Symbolic Computation for Constraint Satisfaction November 14 , 2008 (2008) (0)
An Efficient Canonical Narrowing Implementation for Protocol Analysis (2022) (0)

This paper list is powered by the following services:

Other Resources About Jose Meseguer

en.wikipedia.org

What Schools Are Affiliated With Jose Meseguer?

Jose Meseguer is affiliated with the following schools: