Rody Kersten

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Complexity vulnerability analysis using symbolic execution.
Softw. Test. Verification Reliab., 2020

2019
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis.
Adv. Comput., 2019

Badger: Complexity Analysis with Fuzzing and Symbolic Execution.
Proceedings of the Software Engineering and Software Management, 2019

2018
A Cloud-Based Execution Framework for Program Analysis.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017
Quantified Heap Invariants for Object-Oriented Programs.
Proceedings of the LPAR-21, 2017

Symbolic Complexity Analysis Using Context-Preserving Histories.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

POSTER: AFL-based Fuzzing for Java with Kelinci.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Resource Contracts for Java.
ACM SIGSOFT Softw. Eng. Notes, 2016

2015
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.
ACM SIGSOFT Softw. Eng. Notes, 2015

Using Dependent Types to Define Energy Augmented Semantics of Programs.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014
ResAna: a resource analysis toolset for (real-time) JAVA.
Concurr. Comput. Pract. Exp., 2014

ECAlogic: hardware-parametric energy-consumption analysis of algorithms.
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

2013
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing.
Proceedings of the NASA Formal Methods, 2013

A Hoare Logic for Energy Consumption Analysis.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012
Making resource analysis practical for real-time Java.
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.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010


  Loading...