José Meseguer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Proving Safety Properties of Rewrite TheoriesCamilo Rocha, José Meseguer. calco 2011: 314-328 [doi]

2010

A Dependency Pair Framework for ::::A:::: OR ::::C::::-TerminationBeatriz Alarcón, Salvador Lucas, José Meseguer. wrla 2010: 35-51 [doi]

The Linear Temporal Logic of Rewriting Maude Model CheckerKyungmin Bae, José Meseguer. wrla 2010: 208-225 [doi]

An algebraic semantics for MOFArtur Boronat, José Meseguer. fac, 22(3-4):269-296, 2010. [doi]

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude SpecificationsFrancisco Durán, José Meseguer. wrla 2010: 69-85 [doi]

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite TheoriesFrancisco Durán, José Meseguer. wrla 2010: 86-103 [doi]

Folding Variant Narrowing and Optimal Variant TerminationSantiago Escobar, Ralf Sasse, José Meseguer. wrla 2010: 52-68 [doi]

Sequential Protocol Composition in Maude-NPASantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. esorics 2010: 303-318 [doi]

Coverset Induction with Partiality and Subsorts: A Powerlist Case StudyJoe Hendrix, Deepak Kapur, José Meseguer. itp 2010: 275-290 [doi]

vlogsl: A Strategy Language for Simulation-Based Verification of HardwareMichael Katelman, José Meseguer. hvc 2011: 129-145 [doi]

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital CircuitsMichael Katelman, Sean Keller, José Meseguer. wrla 2010: 140-156 [doi]

Algebraic simulationsJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet. jlp, 79(2):103-143, 2010. [doi]

Twenty Years of Rewriting LogicJosé Meseguer. wrla 2010: 15-17 [doi]

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time SystemsJosé Meseguer, Peter Csaba Ölveczky. icfem 2010: 303-320 [doi]

Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite TheoriesCamilo Rocha, José Meseguer. lpar 2010: 594-609 [doi]

A Formal Pattern Architecture for Safe Medical SystemsMu Sun, José Meseguer, Lui Sha. wrla 2010: 157-173 [doi]

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudePeter Csaba Ölveczky, Artur Boronat, José Meseguer. forte 2010: 47-62 [doi]

2009

Probabilistic Modeling and Analysis of DoS Protection for the ASV ProtocolMusab AlTurki, José Meseguer, Carl A. Gunter. ENTCS, 234:3-18, 2009. [doi]

Rewriting Logic Semantics and Verification of Model TransformationsArtur Boronat, Reiko Heckel, José Meseguer. FASE 2009: 18-33 [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]

Variant Narrowing and Equational UnificationSantiago Escobar, José Meseguer, Ralf Sasse. ENTCS, 238(3):103-119, 2009. [doi]

Operational Termination of Membership Equational Programs: the Order-Sorted WaySalvador Lucas, José Meseguer. ENTCS, 238(3):207-225, 2009. [doi]

A Rewriting Semantics for Maude StrategiesNarciso Martí-Oliet, José Meseguer, Alberto Verdejo. ENTCS, 238(3):227-247, 2009. [doi]

A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]

2008

A Modular Equational Generalization AlgorithmMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda. LOPSTR 2009: 24-39 [doi]

Reduction Semantics and Formal Analysis of Orc ProgramsMusab AlTurki, José Meseguer. ENTCS, 200(3):25-41, 2008. [doi]

An Algebraic Semantics for MOFArtur Boronat, José Meseguer. FASE 2008: 377-391 [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]

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.

Proving operational termination of membership equational programsFrancisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain. lisp, 21(1-2):59-88, 2008. [doi]

MTT: The Maude Termination Tool (System Description)Francisco Durán, Salvador Lucas, José Meseguer. cade 2008: 313-319 [doi]

Effectively Checking the Finite Variant PropertySantiago Escobar, José Meseguer, Ralf Sasse. RTA 2008: 79-93 [doi]

State Space Reduction in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. esorics 2008: 548-562 [doi]

Directed-Logical Testing for Functional Verification of MicroprocessorsMichael Katelman, José Meseguer, Santiago Escobar. memocode 2008: 89-100 [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]

Order-sorted dependency pairsSalvador Lucas, José Meseguer. ppdp 2008: 108-119 [doi]

Termination of just/fair computations in term rewritingSalvador Lucas, José Meseguer. iandc, 206(5):652-675, 2008. [doi]

Algebraic Stuttering SimulationsNarciso Martí-Oliet, José Meseguer, Miguel Palomino. ENTCS, 206:91-110, 2008. [doi]

Equational abstractionsJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet. TCS, 403(2-3):239-264, 2008. [doi]

Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, ProceedingsJosé Meseguer, Grigore Rosu, editors, Volume 5140 of Lecture Notes in Computer Science, Springer, 2008.

The Temporal Logic of Rewriting: A Gentle IntroductionJosé Meseguer. birthday 2008: 354-382 [doi]

Ugo Montanari in a NutshellRocco De Nicola, Pierpaolo Degano, José Meseguer. birthday 2008: 1-8 [doi]

