The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mats Per Erik Heimdahl: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. George Devaraj, Mats Per Erik Heimdahl, Donglin Liang
    Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:455-462 [Conf]
  2. Mats Per Erik Heimdahl
    Model-Based Testing: Challenges Ahead. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:330- [Conf]
  3. Michael Stein, Mats Per Erik Heimdahl, John Riedl
    A General Framework for Interconnecting Annotations of Software Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:421-429 [Conf]
  4. Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
    On the Distribution of Property Violations in Formal Models: An Initial Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:150-160 [Conf]
  5. Sanjai Rayadurgam, Mats Per Erik Heimdahl
    Coverage Based Test-Case Generation Using Model Checkers. [Citation Graph (0, 0)][DBLP]
    ECBS, 2001, pp:83-0 [Conf]
  6. Mats Per Erik Heimdahl, Michael W. Whalen
    Reduction and Slicing of Hierarchical State Machines. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:450-467 [Conf]
  7. Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
    Specification-Based Prototyping for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:163-179 [Conf]
  8. Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese
    Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:127-145 [Conf]
  9. Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen
    On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1998, pp:10435-10444 [Conf]
  10. Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
    Auto-generating Test Sequences Using Model Checkers: A Case Study. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:42-59 [Conf]
  11. Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
    Proving the Shalls. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:75-93 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:34-43 [Conf]
  13. Mats Per Erik Heimdahl
    Verifying Communication Constraints in RSML Specifications. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:56-0 [Conf]
  14. Mats Per Erik Heimdahl, Barbara J. Czerny
    Using PVS to analyze hierarchical state-based requirements for completeness and consistency. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:252-262 [Conf]
  15. Mats Per Erik Heimdahl, George Devaraj, Robert Weber
    Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:178-186 [Conf]
  16. Yunja Choi, Mats Per Erik Heimdahl
    Model Checking RSML-e Requirements. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:109-118 [Conf]
  17. Barbara J. Czerny, Mats Per Erik Heimdahl
    Identifying Domain Axioms Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:132-140 [Conf]
  18. Michael W. Whalen, Mats Per Erik Heimdahl
    On the Requirements of High-Integrity Code Generation. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:217-0 [Conf]
  19. Sanjai Rayadurgam, Mats Per Erik Heimdahl
    Test-Sequence Generation from Formal Requirement Models. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:23-31 [Conf]
  20. Mats Per Erik Heimdahl, Jeffrey M. Thompson
    Specification and Analysis of System Level Inter-Component Communication. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:192-0 [Conf]
  21. Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl
    Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:167-186 [Conf]
  22. Mats Per Erik Heimdahl, Nancy G. Leveson
    Completeness and Consistency Analysis of State-Based Requirements. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:3-14 [Conf]
  23. Mats Per Erik Heimdahl
    Experiences and Lessons from the Analysis of TCAS II. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:79-83 [Conf]
  24. Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
    Coverage metrics for requirements-based testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:25-36 [Conf]
  25. Yunja Choi, Mats Per Erik Heimdahl
    Model Checking Software Requirement Specifications using Domain Reduction Abstraction. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:314-317 [Conf]
  26. Yunja Choi, Mats Per Erik Heimdahl
    Combination Model Checking: Approach and a Case Study. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:354-357 [Conf]
  27. Barbara J. Czerny, Mats Per Erik Heimdahl
    Automated Integrative Analysis of State-based Requirements. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:125-0 [Conf]
  28. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
    Deviation Analysis Through Model Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:37-46 [Conf]
  29. Mats Per Erik Heimdahl, George Devaraj
    Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:176-185 [Conf]
  30. Michael Stein, Mats Per Erik Heimdahl, John Riedl
    Enhancing Annotation Visibility for Software Inspection. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:243-246 [Conf]
  31. Michael W. Whalen, Mats Per Erik Heimdahl
    An Approach to Automatic Code Generation for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:315-318 [Conf]
  32. Mats Per Erik Heimdahl, David J. Keenan
    Generating Code from Hierarchical State-Based Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:210-0 [Conf]
  33. Mats Per Erik Heimdahl, Jon Damon Reese
    Software Requirements Specification and System Safety. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:264- [Conf]
  34. Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson
    NIMBUS: A Tool for Specification Centered Development. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:349- [Conf]
  35. Jeffrey M. Thompson, Mats Per Erik Heimdahl
    Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:56-65 [Conf]
  36. Jeffrey M. Thompson, Mats Per Erik Heimdahl
    An Integrated Development Environment for Prototyping Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 1999, pp:172-177 [Conf]
  37. Anjali Joshi, Mats Per Erik Heimdahl
    Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2005, pp:122-135 [Conf]
  38. Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
    Automatic abstraction for model checking software systems with interrelated numeric constraints. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:164-174 [Conf]
  39. Mats Per Erik Heimdahl, Constance L. Heitmeyer
    Formal Methods For Developing High Assurance Computer Systems: Working Group Report. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:60-0 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:75- [Conf]
  41. Sanjai Rayadurgam, Mats P. E. Heimdahl
    Generating MC/DC Adequate Test Sequences Through Model Checking. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:91- [Conf]
  42. Mats Per Erik Heimdahl
    Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:3, pp:199- [Journal]
  43. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
    Deviation Analysis: A New Use of Model Checking. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:321-347 [Journal]
  44. Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny
    Specification and Analysis of Intercomponent Communication. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:4, pp:47-54 [Journal]
  45. Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl
    Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:731-757 [Journal]
  46. Mats Per Erik Heimdahl, Jeffrey M. Thompson
    Specifying and Analysing System-Level Inter-Component Interfaces. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2000, v:5, n:4, pp:208-224 [Journal]
  47. Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
    Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:4, pp:225-242 [Journal]
  48. Jeffrey M. Thompson, Mats Per Erik Heimdahl
    Structuring product family requirements for n-dimensional and hierarchical product lines. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:1, pp:42-54 [Journal]
  49. Mats Per Erik Heimdahl, Barbara J. Czerny
    On the analysis needs when verifying state-based software requirements: an experience report. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:65-96 [Journal]
  50. Mats Per Erik Heimdahl, Nancy G. Leveson
    Completeness and Consistency in Hierarchical State-Based Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:6, pp:363-377 [Journal]
  51. Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart
    Software Requirements Analysis for Real-Time Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:3, pp:241-258 [Journal]
  52. Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese
    Requirements Specification for Process-Control Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:9, pp:684-707 [Journal]
  53. Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
    Flexible and Extensible Notations for Modeling Languages. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:102-116 [Conf]
  54. Mats P. E. Heimdahl, Devaraj George
    On the effect of test-suite reduction on automatically generated model-based tests. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2007, v:14, n:1, pp:37-57 [Journal]

  55. Interaction Testing in Model-Based Development: Effect on Model-Coverage. [Citation Graph (, )][DBLP]


  56. Model Validation using Automatically Generated Requirements-Based Tests. [Citation Graph (, )][DBLP]


  57. Behavioral Fault Modeling for Model-based Safety Analysis. [Citation Graph (, )][DBLP]


  58. Requirements Coverage as an Adequacy Measure for Conformance Testing. [Citation Graph (, )][DBLP]


  59. Partial Translation Verification for Untrusted Code-Generators. [Citation Graph (, )][DBLP]


  60. The effect of program and model structure on mc/dc test adequacy coverage. [Citation Graph (, )][DBLP]


  61. Safety and Software Intensive Systems: Challenges Old and New. [Citation Graph (, )][DBLP]


  62. ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. [Citation Graph (, )][DBLP]


  63. Hardware Supported Flexible Monitoring: Early Results. [Citation Graph (, )][DBLP]


  64. A Case for Specification Validation. [Citation Graph (, )][DBLP]


  65. A Software Certification Consortium and its Top 9 Hurdles. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.038secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002