GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems

P2EDAS: Asynchronous, Distributed Event Driven Simulation Algorithm with Inconsistent Event Preemption for Accurate Execution of VHDL Descriptions on Parallel Processors

IEEE Transactions on Computers

CD++: a toolkit to develop DEVS models

Software—Practice & Experience

Quantized-state systems: a DEVS Approach for continuous system simulation

Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I

Experiences in modeling and simulation of computer architectures in DEVS

Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II

Generalized discrete event simulation of dynamic systems

Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II

Hybrid dynamic systems: models for continous and hybrid system simulation

Proceedings of the 35th conference on Winter simulation: driving innovation

Simulation and verification II: from timed automata to DEVS models

Proceedings of the 35th conference on Winter simulation: driving innovation

Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator

Journal of Intelligent and Robotic Systems

SACHEM, a Real-Time Intelligent Diagnosis System Based on the Discrete Event Paradigm

Simulation

Cell-DEVS/GDEVS for Complex Continuous Systems

Simulation

Improving the Lookahead Computation in G-DEVS/HLA Environment

DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications

A discrete event method for wave simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Applying Cell-DEVS Methodology for Modeling the Environment

Simulation

New design and simulation of the GDEVS abstraction of an integrator

Proceedings of the 2007 Summer Computer Simulation Conference

Mapping PIOVRA in GDEVS/HLA environment

Proceedings of the 2007 Summer Computer Simulation Conference

A formal framework for stochastic DEVS modeling and simulation

Proceedings of the 2008 Spring simulation multiconference

G-DEVS/HLA Environment for Distributed Simulations of Workflows

Simulation

A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow

Simulation

A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

Simulation

Reducing the state space of incompletely specified timed Moore machines

SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference

AnCaraS: a new webometrics web-spider: G-DEVS-based validation of concepts

SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference

Distributed simulation platform to design advanced RFID based freight transportation systems

Computers in Industry

ISTSM: incompletely specified timed sequential machines (Work-in-Progress)

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

Taxonomy of DEVS subclasses for standardization

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

Large-Scale systems design: a revolutionary new approach in software hardware co-design

AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems

The split system approach to managing time in simulations of hybrid systems having continuous and discrete event components*

Simulation

PSYOPS and CIMIC operations: from concepts to G-DEVS models

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

From sequential machines to DEVS formalism

SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference

Libros-II: railway modeling with devs

Proceedings of the Winter Simulation Conference

Using time stream Petri nets for workflow modelling analysis and enactment

Simulation

Integrated hybrid systems modeling and simulation methodology based on HDEVS formalism

Proceedings of the 2013 Summer Computer Simulation Conference

An introduction to Timed Sequential Machines

Simulation