Mats P. E. Heimdahl

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 2

Top Topics

Inductive Concept Learning

Adverse Selection

Reactive Planning

Top Venues

Publications

Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE (2022)
Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl
Black-Box Testing of Deep Neural Networks. ISSRE (2021)
Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega
Experiences using statecharts for a system requirements specification. IWSSD (1991)