Scott Smolka

Affiliations: 
Computer Science Stony Brook University, Stony Brook, NY, United States 
Area:
Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms.
Google:
"Scott Smolka"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Paoletti N, Liu KS, Chen H, et al. (2019) Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. Ieee/Acm Transactions On Computational Biology and Bioinformatics
Abbas H, Rodionova A, Mamouras K, et al. (2018) Quantitative Regular Expressions for Arrhythmia Detection. Ieee/Acm Transactions On Computational Biology and Bioinformatics
Selyunin K, Ratasich D, Bartocci E, et al. (2016) Neural Programming: Towards adaptive control in Cyber-Physical Systems Proceedings of the Ieee Conference On Decision and Control. 2016: 6978-6985
Chatzieleftheriou G, Bonakdarpour B, Katsaros P, et al. (2015) Abstract model repair Logical Methods in Computer Science. 11
Murthy A, Islam MA, Smolka SA, et al. (2015) Computing bisimulation functions using SOS optimization and δ-decidability over the reals Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 78-87
Ariful Islam M, Murthy A, Bartocci E, et al. (2015) Model-order reduction of ion channel dynamics using approximate bisimulation Theoretical Computer Science. 599: 34-46
Islam MA, De Francisco R, Fan C, et al. (2015) Model checking tap withdrawal in c. Elegans Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9271: 195-210
Phan D, Yang J, Ratasich D, et al. (2015) Collision avoidance for mobile robots with limited sensing and limited information about the environment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9333: 201-215
Bartocci E, DeFrancisco R, Smolka SA. (2014) Towards a GPGPU-parallel SPIN model checker 2014 International Spin Symposium On Model Checking of Software, Spin 2014 - Proceedings. 87-96
Islam MA, Murthy A, Girard A, et al. (2014) Compositionality results for cardiac cell dynamics Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 243-252
See more...