Kasper Søe Luckow

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