default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKasper Søe Luckow
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2020
[j9]Kasper Søe Luckow
, Rody Kersten, Corina S. Pasareanu:
Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30(7-8) (2020)- 2019
- [j8]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: 289-314 (2019) - [j7]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): 61-65 (2019) - 2017
- [j6]Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm:
HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems. Concurr. Comput. Pract. Exp. 29(22) (2017) - 2016
- [j5]Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu:
Symbolic Arrays in Symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [j4]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): 1-5 (2016) - 2015
- [j3]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: 2 (2015) - 2014
- [j2]Kasper Søe Luckow, Corina S. Pasareanu:
Symbolic PathFinder v7. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - 2013
- [j1]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): 17-28 (2013)
Conference and Workshop Papers
- 2020
- [c18]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: 165-176 - 2018
- [c17]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: 313-327 - [c16]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: 1-9 - [c15]Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric:
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. IFM 2018: 89-109 - [c14]Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser:
Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM 2018: 123-138 - [c13]Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
A Cloud-Based Execution Framework for Program Analysis. SEFM 2018: 139-154 - 2017
- [c12]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: 269-288 - [c11]Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu:
POSTER: AFL-based Fuzzing for Java with Kelinci. CCS 2017: 2511-2513 - [c10]Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
Symbolic Complexity Analysis Using Context-Preserving Histories. ICST 2017: 58-68 - 2016
- [c9]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 - [c8]Kasper Søe Luckow, Corina S. Pasareanu:
Log2model: inferring behavioral models from log data. HLDVT 2016: 25-29 - [c7]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: 442-459 - 2015
- [c6]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: 319-338 - 2014
- [c5]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: 107 - [c4]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: 575-586 - 2013
- [c3]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: 11-20 - 2011
- [c2]Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen:
WCET analysis of Java bytecode featuring common execution environments. JTRES 2011: 30-39 - [c1]Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen:
Bluetooth Indoor Positioning System Using Fingerprinting. MOBILIGHT 2011: 136-150
Informal and Other Publications
- 2018
- [i1]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: 329 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
