Projects per year
Search results
-
Active
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
-
FMitF: Track I: ComScaN: Composition and Scaling of Network Service Functions
Rayadurgam, S., Zhang, Z. Z. & Van Wyk, E.
7/15/21 → 6/30/24
Project: Research project
-
Finished
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
-
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Heimdahl, M., Hopper, N., McCamant, S. A., Rayadurgam, S. & Lu, K.
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
-
Advanced Testing for Layered Cyber Physical Systems
Rayadurgam, S. & Whalen, M. W.
Rockwell Collins, Inc., USDOD NAVY
4/20/18 → 4/30/21
Project: Research project
-
Compositional Verification for System of Systems (SoSITE
Whalen, M. W. & Rayadurgam, S.
Rockwell Collins, Inc., USDOD DEFENSE ADV RES PROJECTS
2/21/17 → 3/25/18
Project: Research project
-
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
THE NATIONAL SCIENCE FOUNDATION
6/15/16 → 5/31/22
Project: Research project
-
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
6/15/16 → 5/31/22
Project: Research project
-
Binary Transformation and Contract Discovery
Heimdahl, M., McCamant, S. A., Rayadurgam, S. & Whalen, M. W.
ADVENTIUM LABS, USDOD DEFENSE ADV RES PROJECTS
5/8/15 → 5/9/16
Project: Research project
-
Verification and Validation in Planning Systems
Heimdahl, M., Rayadurgam, S. & Whalen, M. W.
9/11/13 → 9/10/18
Project: Research project
-
CPS:Large:Assuring the Safety, Security, and Reliability
Heimdahl, M., Hopper, N., Kim, Y., Rayadurgam, S. & Whalen, M. W.
UNIVERSITY OF PENNSYLVANIA, THE NATIONAL SCIENCE FOUNDATION
10/1/10 → 9/30/16
Project: Research project