Bernhard Beckert

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	5449	1201
h-индекс	34	15
i10-индекс	94	23

300

150

225

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202558 27 61 89 91 82 56 71 83 132 137 212 192 289 190 177 195 158 200 194 228 241 241 242 282 239 275 210 231 225 224 33

Публичен достъп

Преглед на всички

25 статии

15 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtПотвърден имейл адрес: cs.tu-darmstadt.de
Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyПотвърден имейл адрес: kit.edu
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyПотвърден имейл адрес: chalmers.se
Richard BubelDepartment of Computer Science, TU DarmstadtПотвърден имейл адрес: cs.tu-darmstadt.de
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Потвърден имейл адрес: sap.com
Steffen SchlagerUniversity of Applies Sciences OffenburgПотвърден имейл адрес: hs-offenburg.de
Martin GieseProf., Dept. of Informatics, University of OsloПотвърден имейл адрес: ifi.uio.no
Michael KirstenKarlsruhe Institute of Technology (KIT)Потвърден имейл адрес: kit.edu
Alexander WeiglKarlsruhe Institution of TechnologyПотвърден имейл адрес: kit.edu
Thomas BaarHTW BerlinПотвърден имейл адрес: acm.org
Wojciech MostowskiHalmstad UniversityПотвърден имейл адрес: hh.se
Birgit Vogel-HeuserProfessor, Lehrstuhl für Automatisierung und Informationssysteme, Technische Universität MünchenПотвърден имейл адрес: tum.de
Mihai HerdaSAP SEПотвърден имейл адрес: sap.com
Rajeev GoreFaculty of Information Technology, Monash University, AustraliaПотвърден имейл адрес: monash.edu
Andreas RothSAP SEПотвърден имейл адрес: sap.com
Jonas SchifflPhD Student, Karlsruhe Institute of TechnologyПотвърден имейл адрес: kit.edu
Christoph BaumannSenior Researcher, Ericsson Security Research SwedenПотвърден имейл адрес: ericsson.com
Suhyun ChaTU MunichПотвърден имейл адрес: tum.de
Philipp RuemmerProfessor in Computer Science, University of RegensburgПотвърден имейл адрес: ur.de
Carsten SchürmannComputer Science, IT University of CopenhagenПотвърден имейл адрес: itu.dk

Следене

Bernhard Beckert

Professor of Informatics, Karlsruhe Institute of Technology

Потвърден имейл адрес: kit.edu - Начална страница

Formal Methods Program Verification Security Computational Social Choice Electronic Voting


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Verification of object-oriented software: The KeY approach B Beckert, R Hähnle, PH Schmitt Springer-Verlag, 2007	809*	2007
Deductive Software Verification–The KeY Book: From Theory to Practice W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Springer, 2016	459*	2016
The KeY tool W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software & Systems Modeling 4 (1), 32-54, 2005	420	2005
leanTAP: Lean tableau-based deduction B Beckert, J Posegga Journal of Automated Reasoning 15 (3), 339-358, 1995	280	1995
Translating the Object Constraint Language into first-order predicate logic B Beckert, U Keller, PH Schmitt Proceedings of the Second Verification Workshop: VERIFY 2, 02-07, 2002	185	2002
A Dynamic Logic for the Formal Verification of Java Card Programs B Beckert Java on Smart Cards: Programming and Security, 6-24, 2001	130	2001
The even more liberalized δ-rule in free variable semantic tableaux B Beckert, R Hähnle, PH Schmitt Kurt Gödel Colloquium on Computational Logic and Proof Theory, 108-119, 1993	108	1993
The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Verified Software: Theories, Tools and Experiments: 6th International …, 2014	98	2014
The KeY Approach: Integrating Object Oriented Design and Formal Verification W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Logics in Artificial Intelligence (JELIA), 21-36, 2000	89*	2000
The SAT problem of signed CNF formulas B Beckert, R Hähnle, F Manya Labelled Deduction 17, 59-80, 2000	78	2000
Reasoning and verification: State of the art and current trends B Beckert, R Hähnle IEEE Intelligent Systems 29 (1), 20-29, 2014	77	2014
Transformations between signed and classical clause logic B Beckert, R Hahnle, F Manya Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic …, 1999	77	1999
Free variable tableaux for propositional modal logics B Beckert, R Goré International Conference on Automated Reasoning with Analytic Tableaux and …, 1997	77	1997
Formal verification of a microkernel used in dependable software systems C Baumann, B Beckert, H Blasum, T Bormer Computer Safety, Reliability, and Security (SAFECOMP), 187-200, 2009	62	2009
The tableau-based theorem prover 3TAP: Version 4.0 B Beckert, R Hähnle, P Oel, M Sulzmann Automated Deduction—Cade-13, 303-307, 1996	62	1996
Lessons Learned From Microkernel Verification: Specification is the New Bottleneck C Baumann, B Beckert, H Blasum, T Bormer Seventh Conference on Systems Software Verification. SSV 2012, Sydney, Australia, 2012	59	2012
An improved method for adding equality to free variable semantic tableaux B Beckert, R Hähnle International Conference on Automated Deduction, 507-521, 1992	57*	1992
Dynamic Logic with Non-rigid Functions B Beckert, A Platzer International Joint Conference on Automated Reasoning (IJCAR), 266-280, 2006	54*	2006
Integrating automated and interactive theorem proving W Ahrendt, B Beckert, R Hähnle, W Menzel, W Reif, G Schellhorn, ... Automated Deduction - A Basis for Applications 2, 1998	53	1998
A completion-based method for mixed universal and rigid E-unification B Beckert International Conference on Automated Deduction, 678-692, 1994	52	1994

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори