Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 4 Similar Profiles
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
Testing Engineering & Materials Science
Avionics Engineering & Materials Science
Specification languages Engineering & Materials Science
Embedded systems Engineering & Materials Science
Software engineering Engineering & Materials Science
Requirements Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2004 2019

Research Output 1991 2017

Architectural modeling and analysis for safety engineering

Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M. P. E. Jan 1 2017 Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Springer- Verlag, p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10437 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Safety engineering
Security systems
Safety
Engineering
Braking

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gay, G., Rayadurgam, S. & Heimdahl, M. P. E. Jun 1 2017 In : IEEE Transactions on Software Engineering. 43, 6, p. 531-555 25 p.

Research output: Contribution to journalArticle

Testing
Acceptance tests
Real time systems
Embedded systems
Sensors
1 Citations

Discovering instructions for robust binary-level coverage criteria

Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E. Jul 13 2017 TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Association for Computing Machinery, Inc, p. 1-4 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

coverage
instruction
ability

Domain modeling for development process simulation

De Silva, I. J., Rayadurgam, S. & Heimdahl, M. P. E. Jul 5 2017 ICSSP 2017 - Proceedings of the 2017 International Conference on Software and System Process. Association for Computing Machinery, Vol. Part F128767, p. 95-99 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Planning
Software agents
Decision making
Decomposition

From requirements to code: Model based development of a medical cyber physical system

Murugesan, A., Heimdahl, M. P. E., Whalen, M. W., Rayadurgam, S., Komp, J., Duan, L., Kim, B. G., Sokolsky, O. & Lee, I. Jan 1 2017 Software Engineering in Health Care - 4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Revised Selected Papers. Springer- Verlag, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9062 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model-based
Requirements
Health care
Software engineering
Pumps