Reiner Hähnle

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

Позовавания

	Всички	От 2019
Позовавания	8563	2541
h-индекс	43	23
i10-индекс	130	58

500

250

125

375

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202444 101 38 66 123 109 125 113 169 119 172 153 251 217 301 241 254 255 270 357 319 360 369 462 394 487 468 435 392 440 396 405

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

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

35 статии

0 статии

налични

неналични

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

Съавтори

Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyПотвърден имейл адрес: kit.edu
Richard BubelDepartment of Computer Science, TU DarmstadtПотвърден имейл адрес: cs.tu-darmstadt.de
Einar Broch JohnsenProfessor, University of OsloПотвърден имейл адрес: ifi.uio.no
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyПотвърден имейл адрес: chalmers.se
Martin GieseProf., Dept. of Informatics, University of OsloПотвърден имейл адрес: ifi.uio.no
Eduard KamburjanAssistant Professor, IT University of CopenhagenПотвърден имейл адрес: itu.dk
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Потвърден имейл адрес: cwi.nl
Thomas BaarHTW BerlinПотвърден имейл адрес: acm.org
Crystal Chang DinDepartment of Informatics, University of Bergen, NorwayПотвърден имейл адрес: uib.no
Ina SchaeferKarlsruhe Institute of Technology (KIT)Потвърден имейл адрес: kit.edu
Steffen SchlagerUniversity of Applies Sciences OffenburgПотвърден имейл адрес: hs-offenburg.de
Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyПотвърден имейл адрес: kit.edu
Wojciech MostowskiHalmstad UniversityПотвърден имейл адрес: hh.se
Martin Hentschelitemis AG, GermanyПотвърден имейл адрес: itemis.de
Elvira AlbertComplutense University of SpainПотвърден имейл адрес: sip.ucm.es
Andreas RothSAP SEПотвърден имейл адрес: sap.com
Peter Y. H. WongPreneticsПотвърден имейл адрес: wolfson.oxon.org
Dominic SteinhöfelCISPA Helmholtz Center for Information SecurityПотвърден имейл адрес: cispa.de
Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloПотвърден имейл адрес: ifi.uio.no
Neil V. MurrayDepartment of Computer Science, Univ. at Albany - SUNYПотвърден имейл адрес: cs.albany.edu

Следене

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt

Потвърден имейл адрес: cs.tu-darmstadt.de - Начална страница

Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Verification of object-oriented software: The KeY approach B Beckert, R Hähnle, PH Schmitt Springer-Verlag, 2007	803*	2007
ABS: A core language for abstract behavioral specification EB Johnsen, R Hähnle, J Schäfer, R Schlatte, M Steffen International Symposium on Formal Methods for Components and Objects, 142-164, 2010	467	2010
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	449*	2016
Handbook of tableau methods M D'Agostino, D Gabbay, R Hähnle, J Posegga Kluwer Academic Publishers, 1999	423*	1999
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	419	2005
Automated deduction in multiple-valued logics R Hähnle Oxford University Press, Inc., 1993	304*	1993
A theorem proving approach to analysis of secure information flow Á Darvas, R Hähnle, D Sands Security in Pervasive Computing: Second International Conference, SPC 2005 …, 2005	295	2005
Tableaux and related methods R Hahnle Handbook of automated reasoning 1, 101-176, 2001	237	2001
A Survey of Active Object Languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 76, 2017	153	2017
Deductive software verification: from pen-and-paper proofs to industrial tools R Hähnle, M Huisman Computing and Software Science: State of the Art and Perspectives, 345-373, 2019	134	2019
Resource analysis of complex programs with cost equations A Flores-Montoya, R Hähnle Asian Symposium on Programming Languages and Systems, 275-295, 2014	129	2014
OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst case S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	110	2015
Advanced many-valued logics R Hähnle Handbook of philosophical logic, 297-395, 2001	107	2001
Many-valued logic and mixed integer programming R Hähnle Annals of mathematics and Artificial Intelligence 12 (3-4), 231-263, 1994	107	1994
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	105	1993
Short conjunctive normal forms in finitely valued logics R Hähnle Journal of Logic and Computation 4 (6), 905-927, 1994	104	1994
The liberalized δ-rule in free variable semantic tableaux R Hähnle, PH Schmitt Journal of Automated Reasoning 13, 211-221, 1994	103	1994
Uniform notation of tableau rules for multiple-valued logics R Hähnle Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International …, 1991	103	1991
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	93	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, 21-36, 2000	91*	2000

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

Статии 1–20

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

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

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

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

Следене

Позовавания

Съавтори