Model specification and analysis for discrete event simulation

A specification language to assist in analysis of discrete event simulation models

Communications of the ACM

Structural and behavioral equivalence of simulation models

ACM Transactions on Modeling and Computer Simulation (TOMACS)

The condition specification: revisiting its role within a hierarchy of simulation model specifications

ACM SIGSIM Simulation Digest

Building correct simulation models is difficult

WSC '92 Proceedings of the 24th conference on Winter simulation

Parallel discrete event simulation: a modeling methodological perspective

PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation

Model diagnosis using the condition specification: from conceptualization to implementation

WSC '94 Proceedings of the 26th conference on Winter simulation

Computational issues for accessibility in discrete event simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Simulation model decomposition by factor analysis

WSC '85 Proceedings of the 17th conference on Winter simulation

Redundancy in model representation: a blessing or a curse?

WSC '96 Proceedings of the 28th conference on Winter simulation

Complexity of simulation models: a graph theoretic approach

WSC '93 Proceedings of the 25th conference on Winter simulation

Web-based diagnosis of model specifications

Proceedings of the 30th conference on Winter simulation

Implementations of time (panel)

WSC '86 Proceedings of the 18th conference on Winter simulation

Concurrent simulation: an alternative to distributed simulation

WSC '86 Proceedings of the 18th conference on Winter simulation

Simulation support: prototyping the automation-based paradigm

WSC '87 Proceedings of the 19th 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

Observations on the complexity of composable simulation

Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1

Redundancy in model specifications for discrete event simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Improving the model development process: model testing: is it only a special case of software testing?

Proceedings of the 34th conference on Winter simulation: exploring new frontiers

Characterizations and relationships of world views

WSC '04 Proceedings of the 36th conference on Winter simulation

CS-XML and model understanding

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference

CS-XML and model understanding

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference

Information models for queueing system simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)

ΦDEVS: phase based discrete event modeling

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

Out-of-order execution and structural equivalence of simulation models

Proceedings of the Winter Simulation Conference