Islam, M. A., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., … Grosu, R. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599C. (Original work published 2015)
S. Smolka
First name
S.
Middle name
A.
Last name
Smolka
Chatzieleftheriou, G., Bonakdarpour, B., Katsaros, P., & Smolka, S. A. (2015). Abstract Model Repair. Logical Methods in Computer Science, 3:11.
Murthy, A., Islam, M. A., Smolka, S. A., & Grosu, R. (2016). Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability. Nonlinear Analysis: Hybrid Systems. (Original work published 2016)
Phan, D., Yang, J., Grosu, R., Smolka, S. A., & Stoller, S. D. (2017). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. Formal Methods in System Design. (Original work published 2017)
Paoletti, N., Liu, K. S., Chen, H., Smolka, S. A., & Lin, S. (2020). Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. IEEE/ACM/Transactions/on/Computational/Biology/and/Bioinformatics, 17(6). (Original work published 2020)
DeFrancisco, R., Cho, S., Ferdman, M., & Smolka, S. A. (2020). Swarm Model Checking on the GPU. International Journal on Software Tools for Technology Transfer.
Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2020). Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access.