Casper S. Jensen is an author at Aarhus University specializing in program analysis, software engineering, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringVerificationFormal MethodsSystem SoftwareAutomated Reasoning
Publications per year
2011–2015
4
4
Stateless model checking of event-driven applications
Casper S. Jensen, Anders Møller, Veselin Raychev et al. · 2015 · 45 citations · Full text
WCET analysis of Java bytecode featuring common execution environments
Christian Frost, Casper S. Jensen, Kasper Søe Luckow et al. · 2011 · 15 citations
Stateless model checking of event-driven applications
Casper S. Jensen, Anders Møller, Veselin Raychev et al. · ACM SIGPLAN Notices · 2015 · 11 citations
Rows per page
1–4 of 4