Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Ivan Ruchkin"'
Autor:
James Weimer, Insup Lee, Sydney Pugh, Ivan Ruchkin, Oleg Sokolsky, Sara DeMauro, Christopher Bonafide
Publikováno v:
ACM Transactions on Computing for Healthcare. 3:1-24
Classification of clinical alarms is at the heart of prioritization, suppression, integration, postponement, and other methods of mitigating alarm fatigue. Since these methods directly affect clinical care, alarm classifiers, such as intelligent supp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56f62899682ec377a129bee376ed45a3
https://doi.org/10.1145/3549942
https://doi.org/10.1145/3549942
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39:3288-3299
Runtime monitoring is a vital part of safety-critical systems. However, early stage assurance of monitoring quality is currently limited: it relies either on complex models that might be inaccurate in unknown ways or on data that would only be availa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b7a9fe58bd667b1fba98b90028ca6b0e
https://doi.org/10.1109/tcad.2020.3012643
https://doi.org/10.1109/tcad.2020.3012643
Publikováno v:
2021 Winter Simulation Conference (WSC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5c68c780c61929bcc7ab7cb8d2b9787
https://doi.org/10.1109/wsc52266.2021.9715363
https://doi.org/10.1109/wsc52266.2021.9715363
Autor:
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
Publikováno v:
2021 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64e3978361d7da74600bd5de7cd31597
https://doi.org/10.1109/chase52844.2021.00015
https://doi.org/10.1109/chase52844.2021.00015
Autor:
John Fitzgerald, David Garlan, Liliana Pasquale, Bashar Nuseibeh, Awais Rashid, Barnaby Craggs, Radu Calinescu, Ivan Ruchkin, Bradley Schmerl, Tomas Bures, Danny Weyns
Publikováno v:
ACSOS-C
Cyber-Physical Systems (CPS) integrate computational and physical components. With the digitisation of society and industry and the progressing integration of systems, CPS need to become “smarter” in the sense that they can adapt and learn to han
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92e3742cd5a67d2e8996ea762467630d
https://doi.org/10.1109/acsos-c52956.2021.00058
https://doi.org/10.1109/acsos-c52956.2021.00058
Autor:
Javier Cámara, Joydeep Biswas, Christian Kaestner, Arjun Guha, Jarrett Holtz, Jonathan Aldrich, Manuela Veloso, David Garlan, Anahita Mohseni-Kabir, Claire Le Goues, Bradley Schmerl, Ian Voysey, Selva Samuel, Ivan Ruchkin, Christopher Steven Timperley, Pooyan Jamshidi
Publikováno v:
IEEE Software. 36:83-90
We developed model-based adaptation, an approach that leverages models of software and its environment to enable automated adaptation. The goal of our approach is to build long-lasting software systems that can effectively adapt to changes in their e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01f04f395865ad8ee85ad6a481375b04
https://doi.org/10.1109/ms.2018.2885058
https://doi.org/10.1109/ms.2018.2885058
Publikováno v:
Formal Methods in Outer Space ISBN: 9783030873479
Formal Methods in Outer Space
Formal Methods in Outer Space
Design-time approaches to safety assurance for autonomous systems are limited because they must rely on assumptions about the behaviors of learned components in previously unseen environments. These assumptions may be violated at run time, thus inval
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c209759b16f51b68dec89fd87ffee322
https://doi.org/10.1007/978-3-030-87348-6_8
https://doi.org/10.1007/978-3-030-87348-6_8
Autor:
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky, Insup Lee
Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine whether these guarantees apply at run time because verification assum
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0d24301e3ef991e8799ff1c1f1bf03a
Autonomous systems with machine learning-based perception can exhibit unpredictable behaviors that are difficult to quantify, let alone verify. Such behaviors are convenient to capture in probabilistic models, but probabilistic model checking of such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67eeecbd4029c56c7164a85cef854d08
Publikováno v:
ACSOS
Self-adaptive software systems rely on planning to make adaptation decisions autonomously. Planning is required to produce high-quality adaptation plans in a timely manner; however, quality and timeliness of planning are conflicting in nature. This c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1ea1086ac1b54f3efd93b23e9c59d4a
https://doi.org/10.1109/acsos49614.2020.00026
https://doi.org/10.1109/acsos49614.2020.00026