Chungman Seo

According to our database1, Chungman Seo authored at least 21 papers between 2009 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application.
Proceedings of the Winter Simulation Conference, 2021

2018
DEVS markov modeling and simulation: formal definition and implementation.
Proceedings of the Theory of Modeling and Simulation Symposium, 2018

2017
Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis.
Int. J. Simul. Process. Model., 2017

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.
Int. J. Simul. Process. Model., 2017

2015
What's the best possible speedup achievable in distributed simulation: Amdahl's law reconstructed.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Integrating web-based simulation on IT systems with finite probabilistic DEVS.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2014
Expanding DEVS and SES applicability: using M&S kernels within IT systems.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

A study on effective operations of sound underwater signal using DEVS modeling and simulation (WIP).
Proceedings of the 2014 Spring Simulation Multiconference, 2014

2013
System Entity Structures for Suites of simulation Models.
Int. J. Model. Simul. Sci. Comput., 2013

Creating suites of models with system entity structure: global warming example.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

DEVS modeling and simulation methodology with MS4 Me software tool.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Discrete event system specification, synthesis, and optimization of low-power FPGA-based embedded systems.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

2012
Frontier modeling support environment: flexibility to adapt to diverse stakeholders.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platform.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011
Automating DEVS over data distribution service for high performance and interoperability.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

2010
Web-based Distributed Network Analyzer using a System Entity Structure over a Service-oriented Architecture.
Simul., 2010

System entity structure for XML meta data modeling: application to the logistics.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Implementation of Cloud Computing Environment for Discrete Event System Simulation using Service Oriented Architecture.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2009
DEVS Namespace for Interoperable DEVS/SOA.
Proceedings of the 2009 Winter Simulation Conference, 2009

Automating the DEVS modeling and simulation interface to web services.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Interoperability between DEVS simulators using service oriented architecture and DEVS namespace.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009


  Loading...