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)

TetaSARTS: a tool for modular timing analysis of safety critical Java systems. - Kasper Søe Luckow; Thomas Bøgholm; Bent Thomsen; Kim Guldstrand Larsen (JTRES, 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)

HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems. - Kasper Søe Luckow; Bent Thomsen; Stephan Erbs Korsholm (JTRES, 2014)

Exact and approximate probabilistic symbolic execution for nondeterministic programs. - Kasper Søe Luckow; Corina S. Pasareanu; Matthew B. Dwyer; Antonio Filieri; Willem Visser (ASE, 2014)

Symbolic PathFinder v7. - Kasper Søe Luckow; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2014)

From Safety Critical Java Programs to Timed Process Models. - Bent Thomsen; Kasper Søe Luckow; Lone Leth Thomsen; Thomas Bøgholm (Programming Languages with Applications to Biology and Security, 2015)

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. - Kasper Søe Luckow; Corina S. Pasareanu; Bent Thomsen (EURASIP J. Embed. Syst., 2015)

Planning, Scheduling and Monitoring for Airport Surface Operations. - Robert Morris 004; Corina S. Pasareanu; Kasper Søe Luckow; Waqar Malik; Hang Ma 001; T. K. Satish Kumar; Sven Koenig (AAAI Workshop: Planning for Hybrid Systems, 2016)

Log2model: inferring behavioral models from log data. - Kasper Søe Luckow; Corina S. Pasareanu (HLDVT, 2016)

JDart: A Dynamic Symbolic Analysis Framework. - Kasper Søe Luckow; Marko Dimjasevic; Dimitra Giannakopoulou; Falk Howar; Malte Isberner; Temesghen Kahsai; Zvonimir Rakamaric; Vishwanath Raman (TACAS, 2016)

Symbolic Arrays in Symbolic PathFinder. - Aymeric Fromherz; Kasper Søe Luckow; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2016)

Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. - Malte Mues; Falk Howar; Kasper Søe Luckow; Temesghen Kahsai; Zvonimir Rakamaric (ACM SIGSOFT Softw. Eng. Notes, 2016)

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. - Anders P. Ravn; Bent Thomsen; Kasper Søe Luckow; Lone Leth; Thomas Bøgholm (Models, Algorithms, Logics and Tools, 2017)

POSTER: AFL-based Fuzzing for Java with Kelinci. - Rody Kersten; Kasper Søe Luckow; Corina S. Pasareanu (CCS, 2017)

Symbolic Complexity Analysis Using Context-Preserving Histories. - Kasper Søe Luckow; Rody Kersten; Corina S. Pasareanu (ICST, 2017)

HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems. - Kasper Søe Luckow; Bent Thomsen; Stephan Erbs Korsholm (Concurr. Comput. Pract. Exp., 2017)

Semantic-based Automated Reasoning for AWS Access Policies using SMT. - John Backes; Pauline Bolignano; Byron Cook; Catherine Dodge; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Oksana Tkachuk; Carsten Varming (FMCAD, 2018)

Study of Integrating Random and Symbolic Testing for Object-Oriented Software. - Marko Dimjasevic; Falk Howar; Kasper Søe Luckow; Zvonimir Rakamaric (IFM, 2018)

A Cloud-Based Execution Framework for Program Analysis. - Daniel Balasubramanian; Dmitriy Kostyuchenko; Kasper Søe Luckow; Rody Kersten; Gabor Karsai (SEFM, 2018)

Monte Carlo Tree Search for Finding Costly Paths in Programs. - Kasper Søe Luckow; Corina S. Pasareanu; Willem Visser (SEFM, 2018)

Symbolic Side-Channel Analysis for Probabilistic Programs. - Pasquale Malacaria; M. H. R. Khouzani; Corina S. Pasareanu; Quoc-Sang Phan; Kasper Søe Luckow (IACR Cryptol. ePrint Arch., 2018)

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)

One-Click Formal Methods. - John Backes; Pauline Bolignano; Byron Cook; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Martin Schäf; Cole Schlesinger; Rima Tanash; Carsten Varming; Michael W. Whalen (IEEE Softw., 2019)

Stratified Abstraction of Access Control Policies. - John Backes; Ulises Berrueco; Tyler Bray; Daniel Brim; Byron Cook; Andrew Gacek; Ranjit Jhala; Kasper Søe Luckow; Sean McLaughlin; Madhav Menon; Daniel Peebles; Ujjwal Pugalia; et al. (CAV (1), 2020)

Complexity vulnerability analysis using symbolic execution. - Kasper Søe Luckow; Rody Kersten; Corina S. Pasareanu (Softw. Test. Verification Reliab., 2020)