Monitoring-Oriented Programming

2019

• Techniques for Evolution-Aware Runtime Verification
  Legunsen, Owolabi and Zhang, Yi and Hadzi-Tanovic, Milica and Roşu, Grigore and Marinov, Darko.
  ICST 2019 IEEE, pp 300-311.
  2019
  PDF BIB

2016

• How Good are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications
  Legunsen, Owolabi and Hassan, Wajih Ul and Xu, Xinyue and Roşu, Grigore and Marinov, Darko.
  ASE 2016 IEEE/ACM, pp 602-613.
  2016
  PDF BIB

2015

• Evolution-Aware Monitoring-Oriented Programming
  Legunsen, Owolabi and Marinov, Darko and Roşu, Grigore.
  ICSE NIER’15 ACM, pp 615-618.
  2015
  PDF BIB
• RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
  Daian, Philip and Falcone, Yliès and Meredith, Patrick O’Neil and Serbanuta, Traian-Florin and Shiraishi, Shinichi and Iwai, Akihito and Rosu, Grigore.
  RV’15 Springer, pp 342-357.
  2015
  PDF BIB

2014

• RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties
  Luo, Qingzhou and Zhang, Yi and Lee, Choonghwan and Jin, Dongyun and Meredith, Patrick O’Neil and Serbanuta, Traian Florin and Rosu, Grigore.
  RV’14 Springer, pp 285-300.
  2014
  PDF BIB

2013

• Efficient Parametric Runtime Verification with Deterministic String Rewriting
  Meredith, Patrick and Rosu, Grigore.
  ASE’13 IEEE/ACM, pp 70-80.
  2013
  PDF BIB
• EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs
  Luo, Qingzhou and Rosu, Grigore.
  ISSTA’13 ACM, pp 156-166.
  2013
  PDF BIB

2012

• On Safety Properties and Their Monitoring
  Roşu, Grigore.
  2012
  PDF BIB
• JavaMOP: Efficient Parametric Runtime Monitoring Framework
  Jin, Dongyun and Meredith, Patrick O’Neil and Lee, Choonghwan and Roşu, Grigore.
  ICSE’12 IEEE, pp 1427-1430.
  2012
  PDF BIB
• Semantics and Algorithms for Parametric Monitoring
  Roşu, Grigore and Chen, Feng.
  2012
  PDF BIB

2005

• Rewriting-Based Techniques for Runtime Verification
  Rosu, Grigore and Havelund, Klaus.
  2005
  PDF BIB

2002

• Synthesizing Monitors for Safety Properties
  Havelund, Klaus and Rosu, Grigore.
  TACAS’02 Springer, pp 342-356.
  2002
  PDF BIB

2001

• Monitoring Programs using Rewriting
  Havelund, Klaus and Rosu, Grigore.
  ASE’01 IEEE, pp 135-143.
  2001
  PDF BIB
• Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae
  Rosu, Grigore and Havelund, Klaus.
  2001
  PDF BIB