Grants & Projects per year
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
-
Controller-Attacker Games for Multi-Agent Systems
Stoller, S. D. (PI) & Smolka, S. (CoPI)
01/31/24 → …
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 → …
Project: Research
-
Adaptive Runtime Verification and Recovery for Mission-Critical Software
Smolka, S. (PI), Stoller, S. D. (CoPI) & Zadok, E. (CoPI)
09/1/14 → …
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
-
FMitF: Track I: NLP-Assisted Formal Verification of the NFS Distributed File System Protocol
Zadok, E. (PI), Balasubramanian, N. (CoPI) & Smolka, S. (CoPI)
07/1/19 → 09/30/24
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