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

Lectures on Runtime Verification

Overview of attention for book
Cover of 'Lectures on Runtime Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction to Runtime Verification
  3. Altmetric Badge
    Chapter 2 Discovering Concurrency Errors
  4. Altmetric Badge
    Chapter 3 Monitoring Events that Carry Data
  5. Altmetric Badge
    Chapter 4 Runtime Failure Prevention and Reaction
  6. Altmetric Badge
    Chapter 5 Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
  7. Altmetric Badge
    Chapter 6 Runtime Verification for Decentralised and Distributed Systems
  8. Altmetric Badge
    Chapter 7 Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges
Attention for Chapter 2: Discovering Concurrency Errors
Altmetric Badge

Citations

dimensions_citation
123 Dimensions

Readers on

mendeley
2 Mendeley
Summary 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.
Chapter title
Discovering Concurrency Errors
Chapter number 2
Book title
Lectures on Runtime Verification
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-75632-5_2
Book ISBNs
978-3-31-975631-8, 978-3-31-975632-5
Authors

João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%

This page is provided by Altmetric.