BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (21)
time (16)
specif (16)
real (15)
rewrit (11)

Stem maud$ (all stems)

91 papers:

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

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.