Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 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
-
CSCI 4950 Senior Software Project Course for AY 26 by Medtronic
Rayadurgam, S. (PI) & Fazzini, M. (Co-Principal Investigator)
8/18/25 → 5/29/26
Project: Research project
-
FMitF: Track I: ComScaN: Composition and Scaling of Network Service Functions
Rayadurgam, S. (PI), Van Wyk, E. (CoI) & Zhang, Z.-L. (CoI)
THE NATIONAL SCIENCE FOUNDATION
7/15/21 → 6/30/26
Project: Research project
-
2022-2023 Senior Design Project for Target
Rayadurgam, S. (PI) & Wendt, K. D. (Prior Principal Investigator)
10/1/22 → 5/31/23
Project: Research project
-
CSCI 4950 Senior Design Project for Medtronic
Rayadurgam, S. (PI) & Wendt, K. D. (Prior Principal Investigator)
9/1/22 → 5/31/23
Project: Research project
-
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Heimdahl, M. (PI), Hopper, N. (CoI), Lu, K. (CoI), McCamant, S. A. (CoI) & Rayadurgam, S. (CoI)
THE NATIONAL SCIENCE FOUNDATION
10/1/19 → 9/30/21
Project: Research project
-
Counterexample-Guided Inductive Repair of Reactive Contracts
Hussein, S. M., Rayadurgam, S., McCamant, S., Sharma, V. B. & Heimdahl, M., Jul 21 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. Institute of Electrical and Electronics Engineers Inc., p. 46-57 12 p. (Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Black-Box Testing of Deep Neural Networks
Byun, T., Rayadurgam, S. & Heimdahl, M. P. E., 2021, Proceedings - 2021 IEEE 32nd International Symposium on Software Reliability Engineering, ISSRE 2021. Jin, Z., Li, X., Xiang, J., Mariani, L., Liu, T., Yu, X. & Ivaki, N. (eds.). IEEE Computer Society, p. 309-320 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2021-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Scopus citations -
Counterexample Guided Inductive Repair of Reactive Contracts
Hussein, S. M., Sharma, V. B., McCamant, S., Rayadurgam, S. & Heimdahl, M., 2021, Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021. Institute of Electrical and Electronics Engineers Inc., p. 1190-1192 3 p. (Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Input prioritization for testing neural networks
Byun, T., Sharma, V., Vijayakumar, A., Rayadurgam, S. & Cofer, D., May 17 2019, Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. Institute of Electrical and Electronics Engineers Inc., p. 63-70 8 p. 8718224. (Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
72 Scopus citations -
Requirements reference models revisited: Accommodating hierarchy in system design
Murugesan, A., Rayadurgam, S. & Heimdahl, M., Sep 2019, Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019. Damian, D., Perini, A. & Lee, S.-W. (eds.). IEEE Computer Society, p. 177-186 10 p. 8920675. (Proceedings of the IEEE International Conference on Requirements Engineering; vol. 2019-September).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Scopus citations