WCET analysis of Java bytecode featuring common execution environments. - Christian Frost; Casper Svenning Jensen; Kasper Søe Luckow; Bent Thomsen (JTRES, 2011)

Bluetooth Indoor Positioning System Using Fingerprinting. - Christian Frost; Casper Svenning Jensen; Kasper Søe Luckow; Bent Thomsen; René Hansen (MOBILIGHT, 2011)

Automated testing with targeted event sequence generation. - Casper Svenning Jensen; Mukul R. Prasad; Anders Møller (ISSTA, 2013)

Server interface descriptions for automated testing of JavaScript web applications. - Casper Svenning Jensen; Anders Møller; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2013)

Towards harnessing theories through tool support for hard real-time Java programming. - Thomas Bøgholm; Christian Frost; René Rydhof Hansen; Casper Svenning Jensen; Kasper Søe Luckow; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (Innov. Syst. Softw. Eng., 2013)

Stateless model checking of event-driven applications. - Casper Svenning Jensen; Anders Møller; Veselin Raychev; Dimitar Dimitrov 004; Martin T. Vechev (OOPSLA, 2015)