default search action
Chungman Seo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2017
- [j4]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): 2-15 (2017) - [j3]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): 313-327 (2017) - 2013
- [j2]Bernard P. Zeigler, Chungman Seo, Doohwan Kim:
System Entity Structures for Suites of simulation Models. Int. J. Model. Simul. Sci. Comput. 4(3): 1340006 (2013) - 2010
- [j1]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): 155-180 (2010)
Conference and Workshop Papers
- 2024
- [c18]Xiaolin Hu, Mingxi Yan, Tony Derado, Wei Zhao, Bernard P. Zeigler, Doohwan Kim, Chungman Seo:
WIP: Towards Cloud-based Wildland Fire Simulation Service. SoSE 2024: 20-24 - 2021
- [c17]Abdurrahman Alshareef, Chungman Seo, Anthony Kim, Bernard P. Zeigler:
DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application. WSC 2021: 1-12 - 2018
- [c16]Chungman Seo, Bernard P. Zeigler, Doohwan Kim:
DEVS markov modeling and simulation: formal definition and implementation. SpringSim (TMS) 2018: 1:1-1:12 - 2015
- [c15]Chungman Seo, Bernard P. Zeigler, Doohwan Kim, Kenneth Duncan:
Integrating web-based simulation on IT systems with finite probabilistic DEVS. SpringSim (TMS-DEVS) 2015: 173-180 - [c14]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: 189-196 - 2014
- [c13]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: 7 - [c12]Min Kwak, Chungman Seo:
A study on effective operations of sound underwater signal using DEVS modeling and simulation (WIP). SpringSim (TMS-DEVS) 2014: 8 - 2013
- [c11]Tim Pifer, David M. Schwartz, Roman Lysecky, Chungman Seo, Bernard P. Zeigler:
Discrete event system specification, synthesis, and optimization of low-power FPGA-based embedded systems. FPT 2013: 98-105 - [c10]Bernard P. Zeigler, Chungman Seo, Robert Coop, Doohwan Kim:
Creating suites of models with system entity structure: global warming example. SpringSim (TMS-DEVS) 2013: 32 - [c9]Chungman Seo, Bernard P. Zeigler, Robert Coop, Doohwan Kim:
DEVS modeling and simulation methodology with MS4 Me software tool. SpringSim (TMS-DEVS) 2013: 33 - 2012
- [c8]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: 23 - [c7]Chungman Seo, Bernard P. Zeigler:
Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platform. SpringSim (TMS-DEVS) 2012: 46 - 2011
- [c6]Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler:
Automating DEVS over data distribution service for high performance and interoperability. SpringSim (TMS-DEVS) 2011: 199-204 - 2010
- [c5]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: 359-362 - [c4]Youngshin Han, Taekyu Kim, Chungman Seo, Chilgee Lee:
System entity structure for XML meta data modeling: application to the logistics. SpringSim 2010: 134 - 2009
- [c3]Chungman Seo, Bernard P. Zeigler:
Interoperability between DEVS simulators using service oriented architecture and DEVS namespace. SpringSim 2009 - [c2]Chungman Seo, Bernard P. Zeigler:
Automating the DEVS modeling and simulation interface to web services. SpringSim 2009 - [c1]Chungman Seo, Bernard P. Zeigler:
DEVS Namespace for Interoperable DEVS/SOA. WSC 2009: 1311-1322
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint