Junkil Park

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 14

Top Topics

Attack Detection

Formal Verification

Lyapunov Stability

Programming Environment

Top Venues

J. Log. Algebraic Methods Program.

Publications

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen
Securing Aptos Framework with Formal Verification. FMBC@CAV (2024)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. 67 (3) (2023)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors using an SMT Theory of Sequences. CoRR (2022)
David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. TACAS (1) (2022)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR (2022)
David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. CoRR (2021)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
The Move Prover. CAV (1) (2020)
Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
LCV: A Verification Tool for Linear Controller Software. TACAS (1) (2019)
Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92 (2017)
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. 1 (3) (2017)
Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) (2017)
Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
Scalable Verification of Linear Controller Software. TACAS (2016)
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA (2016)
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA (2016)
Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky
Automatic verification of linear controller software. EMSOFT (2015)
Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM (2015)
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
Sensor attack detection in the presence of transient faults. ICCPS (2015)
Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee
Demo abstract: ROSLab - A modular programming environment for robotic applications. ICCPS (2014)
Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS (2014)
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi
Formal specifications for software-defined networking. CFI (2012)
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin
Process Algebraic Specification of Software Defined Networks. CICSyN (2012)
Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee
Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2009)