메뉴 건너뛰기

Alumini


Min Wook Yoo _DITC.
M.S thesis: "Interoperation of Federations using Surrogates for HLA/RTI" 
Ph.D thesis: "Interoperation of multiple federations using proxy in HLA/RTI" 
> mwyu at smslab.kaist.ac.kr


Chang Beom Choi _Handong Global University
M.S thesis: "A Study on Edge Connectivity of regular graph" 
Ph.D thesis: "Distributed Experiment Frame for Single Simulation Multiple Scenario Experiment: Architecture, Protocol Definitions, and Implementation" 
>cbchoi at smslab.kaist.ac.kr


Dae Jin Park _ABOV Semiconductor Co., LTD.
M.S thesis: "Storage Offset Assignment for Execution Time Improvement in Digital Signal Processor" 
Ph.D thesis: "Event-driven Sensor Processor for Accuracy-energy Trade-off Applications" 
> djpark at smslab.kaist.ac.kr


Kyung-Min Seo _Daewoo Shipbuilding Marine Enginnering Co., LTD.
M.S thesis: "Realization of DEVS Formalism in MATLAB/Simulink" 
Ph.D thesis: "Combat Entity-based Modeling and Simulation Methodology for Engagement Level Defense Systems" 
> kmseo.kumsung at gamil.com


Sun Ju Lee  _ADD
M.S thesis: "Reconfigurable HDFS Simulation Environment for Performance Analysis of Data Management Policy and Storage Device" 
> sjlee at smslab.kaist.ac.kr


Jung Hyun Ahn _Bintory
M.S thesis: "Design and Implementation of Data Distribution Management Module for HLA/RTI" anagement Module for HLA/RTI" 
Ph.D thesis: "A binary partition-based matching algorithm for large scale distributed simulation" 
> jhahn at smslab.kaist.ac.kr


Jeong Hee Hong _Post doc. of ISE, KAIST
M.S thesis: "Design and Implementation of Time Management Module for HLA/RTI" 
Ph.D thesis: "Simulation-based Optimization for Design Parameter Exploration in Hybrid System" 
> jhhong at smslab.kaist.ac.kr


Su-Youn Hong _LIG Nex1
M.S thesis: "Development of DEVS Simulator using Specification Refinement at Abstract Levels of System" 
Ph.D thesis: "A methodology for Multi-Resolution Modeling and Simulation for Discrete Event Systems" 
> syhong at smslab.kaist.ac.kr


Chang Ho Sung _Korea Institute of Science & Technology Europe
Ph.D thesis: "Collaborative DEVS Model Development Methodology for Domain-Specific Systems Simulation"
> chsung at smslab.kaist.ac.kr


Jang Won Bae _Ph.D candidate of ISysE, KAIST
M.S thesis: "Framework and Environment for Interopeable Simulation by Plug-In of Reusable Models"
> jwbae at smslab.kaist.ac.kr


Jeong Hoon Kim _Republic of Korea Marine Corps
M.S thesis: "Embedding DEVS Methodology in CBD Precess for Development of War Game Simulators" 
Ph.D thesis: "Methodology for Battle Expreiment via Interoperation with Mission Level Model and Engagement Level Model" 
> jhkim at smslab.kaist.ac.kr


Deok Su Kim _Republic of Korea Army
M.S thesis: "Interoperation Simulation Methodology with War Game and Communication Effects Simulator"
> dskim at smslab.kaist.ac.kr


Sook Young Kim _Republic of Korea Army
M.S thesis: "Interoperation Framework between Flight Simulator(V) and Wargame(C) using HLA/RTI"
> sykim at smslab.kaist.ac.kr


Jae Young Lee _SK Hynix
M.S thesis: "Real Time Job Scheduling Methodology for Semiconductor Manufacturing using DEVS Simulation"
> jylee at smslab.kaist.ac.kr


Jong Hyuk Byun _Samsung
M.S thesis: "Automatic Verification of DEVSim++ Simulation Programs Using Aspect-oriented Programming" 
> jhbyun at smslab.kaist.ac.kr


Sung Jun Jung _Google
M.S thesis: "The very portable optimizer for digital signal processors with register class" 
Ph.D thesis: "Configuration Sharing based Reconfiguration Overhead Management for Partially Reconfigurable Architectures " 
> sjjung at smslab.kaist.ac.kr


