Tabea Schmidt

12 papers A 1B 3C 2Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2023 conf
Applicable Formal Methods for Safe Industrial Products
Alexander Pretschner, Florian Hauer, Tabea Schmidt
2023
Tabea Schmidt
2023 conf
ITSC
Nicola Kolb, Tabea Schmidt, Joachim Fröhlich, Alexander Pretschner
2022 B conf
SAFECOMP
Tabea Schmidt, Florian Hauer, Alexander Pretschner
2022 A conf
ISSRE
Tabea Schmidt, Alexander Pretschner
2021 J jnl
Inform. Spektrum
Alexander Pretschner, Florian Hauer, Tabea Schmidt
2021 C conf
IV
Tabea Schmidt, Florian Hauer, Alexander Pretschner
2020 B conf
SAFECOMP
Tabea Schmidt, Florian Hauer, Alexander Pretschner
2020 C conf
IV
Florian Hauer, Ilias Gerostathopoulos, Tabea Schmidt, Alexander Pretschner
2019 conf
ITSC
Florian Hauer, Tabea Schmidt, Bernd Holzmüller, Alexander Pretschner
2018 conf
ESSoS
Aleieldin Salem, Tabea Schmidt, Alexander Pretschner
2018 B conf
ICMI
Ilhan Aslan, Tabea Schmidt, Jens Woehrle, Lukas Vogel, Elisabeth André