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

Research Output 1991 2018

Filter
Paper
2003
30 Citations (Scopus)

Mode confusion analysis of a flight guidance system using formal methods

Joshi, A., Miller, S. P. & Heimdahl, M., Dec 2 2003.

Research output: Contribution to conferencePaper

Formal methods
Aviation
Industry
2001
11 Citations (Scopus)

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

Model checking
Trajectories
123 Citations (Scopus)

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

Avionics
Application programs
Software engineering
Specifications
Costs
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

Machine oriented languages
Computational linguistics
Computer aided analysis
Hierarchical systems
Computer hardware description languages