Jin Hwan Kim _Samsung
M.S thesis: "Compiling for a Commercial VLIW Network Processor" 
Ph.D thesis: "Temporal Partitioning to Amortize Reconfiguration Overhead for Dynamically Reconfigurable Architectures" 
> jihkim at smslab.kaist.ac.kr


Se Jong Oh _Qualcomm
M.S thesis: "Retargetable Compiler for DSP using architecture description language" 
Ph.D thesis: " " 
> sjoh at smslab.kaist.ac.kr


Jea Hyun Kim _The University of Kansas
M.S thesis: "framework of modeling and simulation for mobile agent systems" 
Ph.D thesis: "Proposal of high level architecture extension and run-time infrastructure implementation" 
> jhkim at smslab.kaist.ac.kr


Jun Kyung Kim _Samsung
M.S thesis: "Hardware module interchange format for HW/SW co-simulation" 
Ph.D thesis: "Proposal of high level architecture extension and run-time infrastructure implementation" 
> jkkim at smslab.kaist.ac.kr


Ho Young Kim _Samsung
M.S thesis: "GA-instrumented Hierarchical Design Space Exploration for Instruction Set and Pipeline Optimization of DSP" 
Ph.D thesis: "Trace-driven performance simulation modeling for fast evaluation of multimedia processor by simulation reuse" 
> hykim at smslab.kaist.ac.kr


Chang Seob Lee _TmaxSoft R&D Center
M.S thesis: "Save/Restore methodology for DEVS-based real-time wargame simulation" 
> cslee at smslab.kaist.ac.kr


Ju Young Kim _ETRI
M.S thesis: "Methodology for automatic synthesis of wargame simulator using DEVS" 
> jykim at smslab.kaist.ac.kr


Ki Jung Hong _
M.S thesis: "An Implementation of the framework for automatic generation of virtual PLC" 
Ph.D thesis: "Discrete Event Model Verification Methodology Using System Morphism" 
> kjhong at smslab.kaist.ac.kr


Do Hyung Kim _ADD
M.S thesis: "Method and implementation for consistency verification of DEVS model against user requirement" 
> dhkim at smslab.kaist.ac.kr


Yeong Geol Kim _
M.S thesis: "Optimizing Simulation Execution Time in DEVSim++ Environment" 
Ph.D thesis: "efficient exploration methodology for a platform-based ASIP design" 
> ygkim at smslab.kaist.ac.kr


Wan Bok Lee _Prof. Information Security Dept. College of Information and Communications, Joongbu University
M.S thesis: "Development of the multifacetted system modelling/simulation environment" 
Ph.D thesis: "Composition-based verification methodology for discrete event systems" 
> wblee at smslab.kaist.ac.kr


Si Hyung Lee _Ph.D. CarnegieMellon University
M.S thesis: "framework for performance measurement of signaling protocols" 
> shlee at smslab.kaist.ac.kr


Kang San Kim _National Security Research Institute
M.S thesis: "Design and implementation of real-time interoperative simulator using DEVSimHLA" 
> kskim at smslab.kaist.ac.kr


Yong Jae Kim _Maxian R&D Center
M.S thesis: "" 
Ph.D thesis: "DEVS BUS for heterogeneous simulation : architecture, protocol conversion, and implementation" 
> yjkim at smslab.kaist.ac.kr


Dae Jin Park _Samsung Electronics DDI Design 
M.S thesis: "Storage offset assignment for execution time improvement in digital signal processor" 
> djpark at smslab.kaist.ac.kr


Seung Bae Jee _ADD
M.S thesis: "Simulation SpeedUp for SuperSaclar Processors Using Sample-data" 
> sbjee at smslab.kaist.ac.kr


Soon Young Kwon _
M.S thesis: "Layer 4 dispatcher on IXP1200: Implementation and Evaluation" 



Yoon Suk Choi _Samsung Electronics
M.S thesis: "Efficient QoS Scheme for Voice Traffic in Converged LAN" 
> yschoi at smslab.kaist.ac.kr


Jeong hun cho _Prof. School of Electrical Engineering and Computer Science, Kyungpook National University
M.S thesis: "Web-based environment for simulation of DEVS models" 
Ph.D thesis: "Code generation algorithms for dual data memory banks of digital signal processors" 
> jhcho at smslab.kaist.ac.kr


