O'Neil, Meredith J.
62  results:
Search for persons X
?
1

Impaired Atrial Function in Pediatric Pulmonary Hypertensio..:

Miles, Kimberley ; Ta, Hieu ; Bjorkman, Kurt...
Journal of Cardiovascular Magnetic Resonance.  26 (2024)  - p. 100544 , 2024
 
?
6

Maximal sound predictive race detection with control flow a..:

, In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation,
 
?
7

JavaMOP: efficient parametric runtime monitoring framework:

, In: Proceedings of the 34th International Conference on Software Engineering,
 
?
9

An overview of the MOP runtime verification framework:

Meredith, Patrick O'Neil ; Jin, Dongyun ; Griffith, Dennis..
International Journal on Software Tools for Technology Transfer.  14 (2011)  3 - p. 249-289 , 2011
 
?
10

Garbage collection for monitoring parametric properties:

, In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation,
 
?
 
?
13

Efficient Formalism-Independent Monitoring of Parametric Pr..:

, In: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering,
 
?
15

Practical Considerations for the Implementation of a Stereo..:

Chan, Matthew ; Palma, David ; Barry, Aisling...
Advances in Radiation Oncology.  6 (2021)  1 - p. 100499 , 2021
 
1-15