André Platzer
发表
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.
Edmund M. Clarke,
David Henriques,
André Platzer,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Yong Kiam Tan,
Andr'e Platzer,
André Platzer,
2020,
TACAS.
Bruce H. Krogh,
André Platzer,
James Kapinski,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Bruce H. Krogh,
André Platzer,
Jyotirmoy V. Deshmukh,
2015,
NSV.
André Platzer,
Sarah M. Loos,
Nikos Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
André Platzer,
André Platzer,
2014,
ACM Trans. Comput. Log..
André Platzer,
André Platzer,
2014,
Bull. EATCS.
Jean-Baptiste Jeannin,
André Platzer,
Jean-Baptiste Jeannin,
2014,
IJCAR.
André Platzer,
André Platzer,
2012,
DCFS.
André Platzer,
André Platzer,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
André Platzer,
André Platzer,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
André Platzer,
André Platzer,
2011,
CAV.
André Platzer,
André Platzer,
2010,
CSL.
André Platzer,
Jan-David Quesel,
Jan-David Quesel,
2008,
IJCAR.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2008,
Formal Methods Syst. Des..
André Platzer,
Jan-David Quesel,
Jan-David Quesel,
2008,
HSCC.
André Platzer,
André Platzer,
2007,
TABLEAUX.
André Platzer,
André Platzer,
2007,
LFCS.
André Platzer,
André Platzer,
2007,
HSCC.
Ernst-Rüdiger Olderog,
Jun Pang,
André Platzer,
2007,
Formal Methods and Hybrid Real-Time Systems.
André Platzer,
André Platzer,
2007,
HyLo@FLoC.
Bohua Zhan,
Naijun Zhan,
Shuling Wang,
2019,
ARCH@CPSIoTWeek.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2018
.
André Platzer,
André Platzer,
2008,
Journal of Automated Reasoning.
A. Platzer,
Jonathan Laurent,
André Platzer,
2022,
ArXiv.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009,
CMSB.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009
.
André Platzer,
Khalil Ghorbal,
Andrew Sogokon,
2014,
SAS.
André Platzer,
Khalil Ghorbal,
Khalil Ghorbal,
2014,
TACAS.
André Platzer,
Khalil Ghorbal,
Khalil Ghorbal,
2014
.
André Platzer,
André Platzer,
2012,
ITP.
William D. Simmons,
André Platzer,
2023,
ArXiv.
A. Platzer,
André Platzer,
2013
.
André Platzer,
A. Platzer,
André Platzer,
2012
.
André Platzer,
Magnus O. Myreen,
Stefan Mitsch,
2018,
PLDI.
Nathan Fulton,
André Platzer,
Nathan Fulton,
2018,
AAAI.
André Platzer,
André Platzer,
2015,
ACM Trans. Comput. Log..
A. Platzer,
F. Finster,
André Platzer,
2019,
Advances in Theoretical and Mathematical Physics.
F. Finster,
André Platzer,
2019
.
André Platzer,
Stefan Mitsch,
Brandon Bohrer,
2019,
1903.05073.
André Platzer,
André Platzer,
2010,
J. Log. Comput..
André Platzer,
Jan-David Quesel,
Jan-David Quesel,
2009,
ICFEM.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2015,
ACM Comput. Surv..
André Platzer,
André Platzer,
2018
.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2014,
Formal Methods in System Design.
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2013,
Robotics: Science and Systems.
Bradley R. Schmerl,
Ajinkya Bhave,
David Garlan,
2014,
IEEE Transactions on Automatic Control.
João Leite,
André Platzer,
João G. Martins,
2011,
ICFEM.
Noah Abou El Wafa,
André Platzer,
2022,
ArXiv.
Brandon Bohrer,
Andr'e Platzer,
Rose Bohrer,
2020,
FSCD.
Brandon Bohrer,
Andr'e Platzer,
Rose Bohrer,
2019,
ArXiv.
André Platzer,
André Platzer,
2018,
Springer International Publishing.
André Platzer,
André Platzer,
2016,
Journal of Automated Reasoning.
André Platzer,
André Platzer,
2012,
Log. Methods Comput. Sci..
André Platzer,
André Platzer,
2012,
ArXiv.
A. Platzer,
André Platzer,
2022
.
André Platzer,
2018
.
A. Platzer,
P. Mateus,
David Henriques,
2015
.
André Platzer,
André Platzer,
2022
.
André Platzer,
André Platzer,
2007,
VERIFY.
Nathan Fulton,
André Platzer,
Marcus Völp,
2015,
CADE.
Bernhard Beckert,
André Platzer,
Bernhard Beckert,
2006,
IJCAR.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2015,
TACAS.
André Platzer,
Philipp Rümmer,
Jan-David Quesel,
2009,
CADE.
Yong Kiam Tan,
Andr'e Platzer,
André Platzer,
2019,
J. ACM.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2014,
Math. Comput. Sci..
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2016,
Int. J. Robotics Res..
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2010,
Formal Methods in System Design.
Yong Kiam Tan,
Katherine Kosaian,
André Platzer,
2022,
CPP.
Yong Kiam Tan,
Katherine Cordwell,
André Platzer,
2021,
ITP.
Yong Kiam Tan,
Stefan Mitsch,
Katherine Cordwell,
2020,
Formal Methods in System Design.
André Platzer,
Stefan Mitsch,
Yong Kiam Tan,
2019,
FM.
André Platzer,
André Platzer,
2009,
IEEE Intelligent Systems.
André Platzer,
André Platzer,
2010
.
André Platzer,
André Platzer,
2014
.
André Platzer,
Marcus Völp,
Vincent Rahli,
2017,
CPP.
Nathan Fulton,
André Platzer,
Ran Ji,
2016
.
Nathan Fulton,
André Platzer,
Nathan Fulton,
2016,
CPP.
A. Platzer,
Stefan Mitsch,
M. Althoff,
2019
.
A. Platzer,
Stefan Mitsch,
André Platzer,
2018
.
André Platzer,
Yong Kiam Tan,
Khalil Ghorbal,
2018,
FM.
André Platzer,
Paul B. Jackson,
Khalil Ghorbal,
2016,
VMCAI.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2009,
FM.
George J. Pappas,
André Platzer,
Goran Frehse,
2018,
Handbook of Model Checking.
Tze Meng Low,
Franz Franchetti,
Soummya Kar,
2017,
IEEE Control Systems.
Peter Kazanzides,
André Platzer,
David W. Renshaw,
2013,
HSCC '13.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2013,
Formal Methods Syst. Des..
André Platzer,
Sarah M. Loos,
Ligia Nistor,
2011,
FM.
Stefan Mitsch,
Brandon Bohrer,
Yong Kiam Tan,
2019,
IEEE Robotics and Automation Letters.
Jean-Baptiste Jeannin,
André Platzer,
Peter Capell,
2014,
J. Aerosp. Inf. Syst..
André Platzer,
David W. Renshaw,
Sarah M. Loos,
2013,
HSCC '13.
Stefan Mitsch,
André Platzer,
Marvin Brieger,
2023,
ArXiv.
André Platzer,
Sarah M. Loos,
André Platzer,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
André Platzer,
Stefan Mitsch,
Jan-David Quesel,
2014,
FM.
André Platzer,
Brandon Bohrer,
Rose Bohrer,
2018,
LICS.
Michael Golm,
André Platzer,
Christof J. Budnik,
2017,
RSSRail.
Yong Kiam Tan,
Stefan Mitsch,
André Platzer,
2021,
HSCC.
A. Platzer,
André Platzer,
2017
.
George J. Pappas,
A. Platzer,
L. Doyen,
2021
.
Ajinkya Bhave,
David Garlan,
Bruce H. Krogh,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Ajinkya Bhave,
David Garlan,
André Platzer,
2014
.
Yong Kiam Tan,
André Platzer,
2019,
J. ACM.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2007,
HSCC.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2017,
F-IDE@FM.
A. Platzer,
André Platzer,
2016
.
André Platzer,
A. Platzer,
André Platzer,
2010
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2021,
Formal Methods in System Design.
André Platzer,
Yong Kiam Tan,
André Platzer,
2019,
FM.
André Platzer,
Yong Kiam Tan,
André Platzer,
2018,
LICS.
André Platzer,
André Platzer,
2015,
CADE.
André Platzer,
Khalil Ghorbal,
Andrew Sogokon,
2015,
VMCAI.
André Platzer,
André Platzer,
2011,
Log. Methods Comput. Sci..
André Platzer,
Khalil Ghorbal,
Andrew Sogokon,
2017,
Comput. Lang. Syst. Struct..
André Platzer,
2013
.
André Platzer,
2022
.
A. Platzer,
André Platzer,
2013
.
F. Finster,
André Platzer,
2019,
Advances in Theoretical and Mathematical Physics.
A. Platzer,
André Platzer,
2018
.
A. Platzer,
André Platzer,
2014
.
A. Platzer,
Rose Bohrer,
André Platzer,
2020,
ESOP.
Brandon Bohrer,
Andr'e Platzer,
Rose Bohrer,
2020,
IJCAR.
André Platzer,
2019,
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.
André Platzer,
André Platzer,
2010
.
E. Clarke,
P. Zuliani,
Paolo Zuliani,
2013,
Formal Methods in System Design.
Stefan Mitsch,
W. Retschitzegger,
W. Schwinger,
2015,
ACM Comput. Surv..
E. Clarke,
P. Zuliani,
André Platzer,
2013
.
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.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2015,
2015 International Conference on Embedded Software (EMSOFT).
André Platzer,
André Platzer,
2011,
HSCC '11.
A. Platzer,
André Platzer,
2013
.
André Platzer,
André Platzer,
2013
.
André Platzer,
2013
.
David W. Renshaw,
Sarah M. Loos,
A. Platzer,
2012
.
David W. Renshaw,
Sarah M. Loos,
A. Platzer,
2012
.
Sarah M. Loos,
A. Platzer,
N. Aréchiga,
2012
.
E. Clarke,
André Platzer,
2011
.
André Platzer,
André Platzer,
2010
.
André Platzer,
André Platzer,
2010
.
Nathan Fulton,
André Platzer,
Nathan Fulton,
2018,
2018 IEEE International Test Conference (ITC).
André Platzer,
Stephanie Kemper,
André Platzer,
2007,
FACS.
André Platzer,
André Platzer,
2011,
CADE.
André Platzer,
2018,
Springer International Publishing.