Publications by Stefan Mitsch

2023
Brieger M, Mitsch S, Platzer A

2023 • Transactions on Embedded Computing Systems • 22(1):
Cleaveland R, Mitsch S, Platzer A

2023 • Lecture Notes in Computer Science • 13903:122-139
Qian M, Mitsch S

2023 • Lecture Notes in Computer Science • 14066:149-167
Strauss M, Mitsch S

2023
Brieger M, Mitsch S, Platzer A

2022 • EPiC series in computing • 90:86-58
Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Collins P, Duggirala P, Forets M, Kim E, Mitsch S, Schilling C, Wetzlinger M

2022 • EPiC series in computing • 90:185-165
Mitsch S, Zhan B, Sheng H, Bentkamp A, Jin X, Wang S, Foster S, Pardillo Laursen C, Huerta Y Munive JJ

2022 • Lecture Notes in Computer Science • 13182:43-68
Bayani D, Mitsch S

2022 • Lecture Notes in Computer Science • 13385:723-733
Gallicchio J, Tan YK, Mitsch S, Platzer A

2022 • Lecture Notes in Computer Science • 13385:723-733
Gallicchio J, Tan YK, Mitsch S, Platzer A

2022
Gallicchio J, Tan YK, Mitsch S, Platzer A

2022 • IEEE Control Systems Letters • 6:1574-1579
Lin Q, Mitsch S, Platzer A, Dolan JM

2022 • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 41(11):4409-4420
Kabra A, Mitsch S, Platzer A

2022 • HSCC 2022: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK 2022)
Tan YK, Mitsch S, Platzer A

2021 • EPiC series in computing • 80:120-106
Mitsch S, Jin X, Zhan B, Wang S, Zhan N

2021
Cleaveland R, Mitsch S, Platzer A

2021 • Lecture Notes in Computer Science • 13047:122-141
Kopylov A, Mitsch S, Nogin A, Warren M

2021 • International Journal on Software Tools for Technology Transfer • 23(5):827-827
Quesel J-D, Mitsch S, Loos S, Arechiga N, Platzer A

2021 • Formal methods in system design • 58(1-2):5-41
Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A

2021
Scharager M, Cordwell K, Mitsch S, Platzer A

2021 • Lecture Notes in Computer Science • 13047:200-217
Scharager M, Cordwell K, Mitsch S, Platzer A

2021
Tan YK, Mitsch S, Platzer A

2020 • Lecture Notes in Computer Science • 12345:21-64
Mitsch S, Platzer A

2020 • Lecture Notes in Computer Science • 12345 LNCS:21-64
Mitsch S, Platzer A

2020 • EPiC series in computing • 74:153-130
Mitsch S, Huerta Y Munive JJ, Jin X, Zhan B, Wang S, Zhan N