Bernd Finkbeiner
发表
Bernd Finkbeiner,
Maria Laura Delle Monache,
Philip Koopman,
2017,
SCAV@CPSWeek.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2010,
CSL.
Bernd Finkbeiner,
Andreas Podelski,
Klaus Dräger,
2006,
SPIN.
Bernd Finkbeiner,
Bernd Becker,
Ernst-Rüdiger Olderog,
2011
.
Bernd Finkbeiner,
Lennart Haas,
Hazem Torfah,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2008,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
Lijun Zhang,
Geguang Pu,
2018,
Acta Informatica.
Bernd Finkbeiner,
Helmut Seidl,
Markus N. Rabe,
2012,
VMCAI.
Bernd Finkbeiner,
Jan Baumeister,
Matthis Kruse,
2020,
RV.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2016,
SYNT@CAV.
Bernd Finkbeiner,
Sven Schewe,
Hans-Jörg Peter,
2008,
2008 Real-Time Systems Symposium.
Bernd Finkbeiner,
Olha Honcharova,
Florian Martin,
2009
.
Bernd Finkbeiner,
Lijun Zhang,
Geguang Pu,
2015,
Lecture Notes in Computer Science.
Bernd Finkbeiner,
César Sánchez,
Michael R. Clarkson,
2013,
POST.
Bernd Finkbeiner,
Rüdiger Ehlers,
Michael Gerke,
2012,
Infotech@Aerospace.
Bernd Finkbeiner,
Leander Tentrup,
2014,
SAT.
Bernd Finkbeiner,
Ruzica Piskac,
Mark Santolucito,
2017,
SCAV@CPSWeek.
Bernd Finkbeiner,
Helmut Seidl,
Christian Müller,
2019,
VMCAI.
Bernd Finkbeiner,
Christoph Torens,
Sebastian Schirmer,
2020,
CAV.
Bernd Finkbeiner,
Jan Baumeister,
Matthis Kruse,
2020
.
Bernd Finkbeiner,
Noemi E. Passing,
2020,
ATVA.
Bernd Finkbeiner,
Hazem Torfah,
B. Finkbeiner,
2014,
LATA.
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2006,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
Johannes Reich,
2011
.
Bernd Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2021,
ArXiv.
Bernd Finkbeiner,
Christopher Hahn,
Marvin Stenger,
2017,
CAV.
Bernd Finkbeiner,
Grigore Rosu,
Oleg Sokolsky,
2007,
Runtime Verification.
Bernd Finkbeiner,
Johannes Reich,
2012
.
Bernd Finkbeiner,
Markus N. Rabe,
Rayna Dimitrova,
2012,
ISoLA.
Bernd Finkbeiner,
Ernst-Rüdiger Olderog,
B. Finkbeiner,
2014,
Inf. Comput..
Bernd Finkbeiner,
Henny B. Sipma,
2001,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
César Sánchez,
Markus N. Rabe,
2015,
CAV.
Bernd Finkbeiner,
Heike Wehrheim,
Klaus Dräger,
2007,
FSEN'07.
Bernd Finkbeiner,
Sven Schewe,
2007,
ATVA.
Bernd Finkbeiner,
Andrey Kupriyanov,
B. Finkbeiner,
2014,
CAV.
Bernd Finkbeiner,
César Sánchez,
Henny B. Sipma,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Bernd Finkbeiner,
Insup Lee,
Howard Barringer,
2010
.
Bernd Finkbeiner,
B. Finkbeiner,
2001,
TACAS.
Bernd Finkbeiner,
Rayna Dimitrova,
Hazem Torfah,
2019,
CAV.
Bernd Finkbeiner,
Sven Schewe,
Matthias Brill,
2006,
FORTE.
Bernd Finkbeiner,
Markus N. Rabe,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Bernd Finkbeiner,
Rüdiger Ehlers,
2017,
FSTTCS.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Bernd Finkbeiner,
Felix Klein,
Carsten Gerstacker,
2018,
ATVA.
Bernd Finkbeiner,
B. Finkbeiner,
2015,
Correct System Design.
Bernd Finkbeiner,
Raven Beutner,
Jesko Hecking-Harbusch,
2019,
ArXiv.
Bernd Finkbeiner,
2013,
VPT@CAV.
Bernd Finkbeiner,
Henny B. Sipma,
Howard Barringer,
2006,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
Swen Jacobs,
B. Finkbeiner,
2012,
VMCAI.
Bernd Finkbeiner,
Helmut Seidl,
Christian Müller,
2017,
CCS.
Bernd Finkbeiner,
Maximilian Schwenger,
Stefan Oswald,
2020
.
Bernd Finkbeiner,
Sven Schewe,
Hans-Jörg Peter,
2008,
TACAS.
Bernd Finkbeiner,
Henny B. Sipma,
Zohar Manna,
2000,
Formal Methods Syst. Des..
Bernd Finkbeiner,
Rüdiger Ehlers,
B. Finkbeiner,
2010,
SPIN.
Bernd Finkbeiner,
Borzoo Bonakdarpour,
Borzoo Bonakdarpour,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Bernd Finkbeiner,
Henny B. Sipma,
Zohar Manna,
1997,
Requirements Targeting Software and Systems Engineering.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2007,
AFM '07.
Bernd Finkbeiner,
Andreas Podelski,
Jörg Hoffmann,
2007,
TACAS.
Bernd Finkbeiner,
Hazem Torfah,
Jan Baumeister,
2020
.
Bernd Finkbeiner,
Rayna Dimitrova,
2013,
SR.
Bernd Finkbeiner,
Sven Schewe,
2005,
ATVA.
Bernd Finkbeiner,
Borzoo Bonakdarpour,
Borzoo Bonakdarpour,
2016,
RV.
Bernd Finkbeiner,
Paul Gölz,
B. Finkbeiner,
2017,
FSTTCS.
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2007,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
César Sánchez,
Markus N. Rabe,
2013,
ArXiv.
Bernd Finkbeiner,
Leander Tentrup,
Marvin Stenger,
2019,
Acta Informatica.
Bernd Finkbeiner,
B. Finkbeiner,
2016,
Dependable Software Systems Engineering.
Bernd Finkbeiner,
Borzoo Bonakdarpour,
Borzoo Bonakdarpour,
2019,
ATVA.
Bernd Finkbeiner,
Werner Damm,
W. Damm,
2014,
FM.
Bernd Finkbeiner,
Michael Gerke,
2012
.
Bernd Finkbeiner,
Heike Wehrheim,
Klaus Dräger,
2010,
TACAS.
Bernd Finkbeiner,
Manuel Gieseking,
Jesko Hecking-Harbusch,
2020,
ATVA.
Bernd Finkbeiner,
Helmut Seidl,
Máté Kovács,
2013,
CCS.
Bernd Finkbeiner,
Henny B. Sipma,
Zohar Manna,
1998,
Tool Support for System Specification, Development and Verification.
Bernd Finkbeiner,
Peter Faymonville,
Leander Tentrup,
2017,
CAV.
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2009,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
Markus N. Rabe,
Christopher Hahn,
2020,
ArXiv.
Bernd Finkbeiner,
Henny B. Sipma,
Sriram Sankaranarayanan,
2002,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
Holger Hermanns,
Pedro R. D'Argenio,
2017,
ESOP.
Bernd Finkbeiner,
Andrey Kupriyanov,
2017,
CREST@ETAPS.
Bernd Finkbeiner,
Sven Schewe,
2012,
International Journal on Software Tools for Technology Transfer.
Bernd Finkbeiner,
Armando Solar-Lezama,
2014
.
Bernd Finkbeiner,
Markus N. Rabe,
B. Finkbeiner,
2014,
it Inf. Technol..
Bernd Finkbeiner,
Henny B. Sipma,
2004,
Formal Methods Syst. Des..
Bernd Finkbeiner,
Andreas Podelski,
Klaus Dräger,
2006,
International Journal on Software Tools for Technology Transfer.
Bernd Finkbeiner,
Henny B. Sipma,
Zohar Manna,
2000,
Formal Aspects of Computing.
Bernd Finkbeiner,
Manuel Gieseking,
Jesko Hecking-Harbusch,
2020,
CAV.
Bernd Finkbeiner,
Henny B. Sipma,
Zohar Manna,
1997,
COMPOS.
Bernd Finkbeiner,
Raven Beutner,
Jesko Hecking-Harbusch,
2019,
CONCUR.
Bernd Finkbeiner,
Christopher Hahn,
Hazem Torfah,
2018,
CAV.
Bernd Finkbeiner,
Rüdiger Ehlers,
2011,
GandALF.
Bernd Finkbeiner,
Christopher Hahn,
Tobias Hans,
2018,
ATVA.
Bernd Finkbeiner,
Lars Kuhtz,
B. Finkbeiner,
2009,
ICALP.
Bernd Finkbeiner,
Rüdiger Ehlers,
B. Finkbeiner,
2011,
RV.
Bernd Finkbeiner,
Lars Kuhtz,
2011,
CONCUR.
Bernd Finkbeiner,
Christopher Hahn,
B. Finkbeiner,
2016,
CONCUR.
Bernd Finkbeiner,
Maximilian Schwenger,
Noemi E. Passing,
2020,
RV.
Bernd Finkbeiner,
Hazem Torfah,
Maximilian A. Köhl,
2017
.
Bernd Finkbeiner,
Doron A. Peled,
Peter Faymonville,
2014,
VMCAI.
Bernd Finkbeiner,
Ernst-Rüdiger Olderog,
Manuel Gieseking,
2017,
SYNT@CAV.
Bernd Finkbeiner,
César Sánchez,
2016,
Acta Informatica.
Bernd Finkbeiner,
Rayna Dimitrova,
Hazem Torfah,
2020,
ATVA.
Bernd Finkbeiner,
Martin Zimmermann,
B. Finkbeiner,
2016,
STACS.
Bernd Finkbeiner,
Leander Tentrup,
Marvin Stenger,
2020,
International Journal on Software Tools for Technology Transfer.
Bernd Finkbeiner,
Christopher Hahn,
Leander Tentrup,
2018,
CAV.
Bernd Finkbeiner,
Rayna Dimitrova,
2009,
ATVA.
Bernd Finkbeiner,
Hazem Torfah,
Jan Baumeister,
2019,
ACM Trans. Embed. Comput. Syst..
Bernd Finkbeiner,
César Sánchez,
Leander Tentrup,
2020,
CAV.
Bernd Finkbeiner,
2017,
Bull. EATCS.
Bernd Finkbeiner,
Rayna Dimitrova,
Hazem Torfah,
2019,
ATVA.
Bernd Finkbeiner,
Hazem Torfah,
Tom Baumeister,
2020,
ATVA.
Bernd Finkbeiner,
Christopher Hahn,
Leander Tentrup,
2017,
RV.
Bernd Finkbeiner,
Leander Tentrup,
2015,
Log. Methods Comput. Sci..
Bernd Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2019,
Formal Methods Syst. Des..
Bernd Finkbeiner,
Ernst-Rüdiger Olderog,
Manuel Gieseking,
2015,
CAV.
Bernd Finkbeiner,
Borzoo Bonakdarpour,
Borzoo Bonakdarpour,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Bernd Finkbeiner,
Samantha Kleinberg,
2019,
CREST@ETAPS.
Bernd Finkbeiner,
Lars Kuhtz,
B. Finkbeiner,
2012,
Log. Methods Comput. Sci..
Bernd Finkbeiner,
Werner Damm,
Astrid Rakow,
2016,
SYNT@CAV.
Bernd Finkbeiner,
Andrey Kupriyanov,
B. Finkbeiner,
2013,
CONCUR.
Bernd Finkbeiner,
Klaus Dräger,
B. Finkbeiner,
2008,
CONCUR.
Bernd Finkbeiner,
Nachum Dershowitz,
Andreas Blass,
2015,
Lecture Notes in Computer Science.
Bernd Finkbeiner,
Ernst-Rüdiger Olderog,
2014,
GandALF.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2006,
CSL.
Bernd Finkbeiner,
Lijun Zhang,
G. Pu,
2015
.
Bernd Finkbeiner,
Sven Schewe,
Hans-Jörg Peter,
2010,
IET Softw..
Bernd Finkbeiner,
Noemi Passing,
2020,
ArXiv.
Bernd Finkbeiner,
B. Finkbeiner,
2021,
VMCAI.
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2009
.
Bernd Finkbeiner,
Hazem Torfah,
B. Finkbeiner,
2017,
ATVA.
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2007
.
Bernd Finkbeiner,
Ingolf H. Kruger,
2001
.
Bernd Finkbeiner,
Rüdiger Ehlers,
Michael Gerke,
2010,
FMICS.
Bernd Finkbeiner,
Florian-Michael Adolf,
Christoph Torens,
2017,
RV.
Bernd Finkbeiner,
Hazem Torfah,
2016,
ATVA.
Bernd Finkbeiner,
Felix Klein,
Gideon Geier,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Bernd Finkbeiner,
Hazem Torfah,
Sebastian Schirmer,
2016,
RV.
Bernd Finkbeiner,
Nachum Dershowitz,
Andreas Blass,
2011
.
Bernd Finkbeiner,
Gilles Barthe,
Holger Hermanns,
2016,
ISoLA.
Bernd Finkbeiner,
Norine Coenen,
Jana Hofmann,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bernd Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2020,
CAV.
Bernd Finkbeiner,
Felix Klein,
B. Finkbeiner,
2018,
Dependable Software Systems Engineering.
Bernd Finkbeiner,
Felix Klein,
Ruzica Piskac,
2017,
CAV.
Bernd Finkbeiner,
Sven Schewe,
2006,
LOPSTR.
Bernd Finkbeiner,
Lars Kuhtz,
2009,
RV.
Bernd Finkbeiner,
Henny B. Sipma,
Sriram Sankaranarayanan,
2005,
Formal Methods Syst. Des..
Bernd Finkbeiner,
Johannes Reich,
B. Finkbeiner,
2011
.
Bernd Finkbeiner,
Hazem Torfah,
Maximilian Schwenger,
2017,
ArXiv.
Bernd Finkbeiner,
Insup Lee,
Gordon J. Pace,
2010
.
Bernd Finkbeiner,
Markus N. Rabe,
Christopher Hahn,
2020,
ICLR.
Bernd Finkbeiner,
Rayna Dimitrova,
B. Finkbeiner,
2008,
FSTTCS.
Bernd Finkbeiner,
Rayna Dimitrova,
2012,
FORMATS.
Bernd Finkbeiner,
Markus N. Rabe,
Peter Faymonville,
2017,
TACAS.
Bernd Finkbeiner,
Ernst-Rüdiger Olderog,
Manuel Gieseking,
2019,
ATVA.
Bernd Finkbeiner,
Hartmut Janocha,
2005
.
Bernd Finkbeiner,
2014
.
Bernd Finkbeiner,
Grigore Rosu,
Oleg Sokolsky,
2007,
Runtime Verification.
Bernd Finkbeiner,
Sven Schewe,
2007,
Int. J. Found. Comput. Sci..
Bernd Finkbeiner,
Leander Tentrup,
2014,
TACAS.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2007,
International Journal on Software Tools for Technology Transfer.
Bernd Finkbeiner,
Hazem Torfah,
Maximilian Schwenger,
2019,
CAV.
Bernd Finkbeiner,
Christopher Hahn,
Leander Tentrup,
2018,
TACAS.
Bernd Finkbeiner,
Hans-Jörg Peter,
2012,
FORMATS.
Bernd Finkbeiner,
Felix Klein,
2016,
CAV.
Bernd Finkbeiner,
Helmut Seidl,
Christian Müller,
2016,
ATVA.
Bernd Finkbeiner,
Werner Damm,
W. Damm,
2011,
FM.
Alexander K. Petrenko,
Bernd Finkbeiner,
Yuri Gurevich,
2010,
Electron. Notes Theor. Comput. Sci..
Bernd Finkbeiner,
Fan Yang,
Jonni Virtema,
2020,
ArXiv.
Bernd Finkbeiner,
Christoph Weidenbach,
Thomas Hillenbrand,
2008
.
Bernd Finkbeiner,
Hans-Jörg Peter,
2012
.
Bernd Finkbeiner,
Hans-Jörg Peter,
2012,
TACAS.
Bernd Finkbeiner,
Holger Hermanns,
Maximilian A. Köhl,
2021,
International Conference on Tools and Algorithms for Construction and Analysis of Systems.
Bernd Finkbeiner,
Leonardo Mariani,
2021,
Int. J. Softw. Tools Technol. Transf..
Bernd Finkbeiner,
Borzoo Bonakdarpour,
Jan Baumeister,
2021,
CAV.
Bernd Finkbeiner,
Christopher Hahn,
Jana Hofmann,
2021,
ATVA.
Bernd Finkbeiner,
B. Finkbeiner,
2021,
arXiv.org.
Bernd Finkbeiner,
Noemi Passing,
Gideon Geier,
2021,
ArXiv.
Bernd Finkbeiner,
Noemi E. Passing,
Noemi Passing,
2021,
FoSSaCS.
Bernd Finkbeiner,
Raven Beutner,
B. Finkbeiner,
2021,
CONCUR.
Bernd Finkbeiner,
Markus N. Rabe,
Christopher Hahn,
2021,
NeurIPS.
Bernd Finkbeiner,
Felix Klein,
Niklas Metzger,
2021,
ATVA.
Bernd Finkbeiner,
Noemi Passing,
2021,
ArXiv.
Bernd Finkbeiner,
Raimund Dachselt,
Tom Horak,
2021,
IEEE Transactions on Visualization and Computer Graphics.
Christel Baier,
Bernd Finkbeiner,
Florian Funke,
2021,
CAV.
Bernd Finkbeiner,
Johann C. Dauer,
Sebastian Schirmer,
2021,
RV.
Bernd Finkbeiner,
Noemi Passing,
Philippe Heim,
2021
.
Bernd Finkbeiner,
Manuel Gieseking,
Jesko Hecking-Harbusch,
2021,
CSL.
Bernd Finkbeiner,
Noemi E. Passing,
Noemi Passing,
2022,
ATVA.
Bernd Finkbeiner,
Noemi Passing,
Gideon Geier,
2021,
NFM.
Bernd Finkbeiner,
Andreas Podelski,
Scott Cotton,
2005
.
Bernd Finkbeiner,
Thomas Ertl,
Hanns Ruder,
1987
.
Bernd Finkbeiner,
Thomas Ertl,
Hanns Ruder,
1992
.
Bernd Finkbeiner,
Thomas Ertl,
Hanns Ruder,
1987
.
Bernd Finkbeiner,
Markus N. Rabe,
Peter Faymonville,
2015
.
Bernd Finkbeiner,
Christopher Hahn,
Tobias Hans,
2019
.
Bernd Finkbeiner,
Andreas Podelski,
Silke Wagner,
2008
.
VMCAI Evaluation Artifact VMCAI Evaluation Artifact Functional How to Win First-Order Safety Games ?
Bernd Finkbeiner,
Helmut Seidl,
Christian Müller,
2019
.
Bernd Finkbeiner,
Thomas Ertl,
Hanns Ruder,
1987
.
Bernd Finkbeiner,
Thomas Ertl,
Hanns Ruder,
1989
.