Radoslav Ivanov
发表
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2013,
HiCoNS '13.
Andreas Haeberlen,
Insup Lee,
Oleg Sokolsky,
2016,
2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2018,
Proceedings of the IEEE.
Radoslav Ivanov,
Radoslav Ivanov,
2017
.
Insup Lee,
Miroslav Pajic,
James Weimer,
2015,
ICCPS.
Insup Lee,
Miroslav Pajic,
Radoslav Ivanov,
2016,
ACM Trans. Embed. Comput. Syst..
Miroslav Pajic,
Radoslav Ivanov,
Radoslav Ivanov,
2016
.
Radoslav Ivanov,
2016
.
Insup Lee,
Radoslav Ivanov,
Miroslav Pajic,
2017
.
Taylor J. Carpenter,
I. Lee,
O. Sokolsky,
2021,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
George J. Pappas,
Radoslav Ivanov,
Lars Lindemann,
2022,
Artif. Intell..
James Weimer,
Nikolay Atanasov,
Radoslav Ivanov,
2016
.
Manoj R. Sastry,
O. Sokolsky,
Radoslav Ivanov,
2022,
ArXiv.
Insup Lee,
George J. Pappas,
Rajeev Alur,
2018,
HSCC.
James Weimer,
Radoslav Ivanov,
Insup Lee,
2019,
DESTION@CPSIoTWeek.
James Weimer,
Radoslav Ivanov,
Hung Nguyen,
2019,
SIGBED.
Kuk Jin Jang,
O. Sokolsky,
Radoslav Ivanov,
2023,
ArXiv.
George J. Pappas,
Rajeev Alur,
James Weimer,
2021,
CAV.
Taylor T. Johnson,
Hoang-Dung Tran,
Souradeep Dutta,
2019,
ARCH@CPSIoTWeek.
Radoslav Ivanov,
Hung Nguyen,
James Weimer,
2019,
ACM SIGBED Review.
Radoslav Ivanov,
Radoslav Ivanov,
2015
.
Insup Lee,
George J. Pappas,
Allan F. Simpao,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Sangdon Park,
James Weimer,
2020,
ArXiv.
Radoslav Ivanov,
James Weimer,
Sooyong Jang,
2021
.
Kuk Jin Jang,
O. Sokolsky,
Radoslav Ivanov,
2023,
ArXiv.
Insup Lee,
George J. Pappas,
Rajeev Alur,
2019,
HSCC.
Insup Lee,
Allan F. Simpao,
Mohamed A. Rehman,
2016,
IEEE Transactions on Control Systems Technology.
Radoslav Ivanov,
James Weimer,
Sooyong Jang,
2021,
ArXiv.
RADOSLAV IVANOV,
KISHOR JOTHIMURUGAN,
STEVE HSU,
2021,
ACM Trans. Embed. Comput. Syst..
George J. Pappas,
R. Alur,
Radoslav Ivanov,
2018,
International Conference on Hybrid Systems: Computation and Control.
O. Sokolsky,
Radoslav Ivanov,
James Weimer,
2022,
Principles of Systems Design.
Taylor T. Johnson,
Diego Manzanas Lopez,
Taylor J. Carpenter,
2022,
EPiC Series in Computing.
Insup Lee,
Christopher P. Bonafide,
James Weimer,
2018,
Smart health.
Insup Lee,
Oleg Sokolsky,
Hung Nguyen,
2018,
2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI).
Insup Lee,
Sanjian Chen,
James Weimer,
2015,
IEEE Design & Test.
Insup Lee,
George J. Pappas,
Miroslav Pajic,
2015,
2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Insup Lee,
Miroslav Pajic,
Radoslav Ivanov,
2014,
HiCoNS.
Kuk Jin Jang,
O. Sokolsky,
Radoslav Ivanov,
2023,
ArXiv.
Christian Schilling,
Taylor T. Johnson,
James Weimer,
2021,
ARCH@ADHS.
Insup Lee,
James Weimer,
Nicola Bezzo,
2020,
IEEE Robotics & Automation Magazine.
Radoslav Ivanov,
Alexander Robey,
George J Pappas,
2023,
ArXiv.
James Weimer,
Radoslav Ivanov,
Taylor J. Carpenter,
2021,
ADHS.
Insup Lee,
Oleg Sokolsky,
Ramneet Kaur,
2020,
SAFECOMP Workshops.
Diego Manzanas Lopez,
Taylor J. Carpenter,
Radoslav Ivanov,
2019,
ARCH@CPSIoTWeek.
O. Sokolsky,
Radoslav Ivanov,
James Weimer,
2019,
Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19.
Insup Lee,
James Weimer,
Radoslav Ivanov,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Oleg Sokolsky,
Hung Nguyen,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Kuk Jin Jang,
O. Sokolsky,
Radoslav Ivanov,
2023,
2302.09656.