Seguir
Kasper Søe Luckow
Kasper Søe Luckow
Amazon Web Services
Dirección de correo verificada de amazon.com
Título
Citado por
Citado por
Año
Semantic-based automated reasoning for AWS access policies using SMT
J Backes, P Bolignano, B Cook, C Dodge, A Gacek, K Luckow, N Rungta, ...
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
1822018
Planning, scheduling and monitoring for airport surface operations
R Morris, CS Pasareanu, K Luckow, W Malik, H Ma, TKS Kumar, S Koenig
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
1662016
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
1102016
POSTER: AFL-based Fuzzing for Java with Kelinci
R Kersten, K Luckow, CS Păsăreanu
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
782017
Constraint solver execution service and infrastructure therefor
N Rungta, TK Azene, PV Bolignano, KS Luckow, S McLaughlin, C Dodge, ...
US Patent 10,977,111, 2021
692021
Exact and approximate probabilistic symbolic execution for nondeterministic programs
K Luckow, CS Păsăreanu, MB Dwyer, A Filieri, W Visser
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
612014
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
432019
Symbolic execution and recent applications to worst-case execution, load testing and security analysis
CS Pasareanu, R Kersten, L Kasper, QS Phan
Advances in Computers 22, 2018
372018
Symbolic complexity analysis using context-preserving histories
K Luckow, R Kersten, C Păsăreanu
2017 IEEE International Conference on Software Testing, Verification and …, 2017
342017
Symbolic side-channel analysis for probabilistic programs
P Malacaria, MHR Khouzani, CS Pasareanu, QS Phan, K Luckow
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 313-327, 2018
312018
Wcet analysis of java bytecode featuring common execution environments
C Frost, CS Jensen, KS Luckow, B Thomsen
Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011
302011
Bluetooth indoor positioning system using fingerprinting
C Frost, CS Jensen, KS Luckow, B Thomsen, R Hansen
Mobile Lightweight Wireless Systems: Third International ICST Conference …, 2012
212012
HVMTP: a time predictable and portable java virtual machine for hard real-time embedded systems
KS Luckow, B Thomsen, SE Korsholm
Proceedings of the 12th International Workshop on Java Technologies for Real …, 2014
192014
Stratified abstraction of access control policies
J Backes, U Berrueco, T Bray, D Brim, B Cook, A Gacek, R Jhala, ...
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
162020
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems
KS Luckow, CS Păsăreanu, B Thomsen
EURASIP Journal on Embedded Systems 2015, 1-16, 2015
162015
Symbolic arrays in symbolic pathfinder
A Fromherz, KS Luckow, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
142017
Symbolic pathfinder v7
KS Luckow, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014
142014
Techniques for analyzing security in computing environments with privilege escalation
PV Bolignano, JB Cook, AJ Gacek, K Luckow, N Rungta, C Schlesinger, ...
US Patent 11,483,317, 2022
112022
Towards harnessing theories through tool support for hard real-time Java programming
T Bøgholm, C Frost, RR Hansen, CS Jensen, KS Luckow, AP Ravn, ...
Innovations in Systems and Software Engineering 9, 17-28, 2013
112013
TetaSARTS: a tool for modular timing analysis of safety critical Java systems
KS Luckow, T Bøgholm, B Thomsen, KG Larsen
Proceedings of the 11th International Workshop on Java Technologies for Real …, 2013
102013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20