( en | de | ru )

 

Disambiguation of "Meredith, Patrick O'Neil"

Author of the publication

copydeleteadd this publication to your clipboard
Maximal sound predictive race detection with control flow abstraction.

, , and . PLDI, page 337-348. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Edmund Meredith

Meredith Kiokekli

Meredith Thompson

Anthony Meredith

Michael Meredith

 

Other publications of authors with the same name

Handling mixed-criticality in SoC-based real-time embedded systems., , , , , and . EMSOFT, page 235-244. ACM, (2009)Runtime Verification with the RV System., and . RV, volume 6418 of Lecture Notes in Computer Science, page 136-152. Springer, (2010)A formal executable semantics of Verilog., , , and . MEMOCODE, page 179-188. IEEE Computer Society, (2010)Maximal sound predictive race detection with control flow abstraction., , and . PLDI, page 337-348. ACM, (2014)Efficient Monitoring of Parametric Context-Free Patterns., , , and . ASE, page 148-157. IEEE Computer Society, (2008)Security-policy monitoring and enforcement with JavaMOP., , and . PLAS, page 3. ACM, (2012)Efficient monitoring of parametric context-free patterns., , , and . Autom. Softw. Eng., 17 (2): 149-180 (2010)RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties., , , , , , and . RV, volume 8734 of Lecture Notes in Computer Science, page 285-300. Springer, (2014)JavaMOP: Efficient parametric runtime monitoring framework., , , and . ICSE, page 1427-1430. IEEE Computer Society, (2012)Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems., , , and . RTSS, page 481-491. IEEE Computer Society, (2008)