Hessam S. Sarjoughian

Tao Wang

Weiping Wang

Yuehua Zhao

Simul., October, 2023

Supporting Engineering Areas.

[BibT_eX]

[DOI]

Andrea D'Ambrogio

Chen Yang

Proceedings of the Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International, 2023

An Environment for Developing Simulatable AADL-DEVS Models.

[BibT_eX]

[DOI]

Ehsan Ahmad

Simul. Model. Pract. Theory, 2023

Transforming Discrete Event Models To Machine Learning Models.

[BibT_eX]

[DOI]

Seyyed Amirhossein Saeidi

Forouzan Fallah

Edward Yellig

Proceedings of the Winter Simulation Conference, 2023

2022

Composable Geo-Referenced Multi-Resolution Multi-Agent CA-Based DEVS, KIB, and PDE Models.

[BibT_eX]

[DOI]

Chao Zhang

Proceedings of the Winter Simulation Conference, 2022

Cross-Formalism Decomposition of Devs Coupled Models.

[BibT_eX]

[DOI]

Neal DeBuhr

Proceedings of the Winter Simulation Conference, 2022

Model And Simulation Scalability Traits For Interaction (Nexus) Modeling Of Water And Energy Systems.

[BibT_eX]

[DOI]

Proceedings of the Annual Modeling and Simulation Conference, 2022

2021

A Water Evaluation and Planning-based framework for the long-term prediction of urban water demand and supply.

[BibT_eX]

[DOI]

Arfa Saleem

Hasan Arshad Nasir

Asad Waqar Malik

Simul., 2021

A RESTful framework design for componentizing the water evaluation and planning (WEAP) system.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2021

Simulation, Model Checking, and Execution of Activity Models.

[BibT_eX]

[DOI]

CoRR, 2021

Hierarchical Activity-Based Models for Control Flows in Parallel Discrete Event System Specification Simulation Models.

[BibT_eX]

[DOI]

IEEE Access, 2021

Composability Verification of Complex Systems Using Colored Petri Nets.

[BibT_eX]

[DOI]

Syed Hassan Askari

Proceedings of the Winter Simulation Conference, 2021

A Restful Persistent Devs-Based Interaction Model For The Componentized Weap and Leap Restful Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2021

Model Transformation Across Devs and Event Graph Formalisms.

[BibT_eX]

[DOI]

Neal DeBuhr

Proceedings of the Winter Simulation Conference, 2021

Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Fast and Cycle-Accurate Simulation of RTL NoC Designs Using Test-Driven Cellular Automata.

[BibT_eX]

[DOI]

Changbeom Choi

IEEE Access, 2020

Adaptive Abstraction-Level Conversion Framework for Accelerated Discrete-Event Simulation in Smart Semiconductor Manufacturing.

[BibT_eX]

[DOI]

Wentong Cai

IEEE Access, 2020

DEVS-scripting: A Black-Box Test Frame for Devs Models.

[BibT_eX]

[DOI]

Matthew B. McLaughlin

Proceedings of the Winter Simulation Conference, 2020

Modeling the Water-Energy Nexus for the Phoenix Active Management Area.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2020

Composition of Geographic-Based Component Simulation Models.

[BibT_eX]

[DOI]

William A. Boyd

Proceedings of the Winter Simulation Conference, 2020

A Framework for Composable Cellular Automata Devs Modeling, Simulation, And Visualization.

[BibT_eX]

[DOI]

Chao Zhang

Proceedings of the Spring Simulation Conference, 2020

Coupling Weap and Leap Models Using Interaction Modeling.

[BibT_eX]

[DOI]

Proceedings of the Spring Simulation Conference, 2020

Runtime Abstraction-Level Conversion of Discrete-Event Wafer-fabrication Models for Simulation Acceleration.

[BibT_eX]

[DOI]

Chew Wye Chan

Wentong Cai

Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2020

2019

An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems.

[BibT_eX]

[DOI]

Tameen Kausar

Asad Waqar Malik

Muhammad Naveed Riaz

IEEE Access, 2019

A Sequential Neighbor Exploratory Experimental Design Method for Complex Simulation Metamodeling.

[BibT_eX]

[DOI]

Wei Dong

Proceedings of the 2019 Spring Simulation Conference, 2019

A Web-Service Framework For the Water Evaluation and Planning System.

[BibT_eX]

[DOI]

Proceedings of the 2019 Spring Simulation Conference, 2019

