Grants & Projects per year
Personal profile
Fingerprint
Dive into the research topics where Scott Smolka is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: CPS: Medium: Mitigating Errors in Air Traffic Control
Bak, S. (PI) & Smolka, S. (CoPI)
08/1/25 → 07/31/28
Project: Research
-
Controller-Attacker Games for Multi-Agent Systems
Stoller, S. D. (PI) & Smolka, S. (CoPI)
01/31/24 → 01/30/27
Project: Research
-
NSF Convergence Accelerator-Track D: Al-Grid: Al-Enabled, Provably Resilient, Programmable Networked Microgrids
Zhang, P. (PI), Smolka, S. (CoPI), Stoller, S. D. (CoPI) & Wang, X. (CoPI)
10/1/21 → 04/30/25
Project: Research
-
Automated Cross-Validation of TLS 1.3 Implementations
Zadok, E. (PI), Rahmati, A. (CoPI) & Smolka, S. (CoPI)
10/11/20 → 10/11/23
Project: Research
-
NSF Convergence Accelerator - Track D: AI-Enabled Provably Resilient Networked Microgrids
Zhang, P. (PI), Smolka, S. (CoPI), Stoller, S. D. (CoPI) & Wang, X. (CoPI)
08/22/20 → 09/30/22
Project: Research
-
A Barrier Certificate-Based Simplex Architecture for Systems With Approximate and Hybrid Dynamics
Damare, A., Roy, S., Sharma, R., DSouza, K., Smolka, S. A. & Stoller, S. D., 2025, In: IEEE Access. 13, p. 157742-157763 22 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Cumulative-Time Signal Temporal Logic
Chen, H., Zhang, Z., Roy, S., Bartocci, E., Smolka, S. A., Stoller, S. & Lin, S., Oct 4 2025, In: ACM Transactions on Embedded Computing Systems. 24, 5, 149.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Enhanced File System Testing through Input and Output Coverage
Liu, Y., Kuenning, G., Kamal Parvez, M., Smolka, S. A. & Zadok, E., Sep 8 2025, Proceedings of the 18th ACM International Systems and Storage Conference, SYSTOR 2025. Association for Computing Machinery, Inc, p. 151-166 16 p. (Proceedings of the 18th ACM International Systems and Storage Conference, SYSTOR 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The black-box simplex architecture for runtime assurance of multi-agent CPS
Sheikhi, S., Mehmood, U., Bak, S., Smolka, S. A. & Stoller, S. D., Jun 2025, In: Innovations in Systems and Software Engineering. 21, 2, p. 619-634 16 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
Two Decades of Industrializing Formal Verification: The Reactis Story
Cleaveland, R., Hansel, D., Sims, S. & A. Smolka, S., 2025, Model Checking Software - 30th International Symposium, SPIN 2024, Proceedings. Neele, T. & Wijs, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 87-105 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14624 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review