Rody Kersten
Title
Cited by
Cited by
Year
Test-based inference of polynomial loop-bound functions
O Shkaravska, R Kersten, M Van Eekelen
Proceedings of the 8th International Conference on the Principles and …, 2010
282010
Badger: complexity analysis with fuzzing and symbolic execution
Y Noller, R Kersten, CS Păsăreanu
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
262018
POSTER: AFL-based Fuzzing for Java with Kelinci
R Kersten, K Luckow, CS Păsăreanu
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
212017
Symbolic complexity analysis using context-preserving histories
K Luckow, R Kersten, C Păsăreanu
2017 IEEE International Conference on Software Testing, Verification and …, 2017
172017
ResAna: a resource analysis toolset for (real‐time) JAVA
RWJ Kersten, BE Van Gastel, O Shkaravska, M Montenegro, ...
Concurrency and Computation: Practice and Experience 26 (14), 2432-2455, 2014
112014
A Hoare logic for energy consumption analysis
R Kersten, PP Toldin, B van Gastel, M van Eekelen
International Workshop on Foundational and Practical Aspects of Resource …, 2013
112013
Quantified heap invariants for object-oriented programs
T Kahsai, R Kersten, P Rümmer, M Schäf
LPAR-21, May 7–12, 2017, Maun, Botswana, 368-384, 2017
102017
Making resource analysis practical for real-time Java
R Kersten, O Shkaravska, B Van Gastel, M Montenegro, M Van Eekelen
Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012
102012
Using dependent types to define energy augmented semantics of programs
B van Gastel, R Kersten, M van Eekelen
International Workshop on Foundational and Practical Aspects of Resource …, 2015
62015
ECAlogic: hardware-parametric energy-consumption analysis of algorithms
M Schoolderman, J Neutelings, R Kersten, M van Eekelen
Proceedings of the 13th workshop on Foundations of aspect-oriented languages …, 2014
52014
Soundness proof for a hoare logic for energy consumption analysis
PP Toldin, R Kersten, B Gastel, M van Eekelen
Nijmegen: ICIS, 2013
52013
Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis
CS Păsăreanu, R Kersten, K Luckow, QS Phan
Advances in Computers 113, 289-314, 2019
42019
Improving coverage of test cases generated by symbolic pathfinder for programs with loops
R Kersten, S Person, N Rungta, O Tkachuk
ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015
32015
Complexity vulnerability analysis using symbolic execution
K Luckow, R Kersten, C Pasareanu
Software Testing, Verification and Reliability, e1716, 2020
22020
Ranking functions for loops with disjunctive exit-conditions
RWJ Kersten, M van Eekelen
Madrid: Dept. Computer Systems and Computing Universidad Complutense de Madrid, 2011
22011
A Cloud-Based Execution Framework for Program Analysis
D Balasubramanian, D Kostyuchenko, K Luckow, R Kersten, G Karsai
International Conference on Software Engineering and Formal Methods, 139-154, 2018
2018
A Cloud-Based Execution Framework for Program Analysis
R Kersten, G Karsai
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
2018
Resource Contracts for Java
R Kersten, M Schäf, T Kahsai
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
2017
Software analysis methods for resource-sensitive systems
RWJ Kersten
Radboud University Nijmegen, 2015
2015
Using model-checking to reveal a vulnerability of tamper-evident pairing
R Kersten, B Van Gastel, M Drijvers, S Smetsers, M Van Eekelen
NASA Formal Methods Symposium, 63-77, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20