Projects per year
Projects and Grants
- 14 Finished
Search results
-
Finished
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
-
Architectural Modeling and Analysis for Safety Engineeri
Heimdahl, M., Heimdahl, M. & Whalen, M. W.
Rockwell Collins, Inc., Nat'l Aeronautics & Space Admin. (NASA)
12/20/16 → 9/30/19
Project: Research project
-
HACMS Ground Transition Team - ADL Support for Ground Te
HRL LABORATORIES, LLC, USDOD AIR FORCE
5/20/16 → 5/5/17
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
-
Compositional Verification of Flight Critical Systems
Rockwell Collins, Inc., Nat'l Aeronautics & Space Admin. (NASA)
6/1/13 → 4/21/16
Project: Research project
-
Application of Guardol Technology
Rockwell Collins, Inc., DOD NATIONAL SECURITY AGENCY (NSA)
8/1/12 → 7/31/13
Project: Research project
-
Secure Mathematically-Assured Composition of Control Mod
Rockwell Collins, Inc., U.S. DEPARTMENT OF DEFENSE
8/1/12 → 4/28/17
Project: Research project
-
Application of Guardol Technology
Rockwell Collins, Inc., DOD NATIONAL SECURITY AGENCY (NSA)
11/18/11 → 2/28/12
Project: Research project
-
Midwest Verification Day, 2011
THE NATIONAL SCIENCE FOUNDATION
8/1/11 → 7/31/12
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
-
SI2-SSE: Software Infrastructure For Partitioning Sparse
THE NATIONAL SCIENCE FOUNDATION
9/15/10 → 8/31/15
Project: Research project
-
Meta II - Formal Analysis of Architectural Design Patter
Rockwell Collins, Inc., USDOD DEFENSE ADV RES PROJECTS
9/1/10 → 9/23/11
Project: Research project