Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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. (PI), Blank, D. A. (CoI) & Myers, C. L. (CoI)
12/1/23 → 8/31/24
Project: Research project
-
-
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Heimdahl, M. (PI), Hopper, N. (CoI), Lu, K. (CoI), McCamant, S. A. (CoI) & Rayadurgam, S. (CoI)
THE NATIONAL SCIENCE FOUNDATION
10/1/19 → 9/30/21
Project: Research project
-
Architectural Modeling and Analysis for Safety Engineeri
Heimdahl, M. (PI), Heimdahl, M. (CoI) & Whalen, M. W. (Prior Principal Investigator)
Rockwell Collins, Inc., Nat'l Aeronautics & Space Admin. (NASA)
12/20/16 → 9/30/19
Project: Research project
-
Model-Based Systems Engineering and TCAS II: Thirty Years Later
Heimdahl, M. P. E. & Leveson, N. G., 2025, In: IEEE Transactions on Software Engineering. 51, 3, p. 762-767 6 p.Research output: Contribution to journal › Article › peer-review
-
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 -
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 1 2021, In: Reliability Engineering and System Safety. 213, 107649.Research output: Contribution to journal › Article › peer-review
32 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
10 Scopus citations -
Composition of Fault Forests
Stewart, D., Whalen, M., Heimdahl, M., Liu, J. & Cofer, D., Aug 25 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