Test-based inference of polynomial loop-bound functions. - Olha Shkaravska; Rody Kersten; Marko C. J. D. van Eekelen (PPPJ, 2010)

Making resource analysis practical for real-time Java. - Rody Kersten; Olha Shkaravska; Bernard van Gastel; Manuel Montenegro; Marko C. J. D. van Eekelen (JTRES, 2012)

A Hoare Logic for Energy Consumption Analysis. - Rody Kersten; Paolo Parisen Toldin; Bernard van Gastel; Marko C. J. D. van Eekelen (FOPARA, 2013)

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. - Rody Kersten; Bernard van Gastel; Manu Drijvers; Sjaak Smetsers; Marko C. J. D. van Eekelen (NASA Formal Methods, 2013)

ECAlogic: hardware-parametric energy-consumption analysis of algorithms. - Marc Schoolderman; Jascha Neutelings; Rody Kersten; Marko C. J. D. van Eekelen (FOAL, 2014)

ResAna: a resource analysis toolset for (real-time) JAVA. - Rody W. J. Kersten; Bernard van Gastel; Olha Shkaravska; Manuel Montenegro; Marko C. J. D. van Eekelen (Concurr. Comput. Pract. Exp., 2014)

Using Dependent Types to Define Energy Augmented Semantics of Programs. - Bernard van Gastel; Rody Kersten; Marko C. J. D. van Eekelen (FOPARA, 2015)

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. - Rody Kersten; Suzette Person; Neha Rungta; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2015)

Resource Contracts for Java. - Rody Kersten; Martin Schäf; Temesghen Kahsai (ACM SIGSOFT Softw. Eng. Notes, 2016)

POSTER: AFL-based Fuzzing for Java with Kelinci. - Rody Kersten; Kasper Søe Luckow; Corina S. Pasareanu (CCS, 2017)

Symbolic Complexity Analysis Using Context-Preserving Histories. - Kasper Søe Luckow; Rody Kersten; Corina S. Pasareanu (ICST, 2017)

Quantified Heap Invariants for Object-Oriented Programs. - Temesghen Kahsai; Rody Kersten; Philipp Rümmer; Martin Schäf (LPAR, 2017)

A Cloud-Based Execution Framework for Program Analysis. - Daniel Balasubramanian; Dmitriy Kostyuchenko; Kasper Søe Luckow; Rody Kersten; Gabor Karsai (SEFM, 2018)

Badger: Complexity Analysis with Fuzzing and Symbolic Execution. - Yannic Noller; Rody Kersten; Corina S. Pasareanu (SE/SWM, 2019)

Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. - Corina S. Pasareanu; Rody Kersten; Kasper Søe Luckow; Quoc-Sang Phan (Adv. Comput., 2019)

Complexity vulnerability analysis using symbolic execution. - Kasper Søe Luckow; Rody Kersten; Corina S. Pasareanu (Softw. Test. Verification Reliab., 2020)