עקוב אחר
Kasper Søe Luckow
Kasper Søe Luckow
Amazon Web Services
כתובת אימייל מאומתת בדומיין amazon.com
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
1862016
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20