Runtime Verification

2019

• Techniques for Evolution-Aware Runtime Verification

  Owolabi Legunsen and Yi Zhang and Milica Hadzi-Tanovic and Grigore Rosu and Darko Marinov
  ICST 2019 IEEE, pp 300-311, April 2019
  PDF BIB ICST 2019 JavaMOP

2016

• How Good are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications

  Owolabi Legunsen and Wajih Ul Hassan and Xinyue Xu and Grigore Rosu and Darko Marinov
  ASE 2016 IEEE/ACM, pp 602-613, September 2016
  PDF BIB ASE 2016 JavaMOP

• Runtime Verification at Work: A Tutorial

  Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian Florin Serbanuta and Grigore Rosu
  RV'16 Springer, Volume 10012, pp 46-67, September 2016
  PDF BIB RV'16 RV Products

• RV-Match: Practical Semantics-Based Program Analysis

  Dwight Guth and Chris Hathhorn and Manasvi Saxena and Grigore Rosu
  CAV'16 Springer, Volume 9779, pp 447-453, July 2016
  PDF BIB CAV'16 RV-Match

• RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring

  Philip Daian and Bhargava Manja and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
  SAE'16 Volume 2016-01-0126, pp 1-13, April 2016
  PDF BIB SAE'16 RV-ECU

2015

• RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

  Philip Daian and Ylies Falcone and Patrick Meredith and Traian Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
  RV'15 Springer, Volume 9333, pp 342-357, September 2015
  PDF BIB RV'15 RV-Android

• Evolution-Aware Monitoring-Oriented Programming

  Owolabi Legunsen and Darko Marinov and Grigore Rosu
  ICSE NIER'15 ACM, pp 615-618, May 2015
  PDF BIB ICSE NIER'15 JavaMOP

• GPredict: Generic Predictive Concurrency Analysis

  Jeff Huang and Qingzhou Luo and Grigore Rosu
  ICSE'15 ACM, pp 847-857, May 2015
  PDF BIB ICSE'15 jPredictor

2014

• RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties

  Qingzhou Luo and Yi Zhang and Choonghwan Lee and Dongyun Jin and Patrick O'Neil Meredith and Traian Florin Serbanuta and Grigore Rosu
  RV'14 Springer, Volume 8734, pp 285-300, September 2014
  PDF BIB RV'14 JavaMOP

• ROSRV: Runtime Verification for Robots

  Jeff Huang and Cansu Erdogan and Yi Zhang and Brandon Moore and Qingzhou Luo and Aravind Sundaresan and Grigore Rosu
  RV'14 Springer International Publishing, Volume 8734, pp 247-254, September 2014
  PDF BIB RV'14 ROSRV

• Maximal Sound Predictive Race Detection with Control Flow Abstraction

  Jeff Huang and Patrick Meredith and Grigore Rosu
  PLDI'14 ACM, pp 337-348, June 2014
  PDF BIB PLDI'14 jPredictor

2013

• EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

  Qingzhou Luo and Grigore Rosu
  ISSTA'13 ACM, pp 156-166, July 2013
  PDF BIB ISSTA'13 EnforceMOP

• Efficient Parametric Runtime Verification with Deterministic String Rewriting

  Patrick Meredith and Grigore Rosu
  ASE'13 IEEE/ACM, pp 70-80, May 2013
  PDF BIB ASE'13 MOP

2012

• On Safety Properties and Their Monitoring

  Grigore Rosu
  SACS Volume 22, pp 327-365, December 2012
  PDF BIB SACS MOP

• Maximal Causal Models for Sequentially Consistent Systems

  Traian Florin Serbanuta and Feng Chen and Grigore Rosu
  RV'12 Springer, Volume 7687, pp 136-150, September 2012
  PDF BIB RV'12 JPredictor

• Efficient, Expressive, and Effective Runtime Verification

  Patrick O'Neil Meredith
  PhD Thesis August 2012
  PDF BIB MOP

• Making Runtime Monitoring of Parametric Properties Practical

  Dongyun Jin
  PhD Thesis August 2012
  PDF BIB MOP

