Obserwuj
Kwanghoon Choi
Kwanghoon Choi
Zweryfikowany adres z jnu.ac.kr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Smart Block: A Visual Programming Environment for SmartThings
N Bak, BM Chang, K Choi
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
252018
Smart Block: A visual block language and its programming environment for IoT
N Bak, BM Chang, K Choi
Journal of Computer Languages 60, 100999, 2020
202020
A Review on Exception Analysis
BM Chang, K Choi
Information and Software Technology, 2016
142016
A secure application invocation mechanism in mobile phones for Near Field Communication
K Choi, J Kim, S Park
2012 IEEE International Conference on Consumer Electronics (ICCE), 731-732, 2012
132012
A lightweight approach to component-level exception mechanism for robust android apps
K Choi, BM Chang
Computer Languages, Systems & Structures 44, 283-298, 2015
112015
A type and effect system for activation flow of components in Android programs
K Choi, BM Chang
Information Processing Letters 114 (11), 620-627, 2014
112014
Compiling lazy functional programs based on the spineless tagless G-machine for the Java virtual machine
K Choi, H Lim, T Han
Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001
102001
A theory of RPC calculi for client-server model.
K Choi, BM Chang
Journal of Functional Programming 29, e5, 2019
82019
An Evaluation of the Proguard, Obfuscation Tool for Android
H Park, H Park, K Ko, K Choi, J Youn
Proceedings of the Korea Information Processing Society Conference, 730-733, 2012
52012
A polymorphic RPC calculus
K Choi, J Cheney, S Fowler, S Lindley
Science of Computer Programming 197, 102499, 2020
32020
A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis
BM Chang, JC Son, K Choi
KSII Transactions on Internet and Information Systems 14 (6), 2354-2376, 2020
32020
SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis
NY Bak, BM Chang, K Choi
IET Software 14 (4), 411-422, 2020
32020
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps
K Choi, M Ko, B Chang
KSII Transactions on Internet and Information Systems (TIIS) 12 (9), 4248-4270, 2018
32018
A type system for the push-enter model
K Choi, T Han
Information processing letters 87 (4), 205-211, 2003
32003
A text-based syntax completion method using LR parsing
I Sasano, K Choi
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021
22021
Automatic code review for SmartThings application using static analysis
JC Son, BM Chang, K Choi
한국정보과학회 학술발표논문집, 513-515, 2017
12017
Implementation and Analysis of Win32 Native Distributed Compilation System
K Jo, K Choi, J Kim, SW Kim
The 23rd International Technical Conference on Circuits/Systems, Computers …, 2008
1*2008
A type theory for Krivine-style evaluation and compilation
K Choi, A Ohori
Lecture notes in computer science, 213-228, 2004
12004
SmartProvenance: User‐friendly provenance system for internet of things applications based on event flow graphs
BM Chang, KM Lee, GY Koh, K Choi
IET Software 16 (6), 576-602, 2022
2022
A Typed Slicing Compilation of the Polymorphic RPC Calculus
K Choi, J Cheney, S Lindley, B Reynders
23rd International Symposium on Principles and Practice of Declarative …, 2021
2021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20