Neural State Classification for Hybrid Systems,
Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D.
, Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)
(528.72 KB) Model-Checking Support for File System Development,
Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E.
, Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)
Lagrangian Reachabililty,
Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu
, Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus,
Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W.
, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)
(976.61 KB) A Distributed Simplex Architecture for Multi-Agent Systems,
Mehmood, U., Stoller S. D., Grosu R., Roy S., Damare A., and Smolka S. D.
, Proceedings of SETTA 2021, Symposium on Dependable Software Engineering, 11/2021, (2021)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding,
Roy, S., Mehmood U., Grosu R., Smolka S. A., Stoller S. D., and Tiwari A.
, Proceedings of ACC 2021, The 2021 American Control Conference, 06/2021, (2021)
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)
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)