Bernhard Garn

36 papers C 6Journal 14Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
IEEE Secur. Priv.
Dimitris E. Simos, Manuel Leithner, Rick Kuhn, Bernhard Garn, Raghu Kacker, Jeff Yu Lei
2025 J jnl
Appl. Algebra Eng. Commun. Comput.
Marlene Koelbing, Bernhard Garn, Enrico Iurlano, Ilias S. Kotsireas, Dimitris E. Simos
2025 conf
ICSTW
Klaus Kieseberg, Konstantin Gerner, Bernhard Garn, Wolfgang Czerni, Dimitris E. Simos, D. Richard Kuhn, Raghu Kacker
2024 J jnl
Math. Comput. Sci.
Berina Celic, Klaus Kieseberg, Bernhard Garn, Dimitris E. Simos
2024 J jnl
IET Blockchain
Marlene Koelbing, Klaus Kieseberg, Ceren Çulha, Bernhard Garn, Dimitris E. Simos
2024 conf
ICSTW
Dimitris E. Simos, Bernhard Garn, Dominik Schreiber, Manuel Leithner, D. Richard Kuhn, Raghu Kacker
2023 conf
MARBLE
Bernhard Garn, Klaus Kieseberg, Ceren Çulha, Marlene Koelbing, Dimitris E. Simos
2023 C conf
ICTSS
Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos
2023 J jnl
Oper. Res. Forum
Bernhard Garn, Klaus Kieseberg, Dominik Schreiber, Dimitris E. Simos
2023 conf
ICSTW
Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
2023 conf
ICSTW
Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker
2022 J jnl
Comput. Secur.
Bernhard Garn, Stefan Zauner, Dimitris E. Simos, Manuel Leithner, D. Richard Kuhn, Raghu Kacker
2022 J jnl
Softw. Test. Verification Reliab.
Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
2022 J jnl
Softw. Test. Verification Reliab.
Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker
2022 conf
LION
Bernhard Garn, Klaus Kieseberg, Berina Celic, Dimitris E. Simos
2021 conf
ICST Workshops
Bernhard Garn, Daniel Sebastian Lang, Manuel Leithner, D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos
2021 J jnl
Inf. Softw. Technol.
Manuel Leithner, Bernhard Garn, Dimitris E. Simos
2019 C conf
IEA/AIE
Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos
2019 conf
CAI
Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin
2019 conf
HotSoS
Bernhard Garn, Dimitris E. Simos, Stefan Zauner, Rick Kuhn, Raghu Kacker
2019 C conf
CD-MAKE
Dimitris E. Simos, Bernhard Garn, Ludwig Kampel, D. Richard Kuhn, Raghu N. Kacker
2019 conf
ICST Workshops
Dimitris E. Simos, Bernhard Garn, Jovan Zivanovic, Manuel Leithner
2019 J jnl
Theor. Comput. Sci.
Ludwig Kampel, Manuel Leithner, Bernhard Garn, Dimitris E. Simos
2019 J jnl
Softw. Qual. J.
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa
2019 conf
ICST Workshops
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa
2018 J jnl
Electron. Notes Discret. Math.
Bernhard Garn, Dimitris E. Simos
2018 J jnl
Electron. Notes Discret. Math.
Ludwig Kampel, Bernhard Garn, Dimitris E. Simos
2018 J jnl
Electron. Notes Discret. Math.
Bernhard Garn, Dimitris E. Simos
2017 conf
ICST Workshops
Ludwig Kampel, Bernhard Garn, Dimitris E. Simos
2017 conf
Haifa Verification Conference
Bernhard Garn, Fabian Würfl, Dimitris E. Simos
2017 C conf
ICTSS
Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa
2016 C conf
ICTSS
Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei
2015 C conf
QRS
Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler, Franz Wotawa
2015 conf
ICST Workshops
Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa
2014 conf
ICST Workshops
Bernhard Garn, Dimitris E. Simos
2014 conf
JAMAICA@ISSTA
Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler