| 2008 |
|---|
| 65 | EE | 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 |
| 64 | EE | Matthew Staats,
Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators.
ICFEM 2008: 226-237 |
| 63 | EE | Ajitha Rajan,
Michael W. Whalen,
Matt Staats,
Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing.
ICFEM 2008: 86-104 |
| 62 | EE | 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 |
| 2007 |
|---|
| 61 | EE | Jimin Gao,
Mats Per Erik Heimdahl,
Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages.
FASE 2007: 102-116 |
| 60 | EE | Mats Per Erik Heimdahl:
Safety and Software Intensive Systems: Challenges Old and New.
FOSE 2007: 137-152 |
| 59 | EE | Anjali Joshi,
Mats Per Erik Heimdahl:
Behavioral Fault Modeling for Model-based Safety Analysis.
HASE 2007: 199-208 |
| 58 | EE | Ajitha Rajan,
Michael W. Whalen,
Mats Per Erik Heimdahl:
Model Validation using Automatically Generated Requirements-Based Tests.
HASE 2007: 95-104 |
| 57 | EE | 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) |
| 2006 |
|---|
| 56 | EE | Renée C. Bryce,
Ajitha Rajan,
Mats Per Erik Heimdahl:
Interaction Testing in Model-Based Development: Effect on Model-Coverage.
APSEC 2006: 259-268 |
| 55 | EE | 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 |
| 54 | EE | Michael W. Whalen,
Ajitha Rajan,
Mats Per Erik Heimdahl,
Steven P. Miller:
Coverage metrics for requirements-based testing.
ISSTA 2006: 25-36 |
| 53 | EE | Steven P. Miller,
Alan C. Tribble,
Michael W. Whalen,
Mats Per Erik Heimdahl:
Proving the shalls.
STTT 8(4-5): 303-319 (2006) |
| 2005 |
|---|
| 52 | EE | Mats Per Erik Heimdahl:
Model-Based Testing: Challenges Ahead.
COMPSAC (1) 2005: 330 |
| 51 | EE | George Devaraj,
Mats Per Erik Heimdahl,
Donglin Liang:
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.
COMPSAC (1) 2005: 455-462 |
| 50 | EE | Anjali Joshi,
Mats Per Erik Heimdahl:
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.
SAFECOMP 2005: 122-135 |
| 49 | EE | Mats Per Erik Heimdahl:
A Case for Specification Validation.
VSTTE 2005: 392-402 |
| 48 | EE | 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) |
| 2004 |
|---|
| 47 | EE | 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 |
| 46 | EE | Yunja Choi,
Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study.
ASE 2004: 354-357 |
| 45 | EE | Mats Per Erik Heimdahl,
George Devaraj,
Robert Weber:
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
HASE 2004: 178-186 |
| 2003 |
|---|
| 44 | EE | Yunja Choi,
Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction.
ASE 2003: 314-317 |
| 43 | EE | 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 |
| 42 | EE | Steven P. Miller,
Alan C. Tribble,
Mats Per Erik Heimdahl:
Proving the Shalls.
FME 2003: 75-93 |
| 41 | EE | 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 |
| 40 | EE | Mats Per Erik Heimdahl,
Michael W. Whalen,
Jeffrey M. Thompson:
NIMBUS: A Tool for Specification Centered Development.
RE 2003: 349 |
| 39 | EE | 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 |
| 38 | EE | Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking.
SEW 2003: 91 |
| 37 | EE | 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) |
| 2002 |
|---|
| 36 | EE | Mats Per Erik Heimdahl,
Yunja Choi,
Michael W. Whalen:
Deviation Analysis Through Model Checking.
ASE 2002: 37-46 |
| 35 | EE | Yunja Choi,
Mats Per Erik Heimdahl:
Model Checking RSML-e Requirements.
HASE 2002: 109-118 |
| 34 | | Mats Per Erik Heimdahl:
Guest Editor's Introduction.
Autom. Softw. Eng. 9(3): 199 (2002) |
| 33 | EE | 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) |
| 2001 |
|---|
| 32 | EE | Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Coverage Based Test-Case Generation Using Model Checkers.
ECBS 2001: 83- |
| 31 | EE | 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 |
| 30 | | Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models.
HASE 2001: 23-31 |
| 29 | EE | Jeffrey M. Thompson,
Mats Per Erik Heimdahl:
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines.
RE 2001: 56-65 |
| 2000 |
|---|
| 28 | | Mats Per Erik Heimdahl:
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA
ACM 2000 |
| 27 | EE | 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) |
| 26 | EE | Mats Per Erik Heimdahl,
Jeffrey M. Thompson:
Specifying and Analysing System-Level Inter-Component Interfaces.
Requir. Eng. 5(4): 208-224 (2000) |
| 25 | | 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) |
| 1999 |
|---|
| 24 | EE | Michael Stein,
Mats Per Erik Heimdahl,
John Riedl:
Enhancing Annotation Visibility for Software Inspection.
ASE 1999: 243-246 |
| 23 | EE | Michael W. Whalen,
Mats Per Erik Heimdahl:
An Approach to Automatic Code Generation for Safety-Critical Systems.
ASE 1999: 315-318 |
| 22 | EE | 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 |
| 21 | EE | Jeffrey M. Thompson,
Mats Per Erik Heimdahl,
Steven P. Miller:
Specification-Based Prototyping for Embedded Systems.
ESEC / SIGSOFT FSE 1999: 163-179 |
| 20 | EE | Barbara J. Czerny,
Mats Per Erik Heimdahl:
Identifying Domain Axioms Using Binary Decision Diagrams.
HASE 1999: 132-140 |
| 19 | EE | Michael W. Whalen,
Mats Per Erik Heimdahl:
On the Requirements of High-Integrity Code Generation.
HASE 1999: 217- |
| 18 | EE | 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 |
| 1998 |
|---|
| 17 | EE | Barbara J. Czerny,
Mats Per Erik Heimdahl:
Automated Integrative Analysis of State-based Requirements.
ASE 1998: 125- |
| 16 | EE | Michael Stein,
Mats Per Erik Heimdahl,
John Riedl:
A General Framework for Interconnecting Annotations of Software Systems.
COMPSAC 1998: 421-429 |
| 15 | EE | 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 |
| 14 | EE | 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 |
| 13 | EE | Mats Per Erik Heimdahl,
Constance L. Heitmeyer:
Formal Methods For Developing High Assurance Computer Systems: Working Group Report.
WIFT 1998: 60- |
| 12 | | Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
Barbara J. Czerny:
Specification and Analysis of Intercomponent Communication.
IEEE Computer 31(4): 47-54 (1998) |
| 1997 |
|---|
| 11 | EE | Mats Per Erik Heimdahl,
Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines.
ESEC / SIGSOFT FSE 1997: 450-467 |
| 10 | EE | Mats Per Erik Heimdahl:
Verifying Communication Constraints in RSML Specifications.
HASE 1997: 56- |
| 9 | | Mats Per Erik Heimdahl,
Jeffrey M. Thompson:
Specification and Analysis of System Level Inter-Component Communication.
ICFEM 1997: 192- |
| 8 | EE | Mats Per Erik Heimdahl,
David J. Keenan:
Generating Code from Hierarchical State-Based Requirements.
RE 1997: 210- |
| 7 | EE | Mats Per Erik Heimdahl,
Jon Damon Reese:
Software Requirements Specification and System Safety.
RE 1997: 264 |
| 1996 |
|---|
| 6 | EE | Mats Per Erik Heimdahl,
Barbara J. Czerny:
Using PVS to analyze hierarchical state-based requirements for completeness and consistency.
HASE 1996: 252-262 |
| 5 | EE | Mats Per Erik Heimdahl:
Experiences and Lessons from the Analysis of TCAS II.
ISSTA 1996: 79-83 |
| 4 | EE | Mats Per Erik Heimdahl,
Nancy G. Leveson:
Completeness and Consistency in Hierarchical State-Based Requirements.
IEEE Trans. Software Eng. 22(6): 363-377 (1996) |
| 1995 |
|---|
| 3 | EE | Mats Per Erik Heimdahl,
Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements.
ICSE 1995: 3-14 |
| 1994 |
|---|
| 2 | EE | 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) |
| 1991 |
|---|
| 1 | EE | 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) |
