See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Mats Heimdahl
Software Engineering (SE)
Software Verification
Software Testing
Safety-Critical Systems
About
Mats Heimdahl joined the Department of Computer Science & Engineering in 1996 as an assistant professor. He was named a Distinguished University Teaching Professor in 2004 and previously served as Department Head(2015-25). In his tenure at the University, Heimdahl also served as the center director for the University of Minnesota Software Engineering Center from 2004-15. Prior to his work in Minnesota, Heimdahl was an assistant professor at Michigan State University from 1994-96, during which time he also served as the vice president of Safeware Engineering Corporation (1995-98).
Research Performance Summary
1990-2025
Active Research Span
First Recorded Paper
Software requirements analysis for real-time process-control systems
Year:
1990
Citations:
319
Venue:
N/A
Latest Recorded Paper
Model-Based Systems Engineering and TCAS II: Thirty Years Later
Year:
2025
Citations:
0
Venue:
IEEE Transactions on Software Engineering 51 (3)
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Heimdahl
Whalen
Rayadurgam
Research Impact by Period
Papers
1
Citations
0
Avg. Citations / Paper
0
H-Index
0
Papers
5
Citations
70
Avg. Citations / Paper
14
H-Index
2
Papers
27
Citations
450
Avg. Citations / Paper
16.7
H-Index
11
Papers
36
Citations
962
Avg. Citations / Paper
26.7
H-Index
16
Papers
32
Citations
1456
Avg. Citations / Paper
45.5
H-Index
20
Papers
50
Citations
1733
Avg. Citations / Paper
34.7
H-Index
18
Papers
29
Citations
776
Avg. Citations / Paper
26.8
H-Index
15
Papers
6
Citations
1194
Avg. Citations / Paper
199
H-Index
5
Contact and Professional Links
Detected Research Keywords
Test Case Generation
Model Safety Analysis
Cyber Physical Systems
Coverage Directed Test
Analysis State Requirements
Process Control Systems
Hierarchical State Requirements
Directed Test Case
Danger Coverage Directed
Medical Cyber Physical