BibTeX records: David Arney

download as .bib file

@article{DBLP:journals/sensors/Arney0KDGZ23,
  author       = {David Arney and
                  Yi Zhang and
                  Lauren R. Kennedy{-}Metz and
                  Roger D. Dias and
                  Julian M. Goldman and
                  Marco A. Zenati},
  title        = {An Open-Source, Interoperable Architecture for Generating Real-Time
                  Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring},
  journal      = {Sensors},
  volume       = {23},
  number       = {8},
  pages        = {3890},
  year         = {2023},
  url          = {https://doi.org/10.3390/s23083890},
  doi          = {10.3390/S23083890},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/Arney0KDGZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/DiasKRREAGZ23,
  author       = {Roger D. Dias and
                  Lauren R. Kennedy{-}Metz and
                  Srey Rithy and
                  Geoffrey Rance and
                  Mahdi Ebnali and
                  David Arney and
                  Matthew C. Gombolay and
                  Marco A. Zenati},
  editor       = {Ignacio Rojas and
                  Olga Valenzuela and
                  Fernando Rojas Ruiz and
                  Luis Javier Herrera and
                  Francisco M. Ortu{\~{n}}o},
  title        = {Using Digital Biomarkers for Objective Assessment of Perfusionists'
                  Workload and Acute Stress During Cardiac Surgery},
  booktitle    = {Bioinformatics and Biomedical Engineering - 10th International Work-Conference,
                  {IWBBIO} 2023, Meloneras, Gran Canaria, Spain, July 12-14, 2023 Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13919},
  pages        = {443--454},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34953-9\_35},
  doi          = {10.1007/978-3-031-34953-9\_35},
  timestamp    = {Tue, 26 Dec 2023 17:13:20 +0100},
  biburl       = {https://dblp.org/rec/conf/iwbbio/DiasKRREAGZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmbbeiv/DiasZRRACPKG22,
  author       = {Roger D. Dias and
                  Marco A. Zenati and
                  Geoffrey Rance and
                  Srey Rithy and
                  David Arney and
                  Letian Chen and
                  Rohan R. Paleja and
                  Lauren R. Kennedy{-}Metz and
                  Matthew C. Gombolay},
  title        = {Using machine learning to predict perfusionists' critical decision-making
                  during cardiac surgery},
  journal      = {Comput. methods Biomech. Biomed. Eng. Imaging Vis.},
  volume       = {10},
  number       = {3},
  pages        = {308--312},
  year         = {2022},
  url          = {https://doi.org/10.1080/21681163.2021.2002724},
  doi          = {10.1080/21681163.2021.2002724},
  timestamp    = {Sat, 24 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmbbeiv/DiasZRRACPKG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/Kennedy-MetzAKA22,
  author       = {Lauren R. Kennedy{-}Metz and
                  Maria Arshanskiy and
                  Sandra Keller and
                  David Arney and
                  Roger D. Dias and
                  Marco A. Zenati},
  editor       = {Galya Rogova and
                  Alicia Ruvinsky and
                  Tom Ziemke and
                  Giancarlo Fortino and
                  Mary Freiman},
  title        = {Association Between Operating Room Noise and Team Cognitive Workload
                  in Cardiac Surgery},
  booktitle    = {{IEEE} Conference on Cognitive and Computational Aspects of Situation
                  Management, CogSIMA 2022, Salerno, Italy, June 6-10, 2022},
  pages        = {89--93},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CogSIMA54611.2022.9830675},
  doi          = {10.1109/COGSIMA54611.2022.9830675},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cogsima/Kennedy-MetzAKA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZhangAGIA20,
  author       = {Qingxue Zhang and
                  David Arney and
                  Julian M. Goldman and
                  Eric M. Isselbacher and
                  Antonis A. Armoundas},
  title        = {Design Implementation and Evaluation of a Mobile Continuous Blood
                  Oxygen Saturation Monitoring System},
  journal      = {Sensors},
  volume       = {20},
  number       = {22},
  pages        = {6581},
  year         = {2020},
  url          = {https://doi.org/10.3390/s20226581},
  doi          = {10.3390/S20226581},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/ZhangAGIA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chase/ArneyZGD19,
  author       = {David Arney and
                  Yi Zhang and
                  Julian M. Goldman and
                  Barbara Dumas},
  title        = {Implementing Real-Time Clinical Decision Support Applications on OpenICE:
                  {A} Case Study Using the National Early Warning System Algorithm},
  booktitle    = {4th {IEEE/ACM} International Conference on Connected Health: Applications,
                  Systems and Engineering Technologies, {CHASE} 2019, Arlington, VA,
                  USA, Septempter 25-27, 2019},
  pages        = {35--40},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CHASE48038.2019.00021},
  doi          = {10.1109/CHASE48038.2019.00021},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chase/ArneyZGD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/DiasCGCOAAGRYZ18,
  author       = {Roger D. Dias and
                  Heather M. Conboy and
                  Jennifer M. Gabany and
                  Lori A. Clarke and
                  Leon J. Osterweil and
                  George S. Avrunin and
                  David Arney and
                  Julian M. Goldman and
                  Giuseppe Riccardi and
                  Steven J. Yule and
                  Marco A. Zenati},
  editor       = {Galina L. Rogova and
                  Christian Lebiere and
                  Odd Erik Gundersen and
                  Andrea Salfinger and
                  Ken Baclawski},
  title        = {Development of an Interactive Dashboard to Analyze Cognitive Workload
                  of Surgical Teams During Complex Procedural Care},
  booktitle    = {{IEEE} Conference on Cognitive and Computational Aspects of Situation
                  Management, CogSIMA 2018, Boston, MA, USA, June 11-14, 2018},
  pages        = {77--82},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/COGSIMA.2018.8423995},
  doi          = {10.1109/COGSIMA.2018.8423995},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cogsima/DiasCGCOAAGRYZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/ArneyRRGZ18,
  author       = {David Arney and
                  Geoffrey Rance and
                  Srey Rithy and
                  Julian M. Goldman and
                  Marco A. Zenati},
  editor       = {Danail Stoyanov and
                  Zeike Taylor and
                  Duygu Sarikaya and
                  A. Jonathan McLeod and
                  Miguel {\'{A}}ngel Gonz{\'{a}}lez Ballester and
                  Noel C. F. Codella and
                  Anne L. Martel and
                  Lena Maier{-}Hein and
                  Anand Malpani and
                  Marco A. Zenati and
                  Sandrine de Ribaupierre and
                  Xi{\'{o}}ngbiao Lu{\'{o}} and
                  Toby Collins and
                  Tobias Reichl and
                  Klaus Drechsler and
                  Marius Erdt and
                  Marius George Linguraru and
                  Cristina Oyarzun Laura and
                  Raj Shekhar and
                  Stefan Wesarg and
                  M. Emre Celebi and
                  Kristin J. Dana and
                  Allan Halpern},
  title        = {A Novel Interoperable Safety System for Improved Coordination and
                  Communication in Cardiac Surgery},
  booktitle    = {{OR} 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic
                  Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis
                  - First International Workshop, {OR} 2.0 2018, 5th International Workshop,
                  {CARE} 2018, 7th International Workshop, {CLIP} 2018, Third International
                  Workshop, {ISIC} 2018, Held in Conjunction with {MICCAI} 2018, Granada,
                  Spain, September 16 and 20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11041},
  pages        = {39--45},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-01201-4\_5},
  doi          = {10.1007/978-3-030-01201-4\_5},
  timestamp    = {Wed, 05 May 2021 09:09:43 +0200},
  biburl       = {https://dblp.org/rec/conf/miccai/ArneyRRGZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/DiasCGCOAGRAYZ18,
  author       = {Roger D. Dias and
                  Heather M. Conboy and
                  Jennifer M. Gabany and
                  Lori A. Clarke and
                  Leon J. Osterweil and
                  David Arney and
                  Julian M. Goldman and
                  Giuseppe Riccardi and
                  George S. Avrunin and
                  Steven J. Yule and
                  Marco A. Zenati},
  editor       = {Danail Stoyanov and
                  Zeike Taylor and
                  Duygu Sarikaya and
                  A. Jonathan McLeod and
                  Miguel {\'{A}}ngel Gonz{\'{a}}lez Ballester and
                  Noel C. F. Codella and
                  Anne L. Martel and
                  Lena Maier{-}Hein and
                  Anand Malpani and
                  Marco A. Zenati and
                  Sandrine de Ribaupierre and
                  Xi{\'{o}}ngbiao Lu{\'{o}} and
                  Toby Collins and
                  Tobias Reichl and
                  Klaus Drechsler and
                  Marius Erdt and
                  Marius George Linguraru and
                  Cristina Oyarzun Laura and
                  Raj Shekhar and
                  Stefan Wesarg and
                  M. Emre Celebi and
                  Kristin J. Dana and
                  Allan Halpern},
  title        = {Intelligent Interruption Management System to Enhance Safety and Performance
                  in Complex Surgical and Robotic Procedures},
  booktitle    = {{OR} 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic
                  Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis
                  - First International Workshop, {OR} 2.0 2018, 5th International Workshop,
                  {CARE} 2018, 7th International Workshop, {CLIP} 2018, Third International
                  Workshop, {ISIC} 2018, Held in Conjunction with {MICCAI} 2018, Granada,
                  Spain, September 16 and 20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11041},
  pages        = {62--68},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-01201-4\_8},
  doi          = {10.1007/978-3-030-01201-4\_8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/miccai/DiasCGCOAGRAYZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/PajicMSAGL14,
  author       = {Miroslav Pajic and
                  Rahul Mangharam and
                  Oleg Sokolsky and
                  David Arney and
                  Julian M. Goldman and
                  Insup Lee},
  title        = {Model-Driven Safety Analysis of Closed-Loop Medical Systems},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {10},
  number       = {1},
  pages        = {3--16},
  year         = {2014},
  url          = {https://doi.org/10.1109/TII.2012.2226594},
  doi          = {10.1109/TII.2012.2226594},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tii/PajicMSAGL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PlourdeAG14,
  author       = {Jeffrey Plourde and
                  David Arney and
                  Julian M. Goldman},
  title        = {OpenICE: An open, interoperable platform for medical cyber-physical
                  systems},
  booktitle    = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
                  Berlin, Germany, April 14-17, 2014},
  pages        = {221},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCPS.2014.6843734},
  doi          = {10.1109/ICCPS.2014.6843734},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/PlourdeAG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/ArneyPSMWG14,
  author       = {David Arney and
                  Jeff Plourde and
                  Rick Schrenker and
                  Pratyusha Mattegunta and
                  Susan F. Whitehead and
                  Julian M. Goldman},
  editor       = {Volker Turau and
                  Marta Z. Kwiatkowska and
                  Rahul Mangharam and
                  Christoph Weyer},
  title        = {Design Pillars for Medical Cyber-Physical System Middleware},
  booktitle    = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
                  Germany, April 14, 2014},
  series       = {OASIcs},
  volume       = {36},
  pages        = {124--132},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.MCPS.2014.124},
  doi          = {10.4230/OASICS.MCPS.2014.124},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mcps/ArneyPSMWG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/SchrenkerPAAG14,
  author       = {Rick Schrenker and
                  Jeff Plourde and
                  Diego Alonso and
                  David Arney and
                  Julian M. Goldman},
  editor       = {Volker Turau and
                  Marta Z. Kwiatkowska and
                  Rahul Mangharam and
                  Christoph Weyer},
  title        = {Potential Advantages of Applying Assurance Case Modeling to Requirements
                  Engineering for Interoperable Medical Device Systems},
  booktitle    = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
                  Germany, April 14, 2014},
  series       = {OASIcs},
  volume       = {36},
  pages        = {141--142},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.MCPS.2014.141},
  doi          = {10.4230/OASICS.MCPS.2014.141},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mcps/SchrenkerPAAG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ArneyVSL11,
  author       = {David Arney and
                  Krishna K. Venkatasubramanian and
                  Oleg Sokolsky and
                  Insup Lee},
  title        = {Biomedical devices and systems security},
  booktitle    = {33rd Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August
                  30 - Sept. 3, 2011},
  pages        = {2376--2379},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IEMBS.2011.6090663},
  doi          = {10.1109/IEMBS.2011.6090663},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/ArneyVSL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ArneyBBSRKG11,
  author       = {David Arney and
                  Kunal Bhatia and
                  Sanchit Bhatia and
                  Michael Sutton and
                  Tracy L. Rausch and
                  Joel Karlinsky and
                  Julian M. Goldman},
  title        = {Design of an x-ray / ventilator synchronization system in an integrated
                  clinical environment},
  booktitle    = {33rd Annual International Conference of the {IEEE} Engineering in
                  Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August
                  30 - Sept. 3, 2011},
  pages        = {8203--8206},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IEMBS.2011.6092023},
  doi          = {10.1109/IEMBS.2011.6092023},
  timestamp    = {Mon, 29 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/ArneyBBSRKG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/ArneyWWG11,
  author       = {David Arney and
                  Sandy Weininger and
                  Susan F. Whitehead and
                  Julian M. Goldman},
  editor       = {Olivier Bodenreider and
                  Maryann E. Martone and
                  Alan Ruttenberg},
  title        = {Supporting Medical Device Adverse Event Analysis in an Interoperable
                  Clinical Environment: Design of a Data Logging and Playback System},
  booktitle    = {Proceedings of the 2nd International Conference on Biomedical Ontology,
                  Buffalo, NY, USA, July 26-30, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {833},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-833/paper65.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/ArneyWWG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ArneyPGLMS10,
  author       = {David Arney and
                  Miroslav Pajic and
                  Julian M. Goldman and
                  Insup Lee and
                  Rahul Mangharam and
                  Oleg Sokolsky},
  editor       = {Janos Sztipanovits and
                  Raj Rajkumar},
  title        = {Toward patient safety in closed-loop medical device systems},
  booktitle    = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
                  {ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
  pages        = {139--148},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1795194.1795214},
  doi          = {10.1145/1795194.1795214},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ArneyPGLMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KingALSHP10,
  author       = {Andrew L. King and
                  David Arney and
                  Insup Lee and
                  Oleg Sokolsky and
                  John Hatcliff and
                  Sam Procter},
  editor       = {Lori A. Clarke and
                  Jens H. Weber{-}Jahnke},
  title        = {Prototyping closed loop physiologic control with the medical device
                  coordination framework},
  booktitle    = {Proceedings of the 2010 {ICSE} Workshop on Software Engineering in
                  Health Care, {SEHC} 2010, Cape Town, South Africa, May 3-4, 2010},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1809085.1809086},
  doi          = {10.1145/1809085.1809086},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KingALSHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/KingRACMGHKSTTPSL10,
  author       = {Andrew L. King and
                  Alex Roederer and
                  David Arney and
                  Sanjian Chen and
                  Margaret Mullen{-}Fortino and
                  Ana Rosa Giannareas and
                  William Hanson III and
                  Vanessa Kern and
                  Nicholas Stevens and
                  Jonathan Tannen and
                  Adrian Viesca Trevino and
                  Soojin Park and
                  Oleg Sokolsky and
                  Insup Lee},
  editor       = {Tiffany C. Veinot and
                  {\"{U}}mit V. {\c{C}}ataly{\"{u}}rek and
                  Gang Luo and
                  Henrique Andrade and
                  Neil R. Smalheiser},
  title        = {{GSA:} a framework for rapid prototyping of smart alarm systems},
  booktitle    = {{ACM} International Health Informatics Symposium, {IHI} 2010, Arlington,
                  VA, USA, November 11 - 12, 2010, Proceedings},
  pages        = {487--491},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1882992.1883069},
  doi          = {10.1145/1882992.1883069},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ihi/KingRACMGHKSTTPSL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ArneyFLTY10,
  author       = {David Arney and
                  Sebastian Fischmeister and
                  Insup Lee and
                  Yoshihito Takashima and
                  Mark Yim},
  title        = {Model-Based Programming of Modular Robots},
  booktitle    = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
                  5-6 May 2010},
  pages        = {66--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISORC.2010.16},
  doi          = {10.1109/ISORC.2010.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/ArneyFLTY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/ArneyGWL09,
  author       = {David Arney and
                  Julian M. Goldman and
                  Susan F. Whitehead and
                  Insup Lee},
  editor       = {Teodiano Freire Bastos Filho and
                  Hugo Gamboa},
  title        = {Synchronizing an X-ray and Anesthesia Machine Ventilator - {A} Medical
                  Device Interoperability Case Study},
  booktitle    = {{BIODEVICES} 2009 - Proceedings of the International Conference on
                  Biomedical Electronics and Devices, Porto, Portugal, January 14-17,
                  2009},
  pages        = {52--60},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/biostec/ArneyGWL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/ArneyGWL09a,
  author       = {David Arney and
                  Julian M. Goldman and
                  Susan F. Whitehead and
                  Insup Lee},
  editor       = {Ana L. N. Fred and
                  Joaquim Filipe and
                  Hugo Gamboa},
  title        = {Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator
                  Synchronization: {A} Medical Device Interoperability Case Study},
  booktitle    = {Biomedical Engineering Systems and Technologies - International Joint
                  Conference, {BIOSTEC} 2009 Porto, Portugal, January 14-17, 2009, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {52},
  pages        = {96--109},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11721-3\_7},
  doi          = {10.1007/978-3-642-11721-3\_7},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/biostec/ArneyGWL09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlurAGLLNPAZ04,
  author       = {Rajeev Alur and
                  David Arney and
                  Elsa L. Gunter and
                  Insup Lee and
                  Jaime Lee and
                  Wonhong Nam and
                  Frederick Pearce and
                  Stephen Van Albert and
                  Jiaxiang Zhou},
  title        = {Formal specifications and analysis of the computer-assisted resuscitation
                  algorithm {(CARA)} Infusion Pump Control System},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {5},
  number       = {4},
  pages        = {308--319},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10009-003-0132-7},
  doi          = {10.1007/S10009-003-0132-7},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/AlurAGLLNPAZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}