Patrick O'Neil Meredith

16 papers A* 6A 1B 3C 1Misc 1Journal 2Unranked 1

Year	Rank	Type	Title / 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