default search action

combined dblp search
author search
venue search
publication search

ask others

Lectures on Runtime Verification 2018

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/lncs/10457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/10457
Ezio Bartocci, Yliès Falcone:
Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457, Springer 2018, ISBN 978-3-319-75631-8
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BartocciFFR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BartocciFFR18
Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. 1-33
- view
  authority control:
- export record
  dblp key:
  - series/lncs/LourencoFKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/LourencoFKV18
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar:
Discovering Concurrency Errors. 34-60
- view
  authority control:
- export record
  dblp key:
  - series/lncs/HavelundRTZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HavelundRTZ18
Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu:
Monitoring Events that Carry Data. 61-102
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FalconeMRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FalconeMRS18
Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. 103-134
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BartocciDDFMNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BartocciDDFMNS18
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. 135-175
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FrancalanzaPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FrancalanzaPS18
Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. 176-210
- view
  authority control:
- export record
  dblp key:
  - series/lncs/ColomboP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ColomboP18
Christian Colombo, Gordon J. Pace:
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. 211-232

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.