Scott Smolka

TypePostAuthorRepliesLast updated
FileCompositional, Approximate, and Quantitative Reasoning for Medical CPS Scott Smolka05 weeks 2 days ago
FileCMACS: Computational Modeling and Analysis for Complex Systems Scott Smolka06 weeks 1 day ago
NSF CPS ProjectClosed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models Scott Smolka021 weeks 3 days ago
FileClosed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models Scott Smolka021 weeks 3 days ago
FileCyberCardia- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs Scott Smolka029 weeks 3 days ago
FileCompositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Scott Smolka048 weeks 6 days ago
FileCPS Frontiers- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs poster.pdf Scott Smolka01 year 5 weeks ago
FileCyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical CPS Scott Smolka01 year 16 weeks ago
NSF CPS ProjectCPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Scott Smolka01 year 38 weeks ago
FileFinal Report on the 2014 CPS Medical Devices Workshop Scott Smolka02 years 9 weeks ago
NSF CPS Project2014 CPS Medical Devices Workshop Travel Support Scott Smolka03 years 24 weeks ago
FileReport on NSF 2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems Scott Smolka04 years 37 weeks ago
User ProfileScott Smolka Scott Smolka05 years 41 weeks ago