Stem maud$ (all stems)

91 papers:

FM-2015-Nakajima #behaviour #energy #maude #realtime #using

Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.

WRLA-2014-AguirreMPP #logic #maude

Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.

WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.

WRLA-2014-BartolettiMSZ #maude #modelling #verification

Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.

WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network #realtime

A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.

WRLA-2014-Olveczky #maude #realtime

Real-Time Maude and Its Applications (PCÖ), pp. 42–79.

WRLA-2014-Riesco #integration #maude

An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.

FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.

SAC-2013-Sobieski0 #maude #sql #term rewriting #using

Using maude rewriting system to modularize and extend SQL (SS, BZ), pp. 853–858.

FASE-2012-BaeOMA #maude

The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.

WRLA-2012-ArusoaieSER #interactive #maude

Making Maude Definitions More Interactive (AA, TFS, CE, GR), pp. 83–98.

WRLA-2012-BruniCGLV #adaptation #maude #modelling #self

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.

WRLA-2012-FadlisyahOA #analysis #formal method #modelling

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude (MF, PCÖ, EÁ), pp. 139–161.

WRLA-2012-LepriAO #maude #model checking #realtime

Timed CTL Model Checking in Real-Time Maude (DL, EÁ, PCÖ), pp. 182–200.

WRLA-2012-Riesco #maude #specification #using

Using Narrowing to Test Maude Specifications (AR), pp. 201–220.

WRLA-2012-WirsingEMM #analysis #architecture #design #maude

Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.

SEFM-2011-FadlisyahOA #analysis #formal method #hybrid #modelling #object-oriented

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, EÁ), pp. 415–430.

GT-VMT-2011-BoronatM #automation #case study #maude #uml

Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).

GT-VMT-2011-VandinL #graph #maude #model checking #towards

Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).

BX-2011-Boronat #consistency #detection #maude #modelling #nondeterminism #specification #using

Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.

LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.

PPDP-2011-EscobarKLMMNS #analysis #encryption #protocol #unification #using

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption (SE, DK, CL, CM, JM, PN, RS), pp. 65–76.

RTA-2011-DuranEEMT #maude #reachability #unification

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.

WRLA-2010-BaeM #linear #logic #maude #model checking

The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.

WRLA-2010-DuranM #equation #maude #order #specification

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.

WRLA-2010-DuranM10a #maude #order

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.

WRLA-2010-RiescoVM #debugging #maude #specification

Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.

WRLA-2010-SerbanutaR #named #programming language #semantics

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.

PADL-2010-Marti-Oliet #maude

An Introduction to Maude and Some of Its Applications (NMO), pp. 4–9.

LDTA-2009-RiescoR10 #implementation #maude #semantics

A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.

RTA-2010-RiescoVM #debugging #declarative #maude

Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.

WRLA-2008-BruniLM09 #design #maude

Hierarchical Design Rewriting with Maude (RB, ALL, UM), pp. 45–62.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

WRLA-2008-DuranO09 #implementation #maude #realtime

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.

WRLA-2008-GoriacCLAG09 #maude #metalanguage

Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.

WRLA-2008-HolenJW09 #calculus #first-order #maude #proving

Proof Search for the First-Order Connection Calculus in Maude (BH, EBJ, AW), pp. 173–188.

WRLA-2008-Marti-OlietMV09 #maude #semantics

A Rewriting Semantics for Maude Strategies (NMO, JM, AV), pp. 227–247.

WRLA-2008-RiescoV09 #implementation #maude #protocol

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol (AR, AV), pp. 249–266.

RTA-2009-ClavelDEELMMT #maude #unification

Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.

TACAS-2008-OlveczkyM #maude #realtime

The Real-Time Maude Tool (PCÖ, JM), pp. 332–336.

SLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #semantics #visual notation

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.

IJCAR-2008-DuranLM #maude #named #termination

MTT: The Maude Termination Tool (System Description) (FD, SL, JM), pp. 313–319.

ECSA-2007-JeradBG #architecture #maude #verification

Hierarchical Verification in Maude of L f P Software Architectures (CJ, KB, AGT), pp. 156–170.

WRLA-J-2004-OlveczkyM07 #maude #realtime #semantics

Semantics and pragmatics of Real-Time Maude (PCÖ, JM), pp. 161–196.

WRLA-2006-ChalubB07 #maude

Maude MSOS Tool (FC, CB), pp. 133–146.

WRLA-2006-DuranRV07 #distributed #implementation #maude #mobile

A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.

WRLA-2006-NeuhausserN07 #abstraction #erlang #maude #model checking #source code

Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.

WRLA-2006-OlveczkyM07a #abstraction #maude #realtime

Abstraction and Completeness for Real-Time Maude (PCÖ, JM), pp. 5–27.

WRLA-2006-Rodriguez07 #maude #modelling #network #on the

