Patrick O'Neil Meredith

According to our database1, Patrick O'Neil Meredith authored at least 14 papers between 2008 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015

2014
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Maximal sound predictive race detection with control flow abstraction.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
Efficient parametric runtime verification with deterministic string rewriting.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012
An overview of the MOP runtime verification framework.
Int. J. Softw. Tools Technol. Transf., 2012

Security-policy monitoring and enforcement with JavaMOP.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

JavaMOP: Efficient parametric runtime monitoring framework.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Garbage collection for monitoring parametric properties.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010
Efficient monitoring of parametric context-free patterns.
Autom. Softw. Eng., 2010

Runtime Verification with the RV System.
Proceedings of the Runtime Verification - First International Conference, 2010

A formal executable semantics of Verilog.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009
Efficient Formalism-Independent Monitoring of Parametric Properties.
Proceedings of the ASE 2009, 2009

Handling mixed-criticality in SoC-based real-time embedded systems.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008


  Loading...