Prati
Kasper Søe Luckow
Kasper Søe Luckow
Amazon Web Services
Potvrđena adresa e-pošte na amazon.com
Naslov
Citirano
Citirano
Godina
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
1952018
Planning, Scheduling and Monitoring for Airport Surface Operations.
R Morris, CS Pasareanu, KS Luckow, W Malik, H Ma, TKS Kumar, ...
AAAI Workshop: Planning for Hybrid Systems, 608-614, 2016
1892016
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
1202016
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
752021
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
622014
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
422019
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
382018
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
372017
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
322018
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
312011
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
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
172022
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
172020
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
152017
Symbolic pathfinder v7
KS Luckow, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014
142014
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20