iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/144/4256.xml
Radoslav Ivanov Rensselaer Polytechnic Institute, Troy, NY, USA https://orcid.org/0000-0003-4987-4836 https://www.wikidata.org/entity/Q126735147 https://scholar.google.com/citations?user=fLDy4eAAAAAJ
Shuhang Tan Jayson Sia Paul Bogdan Radoslav Ivanov Analyzing Neural Network Robustness Using Graph Curvature. 2024 abs/2410.19607 CoRR https://doi.org/10.48550/arXiv.2410.19607 db/journals/corr/corr2410.html#abs-2410-19607 streams/journals/corr
Michele Caprio Souradeep Dutta Kuk Jin Jang Vivian Lin Radoslav Ivanov Oleg Sokolsky Insup Lee 0001 Imprecise Bayesian Neural Networks. 2023 abs/2302.09656 CoRR https://doi.org/10.48550/arXiv.2302.09656 db/journals/corr/corr2302.html#abs-2302-09656
Thomas Waite Alexander Robey Hamed Hassani George J. Pappas Radoslav Ivanov Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. 2023 abs/2312.06848 CoRR https://doi.org/10.48550/arXiv.2312.06848 db/journals/corr/corr2312.html#abs-2312-06848
Matthew Cleaveland Lars Lindemann Radoslav Ivanov George J. Pappas Risk verification of stochastic systems with neural network controllers. 103782 2022 313 Artif. Intell. https://doi.org/10.1016/j.artint.2022.103782 db/journals/ai/ai313.html#CleavelandLIP22
Vivian Lin Radoslav Ivanov James Weimer Oleg Sokolsky Insup Lee 0001 T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. 585-603 2022 Principles of Systems Design https://doi.org/10.1007/978-3-031-22337-2_28 conf/birthday/2022henzinger db/conf/birthday/henzinger2022.html#LinIWSL22 Ivan Ruchkin Matthew Cleaveland Radoslav Ivanov Pengyuan Lu Taylor J. Carpenter Oleg Sokolsky Insup Lee 0001 Confidence Composition for Monitors of Verification Assumptions. 1-12 2022 ICCPS https://doi.org/10.1109/ICCPS54341.2022.00007 conf/iccps/2022 db/conf/iccps/iccps2022.html#RuchkinCILCSL22 Omri Isac Radoslav Ivanov Guy Katz Nina Narodytska Laura Nenzi Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings NSV/FoMLAS@CAV Springer 2022 Lecture Notes in Computer Science 13466 978-3-031-21221-5 978-3-031-21222-2 https://doi.org/10.1007/978-3-031-21222-2 db/conf/cav/nsv2022.html
Kaustubh Sridhar Radoslav Ivanov Vuk Lesi Marcio Juliato Manoj R. Sastry Lily L. Yang James Weimer Oleg Sokolsky Insup Lee 0001 A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. 2022 abs/2205.08650 CoRR https://doi.org/10.48550/arXiv.2205.08650 db/journals/corr/corr2205.html#abs-2205-08650
Matthew Cleaveland Lars Lindemann Radoslav Ivanov George J. Pappas Risk Verification of Stochastic Systems with Neural Network Controllers. 2022 abs/2209.09881 CoRR https://doi.org/10.48550/arXiv.2209.09881 db/journals/corr/corr2209.html#abs-2209-09881
Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee 0001 Verifying the Safety of Autonomous Systems with Neural Network Controllers. 7:1-7:26 2021 20 ACM Trans. Embed. Comput. Syst. 1 https://doi.org/10.1145/3419742 db/journals/tecs/tecs20.html#IvanovCWAPL21
Radoslav Ivanov Kishor Jothimurugan Steve Hsu Shaan Vaidya Rajeev Alur Osbert Bastani Compositional Learning and Verification of Neural Network Controllers. 92:1-92:26 2021 20 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3477023 db/journals/tecs/tecs20.html#IvanovJHVAB21
Taylor J. Carpenter Radoslav Ivanov Insup Lee 0001 James Weimer ModelGuard: Runtime Validation of Lipschitz-continuous Models. 37-42 2021 ADHS https://doi.org/10.1016/j.ifacol.2021.08.471 conf/adhs/2021 db/conf/adhs/adhs2021.html#CarpenterILW21 Taylor T. Johnson Diego Manzanas Lopez Luis Benet Marcelo Forets Sebastián Guadalupe Christian Schilling 0001 Radoslav Ivanov Taylor J. Carpenter James Weimer Insup Lee 0001 ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. 90-119 2021 ARCH@ADHS https://doi.org/10.29007/kfk9 conf/arch/2021 db/conf/arch/arch2021.html#JohnsonLBFG0ICW21 Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee 0001 Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. 249-262 2021 CAV (1) https://doi.org/10.1007/978-3-030-81685-8_11 conf/cav/2021-1 db/conf/cav/cav2021-1.html#IvanovCWAPL21
Sooyong Jang Radoslav Ivanov Insup Lee 0001 James Weimer Confidence Calibration with Bounded Error Using Transformations. 2021 abs/2102.12680 CoRR https://arxiv.org/abs/2102.12680 db/journals/corr/corr2102.html#abs-2102-12680
Taylor J. Carpenter Radoslav Ivanov Insup Lee 0001 James Weimer ModelGuard: Runtime Validation of Lipschitz-continuous Models. 2021 abs/2104.15006 CoRR https://arxiv.org/abs/2104.15006 db/journals/corr/corr2104.html#abs-2104-15006
Ivan Ruchkin Matthew Cleaveland Radoslav Ivanov Pengyuan Lu Taylor J. Carpenter Oleg Sokolsky Insup Lee 0001 Confidence Composition for Monitors of Verification Assumptions. 2021 abs/2111.03782 CoRR https://arxiv.org/abs/2111.03782 db/journals/corr/corr2111.html#abs-2111-03782
Esen Yel Taylor J. Carpenter Carmelo Di Franco Radoslav Ivanov Yiannis Kantaros Insup Lee 0001 James Weimer Nicola Bezzo Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. 102-116 2020 27 IEEE Robotics Autom. Mag. 2 https://doi.org/10.1109/MRA.2020.2981114 db/journals/ram/ram27.html#YelCFIKLWB20
Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee 0001 Case study: verifying the safety of an autonomous racing car with a neural network controller. 28:1-28:7 2020 HSCC https://doi.org/10.1145/3365365.3382216 conf/hybrid/2020 db/conf/hybrid/hscc2020.html#IvanovCWAPL20 Ramneet Kaur Radoslav Ivanov Matthew Cleaveland Oleg Sokolsky Insup Lee 0001 Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. 82-97 2020 SAFECOMP Workshops https://doi.org/10.1007/978-3-030-55583-2_6 conf/safecomp/2020w db/conf/safecomp/safecomp2020w.html#KaurICSL20
Yiannis Kantaros Taylor J. Carpenter Sangdon Park 0001 Radoslav Ivanov Sooyong Jang Insup Lee 0001 James Weimer VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. 2020 abs/2002.09792 CoRR https://arxiv.org/abs/2002.09792 db/journals/corr/corr2002.html#abs-2002-09792
Hung Nguyen 0002 Radoslav Ivanov Sara B. DeMauro James Weimer RePulmo: a remote pulmonary monitoring system. 46-50 2019 16 SIGBED Rev. 2 https://doi.org/10.1145/3357495.3357501 db/journals/sigbed/sigbed16.html#NguyenIDW19
Radoslav Ivanov Nikolay Atanasov 0001 Miroslav Pajic James Weimer George J. Pappas Insup Lee 0001 Continuous Estimation Using Context-Dependent Discrete Measurements. 235-250 2019 64 IEEE Trans. Autom. Control. 1 https://doi.org/10.1109/TAC.2018.2797839 db/journals/tac/tac64.html#IvanovAPWPL19
Radoslav Ivanov James Weimer Oleg Sokolsky Insup Lee 0001 Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. 62-63 2019 DESTION@CPSIoTWeek https://doi.org/10.1145/3313151.3313164 conf/cpsweek/2019destion db/conf/cpsweek/destion2019.html#IvanovWSL19 Diego Manzanas Lopez Patrick Musau Hoang-Dung Tran Souradeep Dutta Taylor J. Carpenter Radoslav Ivanov Taylor T. Johnson ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. 103-119 2019 ARCH@CPSIoTWeek https://doi.org/10.29007/rgv8 conf/cpsweek/2019arch db/conf/cpsweek/arch2019.html#LopezMTDCIJ19 Radoslav Ivanov James Weimer Rajeev Alur George J. Pappas Insup Lee 0001 Verisig: verifying safety properties of hybrid systems with neural network controllers. 169-178 2019 HSCC https://doi.org/10.1145/3302504.3311806 conf/hybrid/2019 db/conf/hybrid/hscc2019.html#IvanovWAPL19
Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee 0001 Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. 2019 abs/1910.11309 CoRR http://arxiv.org/abs/1910.11309 db/journals/corr/corr1910.html#abs-1910-11309
James Weimer Radoslav Ivanov Sanjian Chen Alexander Roederer Oleg Sokolsky Insup Lee 0001 Parameter-Invariant Monitor Design for Cyber-Physical Systems. 71-92 2018 106 Proc. IEEE 1 https://doi.org/10.1109/JPROC.2017.2723847 db/journals/pieee/pieee106.html#WeimerICRSL18
Radoslav Ivanov James Weimer Insup Lee 0001 Towards Context-Aware Cyber-Physical Systems. 10-11 2018 MT@CPSWeek https://doi.org/10.1109/MT-CPS.2018.00012 https://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00012 conf/cpsweek/2018mt db/conf/cpsweek/mt2018.html#IvanovWL18 Radoslav Ivanov James Weimer Insup Lee 0001 Context-aware detection in medical cyber-physical systems. 232-241 2018 ICCPS https://doi.org/10.1109/ICCPS.2018.00030 https://doi.ieeecomputersociety.org/10.1109/ICCPS.2018.00030 http://dl.acm.org/citation.cfm?id=3207924 conf/iccps/2018 db/conf/iccps/iccps2018.html#IvanovWL18 Hung Nguyen 0002 Radoslav Ivanov Linh T. X. Phan Oleg Sokolsky James Weimer Insup Lee 0001 LogSafe: Secure and Scalable Data Logger for IoT Devices. 141-152 2018 IoTDI https://doi.org/10.1109/IoTDI.2018.00023 https://doi.ieeecomputersociety.org/10.1109/IoTDI.2018.00023 conf/iotdi/2018 db/conf/iotdi/iotdi2018.html#NguyenIPSWL18 Radoslav Ivanov Hung Nguyen 0002 James Weimer Oleg Sokolsky Insup Lee 0001 OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. 103-106 2018 ISORC https://doi.org/10.1109/ISORC.2018.00022 https://doi.ieeecomputersociety.org/10.1109/ISORC.2018.00022 conf/isorc/2018 db/conf/isorc/isorc2018.html#IvanovNWSL18
Radoslav Ivanov James Weimer Rajeev Alur George J. Pappas Insup Lee 0001 Verisig: verifying safety properties of hybrid systems with neural network controllers. 2018 abs/1811.01828 CoRR http://arxiv.org/abs/1811.01828 db/journals/corr/corr1811.html#abs-1811-01828
Junkil Park Radoslav Ivanov James Weimer Miroslav Pajic Sang Hyuk Son Insup Lee 0001 Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. 15:1-15:23 2017 1 ACM Trans. Cyber Phys. Syst. 3 https://doi.org/10.1145/3064809 db/journals/tcps/tcps1.html#ParkIWPSL17
Radoslav Ivanov James Weimer Allan F. Simpao Mohamed A. Rehman Insup Lee 0001 Prediction of Critical Pulmonary Shunts in Infants. 1936-1952 2016 24 IEEE Trans. Control. Syst. Technol. 6 https://doi.org/10.1109/TCST.2016.2538207 db/journals/tcst/tcst24.html#IvanovWSRL16
Radoslav Ivanov Miroslav Pajic Insup Lee 0001 Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. 21:1-21:24 2016 15 ACM Trans. Embed. Comput. Syst. 1 https://doi.org/10.1145/2847418 db/journals/tecs/tecs15.html#IvanovPL16
Hung Nguyen 0002 Bipeen Acharya Radoslav Ivanov Andreas Haeberlen Linh T. X. Phan Oleg Sokolsky Jesse Walker James Weimer William Hanson III Insup Lee 0001 Cloud-Based Secure Logger for Medical Devices. 89-94 2016 CHASE https://doi.org/10.1109/CHASE.2016.48 https://doi.ieeecomputersociety.org/10.1109/CHASE.2016.48 conf/chase/2016 db/conf/chase/chase2016.html#NguyenAIHPSWWHL16 Minsu Jo Junkil Park Youngmi Baek Radoslav Ivanov James Weimer Sang Hyuk Son Insup Lee 0001 Adaptive Transient Fault Model for Sensor Attack Detection. 59-65 2016 CPSNA https://doi.org/10.1109/CPSNA.2016.21 https://doi.ieeecomputersociety.org/10.1109/CPSNA.2016.21 conf/cpsna/2016 db/conf/cpsna/cpsna2016.html#JoPBIWSL16 Radoslav Ivanov Nikolay Atanasov 0001 James Weimer Miroslav Pajic Allan F. Simpao Mohamed A. Rehman George J. Pappas Insup Lee 0001 Estimation of Blood Oxygen Content Using Context-Aware Filtering. 28:1-28:10 2016 ICCPS https://doi.org/10.1109/ICCPS.2016.7479102 https://doi.ieeecomputersociety.org/10.1109/ICCPS.2016.7479102 http://dl.acm.org/citation.cfm?id=2984492 conf/iccps/2016 db/conf/iccps/iccps2016.html#IvanovAWPSRPL16 Minsu Jo Junkil Park Youngmi Baek Radoslav Ivanov James Weimer Sang Hyuk Son Insup Lee 0001 Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. 102 2016 RTCSA https://doi.org/10.1109/RTCSA.2016.33 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2016.33 conf/rtcsa/2016 db/conf/rtcsa/rtcsa2016.html#JoPBIWSL16
James Weimer Radoslav Ivanov Alexander Roederer Sanjian Chen Insup Lee 0001 Parameter-Invariant Design of Medical Alarms. 9-16 2015 32 IEEE Des. Test 5 https://doi.org/10.1109/MDAT.2015.2451083 db/journals/dt/dt32.html#WeimerIRCL15
Radoslav Ivanov Nikolay Atanasov 0001 Miroslav Pajic George J. Pappas Insup Lee 0001 Robust estimation using context-aware filtering. 590-597 2015 Allerton https://doi.org/10.1109/ALLERTON.2015.7447058 https://www.wikidata.org/entity/Q57581512 conf/allerton/2015 db/conf/allerton/allerton2015.html#IvanovAPPL15 Junkil Park Radoslav Ivanov James Weimer Miroslav Pajic Insup Lee 0001 Sensor attack detection in the presence of transient faults. 1-10 2015 ICCPS https://doi.org/10.1145/2735960.2735984 conf/iccps/2015 db/conf/iccps/iccps2015.html#ParkIWPL15 Radoslav Ivanov James Weimer Allan F. Simpao Mohamed A. Rehman Insup Lee 0001 Early detection of critical pulmonary shunts in infants. 110-119 2015 ICCPS https://doi.org/10.1145/2735960.2735962 conf/iccps/2015 db/conf/iccps/iccps2015.html#IvanovWSRL15 Deepthi Shashidhar Mingzhe Lin Radoslav Ivanov Insup Lee 0001 Allan F. Simpao Arul Lingappan Jorge A. Gálvez Pablo Laje Alan W. Flake Mohamed A. Rehman Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. 555-556 2014 CBMS https://doi.org/10.1109/CBMS.2014.135 https://doi.ieeecomputersociety.org/10.1109/CBMS.2014.135 conf/cbms/2014 db/conf/cbms/cbms2014.html#ShashidharLILSLGLFR14 Radoslav Ivanov Miroslav Pajic Insup Lee 0001 Attack-resilient sensor fusion. 1-6 2014 DATE https://doi.org/10.7873/DATE.2014.067 http://dl.acm.org/citation.cfm?id=2616673 conf/date/2014 db/conf/date/date2014.html#IvanovPL14 Radoslav Ivanov Miroslav Pajic Insup Lee 0001 Resilient multidimensional sensor fusion using measurement history. 1-10 2014 HiCoNS https://doi.org/10.1145/2566468.2566475 conf/hicons/2014 db/conf/hicons/hicons2014.html#IvanovPL14 Nicola Bezzo Junkil Park Andrew L. King Peter Gebhard Radoslav Ivanov Insup Lee 0001 Demo abstract: ROSLab - A modular programming environment for robotic applications. 214 2014 ICCPS https://doi.org/10.1109/ICCPS.2014.6843727 https://doi.ieeecomputersociety.org/10.1109/ICCPS.2014.6843727 conf/iccps/2014 db/conf/iccps/iccps2014.html#BezzoPKGIL14 Shaohui Wang Anaheed Ayoub Radoslav Ivanov Oleg Sokolsky Insup Lee 0001 Contract-based blame assignment by trace analysis. 117-126 2013 HiCoNS https://doi.org/10.1145/2461446.2461463 conf/hicons/2013 db/conf/hicons/hicons2013.html#WangAISL13 Bipeen Acharya Rajeev Alur Nikolay Atanasov 0001 Anaheed Ayoub Young-mi BaekYoungmi Baek Osbert Bastani Luis Benet Nicola Bezzo Paul Bogdan Michele Caprio Taylor J. Carpenter Sanjian Chen Matthew Cleaveland Sara B. DeMauro Souradeep Dutta Alan W. Flake Marcelo Forets Carmelo Di Franco Jorge A. Gálvez Peter Gebhard Sebastián Guadalupe Andreas Haeberlen William Hanson III Seyed Hamed HassaniHamed Hassani Steve Hsu Omri Isac Kuk Jin Jang Sooyong Jang Minsu Jo Taylor T. Johnson Kishor Jothimurugan Marcio Juliato Yiannis Kantaros Guy Katz Ramneet Kaur Andrew L. King Pablo Laje Insup Lee 0001 Vuk Lesi Mingzhe Lin Vivian Lin Lars Lindemann Arul Lingappan Diego Manzanas Lopez Pengyuan Lu Patrick Musau Nina Narodytska Laura Nenzi Hung Nguyen 0002 Miroslav Pajic George J. Pappas Junkil Park Sangdon Park 0001 Linh T. X. Phan Mohamed A. Rehman Alexander Robey Alex RoedererAlexander Roederer Ivan Ruchkin Manoj R. Sastry Christian Schilling 0001 Deepthi Shashidhar Jayson Sia Allan F. Simpao Oleg Sokolsky Sang Hyuk Son Kaustubh Sridhar Shuhang Tan Hoang-Dung Tran Shaan Vaidya Thomas Waite Jesse Walker Shaohui Wang James Weimer Lily L. Yang Esen Yel