default search action

combined dblp search
author search
venue search
publication search

ask others

Patrick O'Neil Meredith

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Meredith12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Meredith12
Patrick O'Neil Meredith:
Efficient, expressive, and effective runtime verification. University of Illinois Urbana-Champaign, USA, 2012

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MeredithJGCR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MeredithJGCR12
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu:
An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transf. 14(3): 249-289 (2012)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/MeredithJCR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/MeredithJCR10
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng. 17(2): 149-180 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DaianFMSSIR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DaianFMSSIR15
Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu:
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV 2015: 342-357
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HuangMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HuangMR14
Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu:
Maximal sound predictive race detection with control flow abstraction. PLDI 2014: 337-348
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LuoZLJMSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LuoZLJMSR14
Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu:
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV 2014: 285-300
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MeredithR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MeredithR13
Patrick O'Neil Meredith, Grigore Rosu:
Efficient parametric runtime verification with deterministic string rewriting. ASE 2013: 70-80
2012
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JinMLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JinMLR12
Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu:
JavaMOP: Efficient parametric runtime monitoring framework. ICSE 2012: 1427-1430
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HusseinMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HusseinMR12
Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu:
Security-policy monitoring and enforcement with JavaMOP. PLAS 2012: 3
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/JinMGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/JinMGR11
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu:
Garbage collection for monitoring parametric properties. PLDI 2011: 415-424
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/MeredithKMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/MeredithKMR10
Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu:
A formal executable semantics of Verilog. MEMOCODE 2010: 179-188
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MeredithR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MeredithR10
Patrick O'Neil Meredith, Grigore Rosu:
Runtime Verification with the RV System. RV 2010: 136-152
2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/PellizzoniMNSCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/PellizzoniMNSCS09
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha:
Handling mixed-criticality in SoC-based real-time embedded systems. EMSOFT 2009: 235-244
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChenMJR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChenMJR09
Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu:
Efficient Formalism-Independent Monitoring of Parametric Properties. ASE 2009: 383-394
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MeredithJCR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MeredithJCR08
Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu:
Efficient Monitoring of Parametric Context-Free Patterns. ASE 2008: 148-157
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/PellizzoniMCR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/PellizzoniMCR08
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu:
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. RTSS 2008: 481-491

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.