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)
An Extensible Operational Semantics for UML Activity Diagrams,
Daw, Zamira, and Cleaveland Rance
, Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)
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) 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) 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)