Junkil Park

According to our database, Junkil Park authored at least 20 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Securing Aptos Framework with Formal Verification.

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences.

Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli

J. Autom. Reason., September, 2023

2022

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.

David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Reasoning About Vectors Using an SMT Theory of Sequences.

Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

The Move Prover.

Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

LCV: A Verification Tool for Linear Controller Software.

Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.

Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee

ACM Trans. Cyber Phys. Syst., 2017

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.

Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang

J. Log. Algebraic Methods Program., 2017

Automatic Verification of Finite Precision Implementations of Linear Controllers.

Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Scalable Verification of Linear Controller Software.

Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models.

Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.

Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee

Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

2015

Verified ROS-Based Deployment of Platform-Independent Control Systems.

Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Sensor attack detection in the presence of transient faults.

Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Automatic verification of linear controller software.

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal.

Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Demo abstract: ROSLab - A modular programming environment for robotic applications.

Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2012

Process Algebraic Specification of Software Defined Networks.

Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin

Proceedings of the Fourth International Conference on Computational Intelligence, 2012

Formal specifications for software-defined networking.

Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi

Proceedings of the 7th International Conference on Future Internet Technologies, 2012

2009

Model Checking of Real-Time Properties of Resource-Bound Process Algebra.

Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009