Concepedia

Bernhard Beckert

BB

24

Publications

862

Citations

15

H-Index

1995

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Universität Koblenz

Chalmers University of Technology

University of Koblenz and Landau

Technical University of Munich

Bernhard Beckert is an author at Karlsruhe Institute of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringVerificationSoftware Testing

Publications per year

1995–2022

24

Publications

24

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Engineering, Input Device, Automation +8

leanTAP: Lean tableau-based deduction

Bernhard Beckert, Joachim Posegga · Journal of Automated Reasoning · 1995 · 145 citations

Lean Tableau-based Deduction, Engineering, Data Science +5

Transformations between signed and classical clause logic

Bernhard Beckert, Reiner Hähnle, Felip Manyà · 2003 · 47 citations

Applied Logic, Syntax, Classical Clause Logic +15

Reasoning and Verification: State of the Art and Current Trends

Bernhard Beckert, Reiner Hähnle · IEEE Intelligent Systems · 2014 · 45 citations

Program Checking, Engineering, Model-based Reasoning +30

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann, Bernhard Beckert, Holger Blasum et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 41 citations · Full text

Software Maintenance, Engineering, Verisoft Xt Project +24

Rows per page

1–5 of 24