Insup Lee
发表
Xin Chen,
Fanxin Kong,
Oleg Sokolsky,
2021,
ACM Trans. Embed. Comput. Syst..
Oleg Sokolsky,
James Weimer,
Insup Lee,
2021
.
Oleg Sokolsky,
Ivan Ruchkin,
Matthew Cleaveland,
2021,
ArXiv.
George J. Pappas,
Rajeev Alur,
James Weimer,
2021,
CAV.
Oleg Sokolsky,
James Weimer,
Insup Lee,
2021,
ArXiv.
James Weimer,
Radoslav Ivanov,
Taylor J. Carpenter,
2021,
ADHS.
Christian Schilling,
Taylor T. Johnson,
James Weimer,
2021,
ARCH@ADHS.
Christopher D. Gill,
Oleg Sokolsky,
Linh T. X. Phan,
2021,
RTNS.
Susmit Jha,
Oleg Sokolsky,
Edgar Dobriban,
2022,
AAAI.
James Weimer,
Yiannis Kantaros,
Taylor J. Carpenter,
2021,
ICCPS.
Oleg Sokolsky,
Ivan Ruchkin,
Matthew Cleaveland,
2021,
Formal Methods in Outer Space.
Edgar Dobriban,
Osbert Bastani,
Insup Lee,
2021,
ArXiv.
Susmit Jha,
Oleg Sokolsky,
Ramneet Kaur,
2021,
ArXiv.
Susmit Jha,
Oleg Sokolsky,
Ramneet Kaur,
2021,
ArXiv.
Deepak Gangadharan,
Oleg Sokolsky,
BaekGyu Kim,
2021,
2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring).
Oleg Sokolsky,
Radoslav Ivanov,
Ivan Ruchkin,
2021,
ArXiv.
Jin Hyun Kim,
Insup Lee,
Hyonyoung Choi,
2021,
Journal of KIISE.
Hyo Jin Jo,
Insup Lee,
Jinhyun Kim,
2021,
Applied Sciences.