by Mitsch, Stefan, Platzer, André
Published in Electronic proceedings in theoretical computer science (27.01.2017)

by Mitsch, Stefan
Published in Electronic proceedings in theoretical computer science (06.08.2021)

by Mitsch, Stefan, Platzer, André
Published in Formal methods in system design (01.10.2016)

by Mitsch, Stefan, Platzer, André
Published in Deductive Software Verification: Future Perspectives (2020)

by Kabra, Aditi, Mitsch, Stefan, Platzer, Andre
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2022)

by Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner
Published in Leibniz transactions on embedded systems (01.12.2022)

by Strauss, Megan, Mitsch, Stefan
Published in Tests and Proofs (2023)

by Baumgartner, Norbert, Gottesheim, Wolfgang, Mitsch, Stefan, Retschitzegger, Werner, Schwinger, Wieland
Published in Data & knowledge engineering (01.11.2010)

by Bayani, David, Mitsch, Stefan
Published in Verification, Model Checking, and Abstract Interpretation (2022)

by Müller, Andreas, Mitsch, Stefan, Retschitzegger, Werner, Schwinger, Wieland, Platzer, André
Published in International journal on software tools for technology transfer (01.11.2018)

by Sogokon, Andrew, Mitsch, Stefan, Tan, Yong Kiam, Cordwell, Katherine, Platzer, André
Published in Formal methods in system design (01.10.2021)

by Jeannin, Jean-Baptiste, Ghorbal, Khalil, Kouskoulas, Yanni, Schmidt, Aurora, Gardner, Ryan, Mitsch, Stefan, Platzer, André
Published in International journal on software tools for technology transfer (01.11.2017)

by Lin, Qin, Mitsch, Stefan, Platzer, Andre, Dolan, John M.
Published in IEEE control systems letters (2022)

by Mitsch, Stefan, Platzer, André
Published in Runtime Verification (2014)

by Bohrer, Rose, Tan, Yong Kiam, Mitsch, Stefan, Sogokon, Andrew, Platzer, Andre
Published in IEEE robotics and automation letters (01.07.2019)

by Quesel, Jan-David, Mitsch, Stefan, Loos, Sarah, Aréchiga, Nikos, Platzer, André
Published in International journal on software tools for technology transfer (01.10.2021)

by Quesel, Jan-David, Mitsch, Stefan, Loos, Sarah, Aréchiga, Nikos, Platzer, André
Published in International journal on software tools for technology transfer (01.02.2016)

by Baumgartner, Norbert, Mitsch, Stefan, Müller, Andreas, Retschitzegger, Werner, Salfinger, Andrea, Schwinger, Wieland
Published in Information fusion (01.11.2014)

by Fulton, Nathan, Mitsch, Stefan, Bohrer, Rose, Platzer, André
Published in Interactive Theorem Proving (2017)

by Fulton, Nathan, Mitsch, Stefan, Quesel, Jan-David, Völp, Marcus, Platzer, André
Published in Automated Deduction - CADE-25 (2015)