Metamodeling Activities For Hierarchical Component-Based Models.

[BibT_eX]

[DOI]

Proceedings of the 2019 Spring Simulation Conference, 2019

A Behavior Annex For AADL Using The DEVS Formalism.

[BibT_eX]

[DOI]

Ehsan M. Ahmad

Proceedings of the 2019 Spring Simulation Conference, 2019

A high-level modeling and simulation approach using test-driven cellular automata for fast performance analysis of RTL NoC designs.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018

Activity-based DEVS modeling.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2018

Challenges of Achieving Efficient Simulations Through Model Abstraction.

[BibT_eX]

[DOI]

William A. Boyd

Miguel F. Acevedo

CoRR, 2018

Domain Specific MetaModeling for Deep Semantic Composability.

[BibT_eX]

[DOI]

IEEE Access, 2018

Co-simulation of Hardware RTL and Software System using FMI.

[BibT_eX]

[DOI]

Masudul Hassan Quraishi

Muhammad Saad Qaisar Alvi

Proceedings of the 2018 Winter Simulation Conference, 2018

Dynamic Behavioural Modeling, simulation and Analysis of Household water Consumption in an Urban Area: a Hybrid Approach.

[BibT_eX]

[DOI]

Fahad Javed

Asad Waqar Malik

Proceedings of the 2018 Winter Simulation Conference, 2018

Parallelism semantics in modeling activities.

[BibT_eX]

[DOI]

Proceedings of the Theory of Modeling and Simulation Symposium, 2018

Model-driven time-accurate DEVS-based approaches for CPS design.

[BibT_eX]

[DOI]

Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study.

[BibT_eX]

[DOI]

Hubert Baumeister

Proceedings of the Model-Driven Engineering and Software Development, 2018

Towards Domain-specific Flow-based Languages.

[BibT_eX]

[DOI]

Hubert Baumeister

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2017

Action-Level Real-Time Network-on-Chip Modeling.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2017

Cognitive Behaviors Modeling Using UML Profile: Design and Experience.

[BibT_eX]

[DOI]

IEEE Access, 2017

Restraining complexity and scale traits for component-based simulation models.

[BibT_eX]

[DOI]

Proceedings of the 2017 Winter Simulation Conference, 2017

Modeling and verification of network-on-chip using constrained-DEVS.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

DEVS specification for modeling and simulation of the UML activities.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, Mod4Sim 2017, Virginia Beach, VA, USA, April 23, 2017

A Unifying Framework for UML Profile-based Cognitive Modeling: Development and Experience.

[BibT_eX]

[DOI]

Proceedings of the 10th EAI International Conference on Simulation Tools and Techniques, 2017

Cellular Automata DEVS: A Modeling, Simulation, and Visualization Environment.

[BibT_eX]

[DOI]

Chao Zhang

Proceedings of the 10th EAI International Conference on Simulation Tools and Techniques, 2017

Analyzing Emergency Evacuation Strategies for Mass Gatherings using Crowd Simulation And Analysis framework: Hajj Scenario.

[BibT_eX]

[DOI]

Muhammad Haris

Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

2016

Building a hybrid DEVS and GRASS model using a composable cellular automaton.

[BibT_eX]

[DOI]

Int. J. Model. Simul. Sci. Comput., 2016

Multi-resolution co-design modeling: A Network-on-Chip model.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2016

An approach for activity-based DEVS model specification.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

A WESS-based method for anti-submarine simulation through planning waypoints of helicopter (WIP).

[BibT_eX]

[DOI]

Proceedings of the Summer Computer Simulation Conference, 2016

2015

Action-level real-time DEVS modeling and simulation.

[BibT_eX]

[DOI]

Simul., 2015

Behavioral DEVS metamodeling.

[BibT_eX]

[DOI]

Proceedings of the 2015 Winter Simulation Conference, 2015

Model-architecture oriented combat system effectiveness simulation.

[BibT_eX]

[DOI]

Proceedings of the 2015 Winter Simulation Conference, 2015

Superdense time trajectories for DEVS simulation models.

[BibT_eX]

[DOI]

Savitha Sundaramoorthi

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Visual and persistence behavior modeling for DEVS in CoSMoS.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2014

Developing composed simulation and optimization models using actual supply-demand network datasets.

[BibT_eX]

[DOI]

Daniel R. Peters

Victor Chang

Proceedings of the 2014 Winter Simulation Conference, 2014

