Projects per year
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
-
FMitF: Track I: ComScaN: Composition and Scaling of Network Service Functions
Rayadurgam, S., Van Wyk, E. & Zhang, Z.
THE NATIONAL SCIENCE FOUNDATION
7/15/21 → 6/30/24
Project: Research project
-
2022-2023 Senior Design Project for Target
Rayadurgam, S. & Wendt, K. D.
10/1/22 → 5/31/23
Project: Research project
-
CSCI 4950 Senior Design Project for Medtronic
Rayadurgam, S. & Wendt, K. D.
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., Hopper, N., Lu, K., McCamant, S. A. & Rayadurgam, S.
THE NATIONAL SCIENCE FOUNDATION
10/1/19 → 9/30/21
Project: Research project
-
Architecture and Analysis for High-Assurance Autonomy (AAHAA)
Rockwell Collins, Inc., USDOD DEFENSE ADV RES PROJECTS
5/1/18 → 1/31/23
Project: Research project
-
Counterexample-Guided Inductive Repair of Reactive Contracts
Hussein, S. M., Rayadurgam, S., McCamant, S., Sharma, V. B. & Heimdahl, M., 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, TJ., 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
3 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
42 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
5 Scopus citations