On Modelling Sensor Networks in Maude (DER), pp. 199–213.

TOOLS-EUROPE-2007-RomeroRDV #maude #modelling #tool support

Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.

FASE-2006-OlveczkyC #algorithm #analysis #maude #realtime #scheduling #simulation

Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.

SEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.

QAPL-2005-AghaMS06 #named #object-oriented #probability #specification

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (GAA, JM, KS), pp. 213–239.

WRLA-2004-DuranEL05 #evaluation #maude

New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.

WRLA-2004-Marti-OlietMV05 #maude #towards

Towards a Strategy Language for Maude (NMO, JM, AV), pp. 417–441.

WRLA-2004-MasonT05 #framework #interactive #maude #named

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.

WRLA-2004-OlveczkyM05 #maude #realtime

Real-Time Maude 2.1 (PCÖ, JM), pp. 285–314.

WRLA-2004-PalominoP05 #maude #model checking #proving

Proving VLRL Action Properties with the Maude Model Checker (MP, IP), pp. 113–133.

WRLA-2004-Wang05 #calculus #maude #model checking #μ-calculus

μ-Calculus Model Checking in Maude (BYW), pp. 135–152.

FASE-2004-OlveczkyM #analysis #maude #realtime #specification #using

Specification and Analysis of Real-Time Systems Using Real-Time Maude (PCÖ, JM), pp. 354–358.

EDOC-2004-RomeroV #formal method #maude #specification

Formalizing ODP Computational Viewpoint Specifications in Maude (JRR, AV), pp. 212–223.

LDTA-2003-SanchezCMN #coordination #named #specification

CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment (MS, PJC, JMM, JHN), pp. 643–658.

RTA-2003-ClavelDELMMT #maude

The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.

WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification

Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.

WRLA-J-1996-PitaM02 #maude #network #object-oriented #specification

A Maude specification of an object-oriented model for telecommunication networks (IP, NMO), pp. 407–439.

WRLA-2002-DuranV #maude #mobile

A Conference Reviewing System in Mobile Maude (FD, AV), pp. 127–143.

WRLA-2002-EkerMS #ltl #maude #model checking

The Maude LTL Model Checker (SE, JM, AS), pp. 162–187.

WRLA-2002-Rodriguez #maude #protocol

A Secret-Sharing Protocol Modelled in Maude (DER), pp. 223–239.

WRLA-2002-StehrT #maude #network #programming language #specification

Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.

WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus

An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.

WRLA-2002-VerdejoM #implementation #maude

Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.

FASE-2001-OlveczkyKMTZ #analysis #maude #network #protocol #realtime #specification

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude (PCÖ, MK, JM, CLT, SZ), pp. 333–348.

FASE-2000-ClavelDELMMQ #maude #using

Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.

WRLA-2000-BasinD #analysis #comparison #haskell #maude #protocol #security

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (DAB, GD), pp. 235–256.

WRLA-2000-ClavelDELMMQ #maude #towards

Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.

WRLA-2000-ClavelDM #maude #programming

Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.

WRLA-2000-DuranM #maude

Parameterized Theories and Views in Full Maude 2.0 (FD, JM), pp. 316–338.

WRLA-2000-MasonT #maude #network #protocol #simulation

Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.

WRLA-2000-OlveczkyM #hybrid #maude #realtime #simulation

Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.

WRLA-2000-Rodriguez #analysis #case study #maude #protocol #specification

Case Studies in the Specification and Analysis of Protocols in Maude (DER), pp. 257–273.

WRLA-2000-VerdejoPM #maude #protocol

The Leader Election Protocol of IEEE 1394 in Maude (AV, IP, NMO), pp. 383–404.

RTA-2000-Meseguer #concept #logic #maude

Rewriting Logic and Maude: Concepts and Applications (JM), pp. 1–26.

FM-v2-1999-ClavelDEMS #maude

Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.

RTA-1999-ClavelDELMMQ #maude

The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.

WRLA-1998-Clavel #logic #maude

Reflection in general logics, rewriting logic, and Maude (MC), pp. 71–82.

WRLA-1998-ClavelDELMM #maude

Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.

WRLA-1998-ClavelDELMMQ #maude #metalanguage

Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.

WRLA-1998-DuranM #algebra #maude

An extensible module algebra for Maude (FD, JM), pp. 174–195.

RWLW-1996-ClavelELM #maude

Principles of Maude (MC, SE, PL, JM), pp. 65–89.

RWLW-1996-Lechner #calculus #distributed #maude #object-oriented #specification #μ-calculus

Object-oriented specifications of distributed systems in the μ-Calculus and Maude (UL), pp. 385–404.

RWLW-1996-PitaM #database #maude #network #object-oriented #specification

A Maude specification of an object-oriented database model for telecommunication networks (IP, NMO), pp. 405–423.