Junkil Park

Most-cited papers

Sensor attack detection in the presence of transient faults
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic +1 more
2015International Conference on Cyber-Physical Systems81 citations
Semantic Scholar
The Move Prover
Jingyi Emma Zhong, K. Cheang, S. Qadeer, Wolfgang Grieskamp +5 more
2020International Conference on Computer Aided Verification44 citations Open access
Semantic Scholar
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
David L. Dill, Wolfgang Grieskamp, Junkil Park, S. Qadeer +2 more
2021International Conference on Tools and Algorithms for Construction and Analysis of Systems26 citations Open access
Semantic Scholar
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic +2 more
2017ACM Trans. Cyber Phys. Syst.17 citations Open access
Semantic Scholar
Verified ROS-Based Deployment of Platform-Independent Control Systems
Wenrui Meng, Junkil Park, O. Sokolsky, Stephanie Weirich +1 more
2015NASA Formal Methods13 citations
Semantic Scholar
Demo abstract: ROSLab — A modular programming environment for robotic applications
N. Bezzo, Junkil Park, Andrew L. King, Peter Gebhard +2 more
2014International Conference on Cyber-Physical Systems13 citations
Semantic Scholar
Automatic verification of linear controller software
Miroslav Pajic, Junkil Park, Insup Lee, George Pappas +1 more
2015International Conference on Embedded Software12 citations
Semantic Scholar
Scalable Verification of Linear Controller Software
Junkil Park, Miroslav Pajic, Insup Lee, O. Sokolsky
2016International Conference on Tools and Algorithms for Construction and Analysis of Systems11 citations Open access
Semantic Scholar
Reasoning About Vectors using an SMT Theory of Sequences
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar +6 more
2022International Joint Conference on Automated Reasoning10 citations Open access
Semantic Scholar
Automatic Verification of Finite Precision Implementations of Linear Controllers
Junkil Park, Miroslav Pajic, O. Sokolsky, Insup Lee
2017International Conference on Tools and Algorithms for Construction and Analysis of Systems10 citations
Semantic Scholar
Adaptive Transient Fault Model for Sensor Attack Detection
Minsu Jo, Junkil Park, Young-mi Baek, Radoslav Ivanov +3 more
2016International Conference on Cyber-Physical Systems, Networks, and Applications10 citations Open access
Semantic Scholar
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub +4 more
2014Workshop on Medical Cyber-Physical Systems10 citations
Semantic Scholar
Securing Aptos Framework with Formal Verification
Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu +4 more
2024FMBC@CAV8 citations
Semantic Scholar
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar +6 more
2023Journal of automated reasoning6 citations
Semantic Scholar
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
Junkil Park, Insup Lee, O. Sokolsky, Dae-Yon Hwang +3 more
2017J. Log. Algebraic Methods Program.4 citations Open access
Semantic Scholar
Step Function Example
Junkil Park
20164 citations
Semantic Scholar
Formal Security Policy Model for a Common Criteria Evaluation
Junkil Park, Jin-Young Choi
2007International Conference on Advanced Communication Technology4 citations
Semantic Scholar
Process Algebraic Specification of Software Defined Networks
M. Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam +1 more
20122012 Fourth International Conference on Computational Intelligence, Communication Systems and Networks3 citations
Semantic Scholar
LCV: A Verification Tool for Linear Controller Software
Junkil Park, Miroslav Pajic, O. Sokolsky, Insup Lee
2019International Conference on Tools and Algorithms for Construction and Analysis of Systems2 citations Open access
Semantic Scholar
Scalable Veriﬁcation of Linear Controller Software
Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
2 citations
Semantic Scholar
Veri(cid:28)ed ROS-Based Deployment of Platform-Independent Control Systems ∗
Wenrui Meng, Junkil Park, O. Sokolsky, Stephanie Weirich +1 more
20151 citations
Semantic Scholar
Verified Generation of Glue Code for ROS-based Control Systems ∗
Wenrui Meng, Junkil Park, O. Sokolsky, Stephanie Weirich +1 more
20141 citations
Semantic Scholar
Formal specifications for software-defined networking
M. Kang, Ki-Hyuk Nam, Junkil Park, M. Shin +2 more
2012International Conference of Future Internet1 citations
Semantic Scholar
Security Policy Modeling using Z notation for Common Criteria version 3.1
Junkil Park, Jin-Young Choi
2009International Conference on Advanced Communication Technology1 citations
Semantic Scholar
Model Checking of Real-Time Properties of Resource-Bound Process Algebra
Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee
2009IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences1 citations
Semantic Scholar
Verifying Software Streaming Systems
Ki-Hyuk Nam, Junkil Park, Jin-Young Choi, Jeong-Joon Lee +1 more
20062006 8th International Conference Advanced Communication Technology1 citations
Semantic Scholar
Automatic Verification of Linear Controller
Junkil Park
20180 citations
Semantic Scholar
WiP Abstract : Noise Adaptive System using Abstract and Probabilistic Model
Minsu Jo, Junkil Park, Young-mi Baek, S. Son +1 more
20160 citations
Semantic Scholar
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models
Minsu Jo, Junkil Park, Young-mi Baek, Radoslav Ivanov +3 more
2016IEEE International Conference on Embedded and Real-Time Computing Systems and Applications0 citations
Semantic Scholar
Development of the Formal Requirements Specification of the Safety-critical Railway Systems
Jeanho Lee, Dae-Yon Hwang, Jin Hyun Kim, Junkil Park +4 more
20080 citations
Semantic Scholar
FormalSecurity Policy ModelforaCommon Criteria Evaluation
Junkil Park, Jin-Young Choi
20070 citations
Semantic Scholar