Lectures on Runtime Verification

Overview of attention for book

Cover of 'Lectures on Runtime Verification'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Introduction to Runtime Verification
Altmetric Badge

Chapter 2 Discovering Concurrency Errors
Altmetric Badge

Chapter 3 Monitoring Events that Carry Data
Altmetric Badge

Chapter 4 Runtime Failure Prevention and Reaction
Altmetric Badge

Chapter 5 Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Altmetric Badge

Chapter 6 Runtime Verification for Decentralised and Distributed Systems
Altmetric Badge

Chapter 7 Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges

Attention for Chapter 4: Runtime Failure Prevention and Reaction

Altmetric Badge

Citations

dimensions_citation: 123 Dimensions

Readers on

mendeley: 6 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	Runtime Failure Prevention and Reaction
Chapter number	4
Book title	Lectures on Runtime Verification
Published by	Springer, Cham, January 2018
DOI	10.1007/978-3-319-75632-5_4
Book ISBNs	978-3-31-975631-8, 978-3-31-975632-5
Authors	Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha

View on publisher site Alert me about new mentions

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country	Count	As %
Unknown	6	100%

Demographic breakdown

Readers by professional status	Count	As %
Student > Ph. D. Student	3	50%
Researcher	2	33%
Student > Master	1	17%

Readers by discipline	Count	As %
Computer Science	6	100%