Radoslav Ivanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. | Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee |
| 2020 | SAFECOMP | Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. | Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee |
| 2018 | ISORC | OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. | Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee |
| 2016 | CHASE | Cloud-Based Secure Logger for Medical Devices. | Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee |
| 2016 | RTCSA | Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. | Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee |
| 2014 | CBMS | Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. | Deepthi Shashidhar, Mingzhe Lin, Radoslav Ivanov, Insup Lee, Allan F. Simpao, Arul Lingappan, Jorge A. Glvez, Pablo Laje, Alan W. Flake, Mohamed A. Rehman |
| 2014 | DATE | Attack-resilient sensor fusion. | Radoslav Ivanov, Miroslav Pajic, Insup Lee |