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
• 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
• Probabilistic Graph Transformation Systems
• Rewriting semantics of production rule sets
• Formal Analysis of Leader Election in MANETs Using Real-Time Maude
• Resource provisioning strategies for BPMN processes: specification and analysis using Maude
• Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
• 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 rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• Programming and symbolic computation in Maude
• Formal probabilistic analysis of detection properties in wireless sensor networks
• José Meseguer: Scientist and Friend Extraordinaire
• On the accuracy of formal verification of selective defenses for TDoS attacks
• Strategic port graph rewriting: an interactive modelling framework
• Translating Stochastic CLS into Maude
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
• Recent advances in real-time Maude
• Statistical Model Checking for Composite Actor Systems

This page was built for software: PMaude