Mats P. E. Heimdahl - Concepedia

Author

Mats P. E. Heimdahl

Also Known As

M. Heimdahl, M.P.E. Heimdahl, Mats Heimdahl, Mats P. E. Heimdahl, Mats P. Heimdahl, Mats P.E. Heimdahl, Mats Per Erik Heimdahl, Michael W. Whalen

183

Publications

5.5K

Citations

H-Index

146

Concepts

All Affiliations

University of Minnesota University of Minnesota System Michigan State University Rockwell Automation (United States)Twin Cities Orthopedics

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	28	65	3.7K
2	Management	6	6	140
3	Education	3	3	40
4	Business	1	1	12
5	Law	1	1	67

Mats P. E. Heimdahl

Publications

4.1K

Citations

H-Index

Page 1

	Year	Citations
Requirements specification for process-control systems Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth, IEEE Transactions on Software Engineering EngineeringSoftware EngineeringComplex SystemsSystem-level DesignRequirements Specifications	1994	554
Proceedings of the 30th international conference on Software engineering Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl Automated Software EngineeringEmpirical Software Engineering ResearchEngineeringProgram AnalysisSoftware Engineering	2008	453
Completeness and consistency in hierarchical state-based requirements Mats P. E. Heimdahl, Nancy G. Leveson IEEE Transactions on Software Engineering Hierarchical State-based RequirementsEngineeringState-based Requirements SpecificationsVerificationFormal Verification	1996	280
Software requirements analysis for real-time process-control systems Matthew Jaffe, Nancy G. Leveson, Mats P. E. Heimdahl, IEEE Transactions on Software Engineering EngineeringSoftware SystemsSoftware EngineeringSystem-level DesignSoftware Analysis	1991	230
Coverage based test-case generation using model checkers Sanjai Rayadurgam, Mats P. E. Heimdahl EngineeringVerificationTest CoverageTest Data GenerationSoftware Engineering	2002	186
Coverage metrics for requirements-based testing Michael W. Whalen, Ajitha Rajan, Mats P. E. Heimdahl, Software MaintenanceEngineeringVerificationTest CoverageSoftware Engineering	2006	131
Test-suite reduction for model based tests: effects on test quality and implications for testing Mats P. E. Heimdahl, George Devaraj Test-suite ReductionEngineeringSoftware TestingTest QualityTest Framework	2004	99
A PROPOSAL FOR MODEL-BASED SAFETY ANALYSIS Anjali Joshi, Steven P. Miller, Michael W. Whalen, EngineeringTechnical SafetyVerificationSafety ScienceSoftware Engineering	2006	97
The Risks of Coverage-Directed Test Case Generation Gregory Gay, Matt Staats, Michael W. Whalen, IEEE Transactions on Software Engineering EngineeringVerificationTest CoverageTest Data GenerationSoftware Engineering	2015	97
Programs, tests, and oracles Matt Staats, Michael W. Whalen, Mats P. E. Heimdahl Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	2011	96

Page 1