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) |