Alena Rodionova
发表
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2017,
Dependable Software Systems Engineering.
Houssam Abbas,
Rahul Mangharam,
Alena Rodionova,
2018
.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
HSCC.
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2016,
ArXiv.
Rajeev Alur,
Houssam Abbas,
Rahul Mangharam,
2018,
Proceedings of the IEEE.
Houssam Abbas,
Rahul Mangharam,
Alena Rodionova,
2017,
ARCH@CPSWeek.
Houssam Abbas,
Rahul Mangharam,
Kuk Jin Jang,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2016,
CMSB.
Houssam Abbas,
Rahul Mangharam,
Alena Rodionova,
2017
.
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2019,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Rajeev Alur,
Houssam Abbas,
Rahul Mangharam,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Houssam Abbas,
Rahul Mangharam,
Alena Rodionova,
2017,
CyPhy.
Manfred Morari,
George J. Pappas,
Lars Lindemann,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Houssam Abbas,
Megan S. Ryerson,
Rahul Mangharam,
2021
.