Mats Per Erik Heimdahl

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 15

Top Venues

ASE

IEEE Trans. Software Eng.

MiSE

Publications

Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson
AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213 (2021)
Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl
Inductive Validity Cores. IEEE Trans. Software Eng. 47 (2) (2021)
Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer
Composition of Fault Forests. SAFECOMP (2021)
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Counterexample Guided Inductive Repair of Reactive Contracts. ASE (2021)
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. RE (2019)
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE (2018)
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. IEEE Trans. Software Eng. 43 (6) (2017)
Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Domain modeling for development process simulation. ICSSP (2017)
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
Toward Rigorous Object-Code Coverage Criteria. ISSRE (2017)
Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl
Architectural Modeling and Analysis for Safety Engineering. IMBSA (2017)
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner
Proof-based coverage metrics for formal verification. ASE (2017)
Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25 (3) (2016)
Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl
Complete Traceability for Requirements in Satisfaction Arguments. RE (2016)
Kevin D. Wendt, Ken Reily, Mats Per Erik Heimdahl
First Steps towards Exporting Education: Software Engineering Education Delivered Online to Professionals. CSEE&T (2016)
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE (2016)
Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE (2015)
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM (2015)
Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl
Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test 32 (5) (2015)
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops (2015)
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. 41 (8) (2015)
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE (2015)
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Automated Oracle Data Selection Support. IEEE Trans. Software Eng. 41 (11) (2015)
Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay
Efficient observability-based test generation by dynamic symbolic execution. ISSRE (2015)
Ian J. De Silva, Sanjai Rayadurgam, Mats Per Erik Heimdahl
A reference model for simulating agile processes. ICSSP (2015)
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC (2014)
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC (2014)
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks (2014)
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Steering model-based oracles to admit real program behaviors. ICSE Companion (2014)
Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Improving the accuracy of oracle verdicts through automated model steering. ASE (2014)
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Structuring simulink models for verification and reuse. MiSE (2014)
Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry
Analysis and testing of PLEXIL plans. FormaliSE (2014)
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS (2014)
Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Moving the goalposts: coverage satisfaction is not enough. SBST (2014)
Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam
Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. 30 (2) (2013)
Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam
Modeling and requirements on the physical side of cyber-physical systems. TwinPeaks@ICSE (2013)
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Compositional verification of a medical device system. HILT (2013)
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Modes, features, and state-based modeling for clarity and flexibility. MiSE (2013)
Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats
Observable modified Condition/Decision coverage. ICSE (2013)
Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl
Your what is my how: Why requirements and architectural design should be iterative. TwinPeaks@RE (2012)
Matt Staats, Gregory Gay, Mats Per Erik Heimdahl
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. ICSE (2012)
Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl
On the Danger of Coverage Directed Test Case Generation. FASE (2012)
Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder
Trace Queries for Safety Requirements in High Assurance Systems. REFSQ (2012)
Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl
Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT (2011)
Mats Per Erik Heimdahl, Gabriele Taentzer
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. Autom. Softw. Eng. 18 (3-4) (2011)
Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Better testing through oracle selection. ICSE (2011)
Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
Programs, tests, and oracles: the foundations of testing revisited. ICSE (2011)
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods (2010)
Eric Van Wyk, Mats Per Erik Heimdahl
Flexibility in modeling languages and tools: a call to arms. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Antonia Zhai, Guojin He, Mats Per Erik Heimdahl
Hardware Supported Flexible Monitoring: Early Results. RV (2009)
John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
A Software Certification Consortium and its Top 9 Hurdles. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE (2008)
Matthew Staats, Mats Per Erik Heimdahl
Partial Translation Verification for Untrusted Code-Generators. ICFEM (2008)
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
The effect of program and model structure on mc/dc test adequacy coverage. ICSE (2008)
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM (2008)
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
Flexible and Extensible Notations for Modeling Languages. FASE (2007)
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
Model Validation using Automatically Generated Requirements-Based Tests. HASE (2007)
Mats Per Erik Heimdahl
Safety and Software Intensive Systems: Challenges Old and New. FOSE (2007)
Anjali Joshi, Mats Per Erik Heimdahl
Behavioral Fault Modeling for Model-based Safety Analysis. HASE (2007)
Mats Per Erik Heimdahl, George Devaraj
On the effect of test-suite reduction on automatically generated model-based tests. Autom. Softw. Eng. 14 (1) (2007)
Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl
Proving the shalls. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
Coverage metrics for requirements-based testing. ISSTA (2006)
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) (2006)
Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl
Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC (2006)
George Devaraj, Mats Per Erik Heimdahl, Donglin Liang
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) (2005)
Anjali Joshi, Mats Per Erik Heimdahl
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP (2005)
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12 (3) (2005)
Mats Per Erik Heimdahl
A Case for Specification Validation. VSTTE (2005)
Mats Per Erik Heimdahl
Model-Based Testing: Challenges Ahead. COMPSAC (1) (2005)
Yunja Choi, Mats Per Erik Heimdahl
Combination Model Checking: Approach and a Case Study. ASE (2004)
Mats Per Erik Heimdahl, George Devaraj
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. ASE (2004)
Mats Per Erik Heimdahl, George Devaraj, Robert Weber
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE (2004)
Jeffrey M. Thompson, Mats Per Erik Heimdahl
Structuring product family requirements for n-dimensional and hierarchical product lines. Requir. Eng. 8 (1) (2003)
Yunja Choi, Mats Per Erik Heimdahl
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE (2003)
Sanjai Rayadurgam, Mats Per Erik Heimdahl
Generating MC/DC Adequate Test Sequences Through Model Checking. SEW (2003)
David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW (2003)
Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM (2003)
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES (2003)
Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
Proving the Shalls. FME (2003)
Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson
NIMBUS: A Tool for Specification Centered Development. RE (2003)
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
Deviation Analysis Through Model Checking. ASE (2002)
Mats Per Erik Heimdahl
Guest Editor's Introduction. Autom. Softw. Eng. 9 (3) (2002)
Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. 7 (4) (2002)
Yunja Choi, Mats Per Erik Heimdahl
Model Checking RSML-e Requirements. HASE (2002)
Sanjai Rayadurgam, Mats Per Erik Heimdahl
Coverage Based Test-Case Generation Using Model Checkers. ECBS (2001)
Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE (2001)
Sanjai Rayadurgam, Mats Per Erik Heimdahl
Test-Sequence Generation from Formal Requirement Models. HASE (2001)
Jeffrey M. Thompson, Mats Per Erik Heimdahl
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. RE (2001)
Mats Per Erik Heimdahl, Jeffrey M. Thompson
Specifying and Analysing System-Level Inter-Component Interfaces. Requir. Eng. 5 (4) (2000)
Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Mats Per Erik Heimdahl, Barbara J. Czerny
On the analysis needs when verifying state-based software requirements: an experience report. Sci. Comput. Program. 36 (1) (2000)
Michael Stein, Mats Per Erik Heimdahl, John Riedl
Enhancing Annotation Visibility for Software Inspection. ASE (1999)
Michael W. Whalen, Mats Per Erik Heimdahl
An Approach to Automatic Code Generation for Safety-Critical Systems. ASE (1999)
Michael W. Whalen, Mats Per Erik Heimdahl
On the Requirements of High-Integrity Code Generation. HASE (1999)
Barbara J. Czerny, Mats Per Erik Heimdahl
Identifying Domain Axioms Using Binary Decision Diagrams. HASE (1999)
Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE (1999)
Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. ESEC / SIGSOFT FSE (1999)
Jeffrey M. Thompson, Mats Per Erik Heimdahl
An Integrated Development Environment for Prototyping Safety Critical Systems. IEEE International Workshop on Rapid System Prototyping (1999)
Michael Stein, Mats Per Erik Heimdahl, John Riedl
A General Framework for Interconnecting Annotations of Software Systems. COMPSAC (1998)
Mats Per Erik Heimdahl, Constance L. Heitmeyer
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT (1998)
Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO (1998)

Mats Per Erik Heimdahl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mats Per Erik Heimdahl