Mats Heimdahl

Mats Heimdahl

University of Minnesota Twin Cities - Minneapolis / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4679651
person_outline Mats Heimdahl's MOST POPULAR ARTICLES
1-) Requirements specification for process-control systems NG Leveson, MPE Heimdahl, H Hildreth, JD Reese IEEE transactions on software engineering 20 (9), 684-707, 1994 8141994
2-) Completeness and consistency in hierarchical state-based requirements MPE Heimdahl, NG Leveson IEEE transactions on Software Engineering 22 (6), 363-377, 1996 4411996
3-) Software requirements analysis for real-time process-control systems MS Jaffe, NG Leveson, M Heimdahl, B Melhart 3091990
4-) Coverage based test-case generation using model checkersS Rayadurgam, MPE HeimdahlProceedings. Eighth Annual IEEE International Conference and Workshop On the …, 20012822001
5-) Model-based safety analysis of simulink models using SCADE design verifierA Joshi, MPE HeimdahlComputer Safety, Reliability, and Security: 24th International Conference …, 20052132005