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
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
1232016
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
1162018
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
822016
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
602017
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
582014
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
492021
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
302019
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
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
282017
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
272018
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
Symbolic execution and recent applications to worst-case execution, load testing, and security analysis
CS Păsăreanu, R Kersten, K Luckow, QS Phan
Advances in Computers 113, 289-314, 2019
162019
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
162012
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
152015
Symbolic arrays in symbolic pathfinder
A Fromherz, KS Luckow, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
142017
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
122020
Symbolic pathfinder v7
KS Luckow, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014
122014
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
122013
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
From safety critical Java programs to timed process models
B Thomsen, KS Luckow, L Leth, T Bøgholm
Programming Languages with Applications to Biology and Security: Essays …, 2015
82015
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20