2013

Discrete event modeling of swarm intelligence based routing in network systems.

[BibT_eX]

[DOI]

Ahmet Zengin

Hüseyin Ekiz

Inf. Sci., 2013

Interacting real-time simulation models and reactive computational-physical systems.

[BibT_eX]

[DOI]

Thomas Jackson

Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

Model composability and execution across simulation, optimization, and forecast models.

[BibT_eX]

[DOI]

James Smith

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Observations on real-time simulation design and experimentation.

[BibT_eX]

[DOI]

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Guide to Modeling and Simulation of Systems of Systems.

[BibT_eX]

[DOI]

Simulation Foundations, Methods and Applications, Springer, ISBN: 978-0-85729-865-2, 2013

2012

Validation of service oriented computing DEVS simulation models.

[BibT_eX]

[DOI]

Proceedings of the 2012 Spring Simulation Multiconference, 2012

EMF-DEVS modeling.

[BibT_eX]

[DOI]

Abbas Mahmoodi Markid

Proceedings of the 2012 Spring Simulation Multiconference, 2012

Real-time network-on-chip simulation modeling.

[BibT_eX]

[DOI]

Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012

Integrating HLA and Service-Oriented Architecture in a Simulation Framework.

[BibT_eX]

[DOI]

Monica Dragoicea

Laurentiu Bucur

Wei-Tek Tsai

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

Simulating adaptive service-oriented software systems.

[BibT_eX]

[DOI]

Simul., 2011

Towards collaborative component-based modelling.

[BibT_eX]

[DOI]

James J. Nutaro

G. Joshi

J. Simulation, 2011

Towards a methodological approach to identify future M&S standard needs.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference 2011, 2011

SimSaaS: simulation software-as-a-service.

[BibT_eX]

[DOI]

Wei-Tek Tsai

Wu Li

Qihong Shao

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Standardizing DEVS models: an endogenous standpoint.

[BibT_eX]

[DOI]

Yu Chen

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

NoC simulation modeling in DEVS-suite.

[BibT_eX]

[DOI]

Hoda Ahmadinejad

Fatemeh Refan

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

2010

A Component-based Simulator for MIPS32 Processors.

[BibT_eX]

[DOI]

Yu Chen

Simul., 2010

DEVS-Suite simulator: A tool teaching network protocols.

[BibT_eX]

[DOI]

Ahmet Zengin

Proceedings of the 2010 Winter Simulation Conference, 2010

A novel visual CA modeling approach and its realization in CoSMoS.

[BibT_eX]

[DOI]

Sajjan Sarkar

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Synchronizing DEVS/SOA simulator with ping monitoring application.

[BibT_eX]

[DOI]

Jonathan D. Gibbs

Proceedings of the 2010 Spring Simulation Multiconference, 2010

A simulator for service-based software system co-design.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

2009

Toward Development of Adaptive Service-Based Software Systems.

[BibT_eX]

[DOI]

Nong Ye

Auttawut Roontiva

Mustafa Gökçe Baydogan

IEEE Trans. Serv. Comput., 2009

Composable Cellular Automata.

[BibT_eX]

[DOI]

Simul., 2009

Timing specification and analysis for service-oriented simulation.

[BibT_eX]

[DOI]

Wei-Tek Tsai

Wu Li

Xin Sun

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

A framework for executable UML models.

[BibT_eX]

[DOI]

Joe Mooney

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring.

[BibT_eX]

[DOI]

Sungung Kim

Vignesh Elamvazhuthi

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

CoSMoS: a visual environment for component-based modeling, experimental design, and simulation.

[BibT_eX]

[DOI]

Vignesh Elamvazhuthi

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

2008

A simulation framework for service-oriented computing systems.

[BibT_eX]

[DOI]

Sungung Kim

Muthukumar Ramaswamy

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Panel discussion: What makes good research in modeling and simulation: Sustaining the growth and vitality of the M&S discipline.

[BibT_eX]

[DOI]

Andreas Tolk

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Developing Service-Based Software Systems with QoS Monitoring and Adaptation.

[BibT_eX]

[DOI]

Nong Ye

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

2007

Interoperability among Parallel DEVS Simulators and Models Implemented in Multiple Programming Languages.

[BibT_eX]

[DOI]

Thomas Wutzler

Simul., 2007

A co-design modeling approach for computer network systems.

[BibT_eX]

[DOI]

Weilong Hu