• JavaMOP: Efficient Parametric Runtime Monitoring Framework

  Dongyun Jin and Patrick O'Neil Meredith and Choonghwan Lee and Grigore Rosu
  ICSE'12 IEEE, pp 1427-1430, June 2012
  PDF BIB ICSE'12 MOP

• Security-Policy Monitoring and Enforcement with JavaMOP

  Soha Hussein and Patrick Meredith and Grigore Rosu
  PLAS'12 ACM, pp 3:1-3:11, June 2012
  PDF BIB PLAS'12 MOP

• Scalable Parametric Runtime Monitoring

  Dongyun Jin and Patrick O'Neil Meredith and Grigore Rosu
  Technical Report April 2012 http://hdl.handle.net/2142/30757
  PDF BIB MOP

• Towards Categorizing and Formalizing the JDK API

  Choonghwan Lee and Dongyun Jin and Patrick O'Neil Meredith and Grigore Rosu
  Technical Report March 2012 http://hdl.handle.net/2142/30006
  PDF BIB Java API

• Semantics and Algorithms for Parametric Monitoring

  Grigore Rosu and Feng Chen
  J.LMCS Volume 8, pp 1-47, Feb 2012
  PDF BIB J.LMCS MOP

2011

• Maximal Causal Models for Sequentially Consistent Systems

  Traian Florin Serbanuta and Feng Chen and Grigore Rosu
  Technical Report October 2011 http://hdl.handle.net/2142/27708
  PDF BIB JPredictor

• An Overview of the MOP Runtime Verification Framework

  Patrick O'Neil Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Grigore Rosu
  J.STTT Springer, Volume 14, pp 249-289, June 2011
  PDF BIB J.STTT MOP

• Garbage Collection for Monitoring Parametric Properties

  Dongyun Jin and Patrick O'Neil Meredith and Dennis Griffith and Grigore Rosu
  PLDI'11 ACM, pp 415-424, June 2011
  PDF BIB PLDI'11 MOP

2010

• Runtime Verification with the RV System

  Patrick Meredith and Grigore Rosu
  RV'10 Springer, pp 136-152, November 2010
  PDF BIB RV'10 RV

• Maximal Causal Models for Sequentially Consistent Multithreaded Systems

  Traian Florin Serbanuta and Feng Chen and Grigore Rosu
  Technical Report September 2010 http://hdl.handle.net/2142/17336
  PDF BIB JPredictor

2005

• Monitoring Algorithms for Metric Temporal Logic

  Prasanna Thati and Grigore Rosu
  RV'05 Elsevier, Volume 113, pp 145-162, June 2005
  PDF BIB RV'05 MOP

• Rewriting-Based Techniques for Runtime Verification

  Grigore Rosu and Klaus Havelund
  J.ASE Volume 12, pp 151-197, 2005
  PDF BIB J.ASE MOP

2003

• Generating Optimal Linear Temporal Logic Monitors by Coinduction

  Koushik Sen and Grigore Rosu and Gul Agha
  ASIAN'03 Springer-Verlag, Volume 2896, pp 260-275, December 2003
  PDF BIB ASIAN'03 MOP

• Generating Optimal Monitors for Extended Regular Expressions

  Koushik Sen and Grigore Rosu
  RV'03 Elsevier, Volume 89(2), pp 226-245, June 2003
  PDF BIB RV'03 MOP

• Testing Extended Regular Language Membership Incrementally by Rewriting

  Grigore Rosu and Mahesh Viswanathan
  RTA'03 Springer-Verlag, Volume 2706, pp 499-514, June 2003
  PDF BIB RTA'03 MOP

2002

• Synthesizing Monitors for Safety Properties

  Klaus Havelund and Grigore Rosu
  TACAS'02 Springer, Volume 2280, pp 342-356, April 2002
  PDF BIB TACAS'02 MOP

2001

• Monitoring Programs using Rewriting

  Klaus Havelund and Grigore Rosu
  ASE'01 IEEE, pp 135-143, May 2001
  PDF BIB ASE'01 MOP

• Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

  Grigore Rosu and Klaus Havelund
  Technical Report January 2001 https://ti.arc.nasa.gov/m/pub-archive/archive/0220.pdf
  PDF BIB