Kasper Søe Luckow

According to our database, Kasper Søe Luckow authored at least 27 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Complexity vulnerability analysis using symbolic execution.

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu

Softw. Test. Verification Reliab., 2020

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, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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

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

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

Monte Carlo Tree Search for Finding Costly Paths in Programs.

Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

A Cloud-Based Execution Framework for Program Analysis.

Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Study of Integrating Random and Symbolic Testing for Object-Oriented Software.

Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

HVM_TP: 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

Symbolic Complexity Analysis Using Context-Preserving Histories.

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

POSTER: AFL-based Fuzzing for Java with Kelinci.

Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

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

Symbolic Arrays in Symbolic PathFinder.

Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Log2model: inferring behavioral models from log data.

Kasper Søe Luckow, Corina S. Pasareanu

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Planning, Scheduling and Monitoring for Airport Surface Operations.

Robert Morris, Corina S. Pasareanu, Kasper Søe Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig

Proceedings of the Planning for Hybrid Systems, 2016

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

From Safety Critical Java Programs to Timed Process Models.

Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Symbolic PathFinder v7.

Kasper Søe Luckow, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2014

Exact and approximate probabilistic symbolic execution for nondeterministic programs.

Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems.

Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

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

TetaSARTS: a tool for modular timing analysis of safety critical Java systems.

Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2011

Bluetooth Indoor Positioning System Using Fingerprinting.

Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen

Proceedings of the Mobile Lightweight Wireless Systems, 2011

WCET analysis of Java bytecode featuring common execution environments.

Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011