Stefan Mitsch
发表
Luis Garcia,
André Platzer,
Stefan Mitsch,
2019,
ICCPS.
André Platzer,
Magnus O. Myreen,
Stefan Mitsch,
2018,
PLDI.
Werner Kurschl,
Wolfgang Gottesheim,
Stefan Mitsch,
2007,
ICMB.
Werner Kurschl,
Stefan Mitsch,
Johannes Schönböck,
2009,
2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks.
Nathan Fulton,
André Platzer,
Stefan Mitsch,
2017,
ITP.
Werner Kurschl,
Wolfgang Gottesheim,
Stefan Mitsch,
2008,
Fifth International Conference on Information Technology: New Generations (itng 2008).
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2017,
F-IDE@FM.
Nathan Fulton,
André Platzer,
Marcus Völp,
2015,
CADE.
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2013,
Robotics: Science and Systems.
Werner Kurschl,
Stefan Mitsch,
Johannes Schönböck,
2009,
2009 Sixth International Conference on Information Technology: New Generations.
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2006,
Third International Conference on Information Technology: New Generations (ITNG'06).
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010,
ER.
André Platzer,
Naijun Zhan,
Shuling Wang,
2018,
ARCH@ADHS.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2014,
Inf. Fusion.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2016,
International Journal on Software Tools for Technology Transfer.
Werner Kurschl,
Stefan Mitsch,
Bernhard Moser,
2009
.
André Platzer,
Stefan Mitsch,
Jan-David Quesel,
2014
.
Werner Retschitzegger,
Angelika Kusel,
Wieland Schwinger,
2012
.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2018,
ArXiv.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2015,
ACM Comput. Surv..
Luis Garcia,
André Platzer,
Stefan Mitsch,
2019,
ICCPS.
André Platzer,
Stefan Mitsch,
Andreas Müller,
2015,
2015 IEEE 18th International Conference on Intelligent Transportation Systems.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2014,
Formal Methods in System Design.
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2007,
2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).
Stefan Mitsch,
Yong Kiam Tan,
Andrew Sogokon,
2020,
ArXiv.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2017,
FASE.
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
pdf
Jean-Pierre Talpin,
Stefan Mitsch,
Benoit Boyer,
2019,
FM.
Werner Kurschl,
Stefan Mitsch,
Johannes Schönböck,
2008,
2008 Third International Conference on Broadband Communications, Information Technology & Biomedical Applications.
Werner Retschitzegger,
Manuel Wimmer,
Birgit Pröll,
2012,
WWW.
Stefan Mitsch,
Jan-David Quesel,
2014
.
André Platzer,
Stefan Mitsch,
Jan-David Quesel,
2014,
FM.
Werner Kurschl,
Stefan Mitsch,
Johannes Schoenboeck,
2010
.
André Platzer,
Stefan Mitsch,
Brandon Bohrer,
2019,
1903.05073.
Tze Meng Low,
Franz Franchetti,
Soummya Kar,
2017,
IEEE Control Systems.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010,
KMIS.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010,
Data Knowl. Eng..
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2016,
IFM.
André Platzer,
Sarah M. Loos,
Stefan Mitsch,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2011,
DASFAA Workshops.
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2007,
Software Engineering.
André Platzer,
Stefan Mitsch,
Yong Kiam Tan,
2019,
FM.
Werner Retschitzegger,
Manuel Wimmer,
Wieland Schwinger,
2011
.
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2016,
Int. J. Robotics Res..
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2017,
ARCH@CPSWeek.
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).
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2006,
Third International Conference on Information Technology: New Generations (ITNG'06).
André Platzer,
Sarah M. Loos,
Nikos Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2009,
KSEM.
Werner Kurschl,
Stefan Mitsch,
Rene Prokop,
2006,
MMS.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2013
.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2013,
APWeb.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2011,
KEOD.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2009,
OTM Conferences.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2011,
ER Workshops.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2018,
International Journal on Software Tools for Technology Transfer.
Reiner Hähnle,
Eduard Kamburjan,
Stefan Mitsch,
2019,
ArXiv.
Werner Kurschl,
Wolfgang Gottesheim,
Stefan Mitsch,
2008,
ICWN.
Andreas Müller,
Stefan Mitsch,
Norbert Baumgartner,
2012
.
Gustavo Rossi,
Werner Retschitzegger,
Wolfgang Gottesheim,
2011,
iiWAS '11.
Werner Retschitzegger,
Wieland Schwinger,
Stefan Mitsch,
2014,
KSEM.
Stefan Mitsch,
Brandon Bohrer,
Yong Kiam Tan,
2019,
IEEE Robotics and Automation Letters.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010
.
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers
André Platzer,
Stefan Mitsch,
2020,
20 Years of KeY.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2014,
Math. Comput. Sci..
Michael Golm,
André Platzer,
Christof J. Budnik,
2017,
RSSRail.
Bohua Zhan,
Naijun Zhan,
Shuling Wang,
2019,
ARCH@CPSIoTWeek.
Radu Marculescu,
Lui Sha,
Kang G. Shin,
2012,
ICCPS.
Stefan Mitsch,
David Bayani,
Stefan Mitsch,
2020,
VMCAI.
Werner Kurschl,
Stefan Mitsch,
Johannes Schönböck,
2008,
iiWAS.
André Platzer,
Wieland Schwinger,
Stefan Mitsch,
2018,
CyPhy/WESE.
Werner Retschitzegger,
Wolfgang Gottesheim,
Wieland Schwinger,
2010,
OTM Conferences.
Werner Retschitzegger,
Manuel Wimmer,
Birgit Pröll,
2013,
APCCM.
Aleksey Nogin,
Stefan Mitsch,
Alexei Kopylov,
2021,
FM.
Stefan Mitsch,
David Bayani,
2022,
VMCAI.
Bohua Zhan,
Naijun Zhan,
Stefan Mitsch,
2021,
ARCH@ADHS.
Stefan Mitsch,
Andr'e Platzer,
Katherine Cordwell,
2021,
FM.
Stefan Mitsch,
Andre Platzer,
Rachel Cleaveland,
2021,
ArXiv.
Stefan Mitsch,
Yong Kiam Tan,
Andr'e Platzer,
2021,
ArXiv.
André Platzer,
Nikos Arechiga,
Sarah M. Loos,
2021,
Int. J. Softw. Tools Technol. Transf..
Stefan Mitsch,
2021,
Electronic Proceedings in Theoretical Computer Science.
Gustavo Rossi,
Werner Retschitzegger,
Birgit Pröll,
2014
.