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)
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)
Next-Generation Lagrangian Reachtubes,
Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R.
, Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)