↓ Skip to main content

Runtime Verification

Overview of attention for book
Cover of 'Runtime Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Runtime Verification - 17 Years Later
  3. Altmetric Badge
    Chapter 2 COST Action IC1402 Runtime Verification Beyond Monitoring
  4. Altmetric Badge
    Chapter 3 Second School on Runtime Verification, as Part of the ArVi COST Action 1402
  5. Altmetric Badge
    Chapter 4 Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
  6. Altmetric Badge
    Chapter 5 Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing
  7. Altmetric Badge
    Chapter 6 Can We Monitor All Multithreaded Programs?
  8. Altmetric Badge
    Chapter 7 Runtime Verification: From Propositional to First-Order Temporal Logic
  9. Altmetric Badge
    Chapter 8 Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond
  10. Altmetric Badge
    Chapter 9 Online and Offline Stream Runtime Verification of Synchronous Systems
  11. Altmetric Badge
    Chapter 10 METIS: Resource and Context-Aware Monitoring of Finite State Properties
  12. Altmetric Badge
    Chapter 11 Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning
  13. Altmetric Badge
    Chapter 12 Efficient Timed Diagnosis Using Automata with Timed Domains
  14. Altmetric Badge
    Chapter 13 Bringing Runtime Verification Home
  15. Altmetric Badge
    Chapter 14 A Taxonomy for Classifying Runtime Verification Tools
  16. Altmetric Badge
    Chapter 15 Verifying and Validating Autonomous Systems: Towards an Integrated Approach
  17. Altmetric Badge
    Chapter 16 Striver : Stream Runtime Verification for Real-Time Event-Streams
  18. Altmetric Badge
    Chapter 17 Efficient Monitoring of Real Driving Emissions
  19. Altmetric Badge
    Chapter 18 Property-Driven Runtime Resolution of Feature Interactions
  20. Altmetric Badge
    Chapter 19 From Parametric Trace Slicing to Rule Systems
  21. Altmetric Badge
    Chapter 20 Scalable Online First-Order Monitoring
  22. Altmetric Badge
    Chapter 21 Practical Information Flow Control for Web Applications
  23. Altmetric Badge
    Chapter 22 Time-Series Learning Using Monotonic Logical Properties
  24. Altmetric Badge
    Chapter 23 Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic
  25. Altmetric Badge
    Chapter 24 Tracing Distributed Component-Based Systems, a Brief Overview
  26. Altmetric Badge
    Chapter 25 MLTL Benchmark Generation via Formula Progression
  27. Altmetric Badge
    Chapter 26 An Environment for the ParTraP Trace Property Language (Tool Demonstration)
  28. Altmetric Badge
    Chapter 27 Writing Domain-Specific Languages for BeepBeep
  29. Altmetric Badge
    Chapter 28 A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
3 Mendeley
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, January 2019
DOI 10.1007/978-3-030-03769-7
ISBNs
978-3-03-003768-0, 978-3-03-003769-7
Editors

Colombo, Christian, Leucker, Martin

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 33%
Student > Master 1 33%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Unknown 1 33%