Projects per year
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
Testing
Engineering & Materials Science
Model checking
Engineering & Materials Science
Avionics
Engineering & Materials Science
Specification languages
Engineering & Materials Science
Software engineering
Engineering & Materials Science
Formal methods
Engineering & Materials Science
Computer systems
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2004 2019
Safety engineering
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
6/15/16 → 5/31/19
Project: Research project
Contracts
contract research
student
Binary Transformation and Contract Discovery
Heimdahl, M., McCamant, S. A., Rayadurgam, S. & Whalen, M. W.
5/8/15 → 5/9/16
Project: Research project
Verification and Validation in Planning Systems
Heimdahl, M., Rayadurgam, S. & Whalen, M. W.
9/11/13 → 9/10/18
Project: Research project
Planning
Research Output 1991 2017
Architectural modeling and analysis for safety engineering
Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M., 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 proceeding › Conference 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., Jun 1 2017, In : IEEE Transactions on Software Engineering. 43, 6, p. 531-555 25 p.Research output: Contribution to journal › Article
Testing
Acceptance tests
Real time systems
Embedded systems
Sensors
Discovering instructions for robust binary-level coverage criteria
Sharma, V., Byun, T., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., 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. Yu, T. & Marinov, D. (eds.). Association for Computing Machinery, Inc, p. 1-4 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
coverage
instruction
ability
Domain modeling for development process simulation
De Silva, I. J., Rayadurgam, S. & Heimdahl, M., 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 proceeding › Conference 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. Huhn, M. & Williams, L. (eds.). 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 proceeding › Conference contribution
Model-based
Requirements
Health care
Software engineering
Pumps