Casper Svenning Jensen

According to our database1, Casper Svenning Jensen authored at least 6 papers between 2011 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Stateless model checking of event-driven applications.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2013
Towards harnessing theories through tool support for hard real-time Java programming.
Innov. Syst. Softw. Eng., 2013

Server interface descriptions for automated testing of JavaScript web applications.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Automated testing with targeted event sequence generation.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

2011
Bluetooth Indoor Positioning System Using Fingerprinting.
Proceedings of the Mobile Lightweight Wireless Systems, 2011

WCET analysis of Java bytecode featuring common execution environments.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011


  Loading...