Mats Heimdahl -

Registered user since Tue 2 Nov 2021

Name:Mats Heimdahl

Affiliation:University of Minnesota

Personal website: http://www.umsec.umn.edu/directory/mats-heimdahl/

Contributions

2024

Requirements Engineering

PC Member in Program Committee within the Industrial Innovation Papers-track

2023

Requirements Engineering

Committee Member in Program Committee within the Industrial Innovation Papers-track

2022

FormaliSE

Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track

2021

ASE

Requirements Engineering

Committee Member in Program Committee within the Doctoral Symposium-track

2020

ICSE

Programme Committee in Program Committee within the Software Engineering in Practice-track

2019

ICSE

Committee Member in Program Committee within the Software Engineering in Practice-track

2018

TAVCPSIOT

Committee Member in Program Committee within the TAV-CPS/IoT-track

2017

ISSTA