Mats P. E. Heimdahl

5.6k total citations
130 papers, 2.8k citations indexed

About

Mats P. E. Heimdahl is a scholar working on Software, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Mats P. E. Heimdahl has authored 130 papers receiving a total of 2.8k indexed citations (citations by other indexed papers that have themselves been cited), including 104 papers in Software, 63 papers in Computational Theory and Mathematics and 30 papers in Information Systems. Recurrent topics in Mats P. E. Heimdahl's work include Software Testing and Debugging Techniques (78 papers), Software Reliability and Analysis Research (75 papers) and Formal Methods in Verification (63 papers). Mats P. E. Heimdahl is often cited by papers focused on Software Testing and Debugging Techniques (78 papers), Software Reliability and Analysis Research (75 papers) and Formal Methods in Verification (63 papers). Mats P. E. Heimdahl collaborates with scholars based in United States, South Korea and United Kingdom. Mats P. E. Heimdahl's co-authors include Michael W. Whalen, Nancy G. Leveson, Sanjai Rayadurgam, Ajitha Rajan, J.D. Reese, Matt Staats, Steven P. Miller, Jeffrey M. Thompson, Gregory Gay and Matthew Jaffe and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computer and Journal of Lightwave Technology.

In The Last Decade

Mats P. E. Heimdahl

123 papers receiving 2.6k citations

Peers

Countries citing papers authored by Mats P. E. Heimdahl

Since Specialization

Citations

This map shows the geographic impact of Mats P. E. Heimdahl's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Mats P. E. Heimdahl with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mats P. E. Heimdahl more than expected).

Fields of papers citing papers by Mats P. E. Heimdahl

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mats P. E. Heimdahl. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Mats P. E. Heimdahl. The network helps show where Mats P. E. Heimdahl may publish in the future.

Co-authorship network of co-authors of Mats P. E. Heimdahl

This figure shows the co-authorship network connecting the top 25 collaborators of Mats P. E. Heimdahl. A scholar is included among the top collaborators of Mats P. E. Heimdahl based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Mats P. E. Heimdahl. Mats P. E. Heimdahl is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	AADL-Based safety analysis using formal methods applied to aircraft digital systems 2021 ·Reliability Engineering & System Safety ·(unknown), Jing Liu, Darren Cofer, Mats P. E. Heimdahl, Michael W. Whalen, (unknown)	22
2	Toward Rigorous Object-Code Coverage Criteria 2017 ·(unknown), (unknown), Sanjai Rayadurgam, Stephen McCamant, Mats P. E. Heimdahl	5
3	The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage 2016 ·ACM Transactions on Software Engineering and Methodology ·Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats P. E. Heimdahl	21
4	First Steps towards Exporting Education: Software Engineering Education Delivered Online to Professionals 2016 ·(unknown), (unknown), Mats P. E. Heimdahl	6
5	Efficient observability-based test generation by dynamic symbolic execution 2015 ·(unknown), Sanjai Rayadurgam, Michael W. Whalen, Mats P. E. Heimdahl, Gregory Gay	2
6	Improving the accuracy of oracle verdicts through automated model steering 2014 ·Gregory Gay, Sanjai Rayadurgam, Mats P. E. Heimdahl	7
7	Better testing through oracle selection 2011 ·Open Repository and Bibliography (University of Luxembourg) ·(unknown), Michael W. Whalen, Mats P. E. Heimdahl	7
8	23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy 2008 ·University of Minnesota Digital Conservancy (University of Minnesota) ·Matt Staats, (unknown), Ajitha Rajan, Mats P. E. Heimdahl, (unknown)	3
9	Proceedings of the 30th international conference on Software engineering 2008 ·Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl	244
10	The effect of program and model structure on mc/dc test adequacy coverage 2008 ·Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl	50
11	On MC/DC and implementation structure: An empirical study 2008 ·University of Minnesota Digital Conservancy (University of Minnesota) ·Mats P. E. Heimdahl, Michael W. Whalen, Ajitha Rajan, Matt Staats	16
12	ReqsCov: A Tool for Measuring Test-Adequacy over Requirements 2008 ·Matt Staats, (unknown), Ajitha Rajan, Mats P. E. Heimdahl, (unknown)	1
13	On the effect of test-suite reduction on automatically generated model-based tests 2007 ·Automated Software Engineering ·Mats P. E. Heimdahl, (unknown)	4
14	Auto-generating test sequences using model checkers 2004 ·Lecture notes in computer science ·Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, (unknown), (unknown)	1
15	On the advantages of approximate vs. complete verification: bigger models, faster, less memory, usually accurate 2004 ·David R. Owen, Tim Menzies, Mats P. E. Heimdahl, (unknown)	10
16	On the analysis needs when verifying state-based software requirements: an experience report 2000 ·Science of Computer Programming ·Mats P. E. Heimdahl, (unknown)	2
17	On the requirements of high-integrity code generation 1999 ·Michael W. Whalen, Mats P. E. Heimdahl	12
18	Integrative analysis of state-based requirements for completeness and consistency 1998 ·Mats P. E. Heimdahl, (unknown)	4
19	Reduction and slicing of hierarchical state machines 1997 ·Mats P. E. Heimdahl, Michael W. Whalen	39
20	Experiences using statecharts for a system requirements specification 1991 ·Nancy G. Leveson, Mats P. E. Heimdahl, (unknown), J.D. Reese, Ross B. Ortega	17

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact