default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Junkil Park
@inproceedings{DBLP:conf/fmbc/ParkZGXGCLC24,
author = {Junkil Park and
Teng Zhang and
Wolfgang Grieskamp and
Meng Xu and
Gerardo Di Giacomo and
Kundu Chen and
Yi Lu and
Robert Chen},
editor = {Bruno Bernardo and
Diego Marmsoler},
title = {Securing Aptos Framework with Formal Verification},
booktitle = {5th International Workshop on Formal Methods for Blockchains, {FMBC}
2024, April 7, 2024, Luxembourg City, Luxembourg},
series = {OASIcs},
volume = {118},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/OASIcs.FMBC.2024.9},
doi = {10.4230/OASICS.FMBC.2024.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fmbc/ParkZGXGCLC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ShengNRZDGPQBT23,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {32},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09682-2},
doi = {10.1007/S10817-023-09682-2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ShengNRZDGPQBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ShengNRZDGPQBT22,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Reasoning About Vectors Using an {SMT} Theory of Sequences},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {125--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_9},
doi = {10.1007/978-3-031-10769-6\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ShengNRZDGPQBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DillGPQXZ22,
author = {David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Meng Xu and
Jingyi Emma Zhong},
editor = {Dana Fisman and
Grigore Rosu},
title = {Fast and Reliable Formal Verification of Smart Contracts with the
Move Prover},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {183--200},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_10},
doi = {10.1007/978-3-030-99524-9\_10},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DillGPQXZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08095,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors using an {SMT} Theory of Sequences},
journal = {CoRR},
volume = {abs/2205.08095},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08095},
doi = {10.48550/ARXIV.2205.08095},
eprinttype = {arXiv},
eprint = {2205.08095},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08362,
author = {David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Meng Xu and
Jingyi Emma Zhong},
title = {Fast and Reliable Formal Verification of Smart Contracts with the
Move Prover},
journal = {CoRR},
volume = {abs/2110.08362},
year = {2021},
url = {https://arxiv.org/abs/2110.08362},
eprinttype = {arXiv},
eprint = {2110.08362},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhongCQGBPZBD20,
author = {Jingyi Emma Zhong and
Kevin Cheang and
Shaz Qadeer and
Wolfgang Grieskamp and
Sam Blackshear and
Junkil Park and
Yoni Zohar and
Clark W. Barrett and
David L. Dill},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {The Move Prover},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {137--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_7},
doi = {10.1007/978-3-030-53288-8\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ZhongCQGBPZBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ParkPSL19,
author = {Junkil Park and
Miroslav Pajic and
Oleg Sokolsky and
Insup Lee},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {{LCV:} {A} Verification Tool for Linear Controller Software},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {213--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_12},
doi = {10.1007/978-3-030-17462-0\_12},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ParkPSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ParkLSHACK17,
author = {Junkil Park and
Insup Lee and
Oleg Sokolsky and
Dae{-}Yon Hwang and
So Jin Ahn and
Jin{-}Young Choi and
Inhye Kang},
title = {A process algebraic approach to the schedulability analysis and workload
abstraction of hierarchical real-time systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {92},
pages = {1--18},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.07.001},
doi = {10.1016/J.JLAMP.2017.07.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/ParkLSHACK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ParkIWPSL17,
author = {Junkil Park and
Radoslav Ivanov and
James Weimer and
Miroslav Pajic and
Sang Hyuk Son and
Insup Lee},
title = {Security of Cyber-Physical Systems in the Presence of Transient Sensor
Faults},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {1},
number = {3},
pages = {15:1--15:23},
year = {2017},
url = {https://doi.org/10.1145/3064809},
doi = {10.1145/3064809},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/ParkIWPSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ParkPSL17,
author = {Junkil Park and
Miroslav Pajic and
Oleg Sokolsky and
Insup Lee},
editor = {Axel Legay and
Tiziana Margaria},
title = {Automatic Verification of Finite Precision Implementations of Linear
Controllers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {153--169},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_9},
doi = {10.1007/978-3-662-54577-5\_9},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ParkPSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/JoPBIWSL16,
author = {Minsu Jo and
Junkil Park and
Youngmi Baek and
Radoslav Ivanov and
James Weimer and
Sang Hyuk Son and
Insup Lee},
title = {Adaptive Transient Fault Model for Sensor Attack Detection},
booktitle = {4th {IEEE} International Conference on Cyber-Physical Systems, Networks,
and Applications, {CPSNA} 2016, Nagoya, Japan, October 6-7, 2016},
pages = {59--65},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CPSNA.2016.21},
doi = {10.1109/CPSNA.2016.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsna/JoPBIWSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/JoPBIWSL16,
author = {Minsu Jo and
Junkil Park and
Youngmi Baek and
Radoslav Ivanov and
James Weimer and
Sang Hyuk Son and
Insup Lee},
title = {Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor
Models},
booktitle = {22nd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2016, Daegu, South Korea, August
17-19, 2016},
pages = {102},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTCSA.2016.33},
doi = {10.1109/RTCSA.2016.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/JoPBIWSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ParkPLS16,
author = {Junkil Park and
Miroslav Pajic and
Insup Lee and
Oleg Sokolsky},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Scalable Verification of Linear Controller Software},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {662--679},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_43},
doi = {10.1007/978-3-662-49674-9\_43},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ParkPLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PajicPLPS15,
author = {Miroslav Pajic and
Junkil Park and
Insup Lee and
George J. Pappas and
Oleg Sokolsky},
editor = {Alain Girault and
Nan Guan},
title = {Automatic verification of linear controller software},
booktitle = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
Amsterdam, Netherlands, October 4-9, 2015},
pages = {217--226},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMSOFT.2015.7318277},
doi = {10.1109/EMSOFT.2015.7318277},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/PajicPLPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ParkIWPL15,
author = {Junkil Park and
Radoslav Ivanov and
James Weimer and
Miroslav Pajic and
Insup Lee},
editor = {Alexandre M. Bayen and
Michael S. Branicky},
title = {Sensor attack detection in the presence of transient faults},
booktitle = {Proceedings of the {ACM/IEEE} Sixth International Conference on Cyber-Physical
Systems, {ICCPS} 2015, Seattle, WA, USA, April 14-16, 2015},
pages = {1--10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2735960.2735984},
doi = {10.1145/2735960.2735984},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ParkIWPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MengPSWL15,
author = {Wenrui Meng and
Junkil Park and
Oleg Sokolsky and
Stephanie Weirich and
Insup Lee},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Verified ROS-Based Deployment of Platform-Independent Control Systems},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {248--262},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_18},
doi = {10.1007/978-3-319-17524-9\_18},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/MengPSWL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BezzoPKGIL14,
author = {Nicola Bezzo and
Junkil Park and
Andrew L. King and
Peter Gebhard and
Radoslav Ivanov and
Insup Lee},
title = {Demo abstract: ROSLab - {A} modular programming environment for robotic
applications},
booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
Berlin, Germany, April 14-17, 2014},
pages = {214},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCPS.2014.6843727},
doi = {10.1109/ICCPS.2014.6843727},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/BezzoPKGIL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/FengKCAPBSL14,
author = {Lu Feng and
Andrew L. King and
Sanjian Chen and
Anaheed Ayoub and
Junkil Park and
Nicola Bezzo and
Oleg Sokolsky and
Insup Lee},
editor = {Volker Turau and
Marta Z. Kwiatkowska and
Rahul Mangharam and
Christoph Weyer},
title = {A Safety Argument Strategy for {PCA} Closed-Loop Systems: {A} Preliminary
Proposal},
booktitle = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
Germany, April 14, 2014},
series = {OASIcs},
volume = {36},
pages = {94--99},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.MCPS.2014.94},
doi = {10.4230/OASICS.MCPS.2014.94},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mcps/FengKCAPBSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cfi/KangNPSSC12,
author = {Miyoung Kang and
Ki{-}Hyuk Nam and
Junkil Park and
Myung{-}Ki Shin and
Jeehoon Shin and
Jin{-}Young Choi},
editor = {Dongman Lee and
Joe Touch and
Serge Fdida},
title = {Formal specifications for software-defined networking},
booktitle = {7th International Conference on Future Internet Technologies, {CFI}
'12, Seoul, Republic of Korea, September 11 - 12, 2012},
pages = {51},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2377310.2377331},
doi = {10.1145/2377310.2377331},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cfi/KangNPSSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicsyn/KangPCNS12,
author = {Miyoung Kang and
Junkil Park and
Jin{-}Young Choi and
Ki{-}Hyuk Nam and
Myung{-}Ki Shin},
editor = {David Al{-}Dabass and
Pichaya Tandayya and
Jasmy Yunus and
Apichat Heednacram and
Zuwairie Ibrahim},
title = {Process Algebraic Specification of Software Defined Networks},
booktitle = {Fourth International Conference on Computational Intelligence, Communication
Systems and Networks, CICSyN 2012, Phuket, Thailand, July 24-26, 2012},
pages = {359--363},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CICSyN.2012.72},
doi = {10.1109/CICSYN.2012.72},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cicsyn/KangPCNS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ParkLCL09,
author = {Junkil Park and
Jungjae Lee and
Jin{-}Young Choi and
Insup Lee},
title = {Model Checking of Real-Time Properties of Resource-Bound Process Algebra},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {92-A},
number = {11},
pages = {2781--2789},
year = {2009},
url = {https://doi.org/10.1587/transfun.E92.A.2781},
doi = {10.1587/TRANSFUN.E92.A.2781},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ParkLCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-23 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
