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