Chungman Seo

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 4

Top Topics

Timed Petri Nets

Agent Based Modeling

Support Environment

Simulation Model

Top Venues

SpringSim (TMS-DEVS)

Int. J. Simul. Process. Model.

Int. J. Model. Simul. Sci. Comput.

Publications

Abdurrahman Alshareef, Chungman Seo, Anthony Kim, Bernard P. Zeigler
DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application. WSC (2021)
Chungman Seo, Bernard P. Zeigler, Doohwan Kim
DEVS markov modeling and simulation: formal definition and implementation. SpringSim (TMS) (2018)
Bernard P. Zeigler, James J. Nutaro, Chungman Seo
Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis. Int. J. Simul. Process. Model. 12 (1) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. Int. J. Simul. Process. Model. 12 (3/4) (2017)
Bernard P. Zeigler, James J. Nutaro, Chungman Seo
What's the best possible speedup achievable in distributed simulation: Amdahl's law reconstructed. SpringSim (TMS-DEVS) (2015)
Chungman Seo, Bernard P. Zeigler, Doohwan Kim, Kenneth Duncan
Integrating web-based simulation on IT systems with finite probabilistic DEVS. SpringSim (TMS-DEVS) (2015)
Min Kwak, Chungman Seo
A study on effective operations of sound underwater signal using DEVS modeling and simulation (WIP). SpringSim (TMS-DEVS) (2014)
Chungman Seo, Wontae Kang, Bernard P. Zeigler, Doohwan Kim
Expanding DEVS and SES applicability: using M&S kernels within IT systems. SpringSim (TMS-DEVS) (2014)
Bernard P. Zeigler, Chungman Seo, Doohwan Kim
System Entity Structures for Suites of simulation Models. Int. J. Model. Simul. Sci. Comput. 4 (3) (2013)
Bernard P. Zeigler, Chungman Seo, Robert Coop, Doohwan Kim
Creating suites of models with system entity structure: global warming example. SpringSim (TMS-DEVS) (2013)
Chungman Seo, Bernard P. Zeigler, Robert Coop, Doohwan Kim
DEVS modeling and simulation methodology with MS4 Me software tool. SpringSim (TMS-DEVS) (2013)
Tim Pifer, David Schwartz, Roman Lysecky, Chungman Seo, Bernard P. Zeigler
Discrete event system specification, synthesis, and optimization of low-power FPGA-based embedded systems. FPT (2013)
Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell
Frontier modeling support environment: flexibility to adapt to diverse stakeholders. SpringSim (TMS-DEVS) (2012)
Chungman Seo, Bernard P. Zeigler
Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platform. SpringSim (TMS-DEVS) (2012)
Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler
Automating DEVS over data distribution service for high performance and interoperability. SpringSim (TMS-DEVS) (2011)
Youngshin Han, Taekyu Kim, Chungman Seo, Chilgee Lee
System entity structure for XML meta data modeling: application to the logistics. SpringSim (2010)
Chungman Seo, Youngshin Han, Hae Young Lee, Jason J. Jung, Chilgee Lee
Implementation of Cloud Computing Environment for Discrete Event System Simulation using Service Oriented Architecture. EUC (2010)
Taekyu Kim, Chungman Seo, Bernard P. Zeigler
Web-based Distributed Network Analyzer using a System Entity Structure over a Service-oriented Architecture. Simul. 86 (3) (2010)
Chungman Seo, Bernard P. Zeigler
DEVS Namespace for Interoperable DEVS/SOA. WSC (2009)
Chungman Seo, Bernard P. Zeigler
Automating the DEVS modeling and simulation interface to web services. SpringSim (2009)
Chungman Seo, Bernard P. Zeigler
Interoperability between DEVS simulators using service oriented architecture and DEVS namespace. SpringSim (2009)