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