| 2026 |
J |
jnl |
CoRR
Shuhang Tan, Jayson Sia, Paul Bogdan, Radoslav Ivanov
|
| 2026 |
J |
jnl |
CoRR
Conor Flynn, Radoslav Ivanov, Birsen Yazici
|
| 2025 |
— |
conf |
NeuS
Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin, Radoslav Ivanov
|
| 2025 |
J |
jnl |
CoRR
Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin, Radoslav Ivanov
|
| 2025 |
J |
jnl |
CoRR
Yuang Geng, Thomas Waite, Trevor Turnquist, Radoslav Ivanov, Ivan Ruchkin
|
| 2024 |
— |
conf |
ICAA
Shuhang Tan, Jayson Sia, Paul Bogdan, Radoslav Ivanov
|
| 2024 |
J |
jnl |
CoRR
Shuhang Tan, Jayson Sia, Paul Bogdan, Radoslav Ivanov
|
| 2024 |
J |
jnl |
Trans. Mach. Learn. Res.
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
|
| 2023 |
J |
jnl |
CoRR
Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov
|
| 2023 |
J |
jnl |
CoRR
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
|
| 2022 |
J |
jnl |
CoRR
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
|
| 2022 |
— |
conf |
ICCPS
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
|
| 2022 |
J |
jnl |
CoRR
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
|
| 2022 |
J |
jnl |
Artif. Intell.
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
|
| 2022 |
— |
ed. |
NSV/FoMLAS@CAV
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
|
| 2022 |
— |
conf |
Principles of Systems Design
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
|
| 2021 |
— |
conf |
ARCH@ADHS
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
|
| 2021 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
|
| 2021 |
J |
jnl |
CoRR
Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
|
| 2021 |
J |
jnl |
CoRR
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
|
| 2021 |
— |
conf |
ADHS
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
|
| 2021 |
J |
jnl |
CoRR
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
|
| 2021 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
|
| 2021 |
— |
conf |
CAV (1)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
|
| 2020 |
— |
conf |
SAFECOMP Workshops
Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
|
| 2020 |
J |
jnl |
IEEE Robotics Autom. Mag.
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
|
| 2020 |
— |
conf |
HSCC
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
|
| 2020 |
J |
jnl |
CoRR
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
|
| 2019 |
— |
conf |
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
|
| 2019 |
J |
jnl |
CoRR
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
|
| 2019 |
J |
jnl |
IEEE Trans. Autom. Control.
Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
|
| 2019 |
— |
conf |
DESTION@CPSIoTWeek
Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
|
| 2019 |
J |
jnl |
SIGBED Rev.
Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, James Weimer
|
| 2019 |
— |
conf |
HSCC
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
|
| 2018 |
— |
conf |
ICCPS
Radoslav Ivanov, James Weimer, Insup Lee
|
| 2018 |
— |
conf |
IoTDI
Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
|
| 2018 |
C |
conf |
ISORC
Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
|
| 2018 |
J |
jnl |
Proc. IEEE
James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
|
| 2018 |
— |
conf |
MT@CPSWeek
Radoslav Ivanov, James Weimer, Insup Lee
|
| 2018 |
J |
jnl |
CoRR
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
|
| 2017 |
J |
jnl |
ACM Trans. Cyber Phys. Syst.
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
|
| 2016 |
— |
conf |
CPSNA
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
|
| 2016 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Radoslav Ivanov, Miroslav Pajic, Insup Lee
|
| 2016 |
B |
conf |
CHASE
Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
|
| 2016 |
— |
conf |
ICCPS
Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
|
| 2016 |
J |
jnl |
IEEE Trans. Control. Syst. Technol.
Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
|
| 2016 |
B |
conf |
RTCSA
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
|
| 2015 |
— |
conf |
ICCPS
Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
|
| 2015 |
J |
jnl |
IEEE Des. Test
James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee
|
| 2015 |
— |
conf |
Allerton
Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee
|
| 2015 |
— |
conf |
ICCPS
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
|
| 2014 |
B |
conf |
CBMS
Deepthi Shashidhar, Mingzhe Lin, Radoslav Ivanov, Insup Lee, Allan F. Simpao, Arul Lingappan, Jorge A. Gálvez, Pablo Laje, Alan W. Flake, Mohamed A. Rehman
|
| 2014 |
A |
conf |
DATE
Radoslav Ivanov, Miroslav Pajic, Insup Lee
|
| 2014 |
— |
conf |
ICCPS
Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee
|
| 2014 |
— |
conf |
HiCoNS
Radoslav Ivanov, Miroslav Pajic, Insup Lee
|
| 2013 |
— |
conf |
HiCoNS
Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
|