Kasper Søe Luckow

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 19

Top Topics

Java Virtual Machine

Safety Critical

Symbolic Execution

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

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, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan
Stratified Abstraction of Access Control Policies. CAV (1) (2020)
Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu
Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30 (7-8) (2020)
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
One-Click Formal Methods. IEEE Softw. 36 (6) (2019)
Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. 113 (2019)
Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai
A Cloud-Based Execution Framework for Program Analysis. SEFM (2018)
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
Semantic-based Automated Reasoning for AWS Access Policies using SMT. FMCAD (2018)
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
Symbolic Side-Channel Analysis for Probabilistic Programs. CSF (2018)
Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. 2018 (2018)
Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser
Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM (2018)
Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM (2018)
Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm
: A time predictable and portable java virtual machine for hard real-time embedded systems. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools (2017)
Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu
POSTER: AFL-based Fuzzing for Java with Kelinci. CCS (2017)
Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu
Symbolic Complexity Analysis Using Context-Preserving Histories. ICST (2017)
Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu
Symbolic Arrays in Symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Kasper Søe Luckow, Corina S. Pasareanu
Log2model: inferring behavioral models from log data. HLDVT (2016)
Robert Morris, Corina S. Pasareanu, Kasper Søe Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
Planning, Scheduling and Monitoring for Airport Surface Operations. AAAI Workshop: Planning for Hybrid Systems (2016)
Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework. TACAS (2016)
Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. 2015 (2015)
Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security (2015)
Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm
HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems. JTRES (2014)
Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE (2014)
Kasper Søe Luckow, Corina S. Pasareanu
Symbolic PathFinder v7. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9 (1) (2013)
Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES (2013)
Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen
Bluetooth Indoor Positioning System Using Fingerprinting. MOBILIGHT (2011)
Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen
WCET analysis of Java bytecode featuring common execution environments. JTRES (2011)