Bernhard Beckert
发表
Bernhard Beckert,
Daniel Bruns,
Vladimir Klebanov,
2013
.
Bernhard Beckert,
Daniel Grahl,
Bernhard Beckert,
2013,
CADE.
Bernhard Beckert,
Reiner Hähnle,
1992,
CADE.
Tobias Nipkow,
Bernhard Beckert,
Franz Baader,
2010,
Informatik-Spektrum.
Bernhard Beckert,
Reiner Hähnle,
Reiner Hähnle,
1996
.
Bernhard Beckert,
Alexander Pretschner,
Jörn Müller-Quade,
2011,
it Inf. Technol..
Bernhard Beckert,
Reiner Hähnle,
Stefan Gerberding,
1992,
CADE.
Bernhard Beckert,
Vladimir Klebanov,
Steffen Schlager,
2007,
The KeY Approach.
Bernhard Beckert,
Daniel Bruns,
Christoph Scheben,
2012
.
Bernhard Beckert,
Vladimir Klebanov,
Thorsten Bormer,
2010,
FMCO.
Bernhard Beckert,
1998
.
Bernhard Beckert,
Daniel Bruns,
Christoph Scheben,
2013
.
Bernhard Beckert,
Vladimir Klebanov,
Bernhard Beckert,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Bernhard Beckert,
Vladimir Klebanov,
Mattias Ulbrich,
2015,
FTfJP@ECOOP.
Bernhard Beckert,
Ralf Küsters,
Melanie Volkamer,
2019,
E-Vote-ID.
Bernhard Beckert,
Wolfgang Ahrendt,
Richard Bubel,
2020,
20 Years of KeY.
Bernhard Beckert,
Joachim Posegga,
1994,
WLP.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2013,
LOPSTR.
Bernhard Beckert,
Vladimir Klebanov,
Peter H. Schmitt,
2007,
CADE.
Bernhard Beckert,
Gerd Beuster,
Gerd Beuster,
2004
.
Bernhard Beckert,
Thorsten Bormer,
Carsten Sinz,
2011,
FoVeOOS.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2016,
2016 IEEE International Symposium on Assembly and Manufacturing (ISAM).
Bernhard Beckert,
2008
.
Bernhard Beckert,
2012
.
Bernhard Beckert,
2005
.
Bernhard Beckert,
Mattias Ulbrich,
Jonas Schiffl,
2019,
FM Workshops.
Markus Wagner,
Bernhard Beckert,
M. Bormer,
2013
.
Martin A. Giese,
Achim D. Brucker,
Bernhard Beckert,
2004
.
Bernhard Beckert,
Steffen Schlager,
2004,
IFM.
Bernhard Beckert,
Amiram Yehudai,
Shmuel S. Tyszberowicz,
2010,
TAP@TOOLS.
Bernhard Beckert,
Rajeev Goré,
Carsten Schürmann,
2013,
VoteID.
Bernhard Beckert,
1999
.
Bernhard Beckert,
Reiner Hähnle,
2010
.
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
pdf
Bernhard Beckert,
Mattias Ulbrich,
Peter Sanders,
2018,
MARS/VPT@ETAPS.
Markus Wagner,
Bernhard Beckert,
Thorsten Bormer,
2013,
TAP@STAF.
Bernhard Beckert,
Thorsten Bormer,
Daniel Grahl,
2016,
ISoLA.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2002,
FASE.
Bernhard Beckert,
Joachim Posegga,
J. Posegga,
1995,
Journal of Automated Reasoning.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2019,
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE).
Bernhard Beckert,
Claude Marché,
2011
.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2017,
2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Bernhard Beckert,
Reiner Hähnle,
2008
.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2019,
2019 IEEE 17th International Conference on Industrial Informatics (INDIN).
Bernhard Beckert,
Reiner Hähnle,
Reiner Hähnle,
2014,
IEEE Intelligent Systems.
Bernhard Beckert,
Peter H. Schmitt,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Heinz Wörn,
Bernhard Beckert,
Mattias Ulbrich,
2015
.
Bernhard Beckert,
Vladimir Klebanov,
Benjamin Weiß,
2016,
Deductive Software Verification.
Bernhard Beckert,
Ralf Reussner,
Andreas Oberweis,
2020,
Informatik Spektrum.
Bernhard Beckert,
Daniel Grahl,
2012,
KI.
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Bernhard Beckert,
Mattias Ulbrich,
Reiner Hähnle,
2020,
20 Years of KeY.
Bernhard Beckert,
Reiner Hähnle,
Martin Sulzmann,
1996,
CADE.
Dov M. Gabbay,
Bernhard Beckert,
1998,
TABLEAUX.
Bernhard Beckert,
Dilian Gurov,
Ferruccio Damiani,
2010
.
Bernhard Beckert,
Steffen Schlager,
Bernhard Beckert,
2001,
IJCAR.
Bernhard Beckert,
Mattias Ulbrich,
Mihai Herda,
2018,
ISoLA.
Bernhard Beckert,
Wolfgang Ahrendt,
Gernot Stenz,
1999,
J. Univers. Comput. Sci..
Bernhard Beckert,
Reiner Hähnle,
Felip Manyà,
1999,
Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329).
Bernhard Beckert,
Joachim Posegga,
1996,
J. Log. Program..
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2020,
20 Years of KeY.
Bernhard Beckert,
Rajeev Goré,
R. Goré,
2001,
Stud Logica.
Bernhard Beckert,
Vladimir Klebanov,
2012,
Formal Aspects of Computing.
Bernhard Beckert,
Rajeev Goré,
R. Goré,
1998,
CADE.
Bernhard Beckert,
1999,
ACM-GIS.
Bernhard Beckert,
Mattias Ulbrich,
Michael Kirsten,
2020,
ISoLA.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2005,
Software & Systems Modeling.
Bernhard Beckert,
Mattias Ulbrich,
Mattias Ulbrich,
2018,
Principled Software Development.
Bernhard Beckert,
Mattias Ulbrich,
Michael Selzer,
2018,
ArXiv.
Bernhard Beckert,
Christoph Gladisch,
Bernhard Beckert,
2007,
TAP.
Bernhard Beckert,
Bernhard Beckert,
1997,
J. Log. Comput..
Bernhard Beckert,
Bernhard Beckert,
1994,
CADE.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2016,
Deductive Software Verification.
Bernhard Beckert,
Rajeev Goré,
1998
.
Bernhard Beckert,
Mattias Ulbrich,
Thorsten Bormer,
2017,
IFM.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2001,
Ershov Memorial Conference.
Bernhard Beckert,
Kerry Trentelman,
Bernhard Beckert,
2005,
LPAR.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2007,
The KeY Approach.
Bernhard Beckert,
Bettina Sasse,
Bernhard Beckert,
2001
.
Bernhard Beckert,
Gerd Beuster,
2006,
ICFEM.
Bernhard Beckert,
1992,
IWBS Report.
Bernhard Beckert,
Sarah Grebing,
Bernhard Beckert,
2015,
Bridging@CADE.
Bernhard Beckert,
Rajeev Goré,
1998,
TABLEAUX.
Bernhard Beckert,
Ralf Küsters,
Daniel Grahl,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Bernhard Beckert,
Reiner Hähnle,
Neil V. Murray,
2004,
Journal of Automated Reasoning.
Bernhard Beckert,
Rajeev Goré,
R. Goré,
1997,
TABLEAUX.
Bernhard Beckert,
Sarah Grebing,
Florian Böhl,
2014,
SEFM Workshops.
Bernhard Beckert,
Reiner Hähnle,
Gonzalo Escalada-Imaz,
1998,
J. Log. Comput..
Bernhard Beckert,
Reiner Hähnle,
2010,
Journal of Automated Reasoning.
Bernhard Beckert,
Lawrence C. Paulson,
2007,
J. Autom. Reason..
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
1993,
Kurt Gödel Colloquium.
Bernhard Beckert,
2003,
J. Symb. Comput..
Bernhard Beckert,
Mihai Herda,
Jonas Schiffl,
2018
.
Bernhard Beckert,
Gerwin Klein,
2008,
VERIFY.
Bernhard Beckert,
Daniel Grahl,
Sarah Grebing,
2010,
VERIFY@IJCAR.
Bernhard Beckert,
Dilian Gurov,
Ferruccio Damiani,
2011
.
Bernhard Beckert,
Dilian Gurov,
Ferruccio Damiani,
2011,
FoVeOOS.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2007
.
Bernhard Beckert,
Mana Taghdiri,
Shmuel S. Tyszberowicz,
2017,
SETTA.
Bernhard Beckert,
Ralf Reussner,
Ralf H. Reussner,
2020,
2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Bernhard Beckert,
Reiner Hähnle,
Felip Manyà,
2000,
Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000).
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2017,
IFM.
Bernhard Beckert,
Sarah Grebing,
Bernhard Beckert,
2012,
COMPARE.
Bernhard Beckert,
Reiner Hähnle,
1999,
TABLEAUX.
Bernhard Beckert,
Thorsten Bormer,
Christoph Baumann,
2009,
SAFECOMP.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2020,
FormaliSE@ICSE.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2007,
FMOODS.
Bernhard Beckert,
Joachim Posegga,
J. Posegga,
1995,
WLP.
Bernhard Beckert,
Vladimir Klebanov,
Armin Biere,
2012
.
Bernhard Beckert,
Daniel Bruns,
Bernhard Beckert,
2012
.
Bernhard Beckert,
Peter H. Schmitt,
Thomas Baar,
2007
.
Bernhard Beckert,
2000
.
Bernhard Beckert,
Peter H. Schmitt,
Mattias Ulbrich,
2016,
Lecture Notes in Computer Science.
Bernhard Beckert,
Sarah Grebing,
Florian Böhl,
2014,
UITP.
Martin A. Giese,
Bernhard Beckert,
Peter H. Schmitt,
2005
.
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2018,
TAP@STAF.
Bernhard Beckert,
Mattias Ulbrich,
Jakob Mund,
2019,
Managed Software Evolution.
Bernhard Beckert,
Steffen Schlager,
Bernhard Beckert,
2022
.
C. A. R. Hoare,
Cesare Tinelli,
Bernhard Beckert,
2006,
IEEE Intelligent Systems.
Bernhard Beckert,
Ralf Küsters,
Melanie Volkamer,
2019
.
Bernhard Beckert,
Joachim Posegga,
J. Posegga,
1994,
CADE.
Bernhard Beckert,
Reiner Hähnle,
2008,
TAP.
Bernhard Beckert,
Mattias Ulbrich,
Thorsten Bormer,
2019,
SEFM.
Bernhard Beckert,
Christian Pape,
Bernhard Beckert,
1996,
TABLEAUX.
Bernhard Beckert,
André Platzer,
Bernhard Beckert,
2006,
IJCAR.
Bernhard Beckert,
Mihai Herda,
Michael Kirsten,
2019,
HCVS/PERR@ETAPS.
Bernhard Beckert,
André Platzer,
2006
.
Bernhard Beckert,
Ralf Küsters,
Melanie Volkamer,
2020,
E-Vote-ID.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2017,
2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Bernhard Beckert,
Michal Moskal,
2010,
KI - Künstliche Intelligenz.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2015,
ICFEM.
Bernhard Beckert,
Reiner Hähnle,
1995,
CSL.
Bernhard Beckert,
Amiram Yehudai,
Shmuel S. Tyszberowicz,
2011,
Int. J. Syst. Assur. Eng. Manag..
Bernhard Beckert,
Ulrike Hartmer,
1998,
TABLEAUX.
Bernhard Beckert,
Alexander Weigl,
Sarah Grebing,
2018,
ArXiv.
Bernhard Beckert,
Mattias Ulbrich,
Thorsten Bormer,
2016
.
Markus Wagner,
Bernhard Beckert,
Markus Wagner,
2009,
KI.
Bernhard Beckert,
Vladimir Klebanov,
Mattias Ulbrich,
2015,
2015 IEEE 13th International Conference on Industrial Informatics (INDIN).
Bernhard Beckert,
2007,
VERIFY.
Bernhard Beckert,
Gerwin Klein,
Bernhard Beckert,
2008
.
Bernhard Beckert,
Claude Marché,
C. Marché,
2010
.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2014,
VSTTE.
Bernhard Beckert,
Vladimir Klebanov,
Carsten Schürmann,
2016,
E-VOTE-ID.
Bernhard Beckert,
Wojciech Mostowski,
Wojciech Mostowski,
2003,
FASE.
Bernhard Beckert,
Mattias Ulbrich,
Sarah Grebing,
2017,
Haifa Verification Conference.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
2006,
FMCO.
Bernhard Beckert,
Mana Taghdiri,
Daniel Grahl,
2016,
SETTA.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2018,
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE).
Bernhard Beckert,
Thorsten Bormer,
Rajeev Goré,
2017
.
Bernhard K. Aichernig,
Bernhard Beckert,
2005,
SEFM.
Bernhard Beckert,
Marcello M. Bonsangue,
Ferruccio Damiani,
2013
.
Bernhard Beckert,
Gerd Beuster,
2006
.
Bernhard Beckert,
Vladimir Klebanov,
Bernhard Beckert,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Bernhard K. Aichernig,
Bernhard Beckert,
2008,
Software & Systems Modeling.
Bernhard Beckert,
Marko Kleine Büning,
Mihai Herda,
2017
.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2015,
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2019,
SAC.
Bernhard Beckert,
Reiner Hähnle,
Stefan Gerberding,
1992,
IWBS Report.
Bernhard Beckert,
Gregor Snelting,
2011
.
Bernhard Beckert,
Mattias Ulbrich,
Peter Sanders,
2018,
VSTTE.
Bernhard Beckert,
Simon Greiner,
Martin Mohr,
2017,
SEFM.
Bernhard Beckert,
Reiner Hähnle,
Neil V. Murray,
1994,
LPAR.
Bernhard Beckert,
Thorsten Bormer,
Rajeev Goré,
2014
.
Bernhard Beckert,
Frank S. de Boer,
Marcello M. Bonsangue,
2013,
Lecture Notes in Computer Science.
Jian Wang,
Bernhard Beckert,
Thorsten Bormer,
2014,
J. Inf. Secur. Appl..
Bernhard Beckert,
Gerwin Klein,
2008,
VERIFY.
Bernhard Beckert,
Reiner Hähnle,
2008
.
Bernhard Beckert,
Thorsten Bormer,
Bernhard Beckert,
2014
.
Bernhard Beckert,
Martin Giese,
Philipp Rümmer,
2010,
KI - Künstliche Intelligenz.
Bernhard Beckert,
Daniel Bruns,
Vladimir Klebanov,
2013
.
Bernhard Beckert,
Peter H. Schmitt,
Mattias Ulbrich,
2017,
VSTTE.
Bernhard Beckert,
Peter H. Schmitt,
Steffen Schlager,
2005,
ICFEM.
Bernhard Beckert,
Rajeev Goré,
Carsten Schürmann,
2013,
CADE.
Bernhard Beckert,
Vladimir Klebanov,
Bernhard Beckert,
2007
.
Bernhard Beckert,
Mattias Ulbrich,
Suhyun Cha,
2018,
Autom..
Bernhard Beckert,
Marko Kleine Büning,
Mihai Herda,
2018,
ICFEM.
Bernhard Beckert,
Jonas Schiffl,
Jonas Schiffl,
2020,
ISoLA.
Bernhard Beckert,
Thorsten Bormer,
Christoph Baumann,
2012,
SSV.
Bernhard Beckert,
Bernhard Beckert,
2000,
Java Card Workshop.
Bernhard Beckert,
Birgit Vogel-Heuser,
Suhyun Cha,
2021,
2021 IEEE 19th International Conference on Industrial Informatics (INDIN).
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2021,
IET Cyper-Phys. Syst.: Theory & Appl..
Bernhard Beckert,
Jonas Schiffl,
Sebastian Friebe,
2021,
SACMAT.
Bernhard Beckert,
Robert Heinrich,
Ralf Reussner,
2021
.
Bernhard Beckert,
Vladimir Klebanov,
Thorsten Bormer,
2009
.
Bernhard Beckert,
Reiner Hähnle,
Philipp Rümmer,
2004
.
Bernhard Beckert,
Vladimir Klebanov,
Armin Biere,
2012
.
Bernhard Beckert,
Reiner Hähnle,
Martin Sulzmann,
1996
.
Bernhard Beckert,
Bernhard Beckert,
1996
.
Bernhard Beckert,
Reiner Hähnle,
1995
.
Bernhard Beckert,
Reiner Hähnle,
Martin Sulzmann,
1996
.
Bernhard Beckert,
Joachim Posegga,
J. Posegga,
1995
.
Bernhard Beckert,
Reiner Hähnle,
Stefan Gerberding,
1992
.
Bernhard Beckert,
Riccardo Focardi,
Letterio Galletta,
.
Jürgen Beyerer,
Bernhard Beckert,
Pascal Birnstill,
2013
.
Bernhard Beckert,
Peter H. Schmitt,
Reiner Hähnle,
1998
.
Bernhard Beckert,
Thorsten Bormer,
Christoph Baumann,
2009
.
Bernhard Beckert,
.
Bernhard Beckert,
2006
.
Bernhard Beckert,
Hartmut Schmeck,
Oliver Raabe,
2014
.