A. Platzer
发表
André Platzer,
David W. Renshaw,
Sarah M. Loos,
2013,
HSCC '13.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2015,
TACAS.
André Platzer,
Sarah M. Loos,
Stefan Mitsch,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Jean-Baptiste Jeannin,
André Platzer,
Peter Capell,
2014,
J. Aerosp. Inf. Syst..
A. Platzer,
Stefan Mitsch,
2016,
Formal Methods Syst. Des..
Michael Golm,
André Platzer,
Christof J. Budnik,
2017,
RSSRail.
André Platzer,
A. Platzer,
André Platzer,
2010
.
A. Platzer,
2017
.
A. Platzer,
André Platzer,
2013
.
A. Platzer,
Stefan Mitsch,
M. Althoff,
2019
.
A. Platzer,
Stefan Mitsch,
2018
.
A. Platzer,
André Platzer,
2018
.
A. Platzer,
André Platzer,
2017
.
A. Platzer,
André Platzer,
2014
.
André Platzer,
A. Platzer,
André Platzer,
2012
.
André Platzer,
A. Platzer,
2010
.
A. Platzer,
2010
.
David W. Renshaw,
A. Platzer,
2012
.
George J. Pappas,
A. Platzer,
L. Doyen,
2021
.
Matt Fredrikson,
A. Platzer,
2017
.
A. Platzer,
André Platzer,
2016
.
Radu Marculescu,
Lui Sha,
Kang G. Shin,
2012,
ICCPS.
Matt Fredrikson,
A. Platzer,
2017
.
A. Platzer,
Jonathan Laurent,
2022,
ArXiv.
A. Platzer,
2018
.
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,
2014
.
A. Platzer,
André Platzer,
2013
.
A. Platzer,
2011
.
David W. Renshaw,
Sarah M. Loos,
A. Platzer,
2012
.
David W. Renshaw,
Sarah M. Loos,
A. Platzer,
2012
.
A. Platzer,
Stefan Mitsch,
G. Passmore,
2013
.
A. Platzer,
2014
.
A. Platzer,
André Platzer,
2013
.
A. Platzer,
Jonathan Laurent,
André Platzer,
2022,
ArXiv.
A. Platzer,
F. Finster,
André Platzer,
2019,
Advances in Theoretical and Mathematical Physics.
A. Platzer,
Rose Bohrer,
André Platzer,
2020,
ESOP.
A. Platzer,
André Platzer,
2022
.
A. Platzer,
2010
.
A. Platzer,
P. Mateus,
David Henriques,
2015
.
David W. Renshaw,
Michelle L. Mazurek,
A. Platzer,
2010
.
A. Platzer,
Brandon Bohrer,
Manuel Fernández,
2019
.
A. Platzer,
2018
.
Sarah M. Loos,
A. Platzer,
N. Aréchiga,
2012
.
Yong Kiam Tan,
A. Platzer,
Katherine Kosaian,
2022,
ArXiv.
A. Platzer,
Brandon Bohrer,
2021,
ACM Trans. Embed. Comput. Syst..
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2021,
Formal Methods in System Design.
André Platzer,
Yong Kiam Tan,
Khalil Ghorbal,
2018,
FM.