Jera Hensel
Jera Hensel
E-mail confirmado em cs.rwth-aachen.de
Título
Citado por
Citado por
Ano
Analyzing Program Termination and Complexity Automatically with AProVE
J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ...
Journal of Automated Reasoning 58 (1), 3-31, 2017
712017
Lower runtime bounds for integer programs
F Frohn, M Naaf, J Hensel, M Brockschmidt, J Giesl
International Joint Conference on Automated Reasoning, 550-567, 2016
272016
AProVE: Termination and Memory Safety of C Programs
T Ströder, C Aschermann, F Frohn, J Hensel, J Giesl
International Conference on Tools and Algorithms for the Construction and …, 2015
242015
Proving termination and memory safety for programs with pointer arithmetic
T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ...
International Joint Conference on Automated Reasoning, 208-223, 2014
212014
Automatically proving termination and memory safety for programs with pointer arithmetic
T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ...
Journal of Automated Reasoning 58 (1), 33-65, 2017
172017
Lower bounds for runtime complexity of term rewriting
F Frohn, J Giesl, J Hensel, C Aschermann, T Ströder
Journal of Automated Reasoning 59 (1), 121-163, 2017
122017
Proving termination of programs with bitvector arithmetic by symbolic execution
J Hensel, J Giesl, F Frohn, T Ströder
International Conference on Software Engineering and Formal Methods, 234-252, 2016
112016
Inferring lower bounds for runtime complexity
F Frohn, J Giesl, J Hensel, C Aschermann, T Ströder
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
92015
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
J Hensel, J Giesl, F Frohn, T Ströder
Journal of Logical and Algebraic Methods in Programming 97, 105-130, 2018
52018
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs
J Hensel, F Emrich, F Frohn, T Ströder, J Giesl
International Conference on Tools and Algorithms for the Construction and …, 2017
52017
Automated termination analysis for programs with pointer arithmetic
T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ...
RWTH Aachen, Department of Computer Science, 2014
22014
Logikprogrammierung mit Constraints
E Weber, J Giesl, J Hensel
AProVE at SMT-COMP 2019
M Brockschmidt, F Frohn, C Fuhs, J Giesl, J Hensel, P Schneider-Kamp, ...
Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution
J Hensel, J Giesl, F Frohn, T Ströder
15th International Workshop on Termination, 6, 0
Complexity Analysis for Bitvector Programs
J Hensel, F Frohn, J Giesl
16th International Workshop on Termination, 15, 0
AProVE at the Termination Competition 2018
M Brockschmidt, S Dollase, F Emrich, F Frohn, C Fuhs, J Giesl, M Hark, ...
16th International Workshop on Termination, 78, 0
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–16