Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

This publication has 21 references indexed in Scilit:

• Runtime verification of embedded real-time systems
  Formal Methods in System Design, 2013
• Teaching Runtime Verification
  2012
• 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
• Synthesizing Monitors for Safety Properties: This Time with Calls and Returns
  2008
• SALT—Structured Assertion Language for Temporal Logic
  Lecture Notes in Computer Science, 2006
• Monitoring Temporal Properties of Continuous Signals
  2004
• Timed regular expressions
  Journal of the ACM, 2002
• A noninterference monitoring and replay mechanism for real-time software testing and debugging
  IEEE Transactions on Software Engineering, 1990
• Tutorial
  ACM SIGMETRICS Performance Evaluation Review, 1976