Proceedings of the Winter Simulation Conference, 2007

Application of combined discrete-event simulation and optimization models in semiconductor enterprise manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2007

System modeling with mixed object and data models.

[BibT_eX]

[DOI]

Robert Flasher

Proceedings of the 2007 Spring Simulation Multiconference, 2007

Complexities of simulating a hybrid agent-landscape model using multi-formalism composability.

[BibT_eX]

[DOI]

Proceedings of the 2007 Spring Simulation Multiconference, 2007

Domain driven simulation modeling for software design.

[BibT_eX]

[DOI]

Andrew E. Ferayorni

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

2006

Model composability.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Application of the DEVS framework in construction simulation.

[BibT_eX]

[DOI]

Sivakumar Palaniappan

Anil Sawhney

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Flexible experimentation and analysis for hybrid DEVS and MPC models.

[BibT_eX]

[DOI]

Dongping Huang

Daniel E. Rivera

Proceedings of the Winter Simulation Conference WSC 2006, 2006

2005

Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing.

[BibT_eX]

[DOI]

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.

[BibT_eX]

[DOI]

Dongping Huang

Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005

2004

Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach.

[BibT_eX]

[DOI]

James J. Nutaro

Simul., 2004

Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks.

[BibT_eX]

[DOI]

Proceedings of the 36th conference on Winter simulation, 2004

Using Simulation to Facilitate the Study of Software Product Line Evolution.

[BibT_eX]

[DOI]

Yu Chen

Gerald C. Gannod

James S. Collofello

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Software and Simulation Modeling for Real-Time Software-Intensive Systems.

[BibT_eX]

[DOI]

Dongping Huang

Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 2004

2003

Supply chain and distribution network: semiconductor supply network simulation.

[BibT_eX]

[DOI]

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2002

DEVS-DOC: a modeling and simulation environment enabling distributed codesign.

[BibT_eX]

[DOI]

Daryl R. Hild

IEEE Trans. Syst. Man Cybern. Part A, 2002

Quantization-based filtering in distributed discrete event simulation.

[BibT_eX]

[DOI]

Hyup J. Cho

Jeong Geun Kim

Jong S. Lee

J. Parallel Distributed Comput., 2002

2001

Simulation-based SW/HW Architectural Design Configurations for Distributed Mission Training Systems.

[BibT_eX]

[DOI]

Daryl R. Hild

Xiaolin Hu

Robert A. Strini

Simul., 2001

A layered modeling and simulation architecture for agent-based system development.

[BibT_eX]

[DOI]

Steven B. Hall

Proc. IEEE, 2001

Interface for scalable DEVS and distributed container object specifications.

[BibT_eX]

[DOI]

Sunwoo Park

Proceedings of the IEEE International Conference on Systems, 2001

Design and implementation of distributed real-time DEVS/CORBA.

[BibT_eX]

[DOI]

Young Kwan Cho

Proceedings of the IEEE International Conference on Systems, 2001

Speedup of a sparse system simulation.

[BibT_eX]

[DOI]

James J. Nutaro

Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Devs Modeling And Simulation: A New Layer Of Middleware.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual International Workshop on Active Middleware Services (AMS 2001), 2001

2000

Collaborative distributed network system: a lightweight middleware supporting collaborative DEVS modeling.

[BibT_eX]

[DOI]

Sunwoo Park

Future Gener. Comput. Syst., 2000

A Codesign Approach for Distributed Systems.

[BibT_eX]

[DOI]

Daryl R. Hild

Computer, 2000

Theory of Quantized Systems: Devs Simulation of Perceiving Agents.

[BibT_eX]

[DOI]

Herbert Prähofer

Cybern. Syst., 2000

Distributed simulation: creating distributed simulation using DEVS M&S environments.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

Conceptions of curriculum for simulation education: panel.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

Models and representation of their ownership.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

1999

Exploiting HLA and DEVS To Promote Interoperability and Reuse in Lockheed's Corporate Environment.

[BibT_eX]

[DOI]

Steven B. Hall

Simul., 1999

1998

A Group-Based Approach for Distributed Model Construction.

[BibT_eX]

[DOI]

James Lee

Frank Simcox

Sankait Vahie

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1996

Abstraction Mechanisms in Discrete-Event Inductive Modeling.

[BibT_eX]

[DOI]

Proceedings of the 28th conference on Winter simulation, 1996

1994

Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning.

[BibT_eX]

[DOI]