☰

Scott Smolka - Publications

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.
Tree Info Similar researchers PubMed Report error

24 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Murthy A, Islam MA, Smolka SA, Grosu R. Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability Nonlinear Analysis: Hybrid Systems. DOI: 10.1016/J.Nahs.2016.03.008  0.552
2015 Murthy A, Islam MA, Smolka SA, Grosu R. 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. DOI: 10.1145/2728606.2728609  0.492
2015 Ariful Islam M, Murthy A, Bartocci E, Cherry EM, Fenton FH, Glimm J, Smolka SA, Grosu R. Model-order reduction of ion channel dynamics using approximate bisimulation Theoretical Computer Science. 599: 34-46. DOI: 10.1016/J.Tcs.2014.03.018  0.534
2014 Islam MA, Murthy A, Girard A, Smolka SA, Grosu R. 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. DOI: 10.1145/2562059.2562138  0.486
2013 Murthy A, Bartocci E, Fenton FH, Glimm J, Gray RA, Cherry EM, Smolka SA, Grosu R. Curvature analysis of cardiac excitation wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 323-36. PMID 23929858 DOI: 10.1109/Tcbb.2012.125  0.503
2012 Murthy A, Bartocci E, Fenton FH, Glimm J, Gray RA, Cherry EM, Smolka SA, Grosu R. Curvature Analysis of Cardiac Excitation Wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. PMID 23027553  0.503
2012 Huang X, Seyster J, Callanan S, Dixit K, Grosu R, Smolka SA, Stoller SD, Zadok E. Software monitoring with controllable overhead International Journal On Software Tools For Technology Transfer. 14: 327-347. DOI: 10.1007/s10009-010-0184-4  0.72
2012 Murthy A, Islam MA, Bartocci E, Cherry EM, Fenton FH, Glimm J, Smolka SA, Grosu R. 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. DOI: 10.1007/978-3-642-33636-2_16  0.509
2011 Huang X, Singh A, Smolka SA. Using integer clocks to verify clock-synchronization protocols Innovations in Systems and Software Engineering. 7: 119-130. DOI: 10.1007/S11334-011-0152-5  0.684
2008 Bartocci E, Corradini F, Entcheva E, Grosu R, Smolka SA. CellExcite: an efficient simulation environment for excitable cells. Bmc Bioinformatics. 9: S3. PMID 18387205 DOI: 10.1186/1471-2105-9-S2-S3  0.622
2008 Ye P, Entcheva E, Smolka SA, Grosu R. Modelling excitable cells using cycle-linear hybrid automata. Iet Systems Biology. 2: 24-32. PMID 18248083 DOI: 10.1049/Iet-Syb:20070001  0.542
2008 Callanan S, Dean DJ, Gorbovitski M, Grosu R, Seyster J, Smolka SA, Stoller SD, Zadok E. Software monitoring with bounded overhead Ipdps Miami 2008 - Proceedings of the 22nd Ieee International Parallel and Distributed Processing Symposium, Program and Cd-Rom. DOI: 10.1109/IPDPS.2008.4536433  0.704
2008 Ye P, Entcheva E, Smolka SA, Grosu R. Symbolic analysis of the neuron action potential 2nd International Conference On Bioinformatics and Biomedical Engineering, Icbbe 2008. 836-839. DOI: 10.1109/ICBBE.2008.205  0.572
2008 Ye P, Grosu R, Smolka SA, Entcheva E. Formal analysis of abnormal excitation in cardiac tissue Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5307: 141-155. DOI: 10.1007/978-3-540-88562-7_13  0.547
2007 Callanan S, Grosu R, Seyster J, Smolka SA, Zadok E. Model predictive control for memory profiling Proceedings - 21st International Parallel and Distributed Processing Symposium, Ipdps 2007; Abstracts and Cd-Rom. DOI: 10.1109/IPDPS.2007.370514  0.712
2007 Grosu R, Mitra S, Ye P, Entcheva E, Ramakrishnan IV, Smolka SA. Learning cycle-linear hybrid automata for excitable cells Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 245-258.  0.476
2006 Ye P, Entcheva E, Smolka SA, True MR, Grosu R. Hybrid automata as a unifying framework for modeling excitable cells. Conference Proceedings : ... Annual International Conference of the Ieee Engineering in Medicine and Biology Society. Ieee Engineering in Medicine and Biology Society. Annual Conference. 1: 4151-4. PMID 17947070 DOI: 10.1109/IEMBS.2006.259294  0.566
2006 Ye P, Entcheva E, Smolka SA, True MR, Grosu R. A cycle-linear approach to modeling action potentials. Conference Proceedings : ... Annual International Conference of the Ieee Engineering in Medicine and Biology Society. Ieee Engineering in Medicine and Biology Society. Annual Conference. 1: 3931-4. PMID 17947059 DOI: 10.1109/IEMBS.2006.259874  0.557
2006 True MR, Entcheva E, Smolka SA, Ye P, Grosu R. Efficient event-driven simulation of excitable hybrid automata. Conference Proceedings : ... Annual International Conference of the Ieee Engineering in Medicine and Biology Society. Ieee Engineering in Medicine and Biology Society. Annual Conference. 1: 3150-3. PMID 17946553 DOI: 10.1109/IEMBS.2006.260402  0.549
2006 Callanan S, Grosu R, Huang X, Smolka SA, Zadok E. Compiler-assisted software verification using plug-ins 20th International Parallel and Distributed Processing Symposium, Ipdps 2006. 2006. DOI: 10.1109/IPDPS.2006.1639579  0.73
2006 Callanan S, Grosu R, Rai A, Smolka SA, True MR, Zadok E. Runtime Verification for High-Confidence Systems: A Monte Carlo Approach Electronic Notes in Theoretical Computer Science. 164: 41-52. DOI: 10.1016/J.Entcs.2006.09.005  0.716
2006 Grosu R, Huang X, Jain S, Smolka SA. Open-source model checking Electronic Notes in Theoretical Computer Science. 144: 27-44. DOI: 10.1016/J.Entcs.2006.01.003  0.696
2003 Dong Y, Du X, Holzmann GJ, Smolka SA. Fighting livelock in the GNU i-protocol: A case study in explicit-state model checking International Journal On Software Tools For Technology Transfer. 4: 505-528. DOI: 10.1007/S10009-002-0092-3  0.521
1998 Cui B, Dong Y, Du X, Kumar KN, Ramakrishnan CR, Ramakrishnan IV, Roychoudhury A, Smolka SA, Warren DS. Logic programming and model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 1-20. DOI: 10.1007/Bfb0056604  0.55
Show low-probability matches.