Follow
Moon Hwang
Moon Hwang
Other namesMoon Ho Hwang, Moon H. Hwang
Dassault Systemes
Verified email at 3ds.com - Homepage
Title
Cited by
Cited by
Year
Reachability graph of finite and deterministic DEVS networks
MH Hwang, BP Zeigler
IEEE Transactions on Automation Science and Engineering 6 (3), 468-478, 2009
852009
A modular verification framework based on finite & deterministic devs
MH Hwang, BP Zeigler
SIMULATION SERIES 38 (1), 57, 2006
372006
Automated link-16 testing using the discrete event system specification and extensible markup language
E Mak, S Mittal, MH Hwang, JJ Nutaro
the Journal of Defense Modeling and Simulation 7 (1), 39-62, 2010
262010
DEVS/NS-2 environment: an integrated tool for efficient networks modeling and simulation
T Kim, MH Hwang, D Kim
The Journal of Defense Modeling and Simulation 5 (1), 33-60, 2008
252008
Generating finite-state global behavior of reconfigurable automation systems: DEVS approach
MH Hwang
IEEE International Conference on Automation Science and Engineering, 2005 …, 2005
192005
A reachable graph of finite and deterministic DEVS networks
MH Hwang, BP Zeigler
SIMULATION SERIES 38 (1), 48, 2006
182006
Timed behavior analysis of schedule preserved devs
MH Hwang, SK Cho
SIMULATION SERIES 36 (4), 173, 2004
162004
Tutorial: Verification of real-time system based on schedule-preserved DEVS
MH Hwang
Proceedings of 2005 DEVS Symposium, 2-8, 2005
152005
Qualitative verification of finite and real-time DEVS networks.
MH Hwang
SpringSim (TMS-DEVS), 43, 2012
122012
DEVS systems-theory framework for reusable testing of I/O behaviors in service oriented architectures
X Hu, BP Zeigler, MH Hwang, E Mak
2007 IEEE International Conference on Information Reuse and Integration, 394-399, 2007
102007
GK-DEVS: Geometric and kinematic DEVS formalism for simulation modeling of 3-dimensional multi-component systems
MH Hwang, BK Choi
TRANSACTIONS 18 (3), 2001
102001
Identifying Equivalence of DEVSs: A Language Approach
MH Hwang
SUMMER COMPUTER SIMULATION CONFERENCE, 319-324, 2003
82003
Taxonomy of DEVS subclasses for standardization.
MH Hwang
SpringSim (TMS-DEVS), 152-159, 2011
72011
W3C XML Schema for Finite Deterministic (FD) DEVS Models
S Mittal, BP Zeigler, MH Hwang
Std., Last access: May, 2015
62015
Modeling and Simulation using DEVS#
MH Hwang
Moon, 2007
62007
Generating finite-state behavior of reconfigurable automation systems: DEVS approach
MH Hwang
Proceed. of 2005 IEEECASE, 2005
62005
Performance evaluation of mobile multicast session initialization techniques for remote software upload in vehicle ECUs
I Hossain, SM Mahmud, MH Hwang
2010 IEEE 72nd Vehicular Technology Conference-Fall, 1-5, 2010
52010
Expressiveness of verifiable hierarchical clock systems
MH Hwang, BP Zeigler
International Journal of General Systems 37 (4), 391-413, 2008
52008
Processing time bounds of schedule-preserving DEVS
MH Hwang, SK Cho, BP Zeigler, F Lin
Arizona Center of Integrative Modeling & Simulation Technical Report, 2007
52007
State minimization of sp-devs
MH Hwang, F Lin
International Conference on AI, Simulation, and Planning in High Autonomy …, 2004
5*2004
The system can't perform the operation now. Try again later.
Articles 1–20