Utility of a pharmacist-managed Anticoagulation Program in patients with congenital heart disease.

Autor: O'Neil, Meredith J., Garr, BreAnn N., Faircloth, Jenna M., Ciambarella, Julie A., Lubert, Adam M., Nelson, Nicole L., Cooper, David S.

Publikováno v: Cardiology in the Young; Mar2024, Vol. 34 Issue 3, p628-633, 6p

Kiosk 3R-TB-09 - Impaired Atrial Function in Pediatric Pulmonary Hypertension Patients Using Cardiac MRI

Autor: Miles, Kimberley, Ta, Hieu, Bjorkman, Kurt, Hirsch, Russel, Lang, Sean, Cash, Michelle, Magness, Melissa, O'Neil, Meredith, Luebbe, Kimberly, Critser, Paul

Publikováno v: In Journal of Cardiovascular Magnetic Resonance Spring 2024 26 Supplement 1

An overview of the MOP runtime verification framework

Autor: Patrick O'Neil Meredith, Grigore Rosu, Feng Chen, Dennis Griffith, Dongyun Jin

Publikováno v: International Journal on Software Tools for Technology Transfer. 14:249-289

This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable systems. Monitors are automatically synthesized from speci

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4936af80486f1e53261fcef181e0676c
https://doi.org/10.1007/s10009-011-0198-6

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

Autor: Grigore Rosu, Shin'ichi Shiriashi, Akihito Iwai, Philip Daian, Yliès Falcone, Traian-Florin Serbanuta, Patrick O'Neil Meredith

Publikováno v: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_24⟩
Runtime Verification ISBN: 9783319238197
RV

International audience; RV-Android is a new freely available open source runtime library for monitoring formal safety properties on Android. RV-Android uses the commercial RV-Monitor technology as its core monitoring library generation technology, al

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::119b4001225e366494099efb8e3406b1
https://hal.inria.fr/hal-01248350

Maximal sound predictive race detection with control flow abstraction

Autor: Patrick O'Neil Meredith, Grigore Rosu, Jeff Huang

Publikováno v: PLDI

Despite the numerous static and dynamic program analysis techniques in the literature, data races remain one of the most common bugs in modern concurrent software. Further, the techniques that do exist either have limited detection capability or are

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f0d6c4b49f1356431d47067cd0d2e7a
https://doi.org/10.1145/2594291.2594315