2019
-
Techniques for Evolution-Aware Runtime Verification
ICST 2019 IEEE, pp 300-311.
2019
PDF
BIB
2016
-
RV-Match: Practical Semantics-Based Program Analysis
CAV’16 Springer, pp 447-453.
2016
PDF
BIB
-
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
SAE’16 , pp 1-13.
2016
PDF
BIB
-
Runtime Verification at Work: A Tutorial
RV’16 Springer, pp 46-67.
2016
PDF
BIB
-
How Good are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications
ASE 2016 IEEE/ACM, pp 602-613.
2016
PDF
BIB
2015
-
GPredict: Generic Predictive Concurrency Analysis
ICSE’15 ACM, pp 847-857.
2015
PDF
BIB
-
Evolution-Aware Monitoring-Oriented Programming
ICSE NIER’15 ACM, pp 615-618.
2015
PDF
BIB
-
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
RV’15 Springer, pp 342-357.
2015
PDF
BIB
2014
-
Maximal Sound Predictive Race Detection with Control Flow Abstraction
PLDI’14 ACM, pp 337-348.
2014
PDF
BIB
-
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties
RV’14 Springer, pp 285-300.
2014
PDF
BIB
-
ROSRV: Runtime Verification for Robots
RV’14 Springer International Publishing, pp 247-254.
2014
PDF
BIB
2013
-
Efficient Parametric Runtime Verification with Deterministic String Rewriting
ASE’13 IEEE/ACM, pp 70-80.
2013
PDF
BIB
-
EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs
ISSTA’13 ACM, pp 156-166.
2013
PDF
BIB
2012
-
Maximal Causal Models for Sequentially Consistent Systems
RV’12 Springer, pp 136-150.
2012
PDF
BIB
-
On Safety Properties and Their Monitoring
2012
PDF
BIB
-
Towards Categorizing and Formalizing the JDK API
2012
PDF
BIB
-
Scalable Parametric Runtime Monitoring
2012
PDF
BIB
-
Security-Policy Monitoring and Enforcement with JavaMOP
PLAS’12 ACM, pp 3:1-3:11.
2012
PDF
BIB
-
Efficient, Expressive, and Effective Runtime Verification
2012
PDF
BIB
-
JavaMOP: Efficient Parametric Runtime Monitoring Framework
ICSE’12 IEEE, pp 1427-1430.
2012
PDF
BIB
-
Semantics and Algorithms for Parametric Monitoring
2012
PDF
BIB
-
Making Runtime Monitoring of Parametric Properties Practical
2012
PDF
BIB
2011
-
Maximal Causal Models for Sequentially Consistent Systems
2011
PDF
BIB
-
An Overview of the MOP Runtime Verification Framework
2011
PDF
BIB
-
Garbage Collection for Monitoring Parametric Properties
PLDI’11 ACM, pp 415-424.
2011
PDF
BIB
2010
-
Runtime Verification with the RV System
RV’10 Springer, pp 136-152.
2010
PDF
BIB
-
Maximal Causal Models for Sequentially Consistent Multithreaded Systems
2010
PDF
BIB
2005
-
Rewriting-Based Techniques for Runtime Verification
2005
PDF
BIB
-
Monitoring Algorithms for Metric Temporal Logic
RV’05 Elsevier, pp 145-162.
2005
PDF
BIB
2003
-
Generating Optimal Monitors for Extended Regular Expressions
RV’03 Elsevier, pp 226-245.
2003
PDF
BIB
-
Testing Extended Regular Language Membership Incrementally by Rewriting
RTA’03 Springer-Verlag, pp 499-514.
2003
PDF
BIB
-
Generating Optimal Linear Temporal Logic Monitors by Coinduction
ASIAN’03 Springer-Verlag, pp 260-275.
2003
PDF
BIB
2002
-
Synthesizing Monitors for Safety Properties
TACAS’02 Springer, pp 342-356.
2002
PDF
BIB
2001
-
Monitoring Programs using Rewriting
ASE’01 IEEE, pp 135-143.
2001
PDF
BIB
-
Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae
2001
PDF
BIB