Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martina Seidl
conf.researchr.org general profile
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
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
x
Wed 14 May 15:49
