BibTeX records: Andrew L. King

download as .bib file

@inproceedings{DBLP:conf/emsoft/ChoiKL16,
  author       = {Hyon{-}Young Choi and
                  Andrew L. King and
                  Insup Lee},
  editor       = {Petru Eles and
                  Rahul Mangharam},
  title        = {Making {DDS} really real-time with openflow},
  booktitle    = {2016 International Conference on Embedded Software, {EMSOFT} 2016,
                  Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
  pages        = {4:1--4:10},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2968478.2968479},
  doi          = {10.1145/2968478.2968479},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ChoiKL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KingFPCSHL15,
  author       = {Andrew L. King and
                  Lu Feng and
                  Sam Procter and
                  Sanjian Chen and
                  Oleg Sokolsky and
                  John Hatcliff and
                  Insup Lee},
  editor       = {Floor Koornneef and
                  Coen van Gulijk},
  title        = {Towards Assurance for Plug {\&} Play Medical Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 34th International Conference,
                  {SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9337},
  pages        = {228--242},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24255-2\_17},
  doi          = {10.1007/978-3-319-24255-2\_17},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/KingFPCSHL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BezzoPKGIL14,
  author       = {Nicola Bezzo and
                  Junkil Park and
                  Andrew L. King and
                  Peter Gebhard and
                  Radoslav Ivanov and
                  Insup Lee},
  title        = {Demo abstract: ROSLab - {A} modular programming environment for robotic
                  applications},
  booktitle    = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
                  Berlin, Germany, April 14-17, 2014},
  pages        = {214},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCPS.2014.6843727},
  doi          = {10.1109/ICCPS.2014.6843727},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/BezzoPKGIL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KingCL14,
  author       = {Andrew L. King and
                  Sanjian Chen and
                  Insup Lee},
  title        = {The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees
                  in Open Systems with OpenFlow},
  booktitle    = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
                  10-12, 2014},
  pages        = {133--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISORC.2014.49},
  doi          = {10.1109/ISORC.2014.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/KingCL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/FengKCAPBSL14,
  author       = {Lu Feng and
                  Andrew L. King and
                  Sanjian Chen and
                  Anaheed Ayoub and
                  Junkil Park and
                  Nicola Bezzo and
                  Oleg Sokolsky and
                  Insup Lee},
  editor       = {Volker Turau and
                  Marta Z. Kwiatkowska and
                  Rahul Mangharam and
                  Christoph Weyer},
  title        = {A Safety Argument Strategy for {PCA} Closed-Loop Systems: {A} Preliminary
                  Proposal},
  booktitle    = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
                  Germany, April 14, 2014},
  series       = {OASIcs},
  volume       = {36},
  pages        = {94--99},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.MCPS.2014.94},
  doi          = {10.4230/OASICS.MCPS.2014.94},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mcps/FengKCAPBSL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/KingFSL13,
  author       = {Andrew L. King and
                  Lu Feng and
                  Oleg Sokolsky and
                  Insup Lee},
  title        = {Assuring the safety of on-demand medical cyber-physical systems},
  booktitle    = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
                  and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CPSNA.2013.6614238},
  doi          = {10.1109/CPSNA.2013.6614238},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsna/KingFSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/KingFSL13,
  author       = {Andrew L. King and
                  Lu Feng and
                  Oleg Sokolsky and
                  Insup Lee},
  editor       = {Jeremy Gibbons and
                  Wendy MacCaull},
  title        = {A Modal Specification Approach for On-Demand Medical Systems},
  booktitle    = {Foundations of Health Information Engineering and Systems - Third
                  International Symposium, {FHIES} 2013, Macau, China, August 21-23,
                  2013. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8315},
  pages        = {199--216},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-53956-5\_14},
  doi          = {10.1007/978-3-642-53956-5\_14},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fhies/KingFSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/LeeSCHJKKMPRV12,
  author       = {Insup Lee and
                  Oleg Sokolsky and
                  Sanjian Chen and
                  John Hatcliff and
                  Eunkyoung Jee and
                  BaekGyu Kim and
                  Andrew L. King and
                  Margaret Mullen{-}Fortino and
                  Soojin Park and
                  Alex Roederer and
                  Krishna K. Venkatasubramanian},
  title        = {Challenges and Research Directions in Medical Cyber-Physical Systems},
  journal      = {Proc. {IEEE}},
  volume       = {100},
  number       = {1},
  pages        = {75--90},
  year         = {2012},
  url          = {https://doi.org/10.1109/JPROC.2011.2165270},
  doi          = {10.1109/JPROC.2011.2165270},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/LeeSCHJKKMPRV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/KingFSSFL12,
  author       = {Andrew L. King and
                  Kelsea Fortino and
                  Nicholas Stevens and
                  Sachin Shah and
                  Margaret Fortino{-}Mullen and
                  Insup Lee},
  title        = {Evaluation of a smart alarm for intensive care using clinical data},
  booktitle    = {Annual International Conference of the {IEEE} Engineering in Medicine
                  and Biology Society, {EMBC} 2012, San Diego, CA, USA, August 28 -
                  September 1, 2012},
  pages        = {166--169},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/EMBC.2012.6345897},
  doi          = {10.1109/EMBC.2012.6345897},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/KingFSSFL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HatcliffKLMFRVWG12,
  author       = {John Hatcliff and
                  Andrew L. King and
                  Insup Lee and
                  Alasdair Macdonald and
                  Anura Fernando and
                  Michael Robkin and
                  Eugene Y. Vasserman and
                  Sandy Weininger and
                  Julian M. Goldman},
  title        = {Rationale and Architecture Principles for Medical Application Platforms},
  booktitle    = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
                  {ICCPS} 2012, Beijing, China, April 17-19, 2012},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICCPS.2012.9},
  doi          = {10.1109/ICCPS.2012.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/HatcliffKLMFRVWG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/StevensGKTFKL12,
  author       = {Nicholas Stevens and
                  Ana Rosa Giannareas and
                  Vanessa Kern and
                  Adrian Viesca Trevino and
                  Margaret Fortino{-}Mullen and
                  Andrew L. King and
                  Insup Lee},
  editor       = {Gang Luo and
                  Jiming Liu and
                  Christopher C. Yang},
  title        = {Smart alarms: multivariate medical alarm integration for post {CABG}
                  surgery patients},
  booktitle    = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
                  FL, USA, January 28-30, 2012},
  pages        = {533--542},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2110363.2110423},
  doi          = {10.1145/2110363.2110423},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ihi/StevensGKTFKL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/AsareCVKKSLLM12,
  author       = {Philip Asare and
                  Danyang Cong and
                  Santosh G. Vattam and
                  BaekGyu Kim and
                  Andrew L. King and
                  Oleg Sokolsky and
                  Insup Lee and
                  Shan Lin and
                  Margaret Mullen{-}Fortino},
  editor       = {Gang Luo and
                  Jiming Liu and
                  Christopher C. Yang},
  title        = {The medical device dongle: an open-source standards-based platform
                  for interoperable medical device connectivity},
  booktitle    = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
                  FL, USA, January 28-30, 2012},
  pages        = {667--672},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2110363.2110438},
  doi          = {10.1145/2110363.2110438},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ihi/AsareCVKKSLLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MurphyRKCIKLSCO11,
  author       = {Christian Murphy and
                  Mohammad S. Raunak and
                  Andrew L. King and
                  Sanjian Chen and
                  Christopher Imbriano and
                  Gail E. Kaiser and
                  Insup Lee and
                  Oleg Sokolsky and
                  Lori A. Clarke and
                  Leon J. Osterweil},
  editor       = {Eleni Stroulia and
                  Kevin Sullivan},
  title        = {On effective testing of health care simulation software},
  booktitle    = {Proceedings of the 3rd Workshop on Software Engineering in Health
                  Care, {SEHC} 2011, Waikiki, Honolulu, HI, USA, May 22-23, 2011},
  pages        = {40--47},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1987993.1988003},
  doi          = {10.1145/1987993.1988003},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/MurphyRKCIKLSCO11.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/wh/KingRCSASLMP10,
  author       = {Andrew L. King and
                  Alex Roederer and
                  Sanjian Chen and
                  Nicholas Stevens and
                  Philip Asare and
                  Oleg Sokolsky and
                  Insup Lee and
                  Margaret Mullen{-}Fortino and
                  Soojin Park},
  editor       = {Irwin Mark Jacobs and
                  Patrick Soon{-}Shiong and
                  Eric J. Topol and
                  Christofer Toumazou},
  title        = {Demo of the Generic Smart Alarm: a framework for the design, analysis,
                  and implementation of smart alarms and other clinical decision support
                  systems},
  booktitle    = {Proceedings of Wireless Health 2010, {WH} 2010, San Diego, CA, USA,
                  October 5-7, 2010},
  pages        = {210--211},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1921081.1921116},
  doi          = {10.1145/1921081.1921116},
  timestamp    = {Fri, 14 Apr 2023 16:05:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wh/KingRCSASLMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/KingPAHWSJJW09,
  author       = {Andrew L. King and
                  Sam Procter and
                  Daniel Andresen and
                  John Hatcliff and
                  Steve Warren and
                  William Spees and
                  Raoul Praful Jetley and
                  Paul L. Jones and
                  Sandy Weininger},
  title        = {A publish-subscribe architecture and component-based programming model
                  for medical device interoperability},
  journal      = {{SIGBED} Rev.},
  volume       = {6},
  number       = {2},
  pages        = {7},
  year         = {2009},
  url          = {https://doi.org/10.1145/1859823.1859830},
  doi          = {10.1145/1859823.1859830},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/KingPAHWSJJW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/LuoKW09,
  author       = {Xun Luo and
                  Andrew L. King and
                  Matt Van de Werken},
  title        = {Tomographic Imaging of Rock Conditions Ahead of Mining Using the Shearer
                  as a Seismic Source - {A} Feasibility Study},
  journal      = {{IEEE} Trans. Geosci. Remote. Sens.},
  volume       = {47},
  number       = {11},
  pages        = {3671--3678},
  year         = {2009},
  url          = {https://doi.org/10.1109/TGRS.2009.2018445},
  doi          = {10.1109/TGRS.2009.2018445},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tgrs/LuoKW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KingPAHWSJJW09,
  author       = {Andrew L. King and
                  Sam Procter and
                  Daniel Andresen and
                  John Hatcliff and
                  Steve Warren and
                  William Spees and
                  Raoul Praful Jetley and
                  Paul L. Jones and
                  Sandy Weininger},
  title        = {An open test bed for medical device integration and coordination},
  booktitle    = {31st International Conference on Software Engineering, {ICSE} 2009,
                  May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages        = {141--151},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070972},
  doi          = {10.1109/ICSE-COMPANION.2009.5070972},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KingPAHWSJJW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KingPAHWSJJW09a,
  author       = {Andrew L. King and
                  Sam Procter and
                  Daniel Andresen and
                  John Hatcliff and
                  Steve Warren and
                  William Spees and
                  Raoul Praful Jetley and
                  Paul L. Jones and
                  Sandy Weininger},
  title        = {Demonstration of a medical device integration and coordination framework},
  booktitle    = {31st International Conference on Software Engineering, {ICSE} 2009,
                  May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages        = {433--434},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071048},
  doi          = {10.1109/ICSE-COMPANION.2009.5071048},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KingPAHWSJJW09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GustafsonCMKAL07,
  author       = {David Gustafson and
                  Aar{\'{o}}n Ch{\'{a}}vez and
                  Michael Marlen and
                  Andrew L. King and
                  Alejandro Alliana and
                  Ondrej Linda},
  title        = {{KSU} Willie in Semantic Vision Challenge},
  booktitle    = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages        = {1981--1982},
  publisher    = {{AAAI} Press},
  year         = {2007},
  url          = {http://www.aaai.org/Library/AAAI/2007/aaai07-364.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GustafsonCMKAL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HsuKPPW06,
  author       = {William H. Hsu and
                  Andrew L. King and
                  Martin S. R. Paradesi and
                  Tejaswi Pydimarri and
                  Tim Weninger},
  title        = {Collaborative and Structural Recommendation of Friends using Weblog-based
                  Social Network Analysis},
  booktitle    = {Computational Approaches to Analyzing Weblogs, Papers from the 2006
                  {AAAI} Spring Symposium, Technical Report SS-06-03, Stanford, California,
                  USA, March 27-29, 2006},
  pages        = {55--60},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-03-012.php},
  timestamp    = {Sat, 18 Feb 2012 12:29:12 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HsuKPPW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swws/RanganathKA06,
  author       = {Venkatesh Prasad Ranganath and
                  Andrew L. King and
                  Daniel Andresen},
  editor       = {Hamid R. Arabnia},
  title        = {Automatic Code Generation for LYE, a High-Performance Caching {SOAP}
                  Implementation},
  booktitle    = {Proceedings of the 2006 International Conference on Semantic Web {\&}
                  Web Services, {SWWS} 2006, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {73--79},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 24 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/swws/RanganathKA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics