Journal Papers

  1. Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov and George J. Pappas, "Risk verification of stochastic systems with neural network controllers", Artificial Intelligence, 2022.
    [article]
  2. Radoslav Ivanov*, Kishor Jothimurugan*, Steve Hsu, Shaan Vaidya, Rajeev Alur and Osbert Bastani, "Compositional Learning and Verification of Neural Network Controllers", ACM Transactions on Embedded Computing Systems (TECS), journal track of International Conference on Embedded Software (EMSOFT), 2021.
    * These authors contributed equally.
    [pdf]
  3. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas and Insup Lee, "Verifying the Safety of Autonomous Systems with Neural Network Controllers", ACM Transactions on Embedded Computing Systems (TECS), 2020 (Best Paper Award for 2019-2020).
    [article]
  4. Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer and Nicola Bezzo, "Assured run-time monitoring and planning: Towards verification of deep neural networks for safe autonomous operations", IEEE Robotics and Automation Magazine (RAM), 2020.
    [article]
  5. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George Pappas and Insup Lee, "Continuous Estimation Using Context-Dependent Discrete Measurements", IEEE Transactions on Automatic Control (TAC), 2018.
    [article]
  6. James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky and Insup Lee, "Parameter-Invariant Monitor Design for Cyber Physical Systems", Proceedings of the IEEE, 2017.
    [article]
  7. Junkil Park*, Radoslav Ivanov*, James Weimer, Miroslav Pajic, Sang Hyuk Son and Insup Lee, "Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults", ACM Transactions on Cyber-Physical Systems (TCPS), 2017.
    * These authors contributed equally.
    [article]
  8. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman and Insup Lee, "Prediction of Critical Pulmonary Shunts in Infants", IEEE Transactions on Control Systems Technology (TCST), 2016.
    [article]
  9. Radoslav Ivanov, Miroslav Pajic and Insup Lee, "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems", ACM Transactions on Embedded Computing Systems (TECS), 2016.
    [article]
  10. James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen and Insup Lee, "Parameter Invariant Design of Medical Alarms", IEEE Design & Test, 2015.
    [article]

Book Chapters

  1. Radoslav Ivanov, Miroslav Pajic and Insup Lee, "Attack-Resilient Sensor Fusion for CPS", Multisensor Data Fusion: From Algorithm and Architecture Design to Applications, pp. 409-422, CRC Press, 2015.
    [article]

Conference Papers

  1. Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky and Insup Lee, "T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification", Principles of Systems Design, Lecture Notes in Computer Science (vol. 13660), 2022.
    [pdf]
  2. Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky and Insup Lee, "Confidence Composition for Monitors of Verification Assumptions", 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2022.
    [pdf]
  3. Radoslav Ivanov*, Kishor Jothimurugan*, Steve Hsu, Shaan Vaidya, Rajeev Alur and Osbert Bastani, "Compositional Learning and Verification of Neural Network Controllers", International Conference on Embedded Software (EMSOFT), virtual, 2021.
    * These authors contributed equally.
    [pdf]
  4. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas and Insup Lee, "Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning", 33rd International Conference on Computer-Aided Verification (CAV), (virtual) Los Angeles, CA, USA, 2021.
    [pdf]
  5. Taylor J. Carpenter, Radoslav Ivanov, Insup Lee and James Weimer, "ModelGuard: Runtime Validation of Lipschitz-continuous Models", 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), (virtual) Brussels, Belgium, 2021.
    [pdf]
  6. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas and Insup Lee, "Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller", 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), (virtual) Sydney, Australia, 2020 (Best Tool Award Finalist).
    [pdf]
  7. Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee, "Verisig: verifying safety properties of hybrid systems using neural network controllers", 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada, 2019.
    [pdf]
  8. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher P. Bonafide, James Weimer and Insup Lee, "Reducing Pulse Oximetry False Alarms Without Missing Life-Threatening Events", 3rd IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), Washington, D.C., USA, 2018.
    [pdf]
  9. Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky and Insup Lee, "OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things", IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), Nanyang Technogical University, Singapore, 2018.
    [pdf]
  10. Radoslav Ivanov, James Weimer and Insup Lee, "Context-Aware Detection in Medical Cyber-Physical Systems", The 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Porto, Portugal, 2018.
    [pdf]
  11. Hung Nguyen, Radoslav Ivanov, Linh T.X. Phan, Oleg Sokolsky, James Weimer and Insup Lee, "LogSafe: Secure and Scalable Data Logger for IoT Devices", The 3rd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), Orlando, FL, USA, 2018.
    [pdf]
  12. Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son and Insup Lee, "Adaptive Transient Fault Model for Sensor Attack Detection", 4th International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), Nagoya, Japan, 2016 (Best Paper Award).
    [pdf]
  13. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee, "Estimation of Blood Oxygen Content Using Context-Aware Filtering", 7th International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria, 2016.
    [pdf]
  14. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas and Insup Lee, "Robust Estimation Using Context-Aware Filtering", 53rd Annual Allerton Conference on Communication, Control, and Computing, Allerton, IL, USA, 2015.
    [pdf]
  15. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic and Insup Lee, "Sensor Attack Detection in the Presence of Transient Faults", 6th International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, USA, 2015.
    [pdf]
  16. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman and Insup Lee, "Early Detection of Critical Pulmonary Shunts in Infants", 6th International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, USA, 2015 (Best Paper Award Finalist).
    [pdf]
  17. Radoslav Ivanov, Miroslav Pajic and Insup Lee, "Resilient Multidimensional Sensor Fusion using Measurement History", 3rd International Conference on High Confidence Networked Systems (HiCoNS, now part of ICCPS), Berlin, Germany, 2014.
    [pdf]
  18. Radoslav Ivanov, Miroslav Pajic and Insup Lee, "Attack-Resilient Sensor Fusion", Design, Automation and Test in Europe (DATE), Dresden, Germany, 2014.
    [pdf]
  19. Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky and Insup Lee, "Contract-based Blame Assignment by Trace Analysis", 2nd International Conference on High Confidence Networked Systems (HiCoNS, now part of ICCPS), Philadelphia, PA, USA, 2013.
    [pdf]

Workshop Papers

  1. Radoslav Ivanov, James Weimer and Insup Lee, "Towards Context-Aware Cyber-Physical Systems", MT-CPS 2018: 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, in conjunction with Cyber-Physical Systems Week, Porto, Portugal, 2018.
    [pdf]
  2. Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro and James Weimer, "RePulmo: A Remote Pulmonary Monitoring System", MCPS 2018: 8th Medical Cyber-Physical Systems Workshop, in conjunction with Cyber-Physical Systems Week, Porto, Portugal, 2018.
    [pdf]
  3. Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T.X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson and Insup Lee, "Cloud-based Secure Logger For Medical Devices", MedSPT 2016: The First International Workshop on Security, Privacy, and Trustworthiness in Medical Cyber Physical Systems, in conjunction with the IEEE 1st International Conference on Connected Health: Applications, Systems and Engineering Technologies, Washington, DC, USA, 2016.
    [pdf]
  4. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee and George Pappas, "Robust Localization Using Context-Aware Filtering", Workshop on Multi-View Geometry in Robotics, in conjunction with RSS, Rome, Italy, 2015.
    [pdf]

Dissertation

  • Radoslav Ivanov, "Context-Aware Sensor Fusion for Securing Cyber-Physical Systems", University of Pennsylvania, Philadelphia, PA, USA, 2017.
    [pdf]

Others

  1. Radoslav Ivanov, "State Estimation Filters", Written Preliminary Exam II Report, University of Pennsylvania, Philadelphia, PA, USA, 2015.
    [pdf]
  2. Nicola Bezzo, Junkil Park, Andrew King, Peter Gebhard, Radoslav Ivanov and Insup Lee, "ROSLab -- A modular programming environment for robotic applications", 5th International Conference on Cyber-Physical Systems (ICCPS), 2014 (Demo abstract).
  3. D. Shashidhar, M. Lin, R. Ivanov, I. Lee, A. Simpao, M. Lingappan, J. Galvez, P. Laje, A. Flake and M. Rehman, "Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves", IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS), 2014 (Abstract).
  4. Allan Simpao, Radoslav Ivanov, Insup Lee, Jorge Galvez and Mohamed Rehman, "The use of machine learning for data auditing and predictive modeling of open thoracotomy versus thoracoscopic surgical resections for congenital cystic lung lesions", Anesthesia and Analgesia, vol. 117, pp. 60-61, 2013 (Abstract).