Scott Smolka

TypePostAuthorRepliesLast updated
FileCompositional, Approximate, and Quantitative Reasoning for Medical CPS Scott Smolka030 weeks 5 days ago
FileCMACS: Computational Modeling and Analysis for Complex Systems Scott Smolka031 weeks 4 days ago
FileClosed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models Scott Smolka046 weeks 6 days ago
NSF CPS ProjectClosed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models Scott Smolka046 weeks 6 days ago
FileCyberCardia- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs Scott Smolka01 year 2 weeks ago
FileCompositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Scott Smolka01 year 22 weeks ago
FileCPS Frontiers- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs poster.pdf Scott Smolka01 year 31 weeks ago
FileCyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical CPS Scott Smolka01 year 42 weeks ago
NSF CPS ProjectCPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems Scott Smolka02 years 11 weeks ago
FileFinal Report on the 2014 CPS Medical Devices Workshop Scott Smolka02 years 35 weeks ago
NSF CPS Project2014 CPS Medical Devices Workshop Travel Support Scott Smolka03 years 50 weeks ago
FileReport on NSF 2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems Scott Smolka05 years 11 weeks ago
User ProfileScott Smolka Scott Smolka06 years 14 weeks ago