Runtime verification of real-time event streams under non-synchronized arrival

This publication has 18 references indexed in Scilit:

• A Stream-Based Specification Language for Network Monitoring
  2016
• From signal temporal logic to FPGA monitors
  2015
• Runtime Verification for LTL and TLTL
  ACM Transactions on Software Engineering and Methodology, 2011
• A brief account of runtime verification
  The Journal of Logic and Algebraic Programming, 2009
• Rewriting-Based Techniques for Runtime Verification
  Automated Software Engineering, 2005
• Monitoring Temporal Properties of Continuous Signals
  2004
• Timed regular expressions
  Journal of the ACM, 2002
• The timed asynchronous distributed system model
  IEEE Transactions on Parallel and Distributed Systems, 1999
• Detection of global predicates: Techniques and their limitations
  Distributed Computing, 1998
• The benefits of relaxing punctuality
  Journal of the ACM, 1996