Reachability graph of finite and deterministic DEVS networks MH Hwang, BP Zeigler IEEE Transactions on Automation Science and Engineering 6 (3), 468-478, 2009 | 85 | 2009 |
A modular verification framework based on finite & deterministic devs MH Hwang, BP Zeigler SIMULATION SERIES 38 (1), 57, 2006 | 34 | 2006 |
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 | 27 | 2010 |
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 | 25 | 2008 |
A reachable graph of finite and deterministic DEVS networks MH Hwang, BP Zeigler SIMULATION SERIES 38 (1), 48, 2006 | 23 | 2006 |
Generating finite-state global behavior of reconfigurable automation systems: DEVS approach MH Hwang IEEE International Conference on Automation Science and Engineering, 2005 …, 2005 | 19 | 2005 |
Timed behavior analysis of schedule preserved devs MH Hwang, SK Cho SIMULATION SERIES 36 (4), 173, 2004 | 15 | 2004 |
Tutorial: Verification of real-time system based on schedule-preserved DEVS MH Hwang Proceedings of 2005 DEVS Symposium, 2-8, 2005 | 14 | 2005 |
Qualitative verification of finite and real-time DEVS networks. MH Hwang SpringSim (TMS-DEVS), 43, 2012 | 12 | 2012 |
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 | 11 | 2007 |
GK-DEVS: Geometric and kinematic DEVS formalism for simulation modeling of 3-dimensional multi-component systems MH Hwang, BK Choi TRANSACTIONS 18 (3), 2001 | 10 | 2001 |
Identifying Equivalence of DEVSs: A Language Approach MH Hwang SUMMER COMPUTER SIMULATION CONFERENCE, 319-324, 2003 | 8 | 2003 |
Taxonomy of DEVS subclasses for standardization. MH Hwang SpringSim (TMS-DEVS), 152-159, 2011 | 7 | 2011 |
Modeling and Simulation using DEVS# MH Hwang Moon, 2007 | 7 | 2007 |
W3C XML Schema for Finite Deterministic (FD) DEVS Models S Mittal, BP Zeigler, MH Hwang Std., Last access: May, 2015 | 6 | 2015 |
Generating finite-state behavior of reconfigurable automation systems: DEVS approach MH Hwang Proceed. of 2005 IEEECASE, 2005 | 6 | 2005 |
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 | 5 | 2010 |
Expressiveness of verifiable hierarchical clock systems MH Hwang, BP Zeigler International Journal of General Systems 37 (4), 391-413, 2008 | 5 | 2008 |
Processing time bounds of schedule-preserving DEVS MH Hwang, SK Cho, BP Zeigler, F Lin Arizona Center of Integrative Modeling & Simulation Technical Report, 2007 | 5 | 2007 |
State minimization of sp-devs MH Hwang, F Lin International Conference on AI, Simulation, and Planning in High Autonomy …, 2004 | 5* | 2004 |