André Platzer
发表
André Platzer,
André Platzer,
2012,
DCFS.
André Platzer,
David W. Renshaw,
Sarah M. Loos,
2011,
ICFEM.
André Platzer,
2018
.
André Platzer,
André Platzer,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Luis Garcia,
André Platzer,
Stefan Mitsch,
2019,
ICCPS.
André Platzer,
2018,
IJCAR.
Edmund M. Clarke,
Bruce H. Krogh,
André Platzer,
2008
.
André Platzer,
Magnus O. Myreen,
Stefan Mitsch,
2018,
PLDI.
André Platzer,
2019,
CADE.
André Platzer,
André Platzer,
2011,
HSCC '11.
André Platzer,
André Platzer,
2011,
Log. Methods Comput. Sci..
André Platzer,
2015,
Correct System Design.
André Platzer,
André Platzer,
2012,
ArXiv.
André Platzer,
2018
.
André Platzer,
Philipp Rümmer,
Jan-David Quesel,
2009,
CADE.
Nathan Fulton,
André Platzer,
2019,
TACAS.
Nathan Fulton,
André Platzer,
Stefan Mitsch,
2017,
ITP.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2017,
F-IDE@FM.
Nathan Fulton,
André Platzer,
Marcus Völp,
2015,
CADE.
André Platzer,
André Platzer,
2015,
ACM Trans. Comput. Log..
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2013,
Robotics: Science and Systems.
André Platzer,
André Platzer,
2016,
Journal of Automated Reasoning.
André Platzer,
André Platzer,
2018,
Springer International Publishing.
André Platzer,
Yong Kiam Tan,
André Platzer,
2018,
LICS.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2015,
TACAS.
André Platzer,
Naijun Zhan,
Shuling Wang,
2018,
ARCH@ADHS.
Nathan Fulton,
André Platzer,
Nathan Fulton,
2018,
2018 IEEE International Test Conference (ITC).
André Platzer,
André Platzer,
2010
.
André Platzer,
André Platzer,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2016,
International Journal on Software Tools for Technology Transfer.
André Platzer,
André Platzer,
2011,
CAV.
André Platzer,
2010,
KI - Künstliche Intelligenz.
Nathan Fulton,
André Platzer,
Nathan Fulton,
2018,
AAAI.
André Platzer,
Stefan Mitsch,
Jan-David Quesel,
2014
.
André Platzer,
2018
.
André Platzer,
2016,
IJCAR.
André Platzer,
Stefan Mitsch,
Stefan Mitsch,
2018,
ArXiv.
André Platzer,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Edmund M. Clarke,
David Henriques,
André Platzer,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
George J. Pappas,
André Platzer,
Goran Frehse,
2018,
Handbook of Model Checking.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2015,
ACM Comput. Surv..
Luis Garcia,
André Platzer,
Stefan Mitsch,
2019,
ICCPS.
André Platzer,
2018
.
Jean-Baptiste Jeannin,
André Platzer,
Peter Capell,
2014,
J. Aerosp. Inf. Syst..
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.
Bruce H. Krogh,
André Platzer,
Jyotirmoy V. Deshmukh,
2015,
NSV.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009,
CMSB.
André Platzer,
Brandon Bohrer,
Adriel Luo,
2018,
ADHS.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2017,
FASE.
André Platzer,
Stephanie Kemper,
André Platzer,
2007,
FACS.
André Platzer,
Jan-David Quesel,
Jan-David Quesel,
2008,
HSCC.
André Platzer,
2018
.
André Platzer,
André Platzer,
2018
.
André Platzer,
Brandon Bohrer,
Rose Bohrer,
2018,
LICS.
André Platzer,
André Platzer,
2010,
CSL.
André Platzer,
2018
.
Peter Kazanzides,
André Platzer,
David W. Renshaw,
2013,
HSCC '13.
André Platzer,
Yong Kiam Tan,
Khalil Ghorbal,
2018,
FM.
André Platzer,
Sarah M. Loos,
2011,
2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).
André Platzer,
Stefan Mitsch,
Jan-David Quesel,
2014,
FM.
André Platzer,
Sarah M. Loos,
André Platzer,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bruce H. Krogh,
André Platzer,
James Kapinski,
2015,
2015 International Conference on Embedded Software (EMSOFT).
André Platzer,
Jan-David Quesel,
Jan-David Quesel,
2009,
ICFEM.
Bradley R. Schmerl,
Ajinkya Bhave,
David Garlan,
2014,
IEEE Transactions on Automatic Control.
André Platzer,
André Platzer,
2010
.
André Platzer,
Stefan Mitsch,
Brandon Bohrer,
2019,
1903.05073.
André Platzer,
André Platzer,
2008,
Journal of Automated Reasoning.
André Platzer,
André Platzer,
2011,
CADE.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009
.
André Platzer,
2019,
QEST.
André Platzer,
Geoffrey J. Gordon,
Erik Zawadzki,
2013,
IJCAI.
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.
André Platzer,
2018
.
André Platzer,
2018
.
André Platzer,
André Platzer,
2012,
Log. Methods Comput. Sci..
André Platzer,
Khalil Ghorbal,
Andrew Sogokon,
2017,
Comput. Lang. Syst. Struct..
André Platzer,
André Platzer,
2009,
IEEE Intelligent Systems.
André Platzer,
Geoffrey J. Gordon,
Erik Zawadzki,
2011,
AISTATS.
Ajinkya Bhave,
David Garlan,
André Platzer,
2014
.
André Platzer,
André Platzer,
2014
.
Edmund M. Clarke,
Sicun Gao,
André Platzer,
2011,
CAI.
André Platzer,
André Platzer,
2007,
HSCC.
André Platzer,
2010
.
Nathan Fulton,
André Platzer,
Ran Ji,
2016
.
André Platzer,
Stefan Mitsch,
Khalil Ghorbal,
2016,
Int. J. Robotics Res..
André Platzer,
André Platzer,
2012,
ITP.
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2017,
ARCH@CPSWeek.
André Platzer,
André Platzer,
2010
.
André Platzer,
Sarah M. Loos,
Nikos Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2007,
HSCC.
André Platzer,
André Platzer,
2015,
CADE.
André Platzer,
André Platzer,
2007,
HyLo@FLoC.
André Platzer,
Sarah M. Loos,
Ligia Nistor,
2011
.
André Platzer,
André Platzer,
2007,
TABLEAUX.
André Platzer,
Roland Meyer,
Heike Wehrheim,
2015,
Lecture Notes in Computer Science.
Bruce H. Krogh,
André Platzer,
Sarah M. Loos,
2012,
2012 American Control Conference (ACC).
André Platzer,
André Platzer,
2014,
ACM Trans. Comput. Log..
André Platzer,
Yong Kiam Tan,
André Platzer,
2019,
FM.
André Platzer,
Jan-David Quesel,
Jan-David Quesel,
2008,
IJCAR.
Edmund M. Clarke,
André Platzer,
2008,
CAV.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2013
.
Bernhard Beckert,
André Platzer,
Bernhard Beckert,
2006,
IJCAR.
Bernhard Beckert,
André Platzer,
2006
.
André Platzer,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
André Platzer,
2008,
Ausgezeichnete Informatikdissertationen.
André Platzer,
2010
.
João Leite,
André Platzer,
João G. Martins,
2011,
ICFEM.
André Platzer,
André Platzer,
2007,
VERIFY.
André Platzer,
2010,
VERIFY@IJCAR.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2010,
Formal Methods in System Design.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2009,
FM.
André Platzer,
2016,
FM 2016.
André Platzer,
André Platzer,
2010,
J. Log. Comput..
André Platzer,
Marcus Völp,
Vincent Rahli,
2017,
CPP.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2013,
Formal Methods Syst. Des..
Werner Retschitzegger,
André Platzer,
Wieland Schwinger,
2018,
International Journal on Software Tools for Technology Transfer.
André Platzer,
2018
.
André Platzer,
2010
.
Jean-Baptiste Jeannin,
André Platzer,
Ryan Gardner,
2015,
2015 International Conference on Embedded Software (EMSOFT).
André Platzer,
David W. Renshaw,
Sarah M. Loos,
2013,
HSCC '13.
André Platzer,
André Platzer,
2014,
Bull. EATCS.
André Platzer,
Khalil Ghorbal,
Andrew Sogokon,
2015,
VMCAI.
André Platzer,
2018
.
Ernst-Rüdiger Olderog,
Jun Pang,
André Platzer,
2007,
Formal Methods and Hybrid Real-Time Systems.
André Platzer,
Sarah M. Loos,
Ligia Nistor,
2011,
FM.
Ajinkya Bhave,
David Garlan,
Bruce H. Krogh,
2011,
IEEE Conference on Decision and Control and European Control Conference.
André Platzer,
A. Platzer,
2010
.
André Platzer,
2012,
J. Autom. Lang. Comb..
André Platzer,
A. Platzer,
André Platzer,
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,
Paul B. Jackson,
Khalil Ghorbal,
2016,
VMCAI.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2008,
Formal Methods Syst. Des..
André Platzer,
2017
.
André Platzer,
Khalil Ghorbal,
Khalil Ghorbal,
2014,
TACAS.
André Platzer,
Khalil Ghorbal,
Andrew Sogokon,
2014,
SAS.
André Platzer,
Stefan Mitsch,
Grant Olney Passmore,
2014,
Math. Comput. Sci..
Michael Golm,
André Platzer,
Christof J. Budnik,
2017,
RSSRail.
Radu Marculescu,
Lui Sha,
Kang G. Shin,
2012,
ICCPS.
André Platzer,
Brandon Bohrer,
Manuel Fernández,
2019,
CADE.
Jean-Baptiste Jeannin,
André Platzer,
Jean-Baptiste Jeannin,
2014,
IJCAR.
André Platzer,
Jan-David Quesel,
2012,
IJCAR.
André Platzer,
Wieland Schwinger,
Stefan Mitsch,
2018,
CyPhy/WESE.
André Platzer,
Peter Steenkiste,
Sarah M. Loos,
2013,
16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).
Nathan Fulton,
André Platzer,
Nathan Fulton,
2016,
CPP.
João Leite,
André Platzer,
João G. Martins,
2019,
TABLEAUX.
André Platzer,
2022,
J. Autom. Reason..
André Platzer,
Brandon Bohrer,
2021,
ACM Trans. Embed. Comput. Syst..
André Platzer,
Yong Kiam Tan,
Katherine Cordwell,
2021,
Arch. Formal Proofs.
André Platzer,
Nikos Arechiga,
Sarah M. Loos,
2021,
Int. J. Softw. Tools Technol. Transf..
Peter Kazanzides,
André Platzer,
Yanni Kouskoulas,
2013
.
André Platzer,
2010
.
André Platzer,
Khalil Ghorbal,
Khalil Ghorbal,
2014
.
André Platzer,
2018
.
André Platzer,
A. Platzer,
André Platzer,
2012
.
André Platzer,
2006
.
André Platzer,
André Platzer,
2010
.
David Garlan,
Bruce H. Krogh,
André Platzer,
2010
.
André Platzer,
André Platzer,
2013
.