Concepedia

Patrick Meredith

PM

20

Publications

1.1K

Citations

16

H-Index

1965

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Patrick Meredith is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringVerificationSystems EngineeringSoftware Engineering

Publications per year

1965–2014

20

Publications

20

An overview of the MOP runtime verification framework

Patrick Meredith, Dongyun Jin, Dennis Griffith et al. · International Journal on Software Tools for Technology Transfer · 2011 · 242 citations

Hardware Security, Engineering, Runtime Verification +10

Maximal sound predictive race detection with control flow abstraction

Jeff Huang, Patrick Meredith, Grigore Roşu · 2014 · 181 citations

Control Flow Abstraction, Program Checking, Engineering +23

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems

Rodolfo Pellizzoni, Patrick Meredith, Marco Caccamo et al. · 2008 · 86 citations

Engineering, Hardware Verification Language, Computer Architecture +23

Handling mixed-criticality in SoC-based real-time embedded systems

Rodolfo Pellizzoni, Patrick Meredith, Min-Young Nam et al. · 2009 · 71 citations

Engineering, Hardware Verification Language, Verification +21

JavaMOP: Efficient parametric runtime monitoring framework

Dongyun Jin, Patrick Meredith, Choong-Hwan Lee et al. · 2012 · 63 citations

Software Maintenance, Engineering, Verification +21

Rows per page

1–5 of 20