Projects per year
Fingerprint
The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
6/15/16 → 5/31/22
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.
10/1/19 → 9/30/21
Project: Research project
-
Architectural Modeling and Analysis for Safety Engineeri
Heimdahl, M., Heimdahl, M. & Whalen, M. W.
12/20/16 → 9/30/19
Project: Research project
-
-
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
2 Scopus citations -
Black-Box Testing of Deep Neural Networks
Byun, TJ., 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
-
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
-
Counterexample Guided Inductive Repair of Reactive Contracts
Hussein, S. M., Sharma, V. B., 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
-
From Informal System Requirements to Formal Software Specifications - An Experience Report
Murugesan, A., Cofer, D., Whalen, M. & Heimdahl, M., 2021, Proceedings of CONECCT 2021: 7th IEEE International Conference on Electronics, Computing and Communication Technologies. Institute of Electrical and Electronics Engineers Inc., (Proceedings of CONECCT 2021: 7th IEEE International Conference on Electronics, Computing and Communication Technologies).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution