Concepedia

Mats P. E. Heimdahl

MP

77

Publications

4.1K

Citations

29

H-Index

1991

Active since

Affiliations

University of Minnesota(Current)

University of Minnesota System

Michigan State University

Rockwell Automation (United States)

Twin Cities Orthopedics

Mats P. E. Heimdahl is an author at University of Minnesota specializing in engineering, software engineering, and formal verification.

Top concepts

EngineeringSoftware EngineeringSystems EngineeringSoftware DesignComputer ScienceSoftware AnalysisFormal MethodsFormal VerificationVerificationSoftware Testing

Publications per year

1991–2021

77

Publications

77

Requirements specification for process-control systems

Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth et al. · IEEE Transactions on Software Engineering · 1994 · 554 citations

Engineering, Software Engineering, Complex Systems +25

Proceedings of the 30th international conference on Software engineering

Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl · 2008 · 453 citations · Full text

Automated Software Engineering, Empirical Software Engineering Research, Engineering +8

Completeness and consistency in hierarchical state-based requirements

Mats P. E. Heimdahl, Nancy G. Leveson · IEEE Transactions on Software Engineering · 1996 · 280 citations

Hierarchical State-based Requirements, Engineering, State-based Requirements Specifications +18

Software requirements analysis for real-time process-control systems

Matthew Jaffe, Nancy G. Leveson, Mats P. E. Heimdahl et al. · IEEE Transactions on Software Engineering · 1991 · 230 citations

Engineering, Software Systems, Software Engineering +25

Coverage based test-case generation using model checkers

Sanjai Rayadurgam, Mats P. E. Heimdahl · 2002 · 186 citations

Engineering, Verification, Test Coverage +16

Rows per page

1–5 of 77