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.
- 3 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 2020
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M., McCamant, S. A. & Rayadurgam, S.
6/15/16 → 5/31/20
Project: Research project
Contracts
Architectural Modeling and Analysis for Safety Engineeri
Heimdahl, M., Heimdahl, M. & Whalen, M. W.
12/20/16 → 6/30/19
Project: Research project
Safety engineering
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 2018
Contract discovery from black-box components
Sharma, V., Byun, T., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., Nov 9 2018, WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018. Honavar, V., Nguyen, T. N., Leavens, G. T., Dyer, R., Rajan, H. & Nguyen, H. A. (eds.). Association for Computing Machinery, Inc, p. 5-8 4 p. (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Static analysis
Dynamic analysis
Systems analysis
4
Citations
(Scopus)
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. Bozzano, M. & Papadopoulos, Y. (eds.). 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
2
Citations
(Scopus)
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
1
Citation
(Scopus)
Discovering instructions for robust binary-level coverage criteria
Sharma, V. B., Byun, T. J., 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. (TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017).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. Bendraou, R., Maggi, F. M., Raffo, D. & LiGuo, H. (eds.). Association for Computing Machinery, p. 95-99 5 p. (ACM International Conference Proceeding Series; vol. Part F128767).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Planning
Software agents
Decision making
Decomposition