PMaude

swMATH8422MaRDI QIDQ20431FDOQ20431

Author name not available (Why is that?)

Cited In (28)

• 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
• Translating stochastic CLS into Maude
• 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
• 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?)
• A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• Programming and symbolic computation in Maude
• Formal analysis of leader election in MANETs using Real-Time Maude
• Formal probabilistic analysis of detection properties in wireless sensor networks
• 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