PMaude
From MaRDI portal
Cited in
(77)- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- A rewriting logic approach to operational semantics
- Stratego
- FoCs
- JavaFAN
- ELAN
- ITP/OCL
- MOTOR
- IF-2.0
- On probabilistic term rewriting
- On the accuracy of formal verification of selective defenses for TDoS attacks
- CafeOBJ
- Maude
- Timbuk
- PORGY
- Twenty years of rewriting logic
- Rewriting semantics of production rule sets
- MMT
- Probabilistic timed graph transformation systems
- Actor-based model checking for software-defined networks
- PVeStA
- MultiVeStA
- VESTA
- PAGODA
- HI-maude
- MFE
- ITP
- SCC
- Tom
- DDebugger
- MOMENT2
- Dist-Orc
- InvA
- PSMaude
- Casaal
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude
- Programming and symbolic computation in Maude
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- visone
- Maude-NPA
- BioAmbient Machine
- vlogsl
- MODIST
- GloMoSim
- ORME
- VeriCon
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- Statistical model checking for composite actor systems
- Recent advances in real-time Maude
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- Monitor-based statistical model checking for weighted metric temporal logic
- Probabilistic graph transformation systems
- Storm
- José Meseguer: scientist and friend extraordinaire
- CARMA
- SCEL
- AADL
- Syco
- Nagoya Termination Tool
- VeriFlow
- The rewriting logic semantics project: a progress report
- Centaur
- Java+ITP
- Anteater
- Kuai
- MOSBIE
- Strategic port graph rewriting: an interactive modelling framework
- Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms
- Translating stochastic CLS into Maude
- Formal analysis of leader election in MANETs using Real-Time Maude
- Theoretical Aspects of Computing – ICTAC 2005
- KoAT
- NaTT
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Formal probabilistic analysis of detection properties in wireless sensor networks
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
This page was built for software: PMaude
