Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Patrick O''Neil Meredith" ( http://dblp.L3S.de/Authors/Patrick_O''Neil_Meredith )

  Author page on DBLP  Author page in RDF  Community of Patrick O'Neil Meredith in ASPL-2

Publication years (Num. hits)
2008 (2) 2009 (2) 2010 (3) 2011 (1) 2012 (1)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
ASE(2) Autom. Softw. Eng.(1) EMSOFT(1) IEEE Real-Time Systems Symposi...(1) MEMOCODE(1) PLDI(1) RV(1) STTT(1)
Authors
Patrick O'Neil Meredith(9) Grigore Rosu(8) Dongyun Jin(5) Feng Chen(4) Dennis Griffith(2) Marco Caccamo(2) Rodolfo Pellizzoni(2) José Meseguer(1) Lui Sha(1) Michael Katelman(1) Min-Young Nam(1) Mu Sun(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu An overview of the MOP runtime verification framework. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu Garbage collection for monitoring parametric properties. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu Efficient monitoring of parametric context-free patterns. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick O'Neil Meredith, Grigore Rosu Runtime Verification with the RV System. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu A formal executable semantics of Verilog. Search on Bibsonomy MEMOCODE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha Handling mixed-criticality in SoC-based real-time embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mixed-criticality, system-on-chip, runtime monitoring, platform-based design, AADL
1Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu Efficient Formalism-Independent Monitoring of Parametric Properties. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Software Engineering, Monitoring, Runtime Verification
1Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu Efficient Monitoring of Parametric Context-Free Patterns. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.