Projects per year
Projects and Grants
- 29 Finished
Search results
-
Finished
Developing Combined CS Programs at the University of Minnesota: Planning Stage
Heimdahl, M., Blank, D. A. & Myers, C. L.
12/1/23 → 4/30/24
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
-
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
-
Summer Student Research Contract in Probabilistic Algori
SCITOR CORPORATION, US DEPT OF DEFENSE ARMY
6/16/16 → 8/26/16
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
-
-
Compositional Verification of Flight Critical Systems
Rockwell Collins, Inc., Nat'l Aeronautics & Space Admin. (NASA)
6/1/13 → 4/21/16
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
-
CPS:Medium: Embedded Fault Detection for Low-Cost, Safet
Balas, G., Heimdahl, M., Seiler Jr, P. J., Srivastava, J. & Zhai, A. B.
THE NATIONAL SCIENCE FOUNDATION
10/1/09 → 9/30/14
Project: Research project
-
CPS: Medium: Embedded Fault Detection for Low-Cost, Safety-Critical Systems
Balas, G. G., Srivastava, J., Heimdahl, M., Zhai, A. A. B. & Seiler Jr, P. J.
10/1/09 → 9/30/14
Project: Research project
-
SHF: Small: In Vivo Software Monitoring: Architectural a
THE NATIONAL SCIENCE FOUNDATION
8/15/09 → 7/31/14
Project: Research project
-
SHF: Small: In Vivo Software Monitoring: Architectural and Compiler Support
8/15/09 → 7/31/14
Project: Research project
-
-
GENERATING TESTS TO SATISFY COMPLEX TEST ADEQUACY COVERAGE OF MODELS AND SOURCE CODE WITH JAVA PATHFINDER
5/22/09 → 12/31/10
Project: Research project
-
MRI: Development of a Vision-based Real-Time Body Motion Tracking Instrument for Advanced Radiation Treatment
Papanikolopoulos, N. N., Heimdahl, M., Van Wyk, E. & Hui, S. K.
9/1/08 → 8/31/13
Project: Research project
-
Feasibility of Intra Aircraft Wireless Sensors
Tewfik, A. & Heimdahl, M.
4/1/08 → 4/30/09
Project: Research project
-
-
Tandem Experiments in Finding Faults (Phase 3)
THE TITAN CORPORATION, Nat'l Aeronautics & Space Admin. (NASA)
1/1/05 → 12/31/09
Project: Research project
-
A Catalytic Infrastructure for the Design, Development,
THE NATIONAL SCIENCE FOUNDATION
9/15/04 → 8/31/08
Project: Research project
-
A Catalytic Infrastructure for the Design, Development, and Deployment of Formal Modeling Tools
9/15/04 → 8/31/08
Project: Research project
-
CISE Instrumentation: Applying Software Engineering Methodologies to Robotics Tasks: A Cross Disciplinary Approach
Heimdahl, M., Gini, M. L., Papanikolopoulos, N. N. & Boley, D. L.
12/1/97 → 11/30/99
Project: Research project
-
Integrating Formal and Informal Techniques: An Approach to Evolutionary Systems Development
Cheng, B. B. & Heimdahl, M.
9/15/96 → 8/31/00
Project: Research project
-
Integrating Informal and Formal Techniques: An Evolutionary Approach to Systems Development
9/1/96 → 8/31/00
Project: Research project
-
CAREER: Requirements Specification for Embedded Systems: An Integrated Framework
7/15/96 → 6/30/01
Project: Research project