Amanote Research
Register
Sign In
RML: Runtime Monitoring Language
doi 10.1145/3328433.3328462
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2019
Authors
Luca Franceschini
Publisher
ACM Press
Related search
Compensation-Aware Runtime Monitoring
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Survey of Runtime Monitoring Instrumentation Techniques
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
COST Action IC1402 Runtime Verification Beyond Monitoring
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Monitoring of Message-Based Workflows With Data
Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SuperContra: Cross-Language, Cross-Runtime Contracts as a Service
Language Constructs and Runtime Systems for Compositional Parallel Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Monitoring of Malicious Code in a Net-Work
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
