Patrick O'Neil Meredith

16 papers A* 6A 1B 3C 1Misc 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2015 B conf
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
RV
Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu
2014 A* conf
Maximal sound predictive race detection with control flow abstraction.
PLDI
Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu
2014 B conf
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.
RV
Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu
2013 A* conf
Efficient parametric runtime verification with deterministic string rewriting.
ASE
Patrick O'Neil Meredith, Grigore Rosu
2012 J jnl
An overview of the MOP runtime verification framework.
Int. J. Softw. Tools Technol. Transf.
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu
2012 — —
Efficient, expressive, and effective runtime verification
Patrick O'Neil Meredith
2012 A* conf
JavaMOP: Efficient parametric runtime monitoring framework.
ICSE
Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu
2012 — conf
Security-policy monitoring and enforcement with JavaMOP.
PLAS
Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu
2011 A* conf
Garbage collection for monitoring parametric properties.
PLDI
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu
2010 C conf
A formal executable semantics of Verilog.
MEMOCODE
Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu
2010 J jnl
Efficient monitoring of parametric context-free patterns.
Autom. Softw. Eng.
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
2010 B conf
Runtime Verification with the RV System.
RV
Patrick O'Neil Meredith, Grigore Rosu
2009 A* conf
Efficient Formalism-Independent Monitoring of Parametric Properties.
ASE
Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu
2009 Misc conf
Handling mixed-criticality in SoC-based real-time embedded systems.
EMSOFT
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha
2008 A* conf
Efficient Monitoring of Parametric Context-Free Patterns.
ASE
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu
2008 A conf
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems.
RTSS
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu