Volgen
Reiner Hähnle
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Geverifieerd e-mailadres voor cs.tu-darmstadt.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Verification of object-oriented software: The KeY approach
B Beckert, R Hähnle, PH Schmitt
Springer-Verlag, 2007
804*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
4272010
Handbook of tableau methods
M D'Agostino, D Gabbay, R Hähnle, J Posegga
Kluwer Academic Publishers, 1999
406*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
4052005
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
346*2016
Automated deduction in multiple-valued logics
R Hähnle
Oxford University Press, Inc., 1993
290*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
2752005
Tableaux and related methods
R Hahnle
Handbook of automated reasoning 1, 101-176, 2001
230*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
125*2017
Resource analysis of complex programs with cost equations
A Flores-Montoya, R Hähnle
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014 …, 2014
1122014
The liberalized delta-rule in free variable semantic tableaux
R Hähnle, PH Schmitt
Journal of Automated Reasoning 13 (2), 211-221, 1994
1021994
Advanced many-valued logics
R Hähnle
Handbook of philosophical logic, 297-395, 2001
1012001
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
101*1993
Uniform notation of tableau rules for multiple-valued logics
R Hähnle
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International …, 1991
981991
Many-valued logic and mixed integer programming
R Hähnle
Annals of mathematics and Artificial Intelligence 12 (3-4), 231-263, 1994
961994
Short conjunctive normal forms in finitely valued logics
R Hähnle
Journal of Logic and Computation 4 (6), 905-927, 1994
941994
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
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
892015
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
872014
Generating unit tests from formal proofs
C Engel, R Hähnle
Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007
862007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20