Stefan Mitsch
发表
André Platzer,
Sarah M. Loos,
Stefan Mitsch,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
A. Platzer,
Stefan Mitsch,
2016,
Formal Methods Syst. Des..
Michael Golm,
André Platzer,
Christof J. Budnik,
2017,
RSSRail.
Stefan Mitsch,
W. Retschitzegger,
W. Schwinger,
2020,
iiWAS.
A. Platzer,
Stefan Mitsch,
M. Althoff,
2019
.
Stefan Mitsch,
Goran Frehse,
J. Avigad,
2018
.
A. Platzer,
Stefan Mitsch,
2018
.
F. Pfenning,
Stefan Mitsch,
Brandon Bohrer,
2019
.
Sarah M. Loos,
Stefan Mitsch,
2016
.
Radu Marculescu,
Lui Sha,
Kang G. Shin,
2012,
ICCPS.
A. Platzer,
Stefan Mitsch,
André Platzer,
2018
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2018
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2022,
ArXiv.
A. Platzer,
Stefan Mitsch,
G. Passmore,
2013
.
Werner Retschitzegger,
Angelika Kusel,
Wieland Schwinger,
2012
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2021,
Formal Methods in System Design.
Sarah M. Loos,
Stefan Mitsch,
N. Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Yong Kiam Tan,
Stefan Mitsch,
James Gallicchio,
2022,
IJCAR.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2009,
OTM Conferences.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010,
Data Knowl. Eng..
André Platzer,
Sarah M. Loos,
Nikos Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2007,
2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
pdf
Jean-Pierre Talpin,
Stefan Mitsch,
Benoit Boyer,
2019,
FM.
Yong Kiam Tan,
Stefan Mitsch,
Shuling Wang,
2019
.
Bohua Zhan,
Naijun Zhan,
Shuling Wang,
2019,
ARCH@CPSIoTWeek.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010,
ER.
André Platzer,
Magnus O. Myreen,
Stefan Mitsch,
2018,
PLDI.
SEM2 suite — Towards a tool suite for supporting knowledge management in situation awareness systems
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2014,
Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
André Platzer,
Stefan Mitsch,
Brandon Bohrer,
2019,
1903.05073.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2015,
ACM Comput. Surv..
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2014,
Formal Methods in System Design.
Stefan Mitsch,
Megan Strauss,
2023,
ArXiv.
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2013,
Robotics: Science and Systems.
Werner Kurschl,
Stefan Mitsch,
Johannes Schönböck,
2009,
2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks.
Nathan Fulton,
André Platzer,
Marcus Völp,
2015,
CADE.
Stefan Mitsch,
David Bayani,
Stefan Mitsch,
2020,
VMCAI.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2014,
KSEM.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2014,
Math. Comput. Sci..
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2016,
Int. J. Robotics Res..
Yong Kiam Tan,
Stefan Mitsch,
Katherine Cordwell,
2020,
Formal Methods in System Design.
André Platzer,
Stefan Mitsch,
Yong Kiam Tan,
2019,
FM.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2014,
Inf. Fusion.
Reiner Hähnle,
Stefan Mitsch,
Eduard Kamburjan,
2022,
Leibniz Trans. Embed. Syst..
Tze Meng Low,
Franz Franchetti,
Soummya Kar,
2017,
IEEE Control Systems.
Werner Kurschl,
Stefan Mitsch,
Johannes Schönböck,
2008,
2008 Third International Conference on Broadband Communications, Information Technology & Biomedical Applications.
Reiner Hähnle,
Eduard Kamburjan,
Stefan Mitsch,
2019,
ArXiv.
Aleksey Nogin,
Stefan Mitsch,
Alexei Kopylov,
2021,
FM.
Stefan Mitsch,
Brandon Bohrer,
Yong Kiam Tan,
2019,
IEEE Robotics and Automation Letters.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2011,
ER Workshops.
Stefan Mitsch,
André Platzer,
Marvin Brieger,
2023,
ArXiv.
Pittsburgh,
Stefan Mitsch,
Germany Carnegie Mellon University,
2023,
ArXiv.
André Platzer,
Stefan Mitsch,
Jan-David Quesel,
2014,
FM.
Yong Kiam Tan,
Stefan Mitsch,
André Platzer,
2021,
HSCC.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2017,
F-IDE@FM.
Stefan Mitsch,
Aditi Kabra,
Jonathan Laurent,
2023,
ArXiv.
Stefan Mitsch,
Aditi Kabra,
André Platzer,
2022,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stefan Mitsch,
Andr'e Platzer,
Katherine Cordwell,
2021,
FM.
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2007,
Software Engineering.
Stefan Mitsch,
W. Retschitzegger,
W. Schwinger,
2015,
ACM Comput. Surv..
Stefan Mitsch,
André Platzer,
Rachel Cleaveland,
2021,
ACM Trans. Embed. Comput. Syst..
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2018,
ArXiv.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2016,
International Journal on Software Tools for Technology Transfer.
Stefan Mitsch,
Marian Qian,
2023,
NFM.
Gustavo Rossi,
Werner Retschitzegger,
Birgit Pröll,
2014
.