Publications

Export 110 results:
Author Title [ Type(Asc)] Year
Conference Paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms, Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu , International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)  (1.06 MB)
Programming is modeling, Cleaveland, Rance , International Symposium on Leveraging Applications of Formal Methods, (2018)
Parallel Acceleration on Removal of Optical Mapping Baseline Wandering, Uzelac, Ilija, Iravanian Shahriar, and Fenton Flavio H. , 2019 Computing in Cardiology (CinC), 09/2019, (2019)
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)
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)
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)
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)
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , Proceedings of the 37th International Conference on Machine Learning, 13–18 Jul, (2020)
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas, Chen, H., Paoletti N., Smolka S. A., and Lin S. , Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control, 12/2021, (2021)
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)
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)
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)
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)
Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme, Lechner, Mathias, Hasani Ramin, Rus Daniela, and Grosu Radu , 2020 IEEE International Conference on Robotics and Automation (ICRA), (2020)
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)
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)
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)
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)
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)
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties, Paoletti, Nicola, Liu Kin Sum, Smolka Scott A., and Lin Shan , Computational Methods in Systems Biology, (2017)
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)
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)

Pages