| 2000 |
|---|
| 6 | | 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 |
|---|
| 5 | EE | Barbara J. Czerny,
Mats Per Erik Heimdahl:
Identifying Domain Axioms Using Binary Decision Diagrams.
HASE 1999: 132-140 |
| 1998 |
|---|
| 4 | EE | Barbara J. Czerny,
Mats Per Erik Heimdahl:
Automated Integrative Analysis of State-based Requirements.
ASE 1998: 125- |
| 3 | 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 |
| 2 | | Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
Barbara J. Czerny:
Specification and Analysis of Intercomponent Communication.
IEEE Computer 31(4): 47-54 (1998) |
| 1996 |
|---|
| 1 | EE | Mats Per Erik Heimdahl,
Barbara J. Czerny:
Using PVS to analyze hierarchical state-based requirements for completeness and consistency.
HASE 1996: 252-262 |
