Publications

Export 29 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is M  [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 
U
Unsupervised Wafermap Patterns Clustering via Variational Autoencoders, Tulala, Peter, Mahyar Hamidreza, Ghalebi Elahe, and Grosu Radu , 2018 International Joint Conference on Neural Networks (IJCNN), 07/2018, Rio, Brasil, (2018)  (2.14 MB)
UML-VT: A Formal Verification Environment for UML Activity Diagrams., Daw, Zamira, Mangino John, and Cleaveland Rance , P&D@ MoDELS, (2015)
T
Towards Model Checking of Implantable Cardioverter Defibrillators, Abbas, Houssam, Jiang Kuk Jin, Jiang Zhihao, and Mangharam Rahul , Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2016)  (1.87 MB)
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)
S
Safe CPS from Unsafe Controllers, Mehmood, U., Bak S., Smolka S. A., and Stoller S. D. , Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
O
Opacity for switched linear systems: Notions and characterization, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Dec, (2017)  (512.18 KB)
N
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)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
M
Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation, Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R. , Theoretical Computer Science, 09/2015, Volume 599C, (2015)
L
Learning Distributed Controllers for V-Formation, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
I
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)
H
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)
High-Confidence Medical Device Software Development, Jiang, Z., and Mangharam R. , Foundations and Trends in Electronic Design Automation, Volume 9, (2015)  (14.77 MB)
F
A framework for opacity in linear systems, Ramasubramanian, Bhaskar, Cleaveland Rance, and Marcus Steven I. , 2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016, (2016)  (159.19 KB)
A framework for decentralized opacity in linear systems, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), Sept, (2016)  (564.69 KB)
E
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)
D
Dynamic Network Model from Partial Observations, K., Elahe Ghalebi, Mirzasoleiman Baharan, Grosu Radu, and Leskovec Jure , CoRR, Volume abs/1805.10616, (2018)  (476.08 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)
Discordant Alternans as a Mechanism for Initiation of Ventricular Fibrillation In Vitro, Munoz, Laura, Gelzer Anna R. M., Fenton Flavio, Qian Wei, Lin WeiYe, Gilmour Robert F., and Otani Niels F. , Journal of the American Heart Association, 09, Volume 7, (2018)  (4.08 MB)
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)
C
Controllability of voltage- and calcium-driven cardiac alternans in a map model, LM, Munoz, MO Ampofo, and EM Cherry , Chaos, (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)
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)
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)

Pages