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"Children
Sign in to add traineeYifei Dong | grad student | 2003 | SUNY Stony Brook |
Pei Ye | grad student | 2008 | SUNY Stony Brook |
Sean Callanan | grad student | 2009 | SUNY Stony Brook |
Xiaowan Huang | grad student | 2010 | SUNY Stony Brook |
Tushar S. Deshpande | grad student | 2013 | SUNY Stony Brook |
Abhishek Murthy | grad student | 2014 | SUNY Stony Brook |
BETA: Related publications
See more...
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. |
Murthy A, Islam MA, Smolka SA, et al. (2016) Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability Nonlinear Analysis: Hybrid Systems |
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, 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 |
Murthy A, Bartocci E, Fenton FH, et al. (2013) Curvature analysis of cardiac excitation wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 323-36 |
Murthy A, Bartocci E, Fenton FH, et al. (2012) Curvature Analysis of Cardiac Excitation Wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm |
Huang X, Seyster J, Callanan S, et al. (2012) Software monitoring with controllable overhead International Journal On Software Tools For Technology Transfer. 14: 327-347 |
Murthy A, Islam MA, Bartocci E, et al. (2012) Approximate bisimulations for sodium channel dynamics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7605: 267-287 |
Huang X, Singh A, Smolka SA. (2011) Using integer clocks to verify clock-synchronization protocols Innovations in Systems and Software Engineering. 7: 119-130 |
Bartocci E, Corradini F, Entcheva E, et al. (2008) CellExcite: an efficient simulation environment for excitable cells. Bmc Bioinformatics. 9: S3 |