Conference Paper
Automated Specification Extraction and Analysis with Specstractor,
Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael
, Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.,
Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A.
, CMSB, (2016)
(795.28 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)
Data assimilation for cardiac electrical dynamics,
Cherry, E. M., Cairns D. I., Holt N., LaVigne N. S., Fenton F. H., and Hoffman M. J.
, Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}, Pittsburgh, PA, (2017)
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) 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) High-level modeling for computer-aided clinical trials of medical devices,
Abbas, Houssam, Jiang Zhihao, Jang Kuk Jin, Beccani Marco, Liangy Jackson, and Mangharam Rahul
, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, (2016)
(4.01 MB) In-silico pre-clinical trials for implantable cardioverter defibrillators,
Jiang, Zhihao, Abbas Houssam, Jang Kuk Jin, Beccani Marco, Liang Jackson, Dixit Sanjay, and Mangharam Rahul
, Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the, (2016)
(4.99 MB) 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)
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)
A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias,
Abbas, H., Jang K.J., Liang J., Dixit S., and Mangharam R.
, In Heart Rhythm Scientific Sessions, Chicago, 05/2017, (2017)
(77.23 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) SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems,
Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo
, Haifa Verification Conference, to appear, (2017)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level,
Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam
, CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)
Verification of Neural ODEs with Stochastic Guarantees,
Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R.
, Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)
] Year 