ProfessorsProfessors of University of Minnesota-Twin CitiesMats Heimdahl

Mats Heimdahl

University of Minnesota-Twin Cities

H-index: 38

North America-United States

About Mats Heimdahl

Mats Heimdahl, With an exceptional h-index of 38 and a recent h-index of 19 (since 2020), a distinguished researcher at University of Minnesota-Twin Cities, specializes in the field of Software Engineering, Testing, Requirements, Safety, Critical Systems.

His recent articles reflect a diverse array of research interests and contributions to the field:

Counterexample-guided inductive repair of reactive contracts

From Informal System Requirements to Formal Software Specifications-An Experience Report

Composition of Fault Forests

Black-box testing of deep neural networks

AADL-Based safety analysis using formal methods applied to aircraft digital systems

Mats Heimdahl Information

University	University of Minnesota-Twin Cities
Position	Professor and Department Head Computer Science and Engineering
Citations(all)	6432
Citations(since 2020)	1143
Cited By	5790
hIndex(all)	38
hIndex(since 2020)	19
i10Index(all)	98
i10Index(since 2020)	36
Email	Access Email
University Profile Page	University of Minnesota-Twin Cities
Google Scholar	View Google Scholar Profile

Mats Heimdahl Skills & Research Interests

Software Engineering

Testing

Requirements

Safety

Critical Systems

Top articles of Mats Heimdahl

Title	Journal	Author(s)	Publication Date
Counterexample-guided inductive repair of reactive contracts		Soha Hussein Vaibhav Sharma Stephen McCamant Sanjai Rayadurgam Mats Heimdahl	2021/11/15
From Informal System Requirements to Formal Software Specifications-An Experience Report		Anitha Murugesan Daniel Cofer Michael Whalen Mats Heimdahl	2021/7/9
Composition of Fault Forests		Danielle Stewart Michael Whalen Mats Heimdahl Jing Liu Darren Cofer	2021
Black-box testing of deep neural networks		Taejoon Byun Sanjai Rayadurgam Mats PE Heimdahl	2021/10/25
AADL-Based safety analysis using formal methods applied to aircraft digital systems	Reliability Engineering & System Safety	Danielle Stewart Jing Janet Liu Darren Cofer Mats Heimdahl Michael W Whalen ...	2021/9/1