Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems.

A. King, A. Roederer, S. Chen, N. Stevens, P. Asare, O. Sokolsky, I. Lee, M. Mullen-Fortino, and S. Park. Wireless Health, page 210-211. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yaroslavskyy Oleg

Diego José Olego

Oleg Nivievskyi

Oleg Kashin

Oleg Kovalev

Other publications of authors with the same name

The Concurrency Factory: A Development Environment for Concurrent Systems.R. Cleaveland, P. Lewis, S. Smolka, and O. Sokolsky. CAV, volume 1102 of Lecture Notes in Computer Science, page 398-401. Springer, (1996)Local Model Checking for Real-Time Systems (Extended Abstract).O. Sokolsky, and S. Smolka. CAV, volume 939 of Lecture Notes in Computer Science, page 211-224. Springer, (1995)High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.S. Pugh, I. Ruchkin, C. Bonafide, S. DeMauro, O. Sokolsky, I. Lee, and J. Weimer. CHASE, page 70-81. IEEE, (2021)Verisim: Formal analysis of network simulations.K. Bhargavan, C. Gunter, M. Kim, I. Lee, D. Obradovic, O. Sokolsky, and M. Viswanathan. ISSTA, page 2-13. ACM, (2000)iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness.X. Ji, A. Yuh, H. Choi, A. Watson, C. Kendell, X. Li, J. Weimer, H. Nagahara, T. Higashino, T. Mizumoto and 4 other author(s). ICCPS, page 272-273. ACM, (2023)Compositional Analysis of Multi-mode Systems.L. Phan, I. Lee, and O. Sokolsky. ECRTS, page 197-206. IEEE Computer Society, (2010)Is runtime verification applicable to cheat detection?M. DeLap, B. Knutsson, H. Lu, O. Sokolsky, U. Sammapun, I. Lee, and C. Tsarouchis. NETGAMES, page 134-138. ACM, (2004)GSA: a framework for rapid prototyping of smart alarm systems.A. King, A. Roederer, D. Arney, S. Chen, M. Mullen-Fortino, A. Giannareas, W. III, V. Kern, N. Stevens, J. Tannen and 4 other author(s). IHI, page 487-491. ACM, (2010)The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.P. Asare, D. Cong, S. Vattam, B. Kim, A. King, O. Sokolsky, I. Lee, S. Lin, and M. Mullen-Fortino. IHI, page 667-672. ACM, (2012)Medical cyber physical systems.I. Lee, and O. Sokolsky. DAC, page 743-748. ACM, (2010)

BibSonomy

Disambiguation of "Sokolsky, Oleg"

Please choose a person to relate this publication to

Yaroslavskyy Oleg

Diego José Olego

Oleg Nivievskyi

Oleg Kashin

Oleg Kovalev

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Sokolsky, Oleg"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems.

Please choose a person to relate this publication to

Yaroslavskyy Oleg

Diego José Olego

Oleg Nivievskyi

Oleg Kashin

Oleg Kovalev

Other publications of authors with the same name

Disambiguation