Si Jong Choi _Prof. Chungnam National University
M.S thesis: "" 
Pd.D thesis: "Identification of DEVS parameters using hybrid recurrent neural network" 
> sjchoi at smslab.kaist.ac.kr


Seung Myun Cho _Samsung Networks R&D Center
M.S thesis: "A graphical modelling environment for structured modelling methodology based on DEVS formalism" 
Ph.D thesis: "Real time simulation framework for RT-DEVS models" 
> smcho at smslab.kaist.ac.kr


Jong Kwon Lee _IBM Korea
M.S thesis: "" 
Pd.D thesis: "A hierarchical congestion control framework for reliable multicast" 
> jklee at smslab.kaist.ac.kr


Young ik Cho _Ph.D. Honhs Hopkins University
M.S thesis: "DEVS Framework for Component-based Modeling/Simulation of Discrete Event Systems" 
> yicho at smslab.kaist.ac.kr


Sang Jeong Lee _Ph.D. Honhs Hopkins University
M.S thesis: "Mobility-Adaptive Mobile Multicast Protocol based on Active Network" 
> sjlee at smslab.kaist.ac.kr


Seong Yong Lim _ETRI
M.S thesis: "Hybrid Systems Modeling and Simulation Methodology based on DEVS formalism" 
> sylime at smslab.kaist.ac.kr


Hae Sang Song _Prof. Computer & Communication Dept. Seowon University
M.S thesis: "" 
Pd.D thesis: "DEVS framework for analysis and design of discrete event systems control" 
> hssong at smslab.kaist.ac.kr


Sang Chul Kim _
M.S thesis: "Automatic Interface Generation between Two Synchronous Hardware Modules with Handshaking Protocol DEVS Models" 



Sang Young Oh _Beyonwiz
M.S thesis: "" 
Pd.D thesis: "Development of a hierarchical animation system for the improvement of the simulation environment" 
> syoh at smslab.kaist.ac.kr


Dae hyun Kim _Intel Korea
M.S thesis: "Hierarchical bisimulation based on DEVS formalism" 
> dhkim at smslab.kaist.ac.kr


Joung Hoon Choo _
M.S thesis: "Implementation of standard DEVS language and translator for DEVS models interchange" 

Gyung Pyo Hong _KT
M.S thesis: "" 
Pd.D thesis: "DEVS-based framework for logical and performance analysis of discrete event systems" 
> gphong at smslab.kaist.ac.kr


Myung Soo Ahn _Representative Director of Netcustomize
M.S thesis: "" 
Pd.D thesis: "Hybrid modeling/simulation methodology for simulation speedup and preserved accuracy" 
> msahn at smslab.kaist.ac.kr


Hong Sung Kim _Lanbird Technology
M.S thesis: "A visual modeling environment based on DEVS formalism" 
> hskim at smslab.kaist.ac.kr


Ung Kyu Park _Prof. Computer & Communication Dept. Seowon University
M.S thesis: "" 
Pd.D thesis: "Histogram transformation methodology for data distribution in parallel joins" 
> ukpark at smslab.kaist.ac.kr


Heung Shik Kim _Prof. school of Computer Engineering, Inje University
M.S thesis: "" 
Pd.D thesis: "Quantile-selection based data partition for parallel joins in hypercube database computers" 
> hskim at smslab.kaist.ac.kr


Young Chan Kim _Prof. school of Computer Engineering, Hanbat University 
M.S thesis: "" 
Pd.D thesis: "Petri nets modeling in bag-theoretic relational algebra for large-scale systems analysis" 
> yckim at smslab.kaist.ac.kr


Hyu Chan Park _Prof. Engineering College, Korea Maritime University 
M.S thesis: "" 
Pd.D thesis: "Relational algebraic framework for management of multifacted systems" 
> hcpark at smslab.kaist.ac.kr


Hyun Woo Jang _
M.S thesis: "An inspection system for translated and rotated objects" 



Sung Bong Park _Netcustomize
M.S thesis: "A study of design and implementation of recovery module using write ahead log on a hypercube database machine" 
sbpark at smslab.kaist.ac.kr


Moon Heum Paek _
M.S thesis: "Design and implementation of message passing module for hypercube database computer"