BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
maude
Google maude

Tag #maude

88 papers:

FASEFASE-2016-RiescoOF #interpreter #named
CafeInMaude: A CafeOBJ Interpreter in Maude (AR0, KO0, KF), pp. 377–380.
IJCARIJCAR-2016-DuranEEMMT #generative #unification
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.
FMFM-2015-Nakajima #behaviour #energy #realtime #using
Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
LOPSTRLOPSTR-2015-RiescoAA #analysis #memory management #policy #semantics #specification
Memory Policy Analysis for Semantics Specifications in Maude (AR0, IMA, MA), pp. 293–310.
FLOPSFLOPS-2014-Riesco #debugging #declarative #semantics #using
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.
WRLAWRLA-2014-AguirreMPP #logic
Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.
WRLAWRLA-2014-AlrahmanABL #concurrent #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.
WRLAWRLA-2014-BartolettiMSZ #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
WRLAWRLA-2014-LiuOM #ad hoc #framework #mobile #network #realtime
A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
WRLAWRLA-2014-Olveczky #realtime
Real-Time Maude and Its Applications (PCÖ), pp. 42–79.
WRLAWRLA-2014-Riesco #integration
An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.
SACSAC-2013-Sobieski0 #sql #term rewriting #using
Using maude rewriting system to modularize and extend SQL (SS, BZ), pp. 853–858.
FASEFASE-2012-BaeOMA
The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.
WRLAWRLA-2012-ArusoaieSER #interactive
Making Maude Definitions More Interactive (AA, TFS, CE, GR), pp. 83–98.
WRLAWRLA-2012-BruniCGLV #adaptation #modelling #self
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.
WRLAWRLA-2012-LepriAO #model checking #realtime
Timed CTL Model Checking in Real-Time Maude (DL, , PCÖ), pp. 182–200.
WRLAWRLA-2012-Riesco #specification #using
Using Narrowing to Test Maude Specifications (AR), pp. 201–220.
WRLAWRLA-2012-WirsingEMM #analysis #architecture #design
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.
RTARTA-2011-DuranEEMT #reachability #unification
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
GT-VMTGT-VMT-2011-BoronatM #automation #case study #uml
Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).
GT-VMTGT-VMT-2011-VandinL #graph #model checking #towards
Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).
BXBX-2011-Boronat #consistency #detection #modelling #nondeterminism #specification #using
Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.
LOPSTRLOPSTR-2011-CaballeroRVM #debugging #declarative #proving
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
RTARTA-2010-RiescoVM #debugging #declarative
Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.
PADLPADL-2010-Marti-Oliet
An Introduction to Maude and Some of Its Applications (NMO), pp. 4–9.
LDTALDTA-2009-RiescoR10 #implementation #semantics
A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.
WRLAWRLA-2010-BaeM #linear #logic #model checking
The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.
WRLAWRLA-2010-DuranM #equation #order #specification
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.
WRLAWRLA-2010-DuranM10a #order
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.
WRLAWRLA-2010-RiescoVM #debugging #specification
Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.
RTARTA-2009-ClavelDEELMMT #unification
Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
WRLAWRLA-2008-BruniLM09 #design
Hierarchical Design Rewriting with Maude (RB, ALL, UM), pp. 45–62.
WRLAWRLA-2008-CaballeroMRV09 #debugging #declarative #functional
A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
WRLAWRLA-2008-DuranO09 #implementation #realtime
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.
WRLAWRLA-2008-GoriacCLAG09 #metalanguage
Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.
WRLAWRLA-2008-HolenJW09 #calculus #first-order #proving
Proof Search for the First-Order Connection Calculus in Maude (BH, EBJ, AW), pp. 173–188.
WRLAWRLA-2008-Marti-OlietMV09 #semantics
A Rewriting Semantics for Maude Strategies (NMO, JM, AV), pp. 227–247.
WRLAWRLA-2008-RiescoV09 #implementation #protocol
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol (AR, AV), pp. 249–266.
SLESLE-2008-RiveraGLV #behaviour #modelling #rule-based #semantics #visual notation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
TACASTACAS-2008-OlveczkyM #realtime
The Real-Time Maude Tool (PCÖ, JM), pp. 332–336.
IJCARIJCAR-2008-DuranLM #named #termination
MTT: The Maude Termination Tool (FD, SL, JM), pp. 313–319.
ECSAECSA-2007-JeradBG #architecture #verification
Hierarchical Verification in Maude of L f P Software Architectures (CJ, KB, AGT), pp. 156–170.
TOOLSTOOLS-EUROPE-2007-RomeroRDV #modelling #tool support
Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
WRLAWRLA-J-2004-OlveczkyM07 #realtime #semantics
Semantics and pragmatics of Real-Time Maude (PCÖ, JM), pp. 161–196.
WRLAWRLA-2006-ChalubB07
Maude MSOS Tool (FC, CB), pp. 133–146.
WRLAWRLA-2006-DuranRV07 #distributed #implementation #mobile
A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.
WRLAWRLA-2006-NeuhausserN07 #abstraction #erlang #model checking #source code
Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.
WRLAWRLA-2006-OlveczkyM07a #abstraction #realtime
Abstraction and Completeness for Real-Time Maude (PCÖ, JM), pp. 5–27.
WRLAWRLA-2006-Rodriguez07 #modelling #network #on the
On Modelling Sensor Networks in Maude (DER), pp. 199–213.
SEKESEKE-2006-MokhatiBG #approach #diagrams #specification #uml
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.
FASEFASE-2006-OlveczkyC #algorithm #analysis #realtime #scheduling #simulation
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.
WRLAWRLA-2004-DuranEL05 #evaluation
New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.
WRLAWRLA-2004-Marti-OlietMV05 #towards
Towards a Strategy Language for Maude (NMO, JM, AV), pp. 417–441.
WRLAWRLA-2004-MasonT05 #framework #interactive #named #platform
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.
WRLAWRLA-2004-OlveczkyM05 #realtime
Real-Time Maude 2.1 (PCÖ, JM), pp. 285–314.
WRLAWRLA-2004-PalominoP05 #model checking #proving
Proving VLRL Action Properties with the Maude Model Checker (MP, IP), pp. 113–133.
WRLAWRLA-2004-Wang05 #calculus #model checking #μ-calculus
μ-Calculus Model Checking in Maude (BYW), pp. 135–152.
EDOCEDOC-2004-RomeroV #formal method #specification
Formalizing ODP Computational Viewpoint Specifications in Maude (JRR, AV), pp. 212–223.
FASEFASE-2004-OlveczkyM #analysis #realtime #specification #using
Specification and Analysis of Real-Time Systems Using Real-Time Maude (PCÖ, JM), pp. 354–358.
RTARTA-2003-ClavelDELMMT
The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.
WRLAWRLA-J-1996-ClavelDELMMQ02 #logic #named #programming #specification
Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.
WRLAWRLA-J-1996-PitaM02 #network #object-oriented #specification
A Maude specification of an object-oriented model for telecommunication networks (IP, NMO), pp. 407–439.
WRLAWRLA-2002-DuranV #mobile
A Conference Reviewing System in Mobile Maude (FD, AV), pp. 127–143.
WRLAWRLA-2002-EkerMS #ltl #model checking
The Maude LTL Model Checker (SE, JM, AS), pp. 162–187.
WRLAWRLA-2002-Rodriguez #protocol
A Secret-Sharing Protocol Modelled in Maude (DER), pp. 223–239.
WRLAWRLA-2002-StehrT #network #programming language #specification
Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.
WRLAWRLA-2002-ThatiSM #execution #semantics #specification #testing #π-calculus
An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.
WRLAWRLA-2002-VerdejoM #implementation
Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.
FASEFASE-2001-OlveczkyKMTZ #analysis #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.
RTARTA-2000-Meseguer #concept #logic
Rewriting Logic and Maude: Concepts and Applications (JM), pp. 1–26.
FASEFASE-2000-ClavelDELMMQ #using
Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.
WRLAWRLA-2000-BasinD #analysis #comparison #haskell #protocol #security
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (DAB, GD), pp. 235–256.
WRLAWRLA-2000-ClavelDELMMQ #towards
Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.
WRLAWRLA-2000-ClavelDM #programming
Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.
WRLAWRLA-2000-DuranM
Parameterized Theories and Views in Full Maude 2.0 (FD, JM), pp. 316–338.
WRLAWRLA-2000-MasonT #network #protocol #simulation
Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.
WRLAWRLA-2000-OlveczkyM #hybrid #realtime #simulation
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
WRLAWRLA-2000-Rodriguez #analysis #case study #protocol #specification
Case Studies in the Specification and Analysis of Protocols in Maude (DER), pp. 257–273.
WRLAWRLA-2000-VerdejoPM #protocol
The Leader Election Protocol of IEEE 1394 in Maude (AV, IP, NMO), pp. 383–404.
FMFM-v2-1999-ClavelDEMS
Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.
RTARTA-1999-ClavelDELMMQ
The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.
WRLAWRLA-1998-Clavel #logic
Reflection in general logics, rewriting logic, and Maude (MC), pp. 71–82.
WRLAWRLA-1998-ClavelDELMM
Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
WRLAWRLA-1998-ClavelDELMMQ #metalanguage
Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
WRLAWRLA-1998-DuranM #algebra
An extensible module algebra for Maude (FD, JM), pp. 174–195.
WRLARWLW-1996-ClavelELM
Principles of Maude (MC, SE, PL, JM), pp. 65–89.
WRLARWLW-1996-Lechner #calculus #distributed #object-oriented #specification #μ-calculus
Object-oriented specifications of distributed systems in the μ-Calculus and Maude (UL), pp. 385–404.
WRLARWLW-1996-PitaM #database #network #object-oriented #specification
A Maude specification of an object-oriented database model for telecommunication networks (IP, NMO), pp. 405–423.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.