Multimodels and dynamic structure models: an integration of DSDE/DEVS and OOPM
Proceedings of the 30th conference on Winter simulation
Distributed supply chain simulation in a DEVS/CORBA execution environment
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Distributed, parallel simulation of multiple, deliberative agents
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Speedup of a sparse system simulation
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Interacting multi-agent and simulation systems: an exploration into mole and james
Proceedings of the fifth international conference on Autonomous agents
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Distributed simulation: creating distributed simulation using DEVS M&S environments
Proceedings of the 32nd conference on Winter simulation
Dealing with complexity: exploratory analysis enabled by multiresolultion, multiperspective modeling
Proceedings of the 32nd conference on Winter simulation
Models and representation of their ownership
Proceedings of the 32nd conference on Winter simulation
An integrated approach to verification, validation, and accredition of models and simulations
Proceedings of the 32nd conference on Winter simulation
Optimizing production work flow using OpEMCSS
Proceedings of the 32nd conference on Winter simulation
"Plug and test": software agents in virtual environments
Proceedings of the 32nd conference on Winter simulation
Experiment scheduling in faster-than-real-time simulation
Proceedings of the sixteenth workshop on Parallel and distributed simulation
A framework for distributed simulation optimization
Proceedings of the 33nd conference on Winter simulation
Hybrid agent-based simulation for analyzing the national airspace system
Proceedings of the 33nd conference on Winter simulation
Roadways, vehicle, and traffic applications: defining models of urban traffic using the TSC tool
Proceedings of the 33nd conference on Winter simulation
Parallel discrete-event simulation applications
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
N-dimensional Cell-DEVS Models
Discrete Event Dynamic Systems
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
Using DEVS Formalism to operationalize ELP Models for diagnosis in SACHEM
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
Multilevel Testing for Design Verification of Embedded Systems
IEEE Design & Test
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
A two-stage modeling and simulation process for web-based modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Mapping the Envelope of Social Simulation Trajectories
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
ICICS '02 Proceedings of the 4th International Conference on Information and Communications Security
Vulnerability Assessment Simulation for Information Infrastructure Protection
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An efficient and evolutionary hierarchical modeling and simulation approach
Systems Analysis Modelling Simulation - Special issue: Environmental modeling and simulation
The design context of concurrent computation systems
Proceedings of the tenth international symposium on Hardware/software codesign
Implementing Parallel Cell-DEVS
ANSS '03 Proceedings of the 36th annual symposium on Simulation
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading
ANSS '03 Proceedings of the 36th annual symposium on Simulation
Journal of Intelligent and Robotic Systems
Introduction to applied system simulation
Applied system simulation
Fundamentals of system simulation
Applied system simulation
Simulation of computer system architectures
Applied system simulation
A distributed intelligent discrete-event environment for autonomous agents simulation
Applied system simulation
Military applications of simulation
Applied system simulation
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Proceedings of the conference on Design, automation and test in Europe - Volume 2
A component-based simulation layer for JAMES
Proceedings of the eighteenth workshop on Parallel and distributed simulation
The Discrete Event Concept as a Paradigm for the “Perception-Based Diagnosis” of Sachem
Journal of Intelligent and Robotic Systems
Layered, Multi-Threaded, High-Level Performance Design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Web Service Cooperation Ideology
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Modeling of discrete event systems: A holistic and incremental approach using Petri nets
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Extensions: performance analysis of real-time DEVS models
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
XML-based modeling and simulation: meta-models are models too
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
XML-based modeling and simulation: using XML for simulation modeling
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Real-time control: the possible role of a backbone architecture in real-time control and emulation
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Hybrid dynamic systems: models for continous and hybrid system simulation
Proceedings of the 35th conference on Winter simulation: driving innovation
Next generation modeling I: RUBE: a customized 2d and 3d modeling framework for simulation
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Distributed simulation and manufacturing: distributed simulation with cots simulation packages
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
Supply chain and distribution network: semiconductor supply network simulation
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
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Design and Implementation of a Library of Network Protocols in CD++
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Modelling adaptive multi-agent manufacturing control with discrete event system formalism
International Journal of Systems Science
Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
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
Self-reproducible DEVS formalism
Journal of Parallel and Distributed Computing - Special issue: Design and performance of networks for super-, cluster-, and grid-computing: Part II
What Comes After the Semantic Web - PADS Implications for the Dynamic Web
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
A discrete event method for wave simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A space aware agent-based modeling process for the study of hierarchical complex systems
Proceedings of the 2006 ACM symposium on Applied computing
Requirements for an ubiquitous computing simulation and emulation environment
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
On consistency and network latency in distributed interactive applications: a survey--part I
Presence: Teleoperators and Virtual Environments
Exact simulation of integrate-and-fire models with synaptic conductances
Neural Computation
Modeling and simulation of complex systems with Cell-DEVS
WSC '04 Proceedings of the 36th conference on Winter simulation
Modeling and simulation of hardware/software systems with CD++
WSC '04 Proceedings of the 36th conference on Winter simulation
Multi-formalism modeling approach for semiconductor supply/demand networks
WSC '04 Proceedings of the 36th conference on Winter simulation
Simulating growth dynamics in complex adaptive supply networks
WSC '04 Proceedings of the 36th conference on Winter simulation
HDPS, an XML/XSLT based hierarchal modeling system
WSC '04 Proceedings of the 36th conference on Winter simulation
Single-threaded specification of process-interaction formalism in Java
WSC '04 Proceedings of the 36th conference on Winter simulation
A hybrid agent-cellular space modeling approach for fire spread and suppression simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Constructing multi-point discrete event integration schemes
WSC '05 Proceedings of the 37th conference on Winter simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
A framework for configurable hierarchical simulation in a multiple-user decision support environment
WSC '05 Proceedings of the 37th conference on Winter simulation
RMIS: middleware for transparent object-oriented modeling in multi-simulator systems
WSC '05 Proceedings of the 37th conference on Winter simulation
A case study of model context for simulation composability and reusability
WSC '05 Proceedings of the 37th conference on Winter simulation
Modeling waiting systems from domain expert specifications
WSC '05 Proceedings of the 37th conference on Winter simulation
An SDS modeling approach for simulation-based control
WSC '05 Proceedings of the 37th conference on Winter simulation
Simulation-specific characteristics and software reuse
WSC '05 Proceedings of the 37th conference on Winter simulation
Towards a simulation and visualization portal to support multi-actor decision making in mainports
WSC '05 Proceedings of the 37th conference on Winter simulation
Extend SRML schema based on DEVS: an executable DEVS language
WSC '05 Proceedings of the 37th conference on Winter simulation
New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
A GA-based parameter design for single machine turning process with high-volume production
Computers and Industrial Engineering
Proceedings of the 38th conference on Winter simulation
A simulation algorithm for dynamic structure DEVS modeling
Proceedings of the 38th conference on Winter simulation
Introducing variable ports and multi-couplings for cell biological modeling in DEVS
Proceedings of the 38th conference on Winter simulation
A non-fragmenting partitioning algorithm for hierarchical models
Proceedings of the 38th conference on Winter simulation
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Composing simulations from XML-specified model components
Proceedings of the 38th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
Flexible experimentation and analysis for hybrid DEVS and MPC models
Proceedings of the 38th conference on Winter simulation
Application of the DEVS framework in construction simulation
Proceedings of the 38th conference on Winter simulation
Underlying issues associated with validation and verification of dynamic data driven simulation
Proceedings of the 38th conference on Winter simulation
Controlling simulation games through rule-based scenarios
Proceedings of the 38th conference on Winter simulation
Environmental Modelling & Software
Simulation-based problem-solving environments for conflict studies
Simulation and Gaming - Symposium: virtual reality simulation
BehaviorSim: towards an educational tool for behavior-based agent
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
A simulation-based virtual environment to study cooperative robotic systems
Integrated Computer-Aided Engineering
Distributed simulation of agent-based systems with HLA
ACM Transactions on Modeling and Computer Simulation (TOMACS)
State-of-the-Art Review: A User's Guide to the Brave New World of Designing Simulation Experiments
INFORMS Journal on Computing
A Second Order Accurate Adams-Bashforth Type Discrete Event Integration Scheme
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Comparing Synchronous and Asynchronous Variable Step Size Explicit ODE Solvers: A Simulation Study
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Explanation Exploration: Exploring Emergent Behavior
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
AFRIGRAPH '07 Proceedings of the 5th international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
On the stability and performance of discrete event methods for simulating continuous systems
Journal of Computational Physics
The IRM4S model: the influence/reaction principle for multiagent based simulation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting the Concept of Activity for Dynamic Reconfiguration of Distributed Simulation
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Regression models and experimental designs: a tutorial for simulation analysts
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A co-design modeling approach for computer network systems
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Requirements and design principles for multisimulation with multiresolution, multistage multimodels
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Exploiting web service techniques for composing simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A metamodel-based representation method for reusable simulation model
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Observations on new developments in composability and multi-resolution modeling
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Combining micro and macro-modeling in DEVS for computational biology
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An exploration-based taxonomy for emergent behavior analysis in simulations
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Agent-based modeling and simulation of wildland fire suppression
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Assessing tram schedules using a library of simulation components
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Autonomic power and performance management for computing systems
Cluster Computing
Domain driven simulation modeling for software design
Proceedings of the 2007 Summer Computer Simulation Conference
Objective-driven DEVS modeling using OPI matrix for performance evaluation of discrete event systems
Proceedings of the 2007 Summer Computer Simulation Conference
A formal verification approach for DEVS
Proceedings of the 2007 Summer Computer Simulation Conference
eCD++: an engine for executing DEVS models in embedded platforms
Proceedings of the 2007 Summer Computer Simulation Conference
New design and simulation of the GDEVS abstraction of an integrator
Proceedings of the 2007 Summer Computer Simulation Conference
A flexible dynamic structure DEVS algorithm towards real-time systems
Proceedings of the 2007 Summer Computer Simulation Conference
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
DEVS-based simulation web services for net-centric T&E
Proceedings of the 2007 Summer Computer Simulation Conference
VLE: a multimodeling and simulation environment
Proceedings of the 2007 Summer Computer Simulation Conference
A formalization of global simulation models for continuous/discrete systems
Proceedings of the 2007 Summer Computer Simulation Conference
Migrating to a real-time distributed parallel simulator architecture
Proceedings of the 2007 Summer Computer Simulation Conference
A discrete cell migration model
Proceedings of the 2007 Summer Computer Simulation Conference
Mapping PIOVRA in GDEVS/HLA environment
Proceedings of the 2007 Summer Computer Simulation Conference
Efficacy of modeling & simulation in defense life cycle engineering
Proceedings of the 2007 Summer Computer Simulation Conference
The OSA project: an example of component based software engineering techniques applied to simulation
Proceedings of the 2007 Summer Computer Simulation Conference
An open issue on applying sharing modeling patterns in DEVS
Proceedings of the 2007 Summer Computer Simulation Conference
An event based control architecture for non linear systems diagnosis
Proceedings of the 2007 Summer Computer Simulation Conference
Practical use of components in agro-ecological simulation
Proceedings of the 2007 Summer Computer Simulation Conference
Embedding DEVS methodology in CBD process for development of war game simulators
Proceedings of the 2007 Summer Computer Simulation Conference
Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach
Proceedings of the 2007 Summer Computer Simulation Conference
Incremental verification methodology for DEVS models
ISPRA'05 Proceedings of the 4th WSEAS International Conference on Signal Processing, Robotics and Automation
Workflow-based dynamic scheduling of job shop operations
International Journal of Computer Integrated Manufacturing
A testbed for secure and robust SCADA systems
ACM SIGBED Review - Special issue on the the 14th IEEE real-time and embedded technology and applications symposium (RTAS'08) WIP session
Proceedings of the 2008 Spring simulation multiconference
Proceedings of the 2008 Spring simulation multiconference
A formal framework for stochastic DEVS modeling and simulation
Proceedings of the 2008 Spring simulation multiconference
An approach for simulation based structure optimisation of discrete event systems
Proceedings of the 2008 Spring simulation multiconference
Parallel simulation of DEVS and Cell-DEVS models on Windows-based PC cluster systems
Proceedings of the 2008 Spring simulation multiconference
Experiences with the DEVStone benchmark
Proceedings of the 2008 Spring simulation multiconference
CD++Modeler: a graphical toolkit to develop DEVS models
Proceedings of the 2008 Spring simulation multiconference
Design of Persian tapestry in CD++
Proceedings of the 2008 Spring simulation multiconference
ECD++ a DEVS based real-time simulator for embedded systems
Proceedings of the 2008 Spring simulation multiconference
Event behavior of discrete event simulations in CD++ vs. NS-2
Proceedings of the 2008 Spring simulation multiconference
Synthesizing scenarios to DEVS models
Proceedings of the 2008 Spring simulation multiconference
Complexities of simulating a hybrid agent-landscape model using multi-formalism composability
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
System modeling with mixed object and data models
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
DEVS/NS-2 environment: integrated tool for efficient networks modeling and simulation
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
CD++Builder: an eclipse-based IDE for DEVS modeling
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Experimental frame structuring and aggregation of source data: application to US climate normals
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Parallel and distributed simulation of parallel DEVS models
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
The event queue problem and PDevs
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
A W3C XML schema for DEVS scenarios
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
DEVSML: automating DEVS execution over SOA towards transparent simulators
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Modelling & simulation oriented components of wireless sensor network using DEVS formalism
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Complex system simulation: DEVS implementation of the valley fever model
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
A layered architecture for the model-driven development of distributed simulators
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
SimStudio: a next generation modeling and simulation framework
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
Models in Software Engineering
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Discrete-event modelling of fire spreading
International Journal of Systems Science
Using context information to evaluate cooperativeness
Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks
Design framework for intelligent supervision of industrial processes
WSEAS TRANSACTIONS on SYSTEMS
On constructing optimistic simulation algorithms for the discrete event system specification
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Optimization of dynamic data types in embedded systems using DEVS/SOA-based modeling and simulation
Proceedings of the 3rd international conference on Scalable information systems
Component-Based Modelling of RNA Structure Folding
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based Applications
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Interfacing and Coordination for a DEVS Simulation Protocol Standard
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Sustaining the growth and vitality of the M&S discipline
Proceedings of the 40th Conference on Winter Simulation
An approach for the effective utilization of GP-GPUs in parallel combined simulation
Proceedings of the 40th Conference on Winter Simulation
A Pi-calculus formalism for discrete event simulation
Proceedings of the 40th Conference on Winter Simulation
Applying causal inference to understand emergent behavior
Proceedings of the 40th Conference on Winter Simulation
Vesicle-synapsin interactions modeled with Cell-DEVS
Proceedings of the 40th Conference on Winter Simulation
A flexible and scalable experimentation layer
Proceedings of the 40th Conference on Winter Simulation
A simulation framework for service-oriented computing systems
Proceedings of the 40th Conference on Winter Simulation
Extending DEVS to support multiple occurrence in component-based simulation
Proceedings of the 40th Conference on Winter Simulation
Definition and analysis of composition structures for discrete-event models
Proceedings of the 40th Conference on Winter Simulation
Partial-modular DEVS for improving performance of cellular space wildfire spread simulation
Proceedings of the 40th Conference on Winter Simulation
Knowledge representation and the dimensions of a multi-model relationship
Proceedings of the 40th Conference on Winter Simulation
De2m: a solution for analyzing supply chain
Proceedings of the 40th Conference on Winter Simulation
Architecture for modeling, simulation, and execution of PLC based manufacturing system
Proceedings of the 40th Conference on Winter Simulation
Multiple worlds in simulation games for spatial decision making: concept and architecture
Proceedings of the 40th Conference on Winter Simulation
Towards applications of particle filters in wildfire spread simulation
Proceedings of the 40th Conference on Winter Simulation
Environmental Modelling & Software
International Journal of Autonomic Computing
Modelling intelligent agents for autonomic computing in the PNagent framework
International Journal of Autonomic Computing
Fuzz-iDEVS: towards a fuzzy toolbox for discrete event systems
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
DEUS: a discrete event universal simulator
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
CoSMoS: a visual environment for component-based modeling, experimental design, and simulation
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Towards a Formal Semantics of Event-Based Multi-agent Simulations
Multi-Agent-Based Simulation IX
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Experimenting statecharts for multiple experts knowledge elicitation in agriculture
Expert Systems with Applications: An International Journal
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
System approach to synthesis, modeling and control of complex dynamical systems
WSEAS Transactions on Systems and Control
A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Experience and Trust ---A Systems-Theoretic Approach
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An Approach for Validation of Semantic Composability in Simulation Models
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Using REST Web-Services Architecture for Distributed Simulation
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Integrated simulation and optimization for wildfire containment
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Tooling the Dynamic Behavior Models of Graphical DSLs
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
Simulation
A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Timing specification and analysis for service-oriented simulation
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SIMVA: simulation-based network vulnerability analysis system
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Verification of real-time DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Aircraft evacuation DEVS implementation & visualization
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Hybrid modeling of opto-electrical interfaces using DEVS and modelica
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Interoperability between DEVS and non-DEVS models using DEVS/SOA
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Simulation of heterogeneous DEVS models; application to the study of natural systems
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Verification of the DEVS model implementation using aspect embedded DEVS
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
XML-based DEVS modeling and interpretation
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A system-on-chip FPGA implementation of embedded CD++
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A DEVS-oriented intuitive modeling language
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Interoperability between DEVS simulators using service oriented architecture and DEVS namespace
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Automating the DEVS modeling and simulation interface to web services
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
CD++ repository: an internet based searchable database of DEVS models and their experimental frames
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
DEVS/SOA: Towards DEVS Interoperability in Distributed M&S
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Distributed Simulation of RePast Models over HLA/Actors
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
EDEVS: A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Advances in Engineering Software
Assessing the impact of a modeling tool and its support for verification and validation
SPECTS'09 Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems
Teaching and training of network protocols with DEVS-suite
SPECTS'09 Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems
Regenerative systems: challenges and opportunities for modeling, simulation, and visualization
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
Advances in Engineering Software
iDEVS: new method to study inaccurate systems
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
A Federated Approach to Parallel and Distributed Simulation of Complex Systems
International Journal of Applied Mathematics and Computer Science
A purpose-planning dynamical model of the Mexican education system
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Cache sémantique pour grilles pervasives
Proceedings of the 5th French-Speaking Conference on Mobility and Ubiquity Computing
Transition Management for the Smooth Flight of a Small Autonomous Helicopter
Journal of Intelligent and Robotic Systems
Discrete event solution of gas dynamics within the DEVS framework
ICCS'03 Proceedings of the 2003 international conference on Computational science
System specification based network modeling for survivability testing simulation
ICISC'02 Proceedings of the 5th international conference on Information security and cryptology
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A framework for designing policies for networked systems with uncertainty
Decision Support Systems
Hierarchical modeling for computational biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
MPI-based distribution in DEVS simulation
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Conceptual modeling of petascale computer systems
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
A simulator for service-based software system co-design
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A DEVS component library for simulation-based design of automated container terminals
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Integrated simulation framework for the process planning of ships and offshore structures
Robotics and Computer-Integrated Manufacturing
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A formal representation of discrete event models in Ptolemy II
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Infusing agility in business processes through an event-centric approach
International Journal of Business Information Systems
Proceedings of the 47th Design Automation Conference
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
How important are updating schemes in multi-agent systems? An illustration on a multi-turmite model
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
ITHET'10 Proceedings of the 9th international conference on Information technology based higher education and training
Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs
Proceedings of the Conference on Design, Automation and Test in Europe
SC-DEVS: an efficient SystemC extension for the DEVS model of computation
Proceedings of the Conference on Design, Automation and Test in Europe
DEVS-based doctrine validation of fleet anti-air defense
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Application of RT-DEVS in military
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Supporting the design of automated container terminals with the multiple worlds concept
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Benefits and challenges in developing warship simulator based on DEVS formalism
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Methodology supporting architecture validations (MAVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Applying methods of the M&S spectrum for complex systems engineering
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Comprehensive on-chip traffic generator model for SoC design and synthesis
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Uncovering DEVS simulation behaviour throughout the open provenance model
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
On using design patterns for DEVS modeling and simulation tools
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Accelerating large-scale DEVS-based simulation on the cell processor
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Advanced IDE for modeling and simulation of discrete event systems
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Integrating Parallel DEVS and equation-based object-oriented modeling
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
DEVS based plug-in framework for interoperability of simulators
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Temporal verification of RT-DEVS models with implementation aspects
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
Designing an interface for real-time and embedded DEVS
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A stochastic DEVS wind turbine component model for wind farm simulation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A MDA-based approach for the development of DEVS/SOA simulations
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Rational time-advance DEVS (RTA-DEVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Multiple worlds: a formalism for simulation based design
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Verifying trace inclusion between an experimental frame and a model
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A DEVS model for demographic microsimulation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
An advanced simulation approach for parallel DEVS with ports
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Profile-based partition for parallel simulation of DEVS-FIRE
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Simulation of three dimensional elevator system using cell-DEVS formalism
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A metamodel and a DEVS implementation for component based hierarchical simulation modeling
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Integrating building information modeling & cell-DEVS simulation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A novel visual CA modeling approach and its realization in CoSMoS
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Verification of dynamically reconfigurable embedded systems by model transformation rules
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Modeling of distributed intrusion detection using fuzzy system
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
A new neural model for traffic simulation
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part III
Constructing model credibility in the context of policy appraisal
Environmental Modelling & Software
Modeling discrete event scalable network systems
Information Sciences: an International Journal
Applying Cellular Automata and DEVS Methodologies to Digital Games: A Survey
Simulation and Gaming
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
An approach to analyzing the software process change impact using process slicing and simulation
Journal of Systems and Software
Time-triggered buffers for event-based middleware systems
Innovations in Systems and Software Engineering
DEVS-based design of spatial simulations of biological systems
Winter Simulation Conference
Controlled simplification of material flow simulation models
Winter Simulation Conference
Winter Simulation Conference
Program slice distribution functions
Winter Simulation Conference
Experimental analysis of logical process simulation algorithms in JAMES II
Winter Simulation Conference
DEVS namespace for interoperable DEVS/SOA
Winter Simulation Conference
Performing distributed simulation with RESTful web-services
Winter Simulation Conference
A time-based formalism for the validation of semantic composability
Winter Simulation Conference
Services modeling and distributed simulation devs/HLA supported
Winter Simulation Conference
Simulation of large wireless sensor networks using Cell-DEVS
Winter Simulation Conference
Symbolic flattening of DEVS models
Proceedings of the 2010 Summer Computer Simulation Conference
Towards a deliberative agent system based on DEVS formalism for application in agriculture
Proceedings of the 2010 Summer Computer Simulation Conference
Creation of DEVS models using imitation learning
Proceedings of the 2010 Summer Computer Simulation Conference
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
Proceedings of the 2010 Summer Computer Simulation Conference
Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator
Proceedings of the 2010 Summer Computer Simulation Conference
DEVS-based modeling of a human motion data synthesis and control system
Proceedings of the 2010 Summer Computer Simulation Conference
Understanding executable architectures through an examination of language model elements
Proceedings of the 2010 Summer Computer Simulation Conference
Modeling and simulation of conflict and peacekeeping
Proceedings of the 2010 Summer Computer Simulation Conference
Management of resources in small and medium-sized production enterprises
Iranian Journal of Science and Technology, Transaction B: Engineering
Modeling collaboration processes to understand and predict group performance
Proceedings of the 1st international workshop on Semantic models for adaptive interactive systems
Exploring Multi-Grained Parallelism in Compute-Intensive DEVS Simulations
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Co-simulation in large scale environments using the HPNS framework
Proceedings of the 2010 Conference on Grand Challenges in Modeling & Simulation
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
The fix-point method for discrete events simulation using SQL and UDF
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Composite cell agent model of epithelial culture in vitro
Proceedings of the 2011 Workshop on Agent-Directed Simulation
Estimation of new ignited fires using particle filters in wildfire spread simulation
Proceedings of the 44th Annual Simulation Symposium
Component-oriented interoperation of real-time DEVS engines
Proceedings of the 44th Annual Simulation Symposium
Towards parameter estimation in wildfire spread simulation based on sequential Monte Carlo methods
Proceedings of the 44th Annual Simulation Symposium
Net-centric act-R-based cognitive architecture with DEVS unified process
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
DEVS for AUTOSAR platform modelling
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
I-DEVS: imprecise real-time and embedded DEVS modeling
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Interfacing DEVS and visualization models for emergency management
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
NoC simulation modeling in DEVS-suite
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
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
The simulation-based multi-objective evolutionary optimization (SIMEON) framework (Work-in-Progress)
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A testing framework for DEVS formalism implementations
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Transforming UML2.0 class diagrams and statecharts to atomic DEVS
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
GATLAS: Google Earth visualization for ATLAS
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A model-driven software environment for modeling, simulation and analysis of complex systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Some desired features for the DEVS architecture description language
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
From domain specific languages to DEVS components: application to cognitive M&S
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Standardizing DEVS models: an endogenous standpoint
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A DEVS library for rail operations simulation
Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium
Understanding interoperability
Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium
Proceedings of the 2011 Symposium on Simulation for Architecture and Urban Design
Application of fuzzy logic for distributed intrusion detection
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part II
Design of intelligent security management system using simulation-based analysis
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Multi-formalism modelling of cardiac tissue
FIMH'05 Proceedings of the Third international conference on Functional Imaging and Modeling of the Heart
Distributed security agent modeling in the policy-based networking
PDCAT'04 Proceedings of the 5th international conference on Parallel and Distributed Computing: applications and Technologies
A conservative approach to systemc parallelization
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Modelling environments for distributed simulation
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Continuity and change (activity) are fundamentally related in DEVS simulation of continuous systems
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Systems theory: melding the AI and simulation perspectives
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Simulation modeling with hierarchical planning: application to a metal manufacturing system
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Vulnerability modeling and simulation for DNS intrusion tolerance system construction
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Proposal of high level architecture extension
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Using Cell-DEVS for modeling complex cell spaces
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
DEVS formalism: a hierarchical generation scheme
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
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
A formal description specification for multi-resolution modeling (MRM) based on DEVS formalism
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Modeling of policy-based network with SVDB
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
A web services-based distributed simulation architecture for hierarchical DEVS models
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Automated cyber-attack scenario generation using the symbolic simulation
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
System properties of action theories
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Linux-Based system modelling for cyber-attack simulation
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Simulation semantics for min-max DEVS models
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Improved Cell-DEVS models for fire spreading analysis
ACRI'06 Proceedings of the 7th international conference on Cellular Automata for Research and Industry
Modeling robot path planning with CD++
ACRI'06 Proceedings of the 7th international conference on Cellular Automata for Research and Industry
DE2M: An environment for developing distributed and executable enterprise models
Advances in Engineering Software
Simulating market dynamics with CD++
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II
A model of virus spreading using Cell-DEVS
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II
Controlled experimentation with agents: models and implementations
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A modelling and simulation based approach to dependable system design
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Modeling and simulation of tests for agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Theory and implementation of a real-time extension to the π-calculus
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
Expert Systems with Applications: An International Journal
Scalable simulation of electromagnetic hybrid codes
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
International Journal of Business Information Systems
From biological to urban cells: lessons from three multilevel agent-based models
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
A software tool for federated simulation of wireless sensor networks and mobile ad hoc networks
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I
Model interoperability for performance engineering: survey of milestones and evolution
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems
Concurrency and Computation: Practice & Experience
Distributed data management for large-scale wireless sensor networks simulations
Proceedings of the 15th International Conference on Extending Database Technology
Real-time network-on-chip simulation modeling
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Simulation Processes in the Cloud for Emergency Planning
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Multi-perspective modelling of complex phenomena
Computational & Mathematical Organization Theory
Content-based image recognition using cellular discrete-event system specifications methodology
Proceedings of the 45th Annual Simulation Symposium
Proceedings of the 2012 Symposium on Emerging Applications of M&S in Industry and Academia Symposium
Parallel discrete event simulation for DEVS cellular models using a GPU
Proceedings of the 2012 Symposium on High Performance Computing
Study of human influenza's spreading phenomenon
LSSC'11 Proceedings of the 8th international conference on Large-Scale Scientific Computing
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Activity-based credit assignment (ACA) in hierarchical simulation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Adapting model-based testing techniques to DEVS models validation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Approaching complexity in modeling and simulation of logistics systems (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
DEVS modeling of urban traffic systems (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
DEVSML 2.0: the language and the stack
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Exploring multi-level model dynamics: performance and accuracy (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Frontier modeling support environment: flexibility to adapt to diverse stakeholders
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
On the verification of hybrid DEVS models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Lattice Boltzmann approach to acoustic propagation for underwater warfare simulation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Model transformation from BPMN to DEVS in the MDD4MS framework
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
M&S-based design of embedded controllers on network processors
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Music generation using cellular models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
On time granularity and event granularity in simulation service composition (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
ΦDEVS: phase based discrete event modeling
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
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
Qualitative verification of finite and real-time DEVS networks
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Validation of service oriented computing DEVS simulation models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Conservative synchronization methods for parallel DEVS and Cell-DEVS
Proceedings of the 2011 Summer Computer Simulation Conference
MDD4MS: a model driven development framework for modeling and simulation
Proceedings of the 2011 Summer Computer Simulation Conference
Towards a DSM-based framework for the development of complex simulation systems
Proceedings of the 2011 Summer Computer Simulation Conference
VCELL: a 3D real-time visual simulation in support of combat
Proceedings of the 2011 Summer Computer Simulation Conference
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
Variable structure and dynamism extensions to SiMA, a DEVS based modeling and simulation framework
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
An emulation platform for intelligent scheduling algorithm in automated container terminal
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Validating interaction-based systems behavior via simulation and detecting implied scenarios
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Recursive simulation and experimental frame for multiscale simulation
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
From sequential machines to DEVS formalism
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
DEVS in DSOL: adding devs operational semantics to a generic event-scheduling simulation environment
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Simulation modeling architecture (SiMA), a DEVS based modeling and simulation framework
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Towards an automatic transformation from a DEVS to a SDL specification
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Exploring spatial partition for parallel simulation of DEVS-FIRE
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Expert Systems with Applications: An International Journal
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Evaluating the robustness of activity recognition using computational causal behavior models
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Parallel Simulation of Large-Scale Artificial Society on CPU/GPU Mixed Architecture
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Exploiting Sensor Spatial Correlation for Dynamic Data Driven Simulation of Wildfire
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Data assimilation using sequential monte carlo methods in wildfire spread simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Discrete event modeling of swarm intelligence based routing in network systems
Information Sciences: an International Journal
Domain specific modeling for operations research simulation in a large industrial context
Proceedings of the 2012 workshop on Domain-specific modeling
Model-driven paradigms: the evolution of a university course
Proceedings of the 8th edition of the Educators' Symposium
Advanced spatial systems with cellular discrete-event modeling and simulation
Proceedings of the Winter Simulation Conference
Devs-based building information modeling and simulation for emergency evacuation
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
Mosaik: scalable smart grid scenario specification
Proceedings of the Winter Simulation Conference
Panel on grand challenges for modeling and simulation
Proceedings of the Winter Simulation Conference
Modeling agents and their environment in multi-level-DEVS
Proceedings of the Winter Simulation Conference
Modeling the Minsky triad: a framework to perform reflexive M&S studies
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
On reproducibility and traceability of simulations
Proceedings of the Winter Simulation Conference
Modeling the global freight transportation system: a multi-level modeling perspective
Proceedings of the Winter Simulation Conference
A modeling methodology for cyber-security simulation
Proceedings of the Winter Simulation Conference
Automatic generation of object-oriented code from DEVS graphical specifications
Proceedings of the Winter Simulation Conference
Agent-based discrete-event hybrid space modeling approach for transportation evacuation simulation
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
An experimental frame for the simulation of forest fire spread
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
Towards a methodological approach to identify future M&S standard needs
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
An approach to semantic-based model discovery and selection
Proceedings of the Winter Simulation Conference
From data to simulation models: component-based model generation with a data-driven approach
Proceedings of the Winter Simulation Conference
Out-of-order execution and structural equivalence of simulation models
Proceedings of the Winter Simulation Conference
A context-based multi-perspective modeling and simulation framework
Proceedings of the Winter Simulation Conference
Modeling and simulation for user assistance in smart environments
Proceedings of the Winter Simulation Conference
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
A comparison of the accuracy of discrete event and discrete time
Proceedings of the Winter Simulation Conference
Integrating optimization and simulation - a comparison of two case studies in mine planning
Proceedings of the Winter Simulation Conference
Libros-II: railway modeling with devs
Proceedings of the Winter Simulation Conference
An approach for loosely coupled discrete event simulation models and animation components
Proceedings of the Winter Simulation Conference
DEVS-Suite simulator: a tool teaching network protocols
Proceedings of the Winter Simulation Conference
Using simulation to engineer cybersecurity requirements
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
Supporting robust system analysis with the test matrix tool framework
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Modeling and simulation of crowd using cellular discrete event systems theory
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Software test automation using DEVSimPy environment
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Discrete event design patterns.
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
RISE: A general simulation interoperability middleware container
Journal of Parallel and Distributed Computing
Towards a theory of interface-based design of hierarchical reactive systems
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Informal DEVS conventions motivated by practical considerations (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Observations on real-time simulation design and experimentation
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Revisit of system variable trajectories (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Occupancy analysis using building information modeling and cell-DEVS simulation
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Agent-oriented approach based on discrete event systems (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
DEVS modeling and simulation methodology with MS4 Me software tool
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Multifaceted modeling and simulation framework for system of systems using HLA/RTI
Proceedings of the 16th Communications & Networking Symposium
Simulation of mobile networks using discrete event system specification theory
Proceedings of the 16th Communications & Networking Symposium
Solutions for scalability in building information modeling and simulation-based design
Proceedings of the Symposium on Simulation for Architecture & Urban Design
Visualization in 3ds max for cell-DEVS models based on building information modeling
Proceedings of the Symposium on Simulation for Architecture & Urban Design
Simulating the sensing of building occupancy
Proceedings of the Symposium on Simulation for Architecture & Urban Design
Proceedings of the Symposium on Simulation for Architecture & Urban Design
DEV&DESS-based cyber-physical systems modeling language with uncertainty consideration
Proceedings of the 2013 Spring Simulation Multiconference Poster Session
Viewpoints, formalisms, languages, and tools for cyber-physical systems
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Numerical verification of bidirectional reflectance distribution functions for physical plausibility
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Cellular simulation of asymmetric energy requirements in wireless sensor networks
Proceedings of the 2013 Summer Computer Simulation Conference
Explicit modelling of statechart simulation environments
Proceedings of the 2013 Summer Computer Simulation Conference
Mobile simulation with applications for serious gaming
Proceedings of the 2013 Summer Computer Simulation Conference
Integrated hybrid systems modeling and simulation methodology based on HDEVS formalism
Proceedings of the 2013 Summer Computer Simulation Conference
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Simulation of the smart grid communications: Challenges, techniques, and future trends
Computers and Electrical Engineering
Formal simulation model to optimize building sustainability
Advances in Engineering Software
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Hybrid modeling and simulation for complementing Lifecycle Assessment
Computers and Industrial Engineering
An introduction to Timed Sequential Machines
Simulation
Reasoning about conceptual interoperability of simulations using meta-level graph relations
Intelligent Decision Technologies - Ontology Driven Interoperability for Agile Applications using Information Systems: Requirements and Applications for Agent Mediated Decision Support
Hi-index | 0.01 |
From the Publisher:Although twenty-five years have passed since the first edition of this classical text, the world has seen many advances in modeling and simulation, the need for a widely accepted framework and theoretical foundation is even more necessary today. Methods of modeling and simulation are fragmented across disciplines making it difficult to re-use ideas from other disciplines and work collaboratively in multidisciplinary teams. Model building and simulation has been made easier and faster by riding piggyback on advances in software and hardware. However, difficult and fundamental issues such as model credibility and interoperation have received less attention. These issues are now front and center under the impetus of the High Level Architecture (HLA) standard mandated by the U.S. DoD for all contractors and agencies. This book concentrates on integrating the continuous and discrete paradigms for modeling and simulation. A second major theme is that of distributed simulation and its potential to support the co-existence of multiple formalisms in multiple model components. Prominent throughout are the fundamental concepts of modular and hierarchical model composition.This edition presents a rigorous mathematical foundation for modeling and simulation. Also, it now provides a comprehensive framework for integrating the various simulation approaches employed in practice. Including such popular modeling methods as cellular automata, chaotic systems, hierarchical block diagrams, and Petri nets. A unifying concept, called the DEVS Bus, enables models, as expressed in their native formalisms, to be transparently mapped into the Discrete Event System Specification (DEVS). The book shows how to construct computationally efficient, object-oriented simulations of DEVS models on parallel and distributed environments. If you are doing integrative simulations, whether or not they are HLA compliant, this is the only book available to provide the foundation to understand, simplify and successfully accomplish your task.Herbert Praehofer is an Assistant Professor at the Johannes Kepler University in Linz, Austria. He has over 50 publications in international journals and conference proceedings on Modeling and Computer Simulation, Systems Theory, and Software Engineering.Tag Gon Kim is a Professor of Electrical Engineering at the Korea Advanced Institutes of Science and Technology (KAIST), Taejon, Korea. His research interests include discrete event systems modeling/simulation, computer/communication systems analysis, and object-oriented simulation engineering. He is a senior member of IEEE and SCS, and a member of ACM.* Provides a comprehensive framework for continuous and discrete event modeling and simulation* Explores the mathematical foundation of simulation modeling * Discusses system morphisms for model abstraction and simplification* Presents a new approach to discrete event simulation of continuous processes * Includes parallel and distributed simulation of discrete event models * Presentation of a concept to achieve simulator interoperability in the form of the DEVS-Bus* Complete coverage necessary for compliance with High Level Architecture (HLA) standardsBernard P Zeigler, is a Professor of Electrical & Computer Engineering at the University of Arizona and heads the Artificial Intelligence Simulation Research Group. He is the author of numerous books and publications, and he is the Editor-in-Chief of the Transactions of the Society for Computer Simulation International.