| 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 | 77 | 2017 |
| 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 | 75 | 2018 |
| Symbolic execution and recent applications to worst-case execution, load testing and security analysis CS Pasareanu, R Kersten, L Kasper, QS Phan Advances in Computers 22, 2018 | 37 | 2018 |
| 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 | 33 | 2017 |
| 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 | 31 | 2010 |
| 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 | 25 | 2017 |
| A Hoare logic for energy consumption analysis R Kersten, PP Toldin, B van Gastel, M van Eekelen Foundational and Practical Aspects of Resource Analysis: Third International …, 2014 | 15 | 2014 |
| Using dependent types to define energy augmented semantics of programs B Van Gastel, R Kersten, M Van Eekelen Foundational and Practical Aspects of Resource Analysis: 4th International …, 2016 | 11 | 2016 |
| 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 | 11 | 2014 |
| 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 | 10 | 2012 |
| Complexity vulnerability analysis using symbolic execution K Luckow, R Kersten, C Pasareanu Software Testing, Verification and Reliability 30 (7-8), e1716, 2020 | 8 | 2020 |
| 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 | 6 | 2014 |
| Soundness proof for a Hoare logic for energy consumption analysis PP Toldin, R Kersten, B Gastel, M van Eekelen Nijmegen: ICIS, 2013 | 5 | 2013 |
| 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 | 4 | 2015 |
| Model checking Tamper-Evident Pairing M Drijvers, M van Eekelen, R Kersten Bachelor thesis, Radboud University Nijmegen, 24, 2012 | 3 | 2012 |
| 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: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 2 | 2013 |
| Ranking functions for loops with disjunctive exit-conditions RWJ Kersten, M van Eekelen Madrid: Dept. Computer Systems and Computing Universidad Complutense de Madrid, 2011 | 2 | 2011 |
| A Cloud-Based Execution Framework for Program Analysis R Kersten, G Karsai Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | | 2018 |
| A Cloud-Based Execution Framework for Program Analysis D Balasubramanian, D Kostyuchenko, K Luckow, 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 |
Marko van EekelenOpen Universiteit Nederland & Radboud UniversiteitVerified email at cs.ru.nl
