• Sign in
  • Sign up
conf.researchr.org / Martina Seidl
  • ETAPS 2019 profile
  • MODELS 2020 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2010 profile
  • SPLASH 2022 profile
  • STAF 2025 profile
Martina Seidl

Registered user since Mon 13 Jan 2025

Name:Martina Seidl
Country:Austria
Affiliation:Johannes Kepler University Linz

Contributions

2025

SLE

  • Author of (Semantic) Feature Model Differences with (Q)SAT within the SLE 2025-track
  • Committee Member in Programme Committee within the SLE 2025-track

2022

FTSCS

  • Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track

VMCAI

  • PC Member in Program Committee within the VMCAI 2022-track

2020

VMCAI

  • PC Member in Program Committee within the VMCAI 2020-track

2019

MeTRiD

  • Committee Member in Program Committee within the MeTRiD-track

VMCAI

  • Committee Member in Program Committee within the VMCAI 2019-track

2016

VMCAI

  • Committee Member in Program Committee
Share
xWed 14 May 15:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up