|
Search the dblp DataBase
Mats Per Erik Heimdahl:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Mats Per Erik Heimdahl
Model-Based Testing: Challenges Ahead. [Citation Graph (0, 0)][DBLP] COMPSAC (1), 2005, pp:330- [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
Proving the Shalls. [Citation Graph (0, 0)][DBLP] FME, 2003, pp:75-93 [Conf]
- 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]
- Mats Per Erik Heimdahl
Verifying Communication Constraints in RSML Specifications. [Citation Graph (0, 0)][DBLP] HASE, 1997, pp:56-0 [Conf]
- 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]
- 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]
- Yunja Choi, Mats Per Erik Heimdahl
Model Checking RSML-e Requirements. [Citation Graph (0, 0)][DBLP] HASE, 2002, pp:109-118 [Conf]
- 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]
- 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]
- Sanjai Rayadurgam, Mats Per Erik Heimdahl
Test-Sequence Generation from Formal Requirement Models. [Citation Graph (0, 0)][DBLP] HASE, 2001, pp:23-31 [Conf]
- 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]
- 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]
- 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]
- Mats Per Erik Heimdahl
Experiences and Lessons from the Analysis of TCAS II. [Citation Graph (0, 0)][DBLP] ISSTA, 1996, pp:79-83 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Mats Per Erik Heimdahl, Jon Damon Reese
Software Requirements Specification and System Safety. [Citation Graph (0, 0)][DBLP] RE, 1997, pp:264- [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Mats Per Erik Heimdahl
Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2002, v:9, n:3, pp:199- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Interaction Testing in Model-Based Development: Effect on Model-Coverage. [Citation Graph (, )][DBLP]
Model Validation using Automatically Generated Requirements-Based Tests. [Citation Graph (, )][DBLP]
Behavioral Fault Modeling for Model-based Safety Analysis. [Citation Graph (, )][DBLP]
Requirements Coverage as an Adequacy Measure for Conformance Testing. [Citation Graph (, )][DBLP]
Partial Translation Verification for Untrusted Code-Generators. [Citation Graph (, )][DBLP]
The effect of program and model structure on mc/dc test adequacy coverage. [Citation Graph (, )][DBLP]
Safety and Software Intensive Systems: Challenges Old and New. [Citation Graph (, )][DBLP]
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. [Citation Graph (, )][DBLP]
Hardware Supported Flexible Monitoring: Early Results. [Citation Graph (, )][DBLP]
A Case for Specification Validation. [Citation Graph (, )][DBLP]
A Software Certification Consortium and its Top 9 Hurdles. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.455secs
|