• Sign in
  • Sign up
conf.researchr.org / Mats Heimdahl
  • ASE 2021 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2018 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2022 profile
  • ISSTA 2017 profile
  • RE 2017 profile
  • Requirements Engineering 2021 profile
  • Requirements Engineering 2023 profile
  • Requirements Engineering 2024 profile
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

  • Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track
  • Panelist of How to Get a Job in Academia or Industry within the Social/Networking -track

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

  • Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track
  • Committee Member in Organizing Committee within the TECPS-track
Share
xSun 22 Jun 14:23
using conf.researchr.org (v1.69.0)
Support page
Sign Up