1991 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
2003

Mode confusion analysis of a flight guidance system using formal methods

Joshi, A., Miller, S. P. & Heimdahl, M., Dec 2 2003, p. 2.D.1/1-2.D.1/12.

Research output: Contribution to conferencePaper

31 Scopus citations
2001

Automatic abstraction for model checking software systems with interrelated numeric constraints

Choi, Y., Rayadurgam, S. & Heimdahl, M. P. E., Dec 1 2001, p. 164-174. 11 p.

Research output: Contribution to conferencePaper

11 Scopus citations

Coverage based test-case generation using model checkers

Rayadurgam, S. & Heimdahl, M., Jan 1 2001, p. 83-91. 9 p.

Research output: Contribution to conferencePaper

126 Scopus citations

Extending the product family approach to support n-dimensional and hierarchical product lines

Thompson, J. M. & Heimdahl, M. P. E., Jan 1 2001, p. 56-64. 9 p.

Research output: Contribution to conferencePaper

7 Scopus citations
1998

Experiences from specifying the TCAS II requirements using RSML

Heimdahl, M. P. E., Leveson, N. G. & Reese, J. D., Dec 1 1998, p. C43-1-C43-8.

Research output: Contribution to conferencePaper

9 Scopus citations
1997

Generating code from hierarchical state-based requirements

Heimdahl, M. & Keenan, D. J., Jan 1 1997, p. 210-219. 10 p.

Research output: Contribution to conferencePaper

9 Scopus citations