SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems,
Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin
, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)
(679.39 KB) OpenUAV: A UAV Testbed for the CPS and Robotics Community,
Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay
, Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)
(825.63 KB) Declarative vs Rule-based Control for Flocking Dynamics,
Mehmood, Usama, Paoletti Nicola, Phan Dung, Grosu Radu, Lin Shan, Stoller Scott D., Tiwari Ashish, Yang Junxing, and Smolka Scott A.
, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, New York, NY, USA, (2018)
(904.24 KB) Cybercardia project: Modeling, verification and validation of implantable cardiac devices,
Islam, Md Ariful, Lim Hyunkyung, Paoletti Nicola, Abbas Houssam, Jiang Zhihao, Cyranka Jacek, Cleaveland Rance, Gao Sicun, Clarke Edmund, Grosu Radu, et al.
, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), (2016)