Recommendations
Cites work
- scientific article; zbMATH DE number 1693530 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- A theory of timed automata
- Equational rules for rewriting logic
- Formal Methods for the Design of Real-Time Systems
- Formal Methods for the Design of Real-Time Systems
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- HyTech: A model checker for hybrid systems
- Kronos: A verification tool for real-time systems
- Maude: specification and programming in rewriting logic
- Models for reactivity
- Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems
- Reflection in conditional rewriting logic
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Specification of real-time and hybrid systems in rewriting logic
- The Maude LTL model checker
- The algorithmic analysis of hybrid systems
- Uppaal in a nutshell
- What's decidable about hybrid automata?
Cited in
(38)- Automatic real-time analysis of reactive systems with the PARTS toolset
- scientific article; zbMATH DE number 4084987 (Why is no real title available?)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
- Probabilistic real-time rewrite theories and their expressive power
- Recent advances in real-time Maude
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- An algebraic semantics for MOF
- José Meseguer: scientist and friend extraordinaire
- Data constraints for validation of real-time software
- A probabilistic calculus of cyber-physical systems
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Programming and symbolic computation in Maude
- Probabilistic timed graph transformation systems
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
- Two Decades of Maude
- A calculus of cyber-physical systems
- Concurrent objects à la carte
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving
- Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems
- Abstraction and completeness for real-time Maude
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude
- A Maude environment for CafeOBJ
- scientific article; zbMATH DE number 1693530 (Why is no real title available?)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Simulator for Real-Time Abstract State Machines
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- On the behavioral semantics of real-time domain specific visual languages
- Formal analysis of leader election in MANETs using Real-Time Maude
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
- Twenty years of rewriting logic
- Integrating deployment architectures and resource consumption in timed object-oriented models
This page was built for publication: Semantics and pragmatics of real-time maude
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q880982)
