Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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
-
Counterexample-Guided Inductive Repair of Reactive Contracts
Hussein, S., Rayadurgam, S., McCamant, S., Sharma, V. & 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
Open Access1 Scopus citations -
AADL-Based safety analysis using formal methods applied to aircraft digital systems
Stewart, D., Liu, J., Cofer, D., Heimdahl, M., Whalen, M. W. & Peterson, M., Sep 2021, In: Reliability Engineering and System Safety. 213, 107649.Research output: Contribution to journal › Article › peer-review
21 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
5 Scopus citations -
Composition of Fault Forests
Stewart, D., Whalen, M., Heimdahl, M., Liu, J. & Cofer, D., 2021, Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, Proceedings. Habli, I., Sujan, M. & Bitsch, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 258-275 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12852 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Counterexample Guided Inductive Repair of Reactive Contracts
Hussein, S., Sharma, V., 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