Monitoring-Oriented Programming

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

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

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

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

• 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

• 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

2005

• Rewriting-Based Techniques for Runtime Verification

  Grigore Rosu and Klaus Havelund
  J.ASE Volume 12, pp 151-197, 2005
  PDF BIB J.ASE 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