Rody Kersten

According to our database, Rody Kersten authored at least 16 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Complexity vulnerability analysis using symbolic execution.

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu

Softw. Test. Verification Reliab., 2020

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

Badger: Complexity Analysis with Fuzzing and Symbolic Execution.

Yannic Noller, Rody Kersten, Corina S. Pasareanu

Proceedings of the Software Engineering and Software Management, 2019

2018

A Cloud-Based Execution Framework for Program Analysis.

Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Quantified Heap Invariants for Object-Oriented Programs.

Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf

Proceedings of the LPAR-21, 2017

Symbolic Complexity Analysis Using Context-Preserving Histories.

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

POSTER: AFL-based Fuzzing for Java with Kelinci.

Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Resource Contracts for Java.

Rody Kersten, Martin Schäf, Temesghen Kahsai

ACM SIGSOFT Softw. Eng. Notes, 2016

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

Using Dependent Types to Define Energy Augmented Semantics of Programs.

Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

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

ECAlogic: hardware-parametric energy-consumption analysis of algorithms.

Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

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

Proceedings of the NASA Formal Methods, 2013

A Hoare Logic for Energy Consumption Analysis.

Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Making resource analysis practical for real-time Java.

Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2010

Test-based inference of polynomial loop-bound functions.

Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010