| 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 | 188 | 2018 |
| 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 | 181 | 2016 |
| 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 | 110 | 2016 |
| 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 | 78 | 2017 |
| 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 | 69 | 2021 |
| 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 | 62 | 2014 |
| One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019 | 43 | 2019 |
| 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 | 37 | 2018 |
| 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 | 34 | 2017 |
| 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 | 31 | 2018 |
| 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 | 30 | 2011 |
| 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 | 21 | 2012 |
| 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 | 19 | 2014 |
| 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 | 16 | 2020 |
| 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 | 16 | 2015 |
| 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 | 15 | 2022 |
| Symbolic arrays in symbolic pathfinder A Fromherz, KS Luckow, CS Păsăreanu ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017 | 14 | 2017 |
| Symbolic pathfinder v7 KS Luckow, CS Păsăreanu ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014 | 14 | 2014 |
| 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 | 11 | 2013 |
| 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 | 10 | 2013 |
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
