Chungman Seo

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