Publications

Export 10 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is C  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
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)
Corrections to "A Menagerie of Timed Automata", Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM Comput. Surv., Volume 50, p.42:1–42:8, (2017)  (221.78 KB)
Controllability of voltage- and calcium-driven cardiac alternans in a map model, LM, Munoz, MO Ampofo, and EM Cherry , Chaos, (2021)
Control and anticontrol of chaos in fractional-order models of Diabetes, HIV, Dengue, Migraine, Parkinson's and Ebola virus diseases, Borah, Manashita, Das Debanita, Gayan Antara, Fenton Flavio, and Cherry Elizabeth , Chaos, Solitons & Fractals, 12/2021, Volume 153, (2021)
Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability, Murthy, A., , Smolka S. A., and Grosu R. , Nonlinear Analysis: Hybrid Systems, 05/2016, (2016)
Comparing model checkers for timed UML activity diagrams, Daw, Zamira, and Cleaveland Rance , Science of Computer Programming, Volume 111, p.277–299, (2015)
Collision-Free 3D Flocking Using the Distributed Simplex Architecture, Mehmood, U., Grosu R., Smolka S. A., and Stoller S. D. , Proceedings of ISoLA Extra in Rhodes, 10/2021, (2021)
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles, Phan, D., Yang J., Grosu R., Smolka S. A., and Stoller S. D. , Formal Methods in System Design, 01/2017, (2017)
Closed-loop quantitative verification of rate-adaptive pacemakers, Paoletti, Nicola, Patanè Andrea, and Kwiatkowska Marta , ACM Transactions on Cyber-Physical Systems, to appear, (2017)
The Challenges of High-Confidence Medical Device Software, Jiang, Z., Abbas H., Jang K., and Mangharam R. , IEEE Computer January Outlook, (2016)  (726.87 KB)