Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms
Journal of the ACM (JACM)
On simulating networks of parallel processes in which simultaneous events may occur
Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Computer Simulation Applications: Discrete-Event Simulation for Synthesis and Analysis of Complex Systems
Principles of Discrete Event Simulation
Principles of Discrete Event Simulation
Simulation with GPSS and Gpssv
Simulation with GPSS and Gpssv
The process view of simulation (Operating and programming systems series)
The process view of simulation (Operating and programming systems series)
A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
A survey of discrete event simulation and state-of-the-art discrete event languages
ACM SIGSIM Simulation Digest
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Structural and behavioral equivalence of simulation models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
AI: what simulationists really need to know
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A history of discrete event simulation programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel discrete event simulation: a modeling methodological perspective
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A comparison of two methods for advancing time in parallel discrete event simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Computational issues for accessibility in discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
State event location in differential-algebraic models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The object flow model for data-based simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
A case study of verification, validation, and accreditation for advanced distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Simulation program development by stepwise refinement in UNITY
WSC '91 Proceedings of the 23rd conference on Winter simulation
The design of interactive simulations
ANSS '85 Proceedings of the 18th annual symposium on Simulation
The implementation of four conceptual frameworks for simulation modeling in high-level languages
WSC '88 Proceedings of the 20th conference on Winter simulation
State event in combined simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
CSIM: a C-based process-oriented simulation language
WSC '86 Proceedings of the 18th conference on Winter simulation
Language assessment criteria for discrete simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
Implementations of time (panel)
WSC '86 Proceedings of the 18th conference on Winter simulation
Using graphs to translate between world views
WSC '87 Proceedings of the 19th conference on Winter simulation
Exploring the forms of model diagnosis in a simulation support environment
WSC '87 Proceedings of the 19th conference on Winter simulation
The control and transformation metric: toward the measurement of simulation model complexity
WSC '87 Proceedings of the 19th conference on Winter simulation
Introduction to process-oriented simulation and CSIM (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Pre-sampling as an approach for exploiting temporal uncertainty
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Redundancy in model specifications for discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Simulation modeling with event graphs
Communications of the ACM
The implementation of temporal intervals in qualitative simulation graphs
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A tutorial view of simulation model development
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Impact of general systems orientation: Present and future
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
WSC '84 Proceedings of the 16th conference on Winter simulation
Asynchronous simulation of some discrete time models
WSC '84 Proceedings of the 16th conference on Winter simulation
Automation of simulation model generation from system specifications
WSC '84 Proceedings of the 16th conference on Winter simulation
Minimizing system models for efficient simulation
ANSS '84 Proceedings of the 17th annual symposium on Simulation
A history of discrete event simulation programming languages
History of programming languages---II
To be, or not to be: is that the question?
ACM SIGSIM Simulation Digest
A tutorial view of simulation model development
ACM SIGSIM Simulation Digest
Characterizations and relationships of world views
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
As simple as possible, but no simpler: a gentle introduction to simulation modeling
Proceedings of the 38th conference on Winter simulation
Fundamentals of simulation modeling
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A formal verification approach for DEVS
Proceedings of the 2007 Summer Computer Simulation Conference
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Multiple worlds in simulation games for spatial decision making: concept and architecture
Proceedings of the 40th Conference on Winter Simulation
DisSimJADE: a framework for the development of agent-based distributed simulation systems
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Simulation modeling for analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS)
jEQN a java-based language for the distributed simulation of queueing networks
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Modeling paradigms for discrete event simulation
Operations Research Letters
From sequential machines to DEVS formalism
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
A brief history of simulation revisited
Proceedings of the Winter Simulation Conference
An approach for loosely coupled discrete event simulation models and animation components
Proceedings of the Winter Simulation Conference
| Hi-index | 0.03 |