Runtime verification of timing and probabilistic properties using WMI and .NET
Explore this paper's citation graph
- Type
- article
- Published
- 2004-08-31
- Cited by
- 8
- References
- 7
- OpenAlex
- https://openalex.org/W2060577472
Keywords
Computer science, Probabilistic logic, Probabilistic CTL, Semantics (computer science), Reliability (semiconductor)
References
- A logic for reasoning about time and reliability
- Enforcing a lips usage policy for CORBA components
- Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
- Object-Oriented Software Construction
- Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures
Cited by
- Monitoring of Probabilistic Timed Property Sequence Charts
- Flexible architecture for cluster evolution in cloud computing
- RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties
- Timed probabilistic constraints over the Distributed Management Taskforce common information model
Related papers
- Runtime verification of timing and probabilistic properties using WMI and .NET
- Timed probabilistic constraints over the Distributed Management Taskforce common information model
- Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM
- Monitor-based run-time contract verification of distributed systems
- A methodology for the design and implementation of communication protocols for embedded wireless systems
- Verification of multiprocess probabilistic protocols
- Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment
- A symbolic execution framework for algorithm-level modelling
- Real-time reactive system development: a formal approach based on uml and pvs