Theorem Proving Modulo Based on Boolean Equational ProceduresCamilo Rocha, José Meseguer. RelMiCS 2008: 337-351 [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]

The Real-Time Maude ToolPeter Csaba Ölveczky, José Meseguer. TACAS 2008: 332-336 [doi]

2007

Real-time rewriting semantics of orcMusab AlTurki, José Meseguer. ppdp 2007: 131-142 [doi]

IntroductionManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 1-28 [doi]

User Interfaces and Metalanguage ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 523-555 [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]

Full Maude: Extending Core MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 559-597 [doi]

A Sampler of Application AreasManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 645-665 [doi]

System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]

Functional ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 61-118 [doi]

Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]

Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]

Metaprogramming ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 459-483 [doi]

Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]

Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]

Reflection, Metalevel Computation, and StrategiesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 419-458 [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]

Complete List of Maude CommandsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 737-749 [doi]

Syntax and Basic ParsingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 39-59 [doi]

Core Maude GrammarManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 751-756 [doi]

Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [doi]

Specifying Parameterized Data Structures in MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 307-338 [doi]

A Hierarchy of Data Types: From Trees to SetsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 119-129 [doi]

Model Checking Invariants Through SearchManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 373-384 [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]

The Maude Formal Tool EnvironmentManuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky. calco 2007: 173-178 [doi]

LTL Model CheckingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 385-418 [doi]

Object-Oriented ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 599-642 [doi]

Object-Based ProgrammingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 339-372 [doi]

Maude s module algebraFrancisco Durán, José Meseguer. SCP, 66(2):125-153, 2007. [doi]

Deduction, Strategies, and RewritingSteven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo. ENTCS, 174(11):3-25, 2007. [doi]

Symbolic Model Checking of Infinite-State Systems Using NarrowingSantiago Escobar, José Meseguer. RTA 2007: 153-168 [doi]

Narrowing and Rewriting Logic: from Foundations to ApplicationsSantiago Escobar, José Meseguer, Prasanna Thati. ENTCS, 177:5-33, 2007. [doi]

Equational Cryptographic Reasoning in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. ENTCS, 171(4):23-36, 2007. [doi]

Partial Order Reduction for Rewriting Semantics of Programming LanguagesAzadeh Farzan, José Meseguer. ENTCS, 176(4):61-78, 2007. [doi]

On the Completeness of Context-Sensitive Order-Sorted SpecificationsJoe Hendrix, José Meseguer. RTA 2007: 229-245 [doi]

A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and AnalysisMichael Katelman, José Meseguer. ENTCS, 176(4):47-60, 2007. [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]

The rewriting logic semantics projectJosé Meseguer, Grigore Rosu. TCS, 373(3):213-237, 2007. [doi]

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocolsJosé Meseguer, Prasanna Thati. lisp, 20(1-2):123-160, 2007. [doi]

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic SemanticsRalf Sasse, José Meseguer. ENTCS, 176(4):29-46, 2007. [doi]

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)Traian-Florin Serbanuta, Grigore Rosu, José Meseguer. ENTCS, 192(1):125-141, 2007. [doi]

Recent Advances in Real-Time MaudePeter Csaba Ölveczky, José Meseguer. ENTCS, 174(1):65-81, 2007. [doi]

Semantics and pragmatics of Real-Time MaudePeter Csaba Ölveczky, José Meseguer. lisp, 20(1-2):161-196, 2007. [doi]

Abstraction and Completeness for Real-Time MaudePeter Csaba Ölveczky, José Meseguer. ENTCS, 176(4):5-27, 2007. [doi]

2006

PMaude: Rewrite-based Specification Language for Probabilistic Object SystemsGul A. Agha, José Meseguer, Koushik Sen. ENTCS, 153(2):213-239, 2006. [doi]

Semantic foundations for generalized rewrite theoriesRoberto Bruni, José Meseguer. TCS, 360(1-3):386-414, 2006. [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]

State Space Reduction of Rewrite Theories Using Invisible TransitionsAzadeh Farzan, José Meseguer. amast 2006: 142-157 [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.

A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo AxiomsJoe Hendrix, José Meseguer, Hitoshi Ohsaki. cade 2006: 151-155 [doi]

From OBJ to Maude and BeyondJosé Meseguer. BIRTHDAY 2006: 252-280 [doi]

The Rewriting Logic Semantics ProjectJosé Meseguer, Grigore Rosu. ENTCS, 156(1):27-56, 2006. [doi]

Specification and Analysis of Distributed Object-Based Stochastic Hybrid SystemsJosé Meseguer, Raman Sharykin. hybrid 2006: 460-475 [doi]

Complete symbolic reachability analysis using back-and-forth narrowingPrasanna Thati, José Meseguer. TCS, 366(1-2):163-179, 2006. [doi]

Specification and analysis of the AER/NCA active network protocol suite in Real-Time MaudePeter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott. fmsd, 29(3):253-293, 2006. [doi]

2005

Real-Time Maude 2.1Peter Csaba Ölveczky, José Meseguer. ENTCS, 117:285-314, 2005. [doi]

PreviousNext