Junkil Park

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