↓ Skip to main content
What is this page? Embed badge

Runtime Verification

Overview of attention for book
Cover of 'Runtime Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Monitorability Under Assumptions
  3. Altmetric Badge
    Chapter 2 Monitoring Spatio-Temporal Properties (Invited Tutorial)
  4. Altmetric Badge
    Chapter 3 Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
  5. Altmetric Badge
    Chapter 4 Analysing the Performance of Python-Based Web Services with the VyPR Framework
  6. Altmetric Badge
    Chapter 5 Monitoring Cyber-Physical Systems: From Design to Integration
  7. Altmetric Badge
    Chapter 6 BDDs for Representing Data in Runtime Verification
  8. Altmetric Badge
    Chapter 7 Runtime-Safety-Guided Policy Repair
  9. Altmetric Badge
    Chapter 8 PatrIoT : Policy Assisted Resilient Programmable IoT System
  10. Altmetric Badge
    Chapter 9 Runtime Verification of Autonomous Driving Systems in CARLA
  11. Altmetric Badge
    Chapter 10 SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
  12. Altmetric Badge
    Chapter 11 Scalable Online Monitoring of Distributed Systems
  13. Altmetric Badge
    Chapter 12 Actor-Based Runtime Verification with MESA
  14. Altmetric Badge
    Chapter 13 Placement of Runtime Checks to Counteract Fault Injections
  15. Altmetric Badge
    Chapter 14 Empirical Abstraction
  16. Altmetric Badge
    Chapter 15 Test4Enforcers: Test Case Generation for Software Enforcers
  17. Altmetric Badge
    Chapter 16 SharpDetect: Dynamic Analysis Framework for C#/.NET Programs
  18. Altmetric Badge
    Chapter 17 Efficient Runtime Assertion Checking for Properties over Mathematical Numbers
  19. Altmetric Badge
    Chapter 18 BISM: Bytecode-Level Instrumentation for Software Monitoring
  20. Altmetric Badge
    Chapter 19 Property-Directed Verified Monitoring of Signal Temporal Logic
  21. Altmetric Badge
    Chapter 20 Logical Signal Processing: A Fourier Analysis of Temporal Logic
  22. Altmetric Badge
    Chapter 21 A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
  23. Altmetric Badge
    Chapter 22 TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications
  24. Altmetric Badge
    Chapter 23 MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
  25. Altmetric Badge
    Chapter 24 Verified Rust Monitors for Lola Specifications
  26. Altmetric Badge
    Chapter 25 Automatic Optimizations for Stream-Based Monitoring Languages
  27. Altmetric Badge
    Chapter 26 Unifying the Time-Event Spectrum for Stream Runtime Verification
  28. Altmetric Badge
    Chapter 27 A Benchmark Generator for Online First-Order Monitoring
  29. Altmetric Badge
    Chapter 28 Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
  30. Altmetric Badge
    Chapter 30 From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
3 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Runtime Verification
Published by
Springer International Publishing, November 2020
DOI 10.1007/978-3-030-60508-7
ISBNs
978-3-03-060507-0, 978-3-03-060508-7
Editors

Deshmukh, Jyotirmoy, Ničković, Dejan

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.