Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. - Alex Roederer; Yury Puzis; Geoff Sutcliffe (CADE, 2009)

GSA: a framework for rapid prototyping of smart alarm systems. - Andrew L. King; Alex Roederer; David Arney; Sanjian Chen; Margaret Mullen-Fortino; Ana Rosa Giannareas; William Hanson III; Vanessa Kern; Nicholas Stevens; Jonathan Tannen; Adrian Viesca Trevino; Soojin Park; et al. (IHI, 2010)

Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems. - Andrew L. King; Alex Roederer; Sanjian Chen; Nicholas Stevens; Philip Asare; Oleg Sokolsky; Insup Lee 001; Margaret Mullen-Fortino; Soojin Park (Wireless Health, 2010)

Clinical decision support for integrated cyber-physical systems: a mixed methods approach. - Alex Roederer; Andrew Hicks; Enny Oyeniran; Insup Lee 001; Soojin Park (IHI, 2012)

Challenges and Research Directions in Medical Cyber-Physical Systems. - Insup Lee 001; Oleg Sokolsky; Sanjian Chen; John Hatcliff; Eunkyoung Jee; BaekGyu Kim; Andrew L. King; Margaret Mullen-Fortino; Soojin Park; Alex Roederer; Krishna K. Venkatasubramanian (Proc. IEEE, 2012)

Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data. - Alexander Roederer; Jacqueline Soegaard; Insup Lee 001; Jonathan P. Wanderer; Soojin Park (CBMS, 2014)

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. - Alexander Roederer; James Weimer; Joseph DiMartino; Jacob Gutsche; Insup Lee 001 (EMBC, 2015)

Parameter-Invariant Design of Medical Alarms. - James Weimer; Radoslav Ivanov; Alexander Roederer; Sanjian Chen; Insup Lee 001 (IEEE Des. Test, 2015)

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. - Alexander Roederer; Joseph DiMartino; Jacob Gutsche; Margaret Mullen-Fortino; Sachin Shah; C. William Hanson; Insup Lee 001 (CHASE, 2016)

Parameter-Invariant Monitor Design for Cyber-Physical Systems. - James Weimer; Radoslav Ivanov; Sanjian Chen; Alexander Roederer; Oleg Sokolsky; Insup Lee 001 (Proc. IEEE, 2018)