Bernd Finkbeiner is affiliated with Saarland University in Germany and has a substantial body of work centered in computer science, with a focus on formal methods and verification. Their research intersects several subfields including computational theory and mathematics, artificial intelligence, software engineering, computer networks and communications, and hardware architecture.
The main topics of Bernd Finkbeiner's work include:
Frequent co-authors in Finkbeiner's research include Raven Beutner, Niklas Metzger, Jan Baumeister, Julian Siber, and Noemi Passing. Their collaborations indicate a strong network within their research community.
Some notable recent papers authored or co-authored by Bernd Finkbeiner are:
Bernd Finkbeiner's work has been published frequently in several venues such as:
Finkbeiner has also contributed to book publications with Springer Science+Business Media. These include titles such as:
Overall, the research work of Bernd Finkbeiner demonstrates a comprehensive engagement with formal methods, runtime verification, temporal logic, and software tools within computer science. Their publication record reflects an active participation in advancing verification technologies and software reliability.
B. D'Angelo;S. Sankaranarayanan;C. Sanchez;W. Robinson
Michael R. Clarkson;Bernd Finkbeiner;Masoud Koleini;Kristopher K. Micinski
B. Finkbeiner;S. Schewe
Bernd Finkbeiner;Markus N. Rabe;César Sánchez
Bernd Finkbeiner;Sriram Sankaranarayanan;Henny B. Sipma
Sven Schewe;Bernd Finkbeiner
Nikolaj S. Bjørner;Anca Browne;Michael A. Colón;Bernd Finkbeiner
Bernd Finkbeiner;Henny Sipma
Klaus Dräger;Bernd Finkbeiner;Andreas Podelski
Bernd Finkbeiner;Sriram Sankaranarayanan;Henny Sipma
Rayna Dimitrova;Bernd Finkbeiner;Máté Kovács;Markus N. Rabe
Unknown
Peter Faymonville;Bernd Finkbeiner;Leander Tentrup
Peter Faymonville;Bernd Finkbeiner;Sebastian Schirmer;Hazem Torfah
Peter Faymonville;Bernd Finkbeiner;Malte Schledjewski;Maximilian Schwenger
Peter Faymonville;Bernd Finkbeiner;Markus N. Rabe;Leander Tentrup
Klaus Dräge;Bernd Finkbeiner;Andreas Podelski;Antti Valmari
Sven Schewe;Bernd Finkbeiner
Norine Coenen;Bernd Finkbeiner;César Sánchez;Leander Tentrup
Ingo Brückner;Klaus Dräger;Bernd Finkbeiner;Heike Wehrheim
Unknown
Bernd Finkbeiner;Christopher Hahn;Marvin Stenger;Leander Tentrup
Bernd Finkbeiner;Markus N. Rabe;César Sánchez
If you think any of the details on this page are incorrect, let us know.
Studying Computer Science in the USA opens doors to a wide array of related degrees and career pathways—many of which can be pursued online. For students seeking flexibility or affordability, several fields closely linked to computer science offer accredited, cost-effective online programs.
Exploring engineering options, those interested in advanced technology applications may consider enrolling in the cheapest online master's mechanical engineering programs. For undergraduate options, the online bachelor’s in electrical engineering programs equip students for rewarding roles in hardware development and electronics.
If you’re fascinated by data and analytics, pursuing the cheapest master in data science can lead to high-demand roles in AI, cyber security, and business analytics. Meanwhile, a physics degree online strengthens analytical and problem-solving skills relevant to computing and tech industries.
Each of these pathways supports specialized skills and prepares graduates for dynamic, evolving careers in science, engineering, and tech—all with the convenience of online study.
Beijing Institute of Technology
New York University Langone Medical Center
Rutgers, The State University of New Jersey
University of Alberta
University of Iowa
University of Shizuoka
Cornell University
Duke University
University of Edinburgh
University of Oxford
Sant'Anna School of Advanced Studies
Royal Institute of Technology
University of California, San Francisco
Nagoya University
University of California, San Francisco
Brown University
