Mats Per Erik Heimdahl

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 Software 30(2): 54-60 (2013)

Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats: Observable modified Condition/Decision coverage. ICSE 2013: 102-111

Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl: On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424

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: 870-880

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: 179-193

Mats Per Erik Heimdahl, Zhendong Su (Eds.): International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM 2012, isbn 978-1-4503-1454-1

Mats Per Erik Heimdahl, Pete Sawyer (Eds.): 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012. IEEE 2012, isbn 978-1-4673-2783-1

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): 225-226 (2011)

Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl: Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl: Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl: Better testing through oracle selection. ICSE 2011: 892-895

Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl: Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170

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. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)

Eric Van Wyk, Mats Per Erik Heimdahl: Flexibility in modeling languages and tools: a call to arms. STTT 11(3): 203-215 (2009)

Antonia Zhai, Guojin He, Mats Per Erik Heimdahl: Hardware Supported Flexible Monitoring: Early Results. RV 2009: 168-183

Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl: Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104

Matthew Staats, Mats Per Erik Heimdahl: Partial Translation Verification for Untrusted Code-Generators. ICFEM 2008: 226-237

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: The effect of program and model structure on mc/dc test adequacy coverage. ICSE 2008: 161-170

Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham: ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE 2008: 499-500

Mats Per Erik Heimdahl, George Devaraj: On the effect of test-suite reduction on automatically generated model-based tests. Autom. Softw. Eng. 14(1): 37-57 (2007)

Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk: Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl: Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104

Anjali Joshi, Mats Per Erik Heimdahl: Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208

Mats Per Erik Heimdahl: Safety and Software Intensive Systems: Challenges Old and New. FOSE 2007: 137-152

Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl: Proving the shalls. STTT 8(4-5): 303-319 (2006)

Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl: Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC 2006: 259-268

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: 150-160

Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller: Coverage metrics for requirements-based testing. ISSTA 2006: 25-36

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12(3): 321-347 (2005)

Mats Per Erik Heimdahl: Model-Based Testing: Challenges Ahead. COMPSAC (1) 2005: 330

George Devaraj, Mats Per Erik Heimdahl, Donglin Liang: Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) 2005: 455-462

Anjali Joshi, Mats Per Erik Heimdahl: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135

Mats Per Erik Heimdahl: A Case for Specification Validation. VSTTE 2005: 392-402

Mats Per Erik Heimdahl, George Devaraj, Robert Weber: Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE 2004: 178-186

Mats Per Erik Heimdahl, George Devaraj: Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. ASE 2004: 176-185

Yunja Choi, Mats Per Erik Heimdahl: Combination Model Checking: Approach and a Case Study. ASE 2004: 354-357

Jeffrey M. Thompson, Mats Per Erik Heimdahl: Structuring product family requirements for n-dimensional and hierarchical product lines. Requir. Eng. 8(1): 42-54 (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: 42-59

Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl: Proving the Shalls. FME 2003: 75-93

Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl: Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186

Yunja Choi, Mats Per Erik Heimdahl: Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE 2003: 314-317

Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson: NIMBUS: A Tool for Specification Centered Development. RE 2003: 349

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: 75

Sanjai Rayadurgam, Mats Per Erik Heimdahl: Generating MC/DC Adequate Test Sequences Through Model Checking. SEW 2003: 91

Mats Per Erik Heimdahl: Guest Editor's Introduction. Autom. Softw. Eng. 9(3): 199 (2002)

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. Requir. Eng. 7(4): 225-242 (2002)

Yunja Choi, Mats Per Erik Heimdahl: Model Checking RSML-e Requirements. HASE 2002: 109-118

Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis Through Model Checking. ASE 2002: 37-46

Sanjai Rayadurgam, Mats Per Erik Heimdahl: Coverage Based Test-Case Generation Using Model Checkers. ECBS 2001: 83-

Sanjai Rayadurgam, Mats Per Erik Heimdahl: Test-Sequence Generation from Formal Requirement Models. HASE 2001: 23-31

Jeffrey M. Thompson, Mats Per Erik Heimdahl: Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. RE 2001: 56-65

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl: Automatic abstraction for model checking software systems with interrelated numeric constraints. ESEC / SIGSOFT FSE 2001: 164-174

Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl: Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. UCS 6(7): 731-757 (2000)

Mats Per Erik Heimdahl, Jeffrey M. Thompson: Specifying and Analysing System-Level Inter-Component Interfaces. Requir. Eng. 5(4): 208-224 (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): 65-96 (2000)

Mats Per Erik Heimdahl (Ed.): Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM 2000, isbn 1-58113-262-X

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: 127-145

Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller: Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE 1999: 163-179

Barbara J. Czerny, Mats Per Erik Heimdahl: Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140

Michael W. Whalen, Mats Per Erik Heimdahl: On the Requirements of High-Integrity Code Generation. HASE 1999: 217-

Michael Stein, Mats Per Erik Heimdahl, John Riedl: Enhancing Annotation Visibility for Software Inspection. ASE 1999: 243-246

Michael W. Whalen, Mats Per Erik Heimdahl: An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318

Jeffrey M. Thompson, Mats Per Erik Heimdahl: An Integrated Development Environment for Prototyping Safety Critical Systems. IEEE International Workshop on Rapid System Prototyping 1999: 172-177

Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny: Specification and Analysis of Intercomponent Communication. IEEE Computer 31(4): 47-54 (1998)

Michael Stein, Mats Per Erik Heimdahl, John Riedl: A General Framework for Interconnecting Annotations of Software Systems. COMPSAC 1998: 421-429

Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen: On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO 1998: 10435-10444

David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill: Checking properties of safety critical specifications using efficient decision procedures. FMSP 1998: 34-43

Barbara J. Czerny, Mats Per Erik Heimdahl: Automated Integrative Analysis of State-based Requirements. ASE 1998: 125-

Mats Per Erik Heimdahl, Constance L. Heitmeyer: Formal Methods For Developing High Assurance Computer Systems: Working Group Report. WIFT 1998: 60-

Mats Per Erik Heimdahl, Michael W. Whalen: Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467

Mats Per Erik Heimdahl: Verifying Communication Constraints in RSML Specifications. HASE 1997: 56-

Mats Per Erik Heimdahl, Jeffrey M. Thompson: Specification and Analysis of System Level Inter-Component Communication. ICFEM 1997: 192-

Mats Per Erik Heimdahl, David J. Keenan: Generating Code from Hierarchical State-Based Requirements. RE 1997: 210-

Mats Per Erik Heimdahl, Jon Damon Reese: Software Requirements Specification and System Safety. RE 1997: 264

Mats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996)

Mats Per Erik Heimdahl, Barbara J. Czerny: Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE 1996: 252-262

Mats Per Erik Heimdahl: Experiences and Lessons from the Analysis of TCAS II. ISSTA 1996: 79-83

Mats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14

Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese: Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20(9): 684-707 (1994)

Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart: Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. 17(3): 241-258 (1991)