| Sensor attack detection in the presence of transient faults J Park, R Ivanov, J Weimer, M Pajic, I Lee Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015 | 97 | 2015 |
| The move prover JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ... Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 24 | 2020 |
| Verified ros-based deployment of platform-independent control systems W Meng, J Park, O Sokolsky, S Weirich, I Lee NASA Formal Methods Symposium, 248-262, 2015 | 20 | 2015 |
| Security of cyber-physical systems in the presence of transient sensor faults J Park, R Ivanov, J Weimer, M Pajic, SH Son, I Lee ACM Transactions on Cyber-Physical Systems 1 (3), 1-23, 2017 | 17 | 2017 |
| Scalable verification of linear controller software J Park, M Pajic, I Lee, O Sokolsky Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 15 | 2016 |
| Fast and reliable formal verification of smart contracts with the move prover D Dill, W Grieskamp, J Park, S Qadeer, M Xu, E Zhong International Conference on Tools and Algorithms for the Construction and …, 2022 | 14 | 2022 |
| Adaptive transient fault model for sensor attack detection M Jo, J Park, Y Baek, R Ivanov, J Weimer, SH Son, I Lee 2016 IEEE 4th International Conference on Cyber-Physical Systems, Networks …, 2016 | 13 | 2016 |
| Demo abstract: ROSLab—A modular programming environment for robotic applications N Bezzo, J Park, A King, P Gebhard, R Ivanov, I Lee 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014 | 13 | 2014 |
| Automatic verification of finite precision implementations of linear controllers J Park, M Pajic, O Sokolsky, I Lee Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 11 | 2017 |
| Automatic verification of linear controller software M Pajic, J Park, I Lee, GJ Pappas, O Sokolsky 2015 International Conference on Embedded Software (EMSOFT), 217-226, 2015 | 10 | 2015 |
| A safety argument strategy for PCA closed-loop systems: A preliminary proposal L Feng, AL King, S Chen, A Ayoub, J Park, N Bezzo, O Sokolsky, I Lee 5th Workshop on Medical Cyber-Physical Systems, 2014 | 10 | 2014 |
| Formal specifications for software-defined networking M Kang, KH Nam, J Park, MK Shin, J Shin, JY Choi Proceedings of the 7th International Conference on Future Internet …, 2012 | 8 | 2012 |
| Formal security policy model for a common criteria evaluation J Park, JY Choi The 9th International Conference on Advanced Communication Technology 1, 277-281, 2007 | 6 | 2007 |
| Reasoning about vectors using an SMT theory of sequences Y Sheng, A Nötzli, A Reynolds, Y Zohar, D Dill, W Grieskamp, J Park, ... International Joint Conference on Automated Reasoning, 125-143, 2022 | 5 | 2022 |
| A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems J Park, I Lee, O Sokolsky, DY Hwang, S Ahn, JY Choi, I Kang Journal of Logical and Algebraic Methods in Programming 92, 1-18, 2017 | 5 | 2017 |
| Process algebraic specification of software defined networks M Kang, J Park, JY Choi, KH Nam, MK Shin 2012 Fourth International Conference on Computational Intelligence …, 2012 | 5 | 2012 |
| LCV: A verification tool for linear controller software J Park, M Pajic, O Sokolsky, I Lee Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 2 | 2019 |
| Security policy modeling using Z notation for common criteria version 3.1 J Park, JY Choi 2009 11th International Conference on Advanced Communication Technology 1 …, 2009 | 2 | 2009 |
| Securing Aptos framework with formal verification J Park, T Zhang, W Grieskamp, M Xu, GD Giacomo, K Chen, Y Lu, R Chen Workshop on Formal Methods for Blockchains, Open Access Series in …, 2024 | 1 | 2024 |
| Verified generation of glue code for ros-based control systems W Meng, J Park, O Sokolsky, S Weirich, I Lee Submitted for publication, 2014 | 1 | 2014 |
