skip to main content
Skip header Section
Theory of Modeling and SimulationJanuary 2000
Publisher:
  • Academic Press, Inc.
  • 6277 Sea Harbor Drive Orlando, FL
  • United States
ISBN:978-0-12-778455-7
Published:01 January 2000
Pages:
510
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

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 modelingsimulation, computercommunication 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) standards Bernard 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.

Cited By

  1. Davidson G, Fahlman A, Mereu E, Ruiz Martin C, Wainer G, Dobias P and Rempel M (2024). A methodological approach for modeling the spread of disease using geographical discrete-event spatial models, Simulation, 100:1, (39-70), Online publication date: 1-Jan-2024.
  2. Jamal M and Wainer G Approximate Discrete-Event Method for Supervisory Control Proceedings of the Winter Simulation Conference, (1363-1374)
  3. Fahlman A and Wainer G Seaird Model to Simulate the Impact of Human Behaviors Proceedings of the Winter Simulation Conference, (1172-1183)
  4. Ayadi A, Frydman C, Laddada W, Imbert I, Zanni-Merk C and Soualmia L (2023). Combining DEVS simulation and ontological modeling for hierarchical analysis of the SARS-CoV-2 replication, Simulation, 99:10, (1011-1039), Online publication date: 1-Oct-2023.
  5. Stolpe A, Rummelhoff I and Hannay J (2023). A logic-based event controller for means-end reasoning in simulation environments, Simulation, 99:8, (831-858), Online publication date: 1-Aug-2023.
  6. Trabes G, Wainer G and Gil-Costa V (2023). A Parallel Algorithm to Accelerate DEVS Simulations in Shared Memory Architectures, IEEE Transactions on Parallel and Distributed Systems, 34:5, (1609-1620), Online publication date: 1-May-2023.
  7. Huang Y, Xie X, Cho Y and Verbraeck A (2023). Particle filter–based data assimilation in dynamic data-driven simulation, Simulation, 99:4, (403-415), Online publication date: 1-Apr-2023.
  8. DeBuhr N and Sarjoughian H Cross-Formalism Decomposition of DEVS Coupled Models Proceedings of the Winter Simulation Conference, (2142-2153)
  9. Horner J, Trautrim T, Martin C, Wainer G and Borshchova I Discrete- Event Supervisory Control for the Landing Phase of a Helicopter Flight Proceedings of the Winter Simulation Conference, (441-452)
  10. Stolpe A and Hannay J (2022). Quantifying means-end reasoning skills in simulation-based training, Simulation, 98:10, (933-957), Online publication date: 1-Oct-2022.
  11. Denil J Validity in (Co-) Simulation Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, (193-199)
  12. Zacharewicz G (2022). Generalized discrete event system specification, Simulation, 98:6, (507-517), Online publication date: 1-Jun-2022.
  13. Santucci J and Capocchi L (2022). The legacy of Norbert Giambiasi to the University of Corsica, Simulation, 98:6, (493-506), Online publication date: 1-Jun-2022.
  14. ACM
    Köster T, Warnke T and Uhrmacher A (2022). Generating Fast Specialized Simulators for Stochastic Reaction Networks via Partial Evaluation, ACM Transactions on Modeling and Computer Simulation, 32:2, (1-25), Online publication date: 30-Apr-2022.
  15. Labhishetty S and Zhai C : A Reliability-Aware Tester-Based Evaluation Framework of User Simulators Advances in Information Retrieval, (336-350)
  16. Ozmen O, Nutaro J, Ostvar S, Hur C and Kong C (2022). Tissue scale agent-based simulation of premalignant progressions in Barrett’s esophagus, Simulation, 98:4, (275-284), Online publication date: 1-Apr-2022.
  17. Li K, Wang T, Yu A, Chen J and Luo X (2022). The Influence of Mutual Assistance of Construction Workers with Different Personality Traits on Team Safety, Computational Intelligence and Neuroscience, 2022, Online publication date: 1-Jan-2022.
  18. Trabes G, Gil-Costa V and Wainer G Complexity analysis on flattened PDEVS simulations Proceedings of the Winter Simulation Conference, (1-12)
  19. Paredis R, Denil J and Vangheluwe H Specifying and executing the combination of timed finite state automata and causal-block diagrams by mapping onto DEVS Proceedings of the Winter Simulation Conference, (1-12)
  20. DeBuhr N and Sarjoughian H Model transformation across DEVS and event graph formalisms Proceedings of the Winter Simulation Conference, (1-12)
  21. Mahmood I, Askari S and Sarjoughian H Composability verification of complex systems using colored petri nets Proceedings of the Winter Simulation Conference, (1-11)
  22. Fahlman A, Ruiz-Martin C, Wainer G, Dobias P and Rempel M Extended compartmental model of COVID-19 Proceedings of the 2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications, (1-8)
  23. ACM
    Lohstroh M, Menard C, Bateni S and Lee E (2021). Toward a Lingua Franca for Deterministic Concurrent Systems, ACM Transactions on Embedded Computing Systems, 20:4, (1-27), Online publication date: 31-Jul-2021.
  24. Niyonkuru D and Wainer G (2021). A DEVS-based engine for building digital quadruplets, Simulation, 97:7, (485-506), Online publication date: 1-Jul-2021.
  25. Zhu F and Tang J (2021). Graphical composite modeling and simulation for multi-aircraft collision avoidance, Software and Systems Modeling (SoSyM), 20:3, (821-835), Online publication date: 1-Jun-2021.
  26. ACM
    Ruiz-Martin C, Wainer G and Lopez-Paredes A (2020). Discrete-Event Modeling and Simulation of Diffusion Processes in Multiplex Networks, ACM Transactions on Modeling and Computer Simulation, 31:1, (1-32), Online publication date: 1-Feb-2021.
  27. Kleijnen J and Shi W (2021). Sequential probability ratio tests, Simulation, 97:1, (33-43), Online publication date: 1-Jan-2021.
  28. Mittal S, Kasdaglis N, Harrell L, Wittman R, Gibson J and Rocca D Autonomous and composable M&S system of systems with the simulation, experimentation, analytics and testing (SEAT) framework Proceedings of the Winter Simulation Conference, (2305-2316)
  29. Paredis R, Van Mierlo S and Vangheluwe H Translating process interaction world view models to DEVS Proceedings of the Winter Simulation Conference, (2221-2232)
  30. Martin C, Trabes G and Wainer G A new simulation algorithm for PDEVS models with time advance zero Proceedings of the Winter Simulation Conference, (2208-2220)
  31. McLaughlin M and Sarjoughian H DEVS-scripting Proceedings of the Winter Simulation Conference, (2196-2207)
  32. Cárdenas R, Henares K, Arroba P, Wainer G and Risco-Martín J A DEVS simulation algorithm based on shared memory for enhancing performance Proceedings of the Winter Simulation Conference, (2184-2195)
  33. Trabes G, Costa V and Wainer G Energy efficiency evaluation of parallel execution of devs models in multicore architectures Proceedings of the Winter Simulation Conference, (2173-2183)
  34. Van Tendeloo Y, Paredis R and Vangheluwe H An introduction to modular modeling and simulation with pythonpDEVS and the building-block library pythonpDEVS-BBL Proceedings of the Winter Simulation Conference, (1152-1166)
  35. Al-Habashna A and Wainer G RSSI-based indoor localization with LTE-A ultra-dense networks Proceedings of the 2020 Summer Simulation Conference, (1-7)
  36. Koné Y, Maïga O and Traoré M Using hills as a common concrete syntax for ses and devs Proceedings of the 2020 Summer Simulation Conference, (1-11)
  37. Henares K, Risco-Martín J, Ayala J and Hermida R Unit testing platform to verify devs models Proceedings of the 2020 Summer Simulation Conference, (1-11)
  38. Heinzl B and Kastner W A general variable neighborhood search for simulation-based energy-aware flow shop scheduling Proceedings of the 2020 Summer Simulation Conference, (1-12)
  39. Idda C, Innocenti E, Prunetti D and Gonsolin P Agent-based multicomponent spatial simulation of a fishery Proceedings of the 2020 Summer Simulation Conference, (1-12)
  40. Zhu Z and Lei Y Model & data hybrid driven smart modeling for combat systems Proceedings of the 2020 Summer Simulation Conference, (1-12)
  41. Ricci A, Croatti A, Bordini R, Hübner J and Boissier O Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach Engineering Multi-Agent Systems, (42-60)
  42. Boi-Ukeme J and Wainer G A framework for the extension of DEVS with sensor fusion capabilities Proceedings of the 2020 Spring Simulation Conference, (1-12)
  43. Lanuza J, Trabes G and Wainer G Parallel execution of DEVS in shared-memory multicore architectures Proceedings of the 2020 Spring Simulation Conference, (1-11)
  44. Lee J, Kang S, Jeon J, Chun I and Darsena D (2020). Multiaccess Edge Computing-Based Simulation as a Service for 5G Mobile Applications, Wireless Communications & Mobile Computing, 2020, Online publication date: 1-Jan-2020.
  45. Reinhardt O, Uhrmacher A, Hinsch M and Bijak J Developing agent-based migration models in pairs Proceedings of the Winter Simulation Conference, (2713-2724)
  46. Vicino D, Wainer G and Trabes G Investigation of versatile datatypes for representing time in discrete event simulation Proceedings of the Winter Simulation Conference, (2701-2712)
  47. Van Mierlo S, Vangheluwe H and Denil J The fundamentals of domain-specific simulation language engineering Proceedings of the Winter Simulation Conference, (1482-1494)
  48. Shin S, Kang A, Kim D, Lee J, Bae J and Moon I (2019). Improving counterfire operations with enhanced command and control structure, Computational & Mathematical Organization Theory, 25:4, (464-498), Online publication date: 1-Dec-2019.
  49. Cvetković M, Gusain D and Palensky P Cossembler - Rapid Prototyping Tool for Energy System Co-simulations IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, (2138-2143)
  50. ACM
    Hu X and Wu P (2019). A Data Assimilation Framework for Discrete Event Simulations, ACM Transactions on Modeling and Computer Simulation, 29:3, (1-26), Online publication date: 31-Jul-2019.
  51. Cremona F, Lohstroh M, Broman D, Lee E, Masin M and Tripakis S (2019). Hybrid co-simulation, Software and Systems Modeling (SoSyM), 18:3, (1655-1679), Online publication date: 1-Jun-2019.
  52. ACM
    Gomes C, Thule C, Broman D, Larsen P and Vangheluwe H (2018). Co-Simulation, ACM Computing Surveys, 51:3, (1-33), Online publication date: 31-May-2019.
  53. Bouanan Y, Zacharewicz G, Ribault J and Vallespir B (2020). Discrete Event System Specification-based framework for modeling and simulation of propagation phenomena in social networks, Simulation, 95:5, (411-427), Online publication date: 1-May-2019.
  54. Earle B, Bjornson K, Boi-Ukeme J and Wainer G Design and implementation of a building control system in real-time DEVS Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  55. Al-Habashna A, Ruiz-Martin C and Wainer G Analyzing the impact of quantum size on the accuracy and performance of Cell-DEVS fire models Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  56. Henares K, Risco-Martín J and Zapater M Definition of a transparent constraint-based modeling and simulation layer for the management of complex systems Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  57. Long Y, Hu X and Wu P Data assimilation using spatial partition-based particle filtering for freeway traffic simulation Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  58. Ruiz-Martin C, Al-Habashna A, Wainer G and Belloli L Control of a quadcopter application with DEVS Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  59. Bosmans S, Mercelis S, Hellinckx P and Denil J Reducing computational cost of large-scale simulations using opportunistic model approximation Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  60. Schaumann D, Moon S, Usman M, Goldstein R, Breslav S, Khan A, Faloutsos P and Kapadia M Toward a multi-level and multi-paradigm platform for building occupant simulation Proceedings of the Symposium on Simulation for Architecture and Urban Design, (1-8)
  61. Shen Y, Wang X and Wu Z Asynchronous Lebesgue Approximation Model for Distributed Continuous-Time Nonlinear Systems 2018 IEEE Conference on Decision and Control (CDC), (3928-3933)
  62. Ceresoli J and Kuhl M A simulation framework for the design and analysis of healthcare clinics Proceedings of the 2018 Winter Simulation Conference, (2636-2645)
  63. Wainer G, Ruiz-Martín C and Castro R Building partial differential equations models using cell-devs Proceedings of the 2018 Winter Simulation Conference, (1382-1393)
  64. Barros F Modular simulation of 2nd-order energy preserving systems Proceedings of the 2018 Winter Simulation Conference, (1310-1321)
  65. Marcosig E, Giribet J and Castro R DEVS-over-ROS (DoveR) Proceedings of the 2018 Winter Simulation Conference, (1250-1261)
  66. Bae J, Paik E, Kang D, Jung J and Lee C Simulation framework for self-evolving agent-based models Proceedings of the 2018 Winter Simulation Conference, (1120-1131)
  67. Dávid I, Vangheluwe H and Van Tendeloo Y Translating engineering workflow models to DEVS for performance evaluation Proceedings of the 2018 Winter Simulation Conference, (616-627)
  68. Goldstein R, Breslav S and Khan A A symmetric formalism for discrete event simulation with agents Proceedings of the 2018 Winter Simulation Conference, (584-595)
  69. Quraishi M, Sarjoughian H and Gholami S Co-simulation of hardware RTL and software system using FMI Proceedings of the 2018 Winter Simulation Conference, (572-583)
  70. Blas M, Gonnet S, Leone H and Zeigler B A conceptual framework to classify the extensions of DEVS formalism as variants and subclasses Proceedings of the 2018 Winter Simulation Conference, (560-571)
  71. Wainer G, Goldstein R and Khan A Introduction to the discrete event system specification formalism and its application for modeling and simulating cyber-physical systems Proceedings of the 2018 Winter Simulation Conference, (177-191)
  72. Van Tendeloo Y and Vangheluwe H Discrete event system specification modeling and simulation Proceedings of the 2018 Winter Simulation Conference, (162-176)
  73. Camus B, Paris T, Vaubourg J, Presse Y, Bourjot C, Ciarletta L and Chevrier V (2018). Co-simulation of cyber-physical systems using a DEVS wrapping strategy in the MECSYCO middleware, Simulation, 94:12, (1099-1127), Online publication date: 1-Dec-2018.
  74. Cleaveland R Programming Is Modeling Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (150-161)
  75. Furfaro A and Sacco L Exploiting adaptive ladder queue into repast simulation platform Proceedings of the 22nd International Symposium on Distributed Simulation and Real Time Applications, (173-179)
  76. Michel C and Siron P Delay-based distribution and optimization of a simulation model Proceedings of the 22nd International Symposium on Distributed Simulation and Real Time Applications, (21-28)
  77. ACM
    Thaler J, Altenkirch T and Siebers P Pure Functional Epidemics Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, (1-12)
  78. ACM
    Lin M and Yao Y Modeling framework of general simulation model based on model template Proceedings of the 1st International Conference on Information Management and Management Science, (223-227)
  79. Jo H and Choi C Hierarchical Modeling Framework for ICT Application to Measure the User Experience Design, User Experience, and Usability: Theory and Practice, (417-428)
  80. Paris T, Ciarletta L and Chevrier V A component approach for DEVS Proceedings of the 50th Computer Simulation Conference, (1-12)
  81. Franceschini R, Bisgambiglia P and Hill D Reproducibility study of a PDEVS model application to fire spreading Proceedings of the 50th Computer Simulation Conference, (1-11)
  82. Yacoub A, Nicolescu G, Hamri M and Frydman C Towards using DEVS for modelling adaptive storytelling in virtual games Proceedings of the 50th Computer Simulation Conference, (1-12)
  83. Diouf F and Seck M Use of the stochastic collocation method in discrete event simulations Proceedings of the 50th Computer Simulation Conference, (1-11)
  84. Behl A, Wainer G and Ruiz-Martin C Cell-DEVS Proceedings of the 50th Computer Simulation Conference, (1-12)
  85. Henares K, Pagán J, Ayala J and Risco-Martín J Advanced migraine prediction hardware system Proceedings of the 50th Computer Simulation Conference, (1-12)
  86. Van Tendeloo Y and Vangheluwe H DEVS modelling and simulation of a multi-paradigm modelling tool Proceedings of the 50th Computer Simulation Conference, (1-12)
  87. Němcová Z and Gavalec M Applications of Extremal Algebras and Fuzzy Logic 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-6)
  88. ACM
    Oyelowo I, Artacho B, O'Young S and Wainer G Using cell-DEVS for prototyping unmanned aircraft system traffic simulation Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-12)
  89. ACM
    Nutaro J and Zeigler B Towards a theory of economic value for modeling and simulation Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-11)
  90. ACM
    Martelloni P, Quesnel G, Innocenti E, Bisgambiglia P, Gonsolin P and Bisgambiglia P Component-based simulation for spatial complex systems in VLE environment Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-12)
  91. ACM
    Zeigler B Closure under coupling Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-6)
  92. ACM
    Alshareef A and Sarjoughian H Parallelism semantics in modeling activities Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-12)
  93. ACM
    Bosmans S, Mercelis S, Hellinckx P and Denil J Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip) Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-8)
  94. ACM
    Barros F Handling overlapping collisions Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, (1-12)
  95. Jurczuk K, Kretowski M and Bezy-Wendling J (2018). GPU-based computational modeling of magnetic resonance imaging of vascular structures, International Journal of High Performance Computing Applications, 32:4, (496-511), Online publication date: 1-Jul-2018.
  96. ACM
    Bădică A, Bădică C, Buligiu I and Ciora L DEVS Modeling and Simulation Using BDI Agents Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, (1-8)
  97. Al-Habashna A and Wainer G (2018). Improving Video Transmission in Cellular Networks with Cached and Segmented Video Download Algorithms, Mobile Networks and Applications, 23:3, (543-559), Online publication date: 1-Jun-2018.
  98. ACM
    Furfaro A and Sacco L Adaptive Ladder Queue Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (101-104)
  99. ACM
    Ruiz-Martin C, Wainer G and Lopez-Paredes A Formal Abstract Modeling of Dynamic Multiplex Networks Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (61-72)
  100. Zeigler B, Mittal S and Traore M Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systems Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems, (1-12)
  101. Pérez-Vilarelle L, Risco-Martín J and Ayala J Modeling and simulation of wind energy production in the smart-grid scenario Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems, (1-12)
  102. Van Tendeloo Y and Vangheluwe H Introduction to parallel DEVS modelling and simulation Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, (1-12)
  103. Alshareef A and Sarjoughian H Model-driven time-accurate DEVS-based approaches for CPS design Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, (1-12)
  104. Van Mierlo S, Van Tendeloo Y, Dávid I, Meyers B, Gebremichael A and Vangheluwe H A multi-paradigm approach for modelling service interactions in model-driven engineering processes Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, (1-12)
  105. Deatcu C, Folkerts H, Pawletta T and Durak U Design patterns for variability modeling using SES ontology Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, (1-12)
  106. Wichmann A, Maschotta R, Bedini F and Zimmermann A A workflow for the design of optimized system architectures using model-driven optimization Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, (1-12)
  107. Kazi B and Wainer G Handover oscillation reduction in ultra-dense heterogeneous cellular networks using enhanced handover approach Proceedings of the Communications and Networking Symposium, (1-12)
  108. Al-Habashna A, Fernandes S and Wainer G Analyzing the effect of LTE-A transmission parameters on video streaming quality of experience Proceedings of the Communications and Networking Symposium, (1-12)
  109. Oyelowo I, Artacho B, O'Young S and Wainer G Using cell-DEVS for prototyping unmanned aircraft system traffic simulation Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  110. Nutaro J and Zeigler B Towards a theory of economic value for modeling and simulation Proceedings of the Theory of Modeling and Simulation Symposium, (1-11)
  111. Martelloni P, Quesnel G, Innocenti E, Bisgambiglia P, Gonsolin P and Bisgambiglia P Component-based simulation for spatial complex systems in VLE environment Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  112. Zeigler B Closure under coupling Proceedings of the Theory of Modeling and Simulation Symposium, (1-6)
  113. Alshareef A and Sarjoughian H Parallelism semantics in modeling activities Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  114. Bosmans S, Mercelis S, Hellinckx P and Denil J Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip) Proceedings of the Theory of Modeling and Simulation Symposium, (1-8)
  115. Barros F Handling overlapping collisions Proceedings of the Theory of Modeling and Simulation Symposium, (1-12)
  116. Tolk A, Page E and Mittal S Hybrid simulation for cyber physical systems Proceedings of the Annual Simulation Symposium, (1-12)
  117. Barros F (2018). Modular representation of asynchronous geometric integrators with support for dynamic topology, Simulation, 94:3, (259-274), Online publication date: 1-Mar-2018.
  118. Kazi B and Wainer G (2018). Integrated cellular framework for modeling ecosystems, Simulation, 94:3, (213-233), Online publication date: 1-Mar-2018.
  119. Alvarado M, Cotton T, Ntaimo L, Pérez E and Carpentier W (2018). Modeling and simulation of oncology clinic operations in discrete event system specification, Simulation, 94:2, (105-121), Online publication date: 1-Feb-2018.
  120. Robert M, Thomas A, Sekhar M, Raynal H, Casellas r, Casel P, Chabrier P, Joannon A and Bergez J (2018). A dynamic model for water management at the farm level integrating strategic, tactical and operational decisions, Environmental Modelling & Software, 100:C, (123-135), Online publication date: 1-Feb-2018.
  121. ACM
    Yao F, Yao Y, Bao S, Bao Y and Zhang X An Integration Architecture Based on Event Graph for PDES Application Development Proceedings of the 2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences, (250-256)
  122. Wang Y, Zacharewicz G, Traoré M and Chen D (2018). An integrative approach to simulation model discovery, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 34:1, (477-490), Online publication date: 1-Jan-2018.
  123. Mirz M, Razik L, Dinkelbach J, Tokel H, Alirezaei G, Mathar R, Monti A and Soares J (2018). A Cosimulation Architecture for Power System, Communication, and Market in the Smart Grid, Complexity, 2018, Online publication date: 1-Jan-2018.
  124. Foures D, Franceschini R, Bisgambiglia P and Zeigler B (2018). multiPDEVS, Complexity, 2018, (11), Online publication date: 1-Jan-2018.
  125. Akbulut A, Abke S and Laroque C Automated model verification using an equivalence test on a reference model Proceedings of the 2017 Winter Simulation Conference, (1-10)
  126. Zhou C, Lee L, Chew E and Li H A modularized simulation for traffic network in container terminals via network of servers with dynamic rates Proceedings of the 2017 Winter Simulation Conference, (1-12)
  127. Wang Y, Zacharewicz G, Traoré M and Chen D A tool for mining discrete event simulation model Proceedings of the 2017 Winter Simulation Conference, (1-12)
  128. Li H, Fu X, Yin X, Pedrielli G and Lee L Optimal design of master-worker architecture for parallelized simulation optimization Proceedings of the 2017 Winter Simulation Conference, (1-11)
  129. Marcosig E, Giribet J and Castro R Hybrid adaptive control for UAV data collection Proceedings of the 2017 Winter Simulation Conference, (1-12)
  130. Viana J, Ziener V, Holhjem M, Ponton I, Thøgersen L and Simonsen T Optimizing home hospital health service delivery in norway using a combined geographical information system, agent based, discrete event simulation model Proceedings of the 2017 Winter Simulation Conference, (1-12)
  131. Kessler C, Capocchi L, Zeigler B and Santucci J Generic architecture for interactive mobile simulation of parallel devs models Proceedings of the 2017 Winter Simulation Conference, (1-12)
  132. Lorig F, Lebherz D, Berndt J and Timm I HYpothesis-driven experiment design in computer simulation studies Proceedings of the 2017 Winter Simulation Conference, (1-12)
  133. Laurito A, Bonaventura M, Astigarraga M and Castro R Topogen Proceedings of the 2017 Winter Simulation Conference, (1-12)
  134. Kessler C, Capocchi L, Santucci J and Zeigler B Hierarchical markov decision process based on devs formalism Proceedings of the 2017 Winter Simulation Conference, (1-12)
  135. Blas M, Gonnet S and Leone H Routing structure over discrete event system specification Proceedings of the 2017 Winter Simulation Conference, (1-12)
  136. Wagner G An abstract state machine semantics for discrete event simulation Proceedings of the 2017 Winter Simulation Conference, (1-12)
  137. Sarjoughian H Restraining complexity and scale traits for component-based simulation models Proceedings of the 2017 Winter Simulation Conference, (1-15)
  138. Van Tendeloo Y and Vangheluwe H Classic devs modelling and simulation Proceedings of the 2017 Winter Simulation Conference, (1-15)
  139. Robinson S A tutorial on simulation conceptual modeling Proceedings of the 2017 Winter Simulation Conference, (1-15)
  140. Van Tendeloo Y and Vangheluwe H (2017). Increasing the performance of a Discrete Event System Specification simulator by means of computational resource usage źactivityź models, Simulation, 93:12, (1045-1061), Online publication date: 1-Dec-2017.
  141. ACM
    Hafner I and Popper N On the terminology and structuring of co-simulation methods Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, (67-76)
  142. Deschamps H, Cappello G, Cardoso J and Siron P Toward a formalism to study the scheduling of cyber-physical systems simulations Proceedings of the 21st International Symposium on Distributed Simulation and Real Time Applications, (59-66)
  143. Bae J, Nam B, Kim K, Lee J and Moon I Hybrid modeling and simulation of tactical maneuvers in computer generated force 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), (942-947)
  144. Nam S and Cho T (2017). Context-Aware Architecture for Probabilistic Voting-based Filtering Scheme in Sensor Networks, IEEE Transactions on Mobile Computing, 16:10, (2751-2763), Online publication date: 1-Oct-2017.
  145. ACM
    Zhang C and Sarjoughian H Cellular Automata DEVS Proceedings of the 10th EAI International Conference on Simulation Tools and Techniques, (11-19)
  146. Ayadi A, de Beuvron F, Zanni-Merk C and Krichen S (2017). CBNSimulator, Procedia Computer Science, 112:C, (514-523), Online publication date: 1-Sep-2017.
  147. Jebbar O, Khendek F and Toeroe M Upgrade of Highly Available Systems: Formal Methods at the Rescue 2017 IEEE International Conference on Information Reuse and Integration (IRI), (270-274)
  148. Deng W and Qiu D (2017). State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems, IEEE Transactions on Fuzzy Systems, 25:4, (854-867), Online publication date: 1-Aug-2017.
  149. Pääkkönen T, Kekäläinen J, Keskustalo H, Azzopardi L, Maxwell D and Järvelin K (2017). Validating simulated interaction for retrieval evaluation, Information Retrieval, 20:4, (338-362), Online publication date: 1-Aug-2017.
  150. Penas I, Zapater M, Risco-Martín J and Ayala J SFIDE Proceedings of the Summer Simulation Multi-Conference, (1-12)
  151. Pagán J, Moya J, Risco-Martín J and Ayala J Advanced migraine prediction simulation system Proceedings of the Summer Simulation Multi-Conference, (1-12)
  152. Damodaran S and Mittal S Controlled environments for cyber risk assessment of cyber-physical systems Proceedings of the Summer Simulation Multi-Conference, (1-12)
  153. Bisgambiglia P, Innocenti E and Gonsolin P A new way to use fuzzy inference systems in activity-based cellular modeling simulations 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-6)
  154. Ajit S, Holmes C, Johnson J, Kolovos D and Paige R (2017). Model-based tool support for Tactical Data Links, Software and Systems Modeling (SoSyM), 16:2, (559-586), Online publication date: 1-May-2017.
  155. Lorig F, Becker C and Timm I Formal specification of hypotheses for assisting computer simulation studies Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  156. Vicino D, Wainer G and Dalle O An abstract discrete-event simulator considering input with uncertainty Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  157. Damodaran S and Mittal S Modeling cyber effects in cyber-physical systems with DEVS Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  158. Barros F Chattering avoidance in hybrid simulation models Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  159. Yacoub A, Hamri M and Frydman C Restricting DEv-PROMELA with a hierarchy of simulation formalisms Proceedings of the Symposium on Theory of Modeling & Simulation, (1-11)
  160. Wang Y, Wang X and Traoré M Social interaction in pedestrian evacuation Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  161. Jebbar O, Khendek F and Toeroe M Upgrade campaign simulation and evaluation for highly available systems Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  162. Denil J, Klikovits S, Mosterman P, Vallecillo A and Vangheluwe H The experiment model and validity frame in M&S Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  163. Goldstein R and Khan A A taxonomy of event time representations Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  164. Deatcu C, Freymann B and Pawletta T PDEVS-based hybrid system simulation toolbox for MATLAB Proceedings of the Symposium on Theory of Modeling & Simulation, (1-12)
  165. Klinger V, Bohlmann S and Szczerbicka H Identification of motion-based action potentials in neural bundles using a continuous symbiotic system Proceedings of the Symposium on Modeling and Simulation in Medicine, (1-12)
  166. Zeigler B Emergence of human language Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems, (1-9)
  167. Bohlmann S, Klinger V and Szczerbicka H Integration of a physical system, machine learning, simulation, validation and control systems towards symbiotic model engineering Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems, (1-12)
  168. Alshareef A and Sarjoughian H DEVS specification for modeling and simulation of the UML activities Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, (1-12)
  169. Durak U, Pawletta T, Oguztuzun H and Zeigler B System entity structure and model base framework in model based engineering of simulations for technical systems Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, (1-10)
  170. Kazi B and Wainer G Formal modeling and simulation to analyze the dynamics of malware propagation in networks using cell-DEVS Proceedings of the 20th Communications & Networking Symposium, (1-12)
  171. Al-Habashna A and Wainer G DEVS-based modeling of cached and segmented video download algorithms in LTE-A cellular networks Proceedings of the 20th Communications & Networking Symposium, (1-12)
  172. Kazi B, Wainer G and da Silva V Modeling and simulation of user mobility and handover in LTE and beyond mobile networks using DEVS formalism Proceedings of the 20th Communications & Networking Symposium, (1-12)
  173. Tolk A Bias ex silico Proceedings of the 50th Annual Simulation Symposium, (1-9)
  174. Sbayou M, Bouanan Y, Zacharewicz G, Ribault J and François J Devs modelling and simulation for healthcare process application for hospital emergency department Proceedings of the 50th Annual Simulation Symposium, (1-12)
  175. ACM
    Garrido J Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects Proceedings of the SouthEast Conference, (81-87)
  176. Zhang X and Mahadevan S (2017). Aircraft re-routing optimization and performance assessment underuncertainty, Decision Support Systems, 96:C, (67-82), Online publication date: 1-Apr-2017.
  177. Van Tendeloo Y and Vangheluwe H (2017). An evaluation of DEVS simulation tools, Simulation, 93:2, (103-121), Online publication date: 1-Feb-2017.
  178. ACM
    Veeke H, Ottjes J and Lodewijks G Model Design for Agent-based Simulation Proceedings of the 8th International Conference on Computer Modeling and Simulation, (42-46)
  179. Capocchi L, Kessler C and Santucci J Discrete-event modeling and simulation of ubiquitous systems with devsimpy environement and DEVSimPy-mob mobile application Proceedings of the 2016 Winter Simulation Conference, (3716-3717)
  180. Ko S, Yun W and Lee T Modeling and simulation-based analysis of effectiveness of tactical level chemical defense operations Proceedings of the 2016 Winter Simulation Conference, (3098-3109)
  181. Lee T, Shin K, Lee H, Lee H, Sung I, Lee J, Moon I and Bae J Characterizing emergency responses in localities with different social infrastructures using EMSSim Proceedings of the 2016 Winter Simulation Conference, (1926-1937)
  182. Barros F On the representation of time in modeling & simulation Proceedings of the 2016 Winter Simulation Conference, (1571-1582)
  183. Fishwick P Learning simulation models through physical objects Proceedings of the 2016 Winter Simulation Conference, (1559-1570)
  184. Arisha A and Rashwan W Modeling of healthcare systems Proceedings of the 2016 Winter Simulation Conference, (1523-1534)
  185. Gholami S and Sarjoughian H Multi-resolution co-design modeling Proceedings of the 2016 Winter Simulation Conference, (1499-1510)
  186. Rand-Hendriksen K, Viana J, Barra M and Dahl F Conflicts or synergy when combining modeling approaches Proceedings of the 2016 Winter Simulation Conference, (1463-1474)
  187. Viana J, Rand-Hendriksen K, Simonsen T, Barra M and Dahl F Do hybrid simulation models always increase flexibility to handle parametric and structural changes? Proceedings of the 2016 Winter Simulation Conference, (1439-1450)
  188. Roemer A and Strassburger S A review of literature on simulation-based optimization of the energy efficiency in production Proceedings of the 2016 Winter Simulation Conference, (1416-1427)
  189. Fakhimi M, Stergioulas L and Mustafee N Modelling for the triple-bottom line Proceedings of the 2016 Winter Simulation Conference, (1404-1415)
  190. Ruiz-Martin C, Wainer G, Bouanan Y, Zacharewicz G and Paredes A A hybrid approach to study communication in emergency plans Proceedings of the 2016 Winter Simulation Conference, (1376-1387)
  191. Warnke T, Reinhardt O and Uhrmacher A Population-based CTMCS and agent-based models Proceedings of the 2016 Winter Simulation Conference, (1253-1264)
  192. Singh D, Padgham L and Logan B (2016). Integrating BDI Agents with Agent-Based Simulation Platforms, Autonomous Agents and Multi-Agent Systems, 30:6, (1050-1071), Online publication date: 1-Nov-2016.
  193. ACM
    Das N, Ganesan S, Jweda L, Bagherzadeh M, Hili N and Dingel J Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (36-43)
  194. Cicirelli F and Nigro L (2016). Control centric framework for model continuity in time-dependent multi-agent systems, Concurrency and Computation: Practice & Experience, 28:12, (3333-3356), Online publication date: 25-Aug-2016.
  195. Jafer S and Lawler R (2016). Emergency crowd evacuation modeling and simulation framework with cellular discrete event systems, Simulation, 92:8, (795-817), Online publication date: 1-Aug-2016.
  196. Santucci J, Capocchi L and Zeigler B (2016). System entity structure extension to integrate abstraction hierarchies and time granularity into DEVS modeling and simulation, Simulation, 92:8, (747-769), Online publication date: 1-Aug-2016.
  197. D'Ambrogio A and Zacharewicz G Resource-based modeling and simulation of business processes Proceedings of the Summer Computer Simulation Conference, (1-8)
  198. Choi S, Lee J, Lee S, Yoo H, Koo J and Kim T 6 dof aircraft simulation model capable of handling maneuver events (WIP) Proceedings of the Summer Computer Simulation Conference, (1-6)
  199. Risco-Martín J, Mittal S, Fabero J, Malagón P and Ayala J Real-time hardware/software co-design using devs-based transparent M&S framework Proceedings of the Summer Computer Simulation Conference, (1-8)
  200. Mittal S and Risco-Martín J DEVSML studio Proceedings of the Summer Computer Simulation Conference, (1-8)
  201. Inostrosa-Psijas A, Gil-Costa V, Wainer G and Marín M Formal verification of DEVS simulation Proceedings of the Summer Computer Simulation Conference, (1-8)
  202. Driouche N, Hamri M and Giambiasi N Second order GDEVS abstraction of electronic circuits Proceedings of the Summer Computer Simulation Conference, (1-7)
  203. Hesham O and Wainer G Centroidal particles for interactive crowd simulation Proceedings of the Summer Computer Simulation Conference, (1-8)
  204. ACM
    Shahbazian A, Edwards G and Medvidovic N An end-to-end domain specific modeling and analysis platform Proceedings of the 8th International Workshop on Modeling in Software Engineering, (8-12)
  205. ACM
    Bae J, Bae S, Moon I and Kim T (2016). Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models, ACM Transactions on Modeling and Computer Simulation, 26:4, (1-25), Online publication date: 2-May-2016.
  206. Bonaventura M, Foguelman D and Castro R (2016). Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network, Computing in Science and Engineering, 18:3, (70-83), Online publication date: 1-May-2016.
  207. ACM
    Sanz V and Urquia A Modelica extensions for supporting message passing communication and dynamic data structures Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, (3-6)
  208. Mustafiz S, Gomes C, Barroca B and Vangheluwe H Modular design of hybrid languages by explicit modeling of semantic adaptation Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  209. Aliyu H and Traoré M Integrated framework for model-driven systems engineering Proceedings of the Symposium on Theory of Modeling & Simulation, (1-9)
  210. Barros F A modular representation of asynchronous, geometric solvers Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  211. Alshareef A, Sarjoughian H and Zarrin B An approach for activity-based DEVS model specification Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  212. Vicino D, Dalle O and Wainer G An advanced data type with irrational numbers to implement time in DEVS simulators Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  213. de Mello B and Wainer G Scheduling predictability in I-DEVS by schedulability analysis Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  214. Niyonkuru D and Wainer G A kernel for embedded systems development and simulation using the boost library Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  215. Saadawi H, Wainer G and Pliego G DEVS execution acceleration with machine learning Proceedings of the Symposium on Theory of Modeling & Simulation, (1-6)
  216. Ponnusamy S, Albert V and Thebault P Simulation fidelity distance Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  217. Camus B, Galtier V, Caujolle M, Chevrier V, Vaubourg J, Ciarletta L and Bourjot C Hybrid co-simulation of FMUs using DEV&DESS in MECSYCO Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  218. Van Tendeloo Y and Vangheluwe H Teaching the fundamentals of the modelling of cyber-physical systems Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  219. Cardoen B, Manhaeve S, Tuijn T, Van Tendeloo Y, Vanmechelen K, Vangheluwe H and Broeckhove J Performance analysis of a PDEVS simulator supporting multiple synchronization protocols Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  220. Goldstein R, Breslav S and Khan A DesignDEVS Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  221. Goldstein R, Breslav S and Khan A A quantum of continuous simulated time Proceedings of the Symposium on Theory of Modeling & Simulation, (1-8)
  222. Vaubourg J, Chevrier V and Ciarletta L Co-simulation of IP network models in the Cyber-Physical systems context, using a DEVS-based platform Proceedings of the 19th Communications & Networking Symposium, (1-8)
  223. Zeigler B and Muzy A Some modeling & simulation perspectives on emergence in system-of-systems Proceedings of the Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation for Planetary Space Exploration (SPACE 2016), (1-4)
  224. Bouanan Y, Zacharewicz G, Vallespir B, Ribault J and Diallo S DEVS based network Proceedings of the Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation for Planetary Space Exploration (SPACE 2016), (1-8)
  225. Mokadem M, Atmani B and Boularas A DevsServer Proceedings of the Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation for Planetary Space Exploration (SPACE 2016), (1-10)
  226. Stier C and Groenda H Ensuring model continuity when simulating self-adaptive software systems Proceedings of the Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation for Planetary Space Exploration (SPACE 2016), (1-8)
  227. Pawletta T, Schmidt A, Zeigler B and Durak U Extended variability modeling using system entity structure ontology within MATLAB/Simulink Proceedings of the 49th Annual Simulation Symposium, (1-8)
  228. Tolk A, Dandashi F, Haberlin R and Chin S Immersive visualization and course-of-action simulation Proceedings of the 49th Annual Simulation Symposium, (1-8)
  229. Paris T, Tan A, Chevrier V and Ciarletta L Study about decomposition and integration of continuous systems in discrete environment Proceedings of the 49th Annual Simulation Symposium, (1-8)
  230. Al-Habashna A, Wainer G, Boudreau G and Casselman R Cached and segmented video download for wireless video transmission Proceedings of the 49th Annual Simulation Symposium, (1-8)
  231. Gu F, Syeda R and Ai C Geo-referenced image data assimilation for wildfire spread simulation Proceedings of the 49th Annual Simulation Symposium, (1-8)
  232. Al-Habashna A and Wainer G (2016). Modeling pedestrian behavior with Cell-DEVS, Simulation, 92:2, (117-139), Online publication date: 1-Feb-2016.
  233. Wainer G and Fern$#225;ndez J (2016). Modelling and simulation of complex cellular models using Cell-DEVS, Simulation, 92:2, (101-115), Online publication date: 1-Feb-2016.
  234. Bai F, Gu F, Hu X and Guo S (2016). Particle Routing in Distributed Particle Filters for Large-Scale Spatial Temporal Systems, IEEE Transactions on Parallel and Distributed Systems, 27:2, (481-493), Online publication date: 1-Feb-2016.
  235. ACM
    Steiniger A and Uhrmacher A (2016). Intensional Couplings in Variable-Structure Models, ACM Transactions on Modeling and Computer Simulation, 26:2, (1-27), Online publication date: 28-Jan-2016.
  236. Bergero F, Fern$#225;ndez J, Kofman E and Portapila M (2016). Time discretization versus state quantization in the simulation of a one-dimensional advection-diffusion-reaction equation, Simulation, 92:1, (47-61), Online publication date: 1-Jan-2016.
  237. ACM
    Helms T, Ewald R, Rybacki S and Uhrmacher A (2015). Automatic Runtime Adaptation for Component-Based Simulation Algorithms, ACM Transactions on Modeling and Computer Simulation, 26:1, (1-24), Online publication date: 28-Dec-2016.
  238. Hofmann M Limits of empirical validation Proceedings of the 2015 Winter Simulation Conference, (4069-4080)
  239. Aliyu H and Traoré M Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models Proceedings of the 2015 Winter Simulation Conference, (3090-3091)
  240. Robinson S, Arbez G, Birta L, Tolk A and Wagner G Conceptual modeling Proceedings of the 2015 Winter Simulation Conference, (2812-2826)
  241. Sorge A, Manik D, Herminghaus S and Timme M Towards a unifying framework for demand-driven directed transport (D3T) Proceedings of the 2015 Winter Simulation Conference, (2800-2811)
  242. Warnke T, Steiniger A, Uhrmacher A, Klabunde A and Willekens F ML3 Proceedings of the 2015 Winter Simulation Conference, (2764-2775)
  243. Timm I and Lorig F A survey on methodological aspects of computer simulation as research technique Proceedings of the 2015 Winter Simulation Conference, (2704-2715)
  244. Dandashi F, Lakshminarayan V and Schult N Multiformalism, multiresolution, multiscale modeling Proceedings of the 2015 Winter Simulation Conference, (2622-2631)
  245. Sargent R An introductory tutorial on verification and validation of simulation models Proceedings of the 2015 Winter Simulation Conference, (1729-1740)
  246. Moon I, Bae J, Lee J, Kim D, Lee H, Lee T, Cha W, Kim J and Kim G EMSSIM Proceedings of the 2015 Winter Simulation Conference, (1272-1284)
  247. Wainer G Devs modelling and simulation for development of embedded systems Proceedings of the 2015 Winter Simulation Conference, (73-87)
  248. ACM
    Stoffers M, Sehy T, Gross J and Wehrle K Data Dependency based Parallel Simulation of Wireless Networks Proceedings of the 18th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, (291-300)
  249. Goldstein R and Wainer G (2015). Designing Biological Simulation Models Using Formalism-Based Functional and Spatial Decompositions, Computing in Science and Engineering, 17:6, (72-82), Online publication date: 1-Nov-2015.
  250. Wang S and Wainer G A Mashup Architecture with Modeling and Simulation as a Service Proceedings, Part I, of the 16th International Conference on Web Information Systems Engineering --- WISE 2015 - Volume 9418, (247-261)
  251. Li X, Wang W, Zhu N, He H, Lei Y and Li X A state-centered multi-formalism behavioral modeling method for combat system effectiveness simulation Proceedings of the 19th International Symposium on Distributed Simulation and Real Time Applications, (92-95)
  252. Lee E, Niknami M, Nouidui T and Wetter M Modeling and simulating cyber-physical systems using CyPhySim Proceedings of the 12th International Conference on Embedded Software, (115-124)
  253. Sarjoughian H and Gholami S (2015). Action-level real-time DEVS modeling and simulation, Simulation, 91:10, (869-887), Online publication date: 1-Oct-2015.
  254. Zhu F, Yao Y, Tang W and Chen D (2015). A high performance framework for modeling and simulation of large-scale complex systems, Future Generation Computer Systems, 51:C, (132-141), Online publication date: 1-Oct-2015.
  255. Kulkarni V, Barat S, Clark T and Barn B Toward overcoming accidental complexity in organisational decision-making Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (368-377)
  256. Niyonkuru D and Wainer G (2015). Discrete-Event Modeling and Simulation for Embedded Systems, Computing in Science and Engineering, 17:5, (52-63), Online publication date: 1-Sep-2015.
  257. Dubois P (2015). Aging Swiftly, Computing in Science and Engineering, 17:5, (80-80), Online publication date: 1-Sep-2015.
  258. Bruel J, Combemale B, Ober I and Raynal H (2015). MDE in Practice for Computational Science, Procedia Computer Science, 51:C, (660-669), Online publication date: 1-Sep-2015.
  259. Müller M (2015). Hierarchical profiling of geoprocessing services, Computers & Geosciences, 82:C, (68-77), Online publication date: 1-Sep-2015.
  260. Vicino D, Dalle O and Wainer G Using finite forkable DEVS for decision-making based on time measured with uncertainty Proceedings of the 8th International Conference on Simulation Tools and Techniques, (89-98)
  261. Vu L, Foures D and Albert V ProDEVS Proceedings of the 8th International Conference on Simulation Tools and Techniques, (29-37)
  262. Barroca B, Mustafiz S, Van Mierlo S and Vangheluwe H Integrating a neutral action language in a DEVS modelling environment Proceedings of the 8th International Conference on Simulation Tools and Techniques, (19-28)
  263. Maleki M, Woodbury R, Goldstein R, Breslav S and Khan A (2015). Designing DEVS visual interfaces for end-user programmers, Simulation, 91:8, (715-734), Online publication date: 1-Aug-2015.
  264. Brown B, Mittal S, Tolk A and Arafat S Building the virtual product with big models Proceedings of the Conference on Summer Computer Simulation, (1-6)
  265. Damodaran S and Couretas J Cyber modeling & simulation for cyber-range events Proceedings of the Conference on Summer Computer Simulation, (1-8)
  266. Mittal S, Ruth M, Pratt A, Lunacek M, Krishnamurthy D and Jones W A system-of-systems approach for integrated energy systems modeling and simulation Proceedings of the Conference on Summer Computer Simulation, (1-10)
  267. Gu F, Butt M, Ai C, Shen X and Xiao J Adaptive particle filtering in data assimilation of wildfire spread simulation Proceedings of the Conference on Summer Computer Simulation, (1-10)
  268. Ha S, Ku N, Roh M and Hwang H (2015). Multibody system dynamics simulator for process simulation of ships and offshore plants in shipyards, Advances in Engineering Software, 85:C, (12-25), Online publication date: 1-Jul-2015.
  269. ACM
    Ellul N, Capocchi L and Santucci J Big Data Decision Making Based on Predictive Data Analysis Using DEVS Simulations Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (257-258)
  270. ACM
    Sehili S, Capocchi L and Santucci J Management of Ubiquitous Systems with a Mobile Application Using Discrete Event Simulations Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (169-170)
  271. ACM
    Brooks C, Lee E, Lorenzetti D, Nouidui T and Wetter M CyPhySim Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, (301-302)
  272. ACM
    Broman D, Greenberg L, Lee E, Masin M, Tripakis S and Wetter M Requirements for hybrid cosimulation standards Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, (179-188)
  273. Gu F Adaptively perturbing localized state space in data assimilation of wildfire spread simulation Proceedings of the 48th Annual Simulation Symposium, (163-172)
  274. Helms T, Reinhardt O and Uhrmacher A Bayesian changepoint detection for generic adaptive simulation algorithms Proceedings of the 48th Annual Simulation Symposium, (62-69)
  275. Kim E and Lee H Web-in-the-loop simulation framework for supporting CORS-based development Proceedings of the Poster Session and Student Colloquium Symposium, (13-14)
  276. Herbez C, Quesnel G and Ramat É Building partitioning graphs in parallel-DEVS context for parallel simulations (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (263-268)
  277. Fard M and Sarjoughian H Visual and persistence behavior modeling for DEVS in CoSMoS Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (227-234)
  278. Nutaro J and Zeigler B Towards a probabilistic interpretation of validity for simulation models Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (197-204)
  279. Zeigler B, Nutaro J and Seo C What's the best possible speedup achievable in distributed simulation Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (189-196)
  280. Seo C, Zeigler B, Kim D and Duncan K Integrating web-based simulation on IT systems with finite probabilistic DEVS Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (173-180)
  281. Vicino D, Niyonkuru D, Wainer G and Dalle O Sequential PDEVS architecture Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (165-172)
  282. Olsen M and Raunak M A method for quantified confidence of DEVS validation Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (135-142)
  283. Özmen Ö and Nutaro J Activity diagrams for DEVS models Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (129-134)
  284. Barros F A modular representation of fluid stochastic petri nets Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (122-128)
  285. Barros F Asynchronous, polynomial ODE solvers based on error estimation Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (115-121)
  286. Van Mierlo S, Van Tendeloo Y, Barroca B, Mustafiz S and Vangheluwe H Explicit modelling of a parallel DEVS experimentation environment Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (107-114)
  287. Van Tendeloo Y and Vangheluwe H PythonPDEVS Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (91-98)
  288. Camus B, Bourjot C and Chevrier V Combining DEVS with multi-agent concepts to design and simulate multi-models of complex systems (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (85-90)
  289. Franceschini R, Bisgambiglia P and Bisgambiglia P A comparative study of pending event set implementations for PDEVS simulation Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (77-84)
  290. Schmidt A, Durak U, Rasch C and Pawletta T Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (69-76)
  291. Bouanan Y, Forestier M, Ribault J, Zacharewicz G, Vallespir B and Moalla N Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (63-68)
  292. Wang S and Wainer G Semantic selection for model composition using SAMSaaS Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (25-32)
  293. Santucci J, Capocchi L and Zeigler B SES extension to integrate abstraction hierarchy into DEVS modeling and simulation Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (17-24)
  294. Chabrier P, Martin O, Raynal H and Bergez J (2015). A new graphical modeling plugin based on Forrester diagrams for the RECORD platform, Computers and Electronics in Agriculture, 111:C, (103-106), Online publication date: 1-Feb-2015.
  295. Park S and Yoo S (2015). Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance, Information Sciences: an International Journal, 292:C, (75-94), Online publication date: 20-Jan-2015.
  296. Jové J, Petit A, Casas P and Casanovas-Garcia J Teaching system modelling and simulation through petri nets and arena Proceedings of the 2014 Winter Simulation Conference, (3662-3673)
  297. Turnitsa C Role based interoperability approaches within LVC federations Proceedings of the 2014 Winter Simulation Conference, (3528-3539)
  298. Inostrosa-Psijas A, Wainer G, Gil-Costa V and Marin M DEVs modeling of large scale web search engines Proceedings of the 2014 Winter Simulation Conference, (3060-3071)
  299. Kim D, Paek O, Lee T, Park S and Bae H A DDS-based distributed simulation approach for engineering-level models Proceedings of the 2014 Winter Simulation Conference, (2919-2930)
  300. Hu Y, Xiao J, Rong G and Hu X A structured devs model representation based on extended structured modeling Proceedings of the 2014 Winter Simulation Conference, (2812-2823)
  301. Turnitsa C Role based interoperability approaches within LVC federations Proceedings of the 2014 Winter Simulation Conference, (2331-2342)
  302. Balaban M, Hester P and Diallo S Towards a theory of multi-method M&S approach Proceedings of the 2014 Winter Simulation Conference, (1652-1663)
  303. Helms T, Maus C, Haack F and Uhrmacher A Multi-level modeling and simulation of cell biological systems with ML-rules Proceedings of the 2014 Winter Simulation Conference, (177-191)
  304. Sargent R Verifying and validating simulation models Proceedings of the 2014 Winter Simulation Conference, (118-131)
  305. Bergez J, Raynal H, Launay M, Beaudoin N, Casellas E, Caubel J, Chabrier P, Coucheney E, Dury J, Garcia de Cortazar-Atauri I, Justes E, Mary B, Ripoche D and Ruget F (2014). Evolution of the STICS crop model to tackle new environmental issues, Environmental Modelling & Software, 62:C, (370-384), Online publication date: 1-Dec-2014.
  306. TESL Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign, (114-123)
  307. Yacoub A, Hamri M and Frydman C A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods Proceedings of the 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, (155-162)
  308. Van Schyndel M, Wainer G, Khan A and Goldstein R Computational fluid dynamic cell-DEVS M&S of coronary heart disease Proceedings of the 2014 Summer Simulation Multiconference, (1-8)
  309. Nutaro J, Ozmen O and Schryver J Disaggregation and refinement of system dynamics models via agent-based modeling Proceedings of the 2014 Summer Simulation Multiconference, (1-7)
  310. Jung C, Yun W and Lee T New insights on river crossing operation using rafts by modeling and simulation (WIP) Proceedings of the 2014 Summer Simulation Multiconference, (1-7)
  311. Ahn J, Weck O and Steele M (2014). Credibility Assessment of Models and Simulations Based on NASA's Models and Simulation Standard Using the Delphi Method, Systems Engineering, 17:2, (237-248), Online publication date: 1-Jun-2014.
  312. ACM
    FIshwick P Computing as model-based empirical science Proceedings of the 2nd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (205-212)
  313. Greiner R, Puig J, Huchery C, Collier N and Garnett S (2014). Scenario modelling to support industry strategic planning and decision making, Environmental Modelling & Software, 55:C, (120-131), Online publication date: 1-May-2014.
  314. Zhang M and Verbraeck A A composable PRS-based agent meta-model for multi-agent simulation using the DEVS framework Proceedings of the 2014 Symposium on Agent Directed Simulation, (1-8)
  315. Wang S and Traoré M DEVS-based case management (wip) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-7)
  316. Mancini A, Barioni L, Lima H, Santos J, Silva R, Santos E and Dias F A compact and flexible C++ framework to support modular development of hierarchical dynamic systems simulators (wip) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
  317. Jafer S and Mi W Simulation of aircraft boarding strategies with discrete-event cellular DEVS Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-8)
  318. Van Schyndel M and Wainer G Advanced computational fluid dynamic solver based on cell-DEVS Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-8)
  319. Mittal S and Zeigler B Modeling attention switching in resource-constrained complex intelligent dynamical systems (RCIDS) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-10)
  320. Hwang M Taxonomy of DEVS variants Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
  321. Giambiasi N and Frydman C Timed synchronizing sequences Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-7)
  322. Bazoun H, Bouanan Y, Zacharewicz G, Ducq Y and Boye H Business process simulation Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-7)
  323. Franceschini R, Bisgambiglia P, Bisgambiglia P and Hill D DEVS-ruby Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
  324. Van Tendeloo Y and Vangheluwe H The modular architecture of the python(P)DEVS simulation kernel Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
  325. Vangheluwe H, Denil J, Mustafiz S, Riegelhaupt D and Van Mierlo S Explicit modelling of a CBD experimentation environment Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-8)
  326. Ha S, Ku N, Roh M, Kim K, Ham S, Li X, Hong J and Lee H DEVS-based scenario manager of multibody dynamics simulator for shipbuilding production process (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
  327. Kwak M and Seo C A study on effective operations of sound underwater signal using DEVS modeling and simulation (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
  328. Seo C, Kang W, Zeigler B and Kim D Expanding DEVS and SES applicability Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-8)
  329. Poggi B, Santucci J and Antoine-Santoni T Optimization based on dynamic and hybrid metaheuristics via DEVS simulation Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-9)
  330. Yoon J and Lee H Nondeterministic and elapsed-time-sensitive DEVS Proceedings of the 2014 SpringSim Poster Session, (1-2)
  331. Adegoke A and Traoré M Consideration for M&S in Africa Proceedings of the 2014 SpringSim Poster Session, (1-2)
  332. Wang S and Traoré M A system-theoretic approach to case management Proceedings of the 2014 SpringSim Poster Session, (1-2)
  333. Adegoke A and Traoré M System of systems based approaches to global simulation in Africa Proceedings of the 2014 Annual Simulation Symposium, (1-8)
  334. Bursi F, Ferrara A, Grassi A and Ronzoni C On the generalization of continuous-time stochastic processes simulation for industrial production modeling Proceedings of the 2014 Annual Simulation Symposium, (1-8)
  335. Winfrey C, Baldwin B, Cummings M and Ghosh P OSM Proceedings of the 2014 Annual Simulation Symposium, (1-8)
  336. Petty M, Kim J, Barbosa S and Pyun J (2014). Software frameworks for model composition, Modelling and Simulation in Engineering, 2014, (4-4), Online publication date: 1-Jan-2014.
  337. Labban R, AbouRizk S, Haddad Z and Elsersy A A discrete event simulation model of asphalt paving operations Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (3215-3224)
  338. Wainer G, Tavanpour M and Broutin E Application of the DEVS and Cell-DEVS formalisms for modeling networking applications Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (2923-2934)
  339. Kang B and Kim T Reconfigurable C3 simulation framework Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (2819-2830)
  340. Lee S, Wysk R and Shin D Formal models for alternative representations of manufacturing systems of systems Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (2698-2709)
  341. Xue H and Hu X An effective proposal distribution for sequential Monte Carlo methods-based wildfire data assimilation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1938-1949)
  342. Greenwood A, Pawlewski P and Bocewicz G A conceptual design tool to facilitate simulation model development Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1292-1303)
  343. Moon I and Hong J Theoretic interplay between abstraction, resolution, and fidelity in model information Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1283-1291)
  344. Bair L and Tolk A Towards a unified theory of validation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1245-1256)
  345. Wang Z Selecting verification and validation techniques for simulation projects Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1233-1244)
  346. Mittal S and Martín J Model-driven systems engineering for netcentric system of systems with DEVS unified process Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1140-1151)
  347. Sarjoughian H, Gholami S and Jackson T Interacting real-time simulation models and reactive computational-physical systems Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1120-1131)
  348. Sargent R An introduction to verification and validation of simulation models Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (321-327)
  349. Bisgambiglia P, Franceschini R, Chatelon F, Rossi J and Bisgambiglia P Discrete event formalism to calculate acceptable safety distance Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (217-228)
  350. Capocchi L and Santucci J Discrete optimization via simulation of catchment basin management within the DEVSimPy framework Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (205-216)
  351. Hu Y, Xiao J, Zhao H and Rong G DEVSMO Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (4002-4003)
  352. Lee H and Kim H Size measurement of DEVS models for SBA effectiveness evaluation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (4000-4001)
  353. Lee H Elapsed-time-sensitive DEVS for model checking Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (3998-3999)
  354. Persson F, Erlandsson D, Larsson A and Johansson M Solving location problems with simulation modelling Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (3363-3374)
  355. Van Tendeloo Y and Vangheluwe H Logisim to DEVS Translation Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, (13-20)
  356. ACM
    Duvenhage B, Bouatouch K and Kourie D Numerical verification of bidirectional reflectance distribution functions for physical plausibility Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (200-208)
  357. Assar R and Sherman D (2013). Implementing biological hybrid systems, Applied Mathematics and Computation, 223, (167-179), Online publication date: 1-Oct-2013.
  358. Bogado V, Gonnet S and Leone H Toward an Integrated Quality Evaluation of Web Applications with DEVS Revised Selected Papers of the ICWE 2013 International Workshops on Current Trends in Web Engineering - Volume 8295, (79-91)
  359. Kwon S, Sung C, Song H and Kim T Integrated hybrid systems modeling and simulation methodology based on HDEVS formalism Proceedings of the 2013 Summer Computer Simulation Conference, (1-8)
  360. Jeffery A, Panke J, Eaket N and Wainer G Mobile simulation with applications for serious gaming Proceedings of the 2013 Summer Computer Simulation Conference, (1-8)
  361. Mustafiz S and Vangheluwe H Explicit modelling of statechart simulation environments Proceedings of the 2013 Summer Computer Simulation Conference, (1-8)
  362. El-Shabani M, Moallemi M and Wainer G Cellular simulation of asymmetric energy requirements in wireless sensor networks Proceedings of the 2013 Summer Computer Simulation Conference, (1-7)
  363. Tzanev A (2013). Modeling and Simulation of Systems of Systems – a Survey, Cybernetics and Information Technologies, 13:2, (3-36), Online publication date: 1-Jun-2013.
  364. ACM
    Hamri M, Messouci R and Frydman C Discrete event design patterns. Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (349-354)
  365. ACM
    Capocchi L, Santucci J and Ville T Software test automation using DEVSimPy environment Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (343-348)
  366. ACM
    Farrell R, Moallemi M, Wang S, Xiang W and Wainer G Modeling and simulation of crowd using cellular discrete event systems theory Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (159-168)
  367. ACM
    Clarkson E, Hurt J, Zutty J, Skeels C, Parise B and Rohling G Supporting robust system analysis with the test matrix tool framework Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (23-34)
  368. Lee H, Chun I and Kim W DEV&DESS-based cyber-physical systems modeling language with uncertainty consideration Proceedings of the 2013 Spring Simulation Multiconference Poster Session, (1-2)
  369. Gunay H, O'Brien L, Goldstein R, Breslav S and Khan A Development of discrete event system specification (DEVS) building performance models for building energy design Proceedings of the Symposium on Simulation for Architecture & Urban Design, (1-9)
  370. Breslav S, Goldstein R, Doherty B, Rumery D and Khan A Simulating the sensing of building occupancy Proceedings of the Symposium on Simulation for Architecture & Urban Design, (1-8)
  371. Freire V, Wang S and Wainer G Visualization in 3ds max for cell-DEVS models based on building information modeling Proceedings of the Symposium on Simulation for Architecture & Urban Design, (1-8)
  372. Wang S, Wainer G, Goldstein R and Khan A Solutions for scalability in building information modeling and simulation-based design Proceedings of the Symposium on Simulation for Architecture & Urban Design, (1-8)
  373. Moallemi M, Wainer G, Jafer S, Boudreau G and Casselman R Simulation of mobile networks using discrete event system specification theory Proceedings of the 16th Communications & Networking Symposium, (1-8)
  374. Kim B, Choi C and Kim T Multifaceted modeling and simulation framework for system of systems using HLA/RTI Proceedings of the 16th Communications & Networking Symposium, (1-7)
  375. Seo C, Zeigler B, Coop R and Kim D DEVS modeling and simulation methodology with MS4 Me software tool Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-8)
  376. Bisgambiglia P, Bisgambiglia P and Franceschini R Agent-oriented approach based on discrete event systems (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-6)
  377. Wang S, Wainer G, Rajus V and Woodbury R Occupancy analysis using building information modeling and cell-DEVS simulation Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-8)
  378. Hwang M Revisit of system variable trajectories (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-6)
  379. Bazoun H, Zacharewicz G, Ducq Y and Boye H Transformation of extended actigram star to BPMN2.0 and simulation model in the frame of model driven service engineering architecture Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-8)
  380. Gholami S and Sarjoughian H Observations on real-time simulation design and experimentation Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-8)
  381. Goldstein R, Breslav S and Khan A Informal DEVS conventions motivated by practical considerations (WIP) Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-6)
  382. Prähofer H 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, (1-8)
  383. Zengin A, Sarjoughian H and Ekiz H (2013). Discrete event modeling of swarm intelligence based routing in network systems, Information Sciences: an International Journal, 222, (81-98), Online publication date: 1-Feb-2013.
  384. ACM
    Nutaro J, Allgood G, Kuruganti T and Highfill D Using simulation to engineer cybersecurity requirements Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop, (1-4)
  385. Bergez J, Chabrier P, Gary C, Jeuffroy M, Makowski D, Quesnel G, Ramat E, Raynal H, Rousse N, Wallach D, Debaeke P, Durand P, Duru M, Dury J, Faverdin P, Gascuel-Odoux C and Garcia F (2013). An open platform to build, evaluate and simulate integrated models of farming and agro-ecosystems, Environmental Modelling & Software, 39:C, (39-49), Online publication date: 1-Jan-2013.
  386. Hamri M and Zacharewicz G Automatic generation of object-oriented code from DEVS graphical specifications Proceedings of the Winter Simulation Conference, (1-12)
  387. Kim J and Kim H A modeling methodology for cyber-security simulation Proceedings of the Winter Simulation Conference, (1-2)
  388. Halim R, Tavasszy L and Seck M Modeling the global freight transportation system Proceedings of the Winter Simulation Conference, (1-13)
  389. Dalle O On reproducibility and traceability of simulations Proceedings of the Winter Simulation Conference, (1-12)
  390. Tolk A, Diallo S and Padilla J Semiotics, entropy, and interoperability of simulation systems Proceedings of the Winter Simulation Conference, (1-12)
  391. Bonté B, Müller J and Duboz R Modeling the Minsky triad Proceedings of the Winter Simulation Conference, (1-12)
  392. Steiniger A, Krüger F and Uhrmacher A Modeling agents and their environment in multi-level-DEVS Proceedings of the Winter Simulation Conference, (1-12)
  393. Taylor S, Fujimoto R, Page E, Fishwick P, Uhrmacher A and Wainer G Panel on grand challenges for modeling and simulation Proceedings of the Winter Simulation Conference, (1-15)
  394. Schütte S and Sonnenschein M Mosaik Proceedings of the Winter Simulation Conference, (1-12)
  395. Karkula M and Bukowski L Computational intelligence methods Proceedings of the Winter Simulation Conference, (1-12)
  396. Wang S, Van Schyndel M, Wainer G, Rajus V and Woodbury R Devs-based building information modeling and simulation for emergency evacuation Proceedings of the Winter Simulation Conference, (1-12)
  397. Wainer G Advanced spatial systems with cellular discrete-event modeling and simulation Proceedings of the Winter Simulation Conference, (1-15)
  398. Son M and Kim T (2012). Maneuvering control simulation of underwater vehicle based on combined discrete-event and discrete-time modeling, Expert Systems with Applications: An International Journal, 39:17, (12992-13008), Online publication date: 1-Dec-2012.
  399. ACM
    Xue H, Gu F and Hu X (2012). Data assimilation using sequential monte carlo methods in wildfire spread simulation, ACM Transactions on Modeling and Computer Simulation, 22:4, (1-25), Online publication date: 1-Nov-2012.
  400. ACM
    Lugato D, Palyart M and Engelvin C Domain specific modeling for operations research simulation in a large industrial context Proceedings of the 2012 workshop on Domain-specific modeling, (19-24)
  401. ACM
    Broman D, Lee E, Tripakis S and Törngren M Viewpoints, formalisms, languages, and tools for cyber-physical systems Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, (49-54)
  402. ACM
    Lengyel L and Mezei G Model-driven paradigms Proceedings of the 8th edition of the Educators' Symposium, (13-20)
  403. ACM
    Krüger F, Steiniger A, Bader S and Kirste T Evaluating the robustness of activity recognition using computational causal behavior models Proceedings of the 2012 ACM Conference on Ubiquitous Computing, (1066-1074)
  404. Guo G, Chen B, Qiu X and Li Z Parallel Simulation of Large-Scale Artificial Society on CPU/GPU Mixed Architecture Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, (174-177)
  405. Kunz G, Schemmel D, Gross J and Wehrle K Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, (23-32)
  406. Xue H and Hu X Exploiting Sensor Spatial Correlation for Dynamic Data Driven Simulation of Wildfire Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, (243-249)
  407. Son M and Kim T (2012). Torpedo evasion simulation of underwater vehicle using fuzzy-logic-based tactical decision making in script tactics manager, Expert Systems with Applications: An International Journal, 39:9, (7995-8012), Online publication date: 1-Jul-2012.
  408. ACM
    Biedermann A and Huss S Hardware virtualization-driven software task switching in reconfigurable multi-processor system-on-chip architectures Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, (32-41)
  409. Ribault J and Wainer G Simulation Processes in the Cloud for Emergency Planning Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), (886-891)
  410. Alix T and Zacharewicz G (2012). Product-service systems scenarios simulation based on G-DEVS/HLA, Computers in Industry, 63:4, (370-378), Online publication date: 1-May-2012.
  411. ACM
    Wylie S, Heide J, Avci B, Vaccaro D, Ghica O and Trajcevski G Distributed data management for large-scale wireless sensor networks simulations Proceedings of the 15th International Conference on Extending Database Technology, (626-629)
  412. Sarjoughian H, Muqsith M, Huang D and Yau S Validation of service oriented computing DEVS simulation models Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  413. Seo C and Zeigler B Simulation model standardization through web services Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  414. Hwang M 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, (1-8)
  415. Faucher C, Zacharewicz G, Hamri A and Frydman C PSYOPS and CIMIC operations Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  416. Honig H and Seck M ΦDEVS Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  417. Guo S, Hu X and Wang X 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, (1-6)
  418. Morris H and Wainer G Music generation using cellular models Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  419. Barros F Modeling and simulation of mobile phones using dynamic topologies Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  420. Castro R, Ramello I, Bonaventura M and Wainer G 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, (1-8)
  421. Garzon S and Hritsevskyy D Model-based generation of scenario-specific event sequences for the simulation of recurrent user behavior within context-aware applications (WIP) Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-6)
  422. Cetinkaya D, Verbraeck A and Seck M 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, (1-6)
  423. Ha S, Ku N and Lee K 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, (1-9)
  424. Saadawi H and Wainer G On the verification of hybrid DEVS models Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  425. Zeigler B, Nutaro J, Seo C, Hall S, Clark P, Rilee M, Bailin S, Speller T and Powell W Frontier modeling support environment Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-11)
  426. Tekinay C, Seck M and Verbraeck A Exploring multi-level model dynamics Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-6)
  427. Sarjoughian H and Markid A EMF-DEVS modeling Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  428. Park D and Kim T Discrete-event system-on-a-chip with universal event tracer and floating-point synchronizer for interoperation of a DEVS simulator and an on-chip debugger Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  429. Mittal S and Douglass S DEVSML 2.0 Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-12)
  430. Kang D, Kong J and Choi B DEVS modeling of urban traffic systems (WIP) Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-6)
  431. Kwon S and Kim T Design and implementation of event-based DEVS execution environment for faster execution of iterative simulation Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  432. Koch M, Tolujew J and Schenk M 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, (1-6)
  433. Hollmann D, Cristiá M and Frydman C 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, (1-8)
  434. Muzy A and Zeigler B Activity-based credit assignment (ACA) in hierarchical simulation Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
  435. Kim J, Choi D, Kim H, Kim J and Kim W Abstracted CPS model Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-6)
  436. Seok M and Kim T Parallel discrete event simulation for DEVS cellular models using a GPU Proceedings of the 2012 Symposium on High Performance Computing, (1-7)
  437. Hassan B, Waßmann H, Klaas A and Keßler J Cascaded heterogeneous simulations for analysis of mechatronic systems in large scale transportation scenarios Proceedings of the 2012 Symposium on Emerging Applications of M&S in Industry and Academia Symposium, (1-8)
  438. Moallemi M and Wainer G Content-based image recognition using cellular discrete-event system specifications methodology Proceedings of the 45th Annual Simulation Symposium, (1-6)
  439. Gholami S and Sarjoughian H Real-time network-on-chip simulation modeling Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques, (103-112)
  440. Huang Y, Seck M and Verbraeck A From data to simulation models Proceedings of the Winter Simulation Conference, (3724-3734)
  441. Szabo C and Teo Y An approach to semantic-based model discovery and selection Proceedings of the Winter Simulation Conference, (3059-3071)
  442. Fumarola M, Kolfschoten G, Verbraeck A and Versteegt C Experimenting with the multiple worlds concept to support the design of automated container terminals Proceedings of the Winter Simulation Conference, (3030-3036)
  443. Tolk A, Balci O, Diallo S, Fishwick P, Hu X, Loper M, Petty M, Reynolds P, Sarjoughian H and Zeigler B Towards a methodological approach to identify future M&S standard needs Proceedings of the Winter Simulation Conference, (2980-2997)
  444. Muzy A and Hill D What is new with the activity world view in modeling and simulation? Proceedings of the Winter Simulation Conference, (2887-2899)
  445. van Krevelen R, Warnier M, Brazier F, Verbraeck A and Corsi T Transparency, consistency and modularity of strategic reasoning Proceedings of the Winter Simulation Conference, (1617-1628)
  446. Nader B, Filippi J and Bisgambiglia P An experimental frame for the simulation of forest fire spread Proceedings of the Winter Simulation Conference, (1010-1022)
  447. Zapatero M, Castro R, Wainer G and Houssein M Architecture for integrated modeling, simulation and visualization of environmental systems using GIS and cell-devs Proceedings of the Winter Simulation Conference, (997-1009)
  448. Zhang B, Chan W and Ukkusuri S Agent-based discrete-event hybrid space modeling approach for transportation evacuation simulation Proceedings of the Winter Simulation Conference, (199-209)
  449. Chen Q, Hsu M and Zhang B The fix-point method for discrete events simulation using SQL and UDF Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II, (162-170)
  450. Trandafir R and Resteanu C Study of human influenza's spreading phenomenon Proceedings of the 8th international conference on Large-Scale Scientific Computing, (480-486)
  451. Ahmed A, Moallemi M, Wainer G and Mahmoud S VCELL Proceedings of the 2011 Summer Computer Simulation Conference, (225-234)
  452. Li X, Lei Y, Vangheluwe H, Wang W and Li Q Towards a DSM-based framework for the development of complex simulation systems Proceedings of the 2011 Summer Computer Simulation Conference, (210-215)
  453. Barros F On the representation of spatially moving entities using time-variant topologies Proceedings of the 2011 Summer Computer Simulation Conference, (145-152)
  454. Cetinkaya D, Verbraeck A and Seck M MDD4MS Proceedings of the 2011 Summer Computer Simulation Conference, (113-121)
  455. Jafer S and Wainer G Conservative synchronization methods for parallel DEVS and Cell-DEVS Proceedings of the 2011 Summer Computer Simulation Conference, (60-67)
  456. Michaloski J, Shao G, Arinez J, Lyons K, Leong S and Riddick F Analysis of sustainable manufacturing using simulation for integration of production and building service Proceedings of the 2011 Symposium on Simulation for Architecture and Urban Design, (93-101)
  457. Diallo S, Herencia-Zapana H, Padilla J and Tolk A Understanding interoperability Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium, (84-91)
  458. Huang Y, Seck M and Verbraeck A A DEVS library for rail operations simulation Proceedings of the 2011 Emerging M&S Applications in Industry and Academia Symposium, (76-83)
  459. Sarjoughian H and Chen Y Standardizing DEVS models Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (266-273)
  460. Mittal S and Douglass S From domain specific languages to DEVS components Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (256-265)
  461. Dalle O and Ribault J Some desired features for the DEVS architecture description language Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (248-255)
  462. Touraille L, Traoré M and Hill D 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, (229-237)
  463. Edwards K and Wainer G GATLAS Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (213-220)
  464. Shaikh R and Vangheluwe H 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, (205-212)
  465. Kwon K, Seo C and Zeigler B Automating DEVS over data distribution service for high performance and interoperability (Work-in-Progress) Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (199-204)
  466. Li X, Vangheluwe H, Lei Y, Song H and Wang W A testing framework for DEVS formalism implementations Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (183-188)
  467. Halim R 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, (169-174)
  468. Hwang M Taxonomy of DEVS subclasses for standardization Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (152-159)
  469. Giambiasi N ISTSM Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (146-151)
  470. Ahmadinejad H, Refan F and Sarjoughian H NoC simulation modeling in DEVS-suite Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (134-139)
  471. Moallemi M, Jafer S, Ahmed A and Wainer G Interfacing DEVS and visualization models for emergency management Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (111-116)
  472. Jafer S and Wainer G A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (103-110)
  473. Moallemi M and Wainer G I-DEVS Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (95-102)
  474. McInnes A and Thorne B ScipySim Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (89-94)
  475. Denil J, Vangheluwe H, Ramaekers P, De Meulenaere P and Demeyer S DEVS for AUTOSAR platform modelling Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (67-74)
  476. Mittal S and Douglass S 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, (34-44)
  477. Bai F, Guo S and Hu X Towards parameter estimation in wildfire spread simulation based on sequential Monte Carlo methods Proceedings of the 44th Annual Simulation Symposium, (159-166)
  478. Moallemi M, Wainer G, Bergero F and Castro R Component-oriented interoperation of real-time DEVS engines Proceedings of the 44th Annual Simulation Symposium, (127-134)
  479. Xue H and Hu X Estimation of new ignited fires using particle filters in wildfire spread simulation Proceedings of the 44th Annual Simulation Symposium, (68-76)
  480. Kim S and Hunt C Composite cell agent model of epithelial culture in vitro Proceedings of the 2011 Workshop on Agent-Directed Simulation, (45-51)
  481. Benali H and Ben Saoud N (2011). Towards a component-based framework for interoperability and composability in Modeling and Simulation, Simulation, 87:1-2, (133-148), Online publication date: 1-Jan-2011.
  482. Zengin A and Sarjoughian H DEVS-Suite simulator Proceedings of the Winter Simulation Conference, (2947-2957)
  483. Fumarola M, Seck M and Verbraeck A An approach for loosely coupled discrete event simulation models and animation components Proceedings of the Winter Simulation Conference, (2161-2170)
  484. Huang Y, Seck M and Verbraeck A Libros-II Proceedings of the Winter Simulation Conference, (2150-2160)
  485. Sandeman T, Fricke C, Bodon P and Stanford C Integrating optimization and simulation - a comparison of two case studies in mine planning Proceedings of the Winter Simulation Conference, (1898-1910)
  486. Buss A and Al Rowaei A A comparison of the accuracy of discrete event and discrete time Proceedings of the Winter Simulation Conference, (1468-1477)
  487. Bittig A and Uhrmacher A Spatial modeling in cell biology at multiple levels Proceedings of the Winter Simulation Conference, (608-619)
  488. Tekinay Ç, Seck M, Fumarola M and Verbraeck A A context-based multi-perspective modeling and simulation framework Proceedings of the Winter Simulation Conference, (479-489)
  489. Bergen-Hill T and Page E Out-of-order execution and structural equivalence of simulation models Proceedings of the Winter Simulation Conference, (466-478)
  490. Gil-Quijano J From biological to urban cells Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems, (620-635)
  491. Arcuri A, Iqbal M and Briand L Black-box system testing of real-time embedded systems using random and search-based testing Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, (95-110)
  492. ACM
    Madlener F, Weingart J and Huss S Verification of dynamically reconfigurable embedded systems by model transformation rules Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (33-40)
  493. Smith C and Lladó C Model interoperability for performance engineering Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges, (10-23)
  494. Mérida-Casermeiro E, Aguilera-Venegas G, Galán-García J and Rodríguez-Cielos P A new neural model for traffic simulation Proceedings of the 20th international conference on Artificial neural networks: Part III, (471-476)
  495. Bohlmann S, Szczerbicka H and Klinger V Co-simulation in large scale environments using the HPNS framework Proceedings of the 2010 Conference on Grand Challenges in Modeling & Simulation, (211-218)
  496. Seck M Modeling and simulation of conflict and peacekeeping Proceedings of the 2010 Summer Computer Simulation Conference, (587-592)
  497. Shuman E Understanding executable architectures through an examination of language model elements Proceedings of the 2010 Summer Computer Simulation Conference, (483-497)
  498. Etemad S and Wainer G DEVS-based modeling of a human motion data synthesis and control system Proceedings of the 2010 Summer Computer Simulation Conference, (469-474)
  499. Touraille L, Traoré M and Hill D Enhancing DEVS simulation through template metaprogramming Proceedings of the 2010 Summer Computer Simulation Conference, (394-402)
  500. Jafer S and Wainer G Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS Proceedings of the 2010 Summer Computer Simulation Conference, (342-349)
  501. Floyd M and Wainer G Creation of DEVS models using imitation learning Proceedings of the 2010 Summer Computer Simulation Conference, (334-341)
  502. Akplogan M, Quesnel G, Garcia F, Joannon A and Martin-Clouaire R Towards a deliberative agent system based on DEVS formalism for application in agriculture Proceedings of the 2010 Summer Computer Simulation Conference, (250-257)
  503. Chen B and Vangheluwe H Symbolic flattening of DEVS models Proceedings of the 2010 Summer Computer Simulation Conference, (209-218)
  504. ACM
    Dingel J, Paen E, Posse E, Rahman R and Zurowska K 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, (1-8)
  505. ACM
    Lee E CPS foundations Proceedings of the 47th Design Automation Conference, (737-742)
  506. Posse E and Dingel J Theory and implementation of a real-time extension to the π-calculus Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems, (125-139)
  507. Niewiadomska-Szynkiewicz E and Sikora A A software tool for federated simulation of wireless sensor networks and mobile ad hoc networks Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I, (303-313)
  508. Qi Liu and Wainer G Exploring Multi-Grained Parallelism in Compute-Intensive DEVS Simulations Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation, (65-72)
  509. Fatès N and Chevrier V 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, (533-540)
  510. Siebert J, Ciarletta L and Chevrier V Agents and artefacts for multiple models co-evolution Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1, (509-516)
  511. Choi C, Bae J and Kim T Challenges of teaching modeling and simulation theory to the domain experts in a blended learning environment Proceedings of the 9th international conference on Information technology based higher education and training, (357-363)
  512. Sarjoughian H, Sarkar S and Mayer G A novel visual CA modeling approach and its realization in CoSMoS Proceedings of the 2010 Spring Simulation Multiconference, (1-4)
  513. Lim S, Baik J, Choi H and Lee D A verification method for web service composition based on discrete event system modeling and simulation Proceedings of the 2010 Spring Simulation Multiconference, (1-6)
  514. Ahmed A, Wainer G and Mahmoud S Integrating building information modeling & cell-DEVS simulation Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  515. Cetinkaya D, Verbraeck A and Seck M A metamodel and a DEVS implementation for component based hierarchical simulation modeling Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  516. Moallemi M, Arya A and Wainer G Simulation of three dimensional elevator system using cell-DEVS formalism Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  517. Guo S and Hu X Profile-based partition for parallel simulation of DEVS-FIRE Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  518. Schwatinski T and Pawletta T An advanced simulation approach for parallel DEVS with ports Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  519. Zinn S, Gampe J, Himmelspach J and Uhrmacher A A DEVS model for demographic microsimulation Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  520. Albert V, Nketsa A and Seguin C Verifying trace inclusion between an experimental frame and a model Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  521. Fumarola M, Seck M and Verbraeck A Multiple worlds Proceedings of the 2010 Spring Simulation Multiconference, (1-6)
  522. Saadawi H and Wainer G Rational time-advance DEVS (RTA-DEVS) Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  523. D'Ambrogio A, Gianni D, Risco-Martín J and Pieroni A A MDA-based approach for the development of DEVS/SOA simulations Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  524. Jafer S and Wainer G Conservative DEVS Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  525. Pérez E, Ntaimo L, Byon E and Ding Y A stochastic DEVS wind turbine component model for wind farm simulation Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  526. Moallemi M and Wainer G Designing an interface for real-time and embedded DEVS Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  527. Rebai B, Zacharewicz G, Reymond D and Corbe P AnCaraS: a new webometrics web-spider Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  528. Cicirelli F, Furfaro A, Nigro L and Pupo F Temporal verification of RT-DEVS models with implementation aspects Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  529. Bae J and Kim T DEVS based plug-in framework for interoperability of simulators Proceedings of the 2010 Spring Simulation Multiconference, (1-7)
  530. Sanz V, Urquia A and Dormido S Integrating Parallel DEVS and equation-based object-oriented modeling Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  531. Bonaventura M, Wainer G and Castro R Advanced IDE for modeling and simulation of discrete event systems Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  532. Liu Q and Wainer G Accelerating large-scale DEVS-based simulation on the cell processor Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  533. Hamri M and Baati L On using design patterns for DEVS modeling and simulation tools Proceedings of the 2010 Spring Simulation Multiconference, (1-9)
  534. Moreno A, Risco-Martín J and Aranda J Uncovering DEVS simulation behaviour throughout the open provenance model Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  535. Jarrah M, Jarrah A and Zeigler B Comprehensive on-chip traffic generator model for SoC design and synthesis Proceedings of the 2010 Spring Simulation Multiconference, (1-7)
  536. Hester P and Tolk A Applying methods of the M&S spectrum for complex systems engineering Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  537. Garcia J Methodology supporting architecture validations (MAVS) Proceedings of the 2010 Spring Simulation Multiconference, (1-9)
  538. Choi C, Bae J, Kim T, Kim J, Han W and Kim C Benefits and challenges in developing warship simulator based on DEVS formalism Proceedings of the 2010 Spring Simulation Multiconference, (1-6)
  539. Fumarola M, Seck M and Verbraeck A Supporting the design of automated container terminals with the multiple worlds concept Proceedings of the 2010 Spring Simulation Multiconference, (1-7)
  540. Moallemi M, Wainer G, Awad A and Tall D Application of RT-DEVS in military Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  541. Kim J, Choi C, Moon I and Kim T DEVS-based doctrine validation of fleet anti-air defense Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  542. Muqsith M and Sarjoughian H A simulator for service-based software system co-design Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, (1-9)
  543. Fumarola M, Seck M and Verbraeck A A DEVS component library for simulation-based design of automated container terminals Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, (1-7)
  544. Lee R, Kim W, Chun I, Kang W and Park S A formal representation of discrete event models in Ptolemy II Proceedings of the 12th international conference on Advanced communication technology, (864-869)
  545. ACM
    Kolfschoten G, Lukosch S and Seck M Modeling collaboration processes to understand and predict group performance Proceedings of the 1st international workshop on Semantic models for adaptive interactive systems, (1-5)
  546. Asaduzzaman A and Sibai F Conceptual modeling of petascale computer systems Proceedings of the 6th international conference on Innovations in information technology, (31-35)
  547. Qela B, Wainer G and Mouftah H Simulation of large wireless sensor networks using Cell-DEVS Winter Simulation Conference, (3189-3200)
  548. Zacharewicz G, Alix T and Vallespir B Services modeling and distributed simulation devs/HLA supported Winter Simulation Conference, (3023-3035)
  549. Bacon T, Jones P, Garrett R and Tolk A Integration of psycho-social models and methods in NATO's approach to operations; a review of NATO research and technology organization (RTO) systems analysis studies (SAS - 074) Winter Simulation Conference, (2852-2859)
  550. Szabo C, Teo Y and See S A time-based formalism for the validation of semantic composability Winter Simulation Conference, (1411-1422)
  551. Al-Zoubi K and Wainer G Performing distributed simulation with RESTful web-services Winter Simulation Conference, (1323-1334)
  552. Seo C and Zeigler B DEVS namespace for interoperable DEVS/SOA Winter Simulation Conference, (1311-1322)
  553. Wang B, Yao Y, Himmelspach J, Ewald R and Uhrmacher A Experimental analysis of logical process simulation algorithms in JAMES II Winter Simulation Conference, (1167-1179)
  554. Gore R and Reynolds P Program slice distribution functions Winter Simulation Conference, (1092-1103)
  555. Xie H, Boukerche A and Zhang M A novel message-oriented and SOA based real-time modeling and simulation framework for peer-to-peer systems Winter Simulation Conference, (1039-1046)
  556. Bohlmann S, Klinger V and Szczerbicka H HPNS Winter Simulation Conference, (874-885)
  557. Huber D and Dangelmaier W Controlled simplification of material flow simulation models Winter Simulation Conference, (839-850)
  558. Goldstein R and Wainer G DEVS-based design of spatial simulations of biological systems Winter Simulation Conference, (743-754)
  559. Liu G, Yao Y and Peng S EDEVS Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, (239-242)
  560. Moreno A, Risco-Martín J, Besada E, Mittal S and Aranda J DEVS/SOA Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, (144-153)
  561. Cicirelli F, Furfaro A, Giordano A and Nigro L Distributed Simulation of RePast Models over HLA/Actors Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, (184-191)
  562. Uhrmacher A, Schulz H, Schumann H, Schwabe L and Timmermann D Regenerative systems Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, (1-10)
  563. ACM
    Hu X and Ntaimo L (2009). Integrated simulation and optimization for wildfire containment, ACM Transactions on Modeling and Computer Simulation, 19:4, (1-29), Online publication date: 1-Oct-2009.
  564. Léger B and Naud O (2009). Experimenting statecharts for multiple experts knowledge elicitation in agriculture, Expert Systems with Applications: An International Journal, 36:8, (11296-11303), Online publication date: 1-Oct-2009.
  565. Bisgambiglia P, De Gentili E, Bisgambiglia P and Santucci J iDEVS Proceedings of the 18th international conference on Fuzzy Systems, (300-307)
  566. Guo S, Hu X and Sun Y Exploring spatial partition for parallel simulation of DEVS-FIRE Proceedings of the 2009 Summer Computer Simulation Conference, (444-451)
  567. Casas P Towards an automatic transformation from a DEVS to a SDL specification Proceedings of the 2009 Summer Computer Simulation Conference, (348-355)
  568. Kara A, Deniz F, Bozağaç D and Alpdemir M Simulation modeling architecture (SiMA), a DEVS based modeling and simulation framework Proceedings of the 2009 Summer Computer Simulation Conference, (315-321)
  569. Seck M and Verbraeck A DEVS in DSOL Proceedings of the 2009 Summer Computer Simulation Conference, (261-266)
  570. Giambiasi N From sequential machines to DEVS formalism Proceedings of the 2009 Summer Computer Simulation Conference, (216-222)
  571. Bonté B, Duboz R, Quesnel G and Muller J Recursive simulation and experimental frame for multiscale simulation Proceedings of the 2009 Summer Computer Simulation Conference, (164-172)
  572. Mamoun S, Torres L and Frydman C Validating interaction-based systems behavior via simulation and detecting implied scenarios Proceedings of the 2009 Summer Computer Simulation Conference, (156-163)
  573. Guo M, Ma Z, Liu L and Ye J An emulation platform for intelligent scheduling algorithm in automated container terminal Proceedings of the 2009 Summer Computer Simulation Conference, (133-140)
  574. Deniz F, Kara A, Alpdemir M and Oğuztüzün H Variable structure and dynamism extensions to SiMA, a DEVS based modeling and simulation framework Proceedings of the 2009 Summer Computer Simulation Conference, (117-124)
  575. Trojet M, Sqali M, Frydman C and Torres L MSC scenarios analysis via simulation and formal verification techniques Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference, (35-42)
  576. Zengin A and Sarjoughian H Teaching and training of network protocols with DEVS-suite Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems, (104-111)
  577. Gibbs J and Sarjoughian H Assessing the impact of a modeling tool and its support for verification and validation Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems, (73-80)
  578. ACM
    d'Orazio L and Traoré M Cache sémantique pour grilles pervasives Proceedings of the 5th French-Speaking Conference on Mobility and Ubiquity Computing, (65-72)
  579. Mittal S, Risco-Martín J and Zeigler B (2009). DEVS/SOA, Simulation, 85:7, (419-450), Online publication date: 1-Jul-2009.
  580. ACM
    Zou J, Auerbach J, Bacon D and Lee E (2009). PTIDES on flexible task graph, ACM SIGPLAN Notices, 44:7, (31-40), Online publication date: 28-Jun-2009.
  581. Al-Zoubi K and Wainer G Using REST Web-Services Architecture for Distributed Simulation Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation, (114-121)
  582. Liu Q and Wainer G A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation, (27-34)
  583. Szabo C and Teo Y An Approach for Validation of Semantic Composability in Simulation Models Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation, (3-10)
  584. ACM
    Zou J, Auerbach J, Bacon D and Lee E PTIDES on flexible task graph Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (31-40)
  585. Madlener F, Molter H and Huss S SC-DEVS Proceedings of the Conference on Design, Automation and Test in Europe, (1518-1523)
  586. Casteres J and Ramaherirariny T Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs Proceedings of the Conference on Design, Automation and Test in Europe, (346-351)
  587. Touraille L, Traoré M and Hill D A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models Proceedings of the 2009 Spring Simulation Multiconference, (1-6)
  588. Traoré M A graphical notation for DEVS Proceedings of the 2009 Spring Simulation Multiconference, (1-7)
  589. Kim S, Sarjoughian H and Elamvazhuthi V DEVS-suite Proceedings of the 2009 Spring Simulation Multiconference, (1-7)
  590. Mooney J and Sarjoughian H A framework for executable UML models Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  591. Chreyh R and Wainer G CD++ repository Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  592. Seo C and Zeigler B Automating the DEVS modeling and simulation interface to web services Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  593. Seo C and Zeigler B Interoperability between DEVS simulators using service oriented architecture and DEVS namespace Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  594. Garredu S, Vittori E and Santucci J A DEVS-oriented intuitive modeling language Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  595. Moallemi M and Wainer G A system-on-chip FPGA implementation of embedded CD++ Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  596. Meseth N, Kirchhof P and Witte T XML-based DEVS modeling and interpretation Proceedings of the 2009 Spring Simulation Multiconference, (1-9)
  597. Byun J, Choi C and Kim T Verification of the DEVS model implementation using aspect embedded DEVS Proceedings of the 2009 Spring Simulation Multiconference, (1-7)
  598. Sung C, Hong J and Kim T Interoperation of DEVS models and differential equation models using HLA/RTI Proceedings of the 2009 Spring Simulation Multiconference, (1-6)
  599. Broutin E, Paul B and Santucci J Simulation of heterogeneous DEVS models; application to the study of natural systems Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  600. Risco-Martín J, Moreno A, Cruz J and Aranda J Interoperability between DEVS and non-DEVS models using DEVS/SOA Proceedings of the 2009 Spring Simulation Multiconference, (1-9)
  601. Sanz V, Jafer S, Wainer G, Nicolescu G, Urquia A and Dormido S Hybrid modeling of opto-electrical interfaces using DEVS and modelica Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  602. Santucci J and de Gentili E Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  603. Castonguay P and Wainer G Aircraft evacuation DEVS implementation & visualization Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  604. Saadawi H and Wainer G Verification of real-time DEVS models Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  605. You Y and Chi S SIMVA Proceedings of the 2009 Spring Simulation Multiconference, (1-5)
  606. Tsai W, Sarjoughian H, Li W and Sun X Timing specification and analysis for service-oriented simulation Proceedings of the 2009 Spring Simulation Multiconference, (1-9)
  607. El Ajaltouni E, Boukerche A and Zhang M A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  608. D'Souza R, Lysenko M, Marino S and Kirschner D Data-parallel algorithms for agent-based model simulation of tuberculosis on graphics processing units Proceedings of the 2009 Spring Simulation Multiconference, (1-12)
  609. Amoretti M, Agosti M and Zanichelli F DEUS Proceedings of the 2nd International Conference on Simulation Tools and Techniques, (1-9)
  610. Sarjoughian H and Elamvazhuthi V CoSMoS Proceedings of the 2nd International Conference on Simulation Tools and Techniques, (1-9)
  611. Bisgambiglia P, de Gentili E, Bisgambiglia P and Santucci J Fuzz-iDEVS Proceedings of the 2nd International Conference on Simulation Tools and Techniques, (1-10)
  612. Gu F and Hu X Towards applications of particle filters in wildfire spread simulation Proceedings of the 40th Conference on Winter Simulation, (2852-2860)
  613. Fumarola M and Verbraeck A Multiple worlds in simulation games for spatial decision making Proceedings of the 40th Conference on Winter Simulation, (2555-2562)
  614. Thapa D, Park C, Han K, Park S and Wang G Architecture for modeling, simulation, and execution of PLC based manufacturing system Proceedings of the 40th Conference on Winter Simulation, (1794-1801)
  615. de los Milagros Gutiérrez M and Leone H De2m Proceedings of the 40th Conference on Winter Simulation, (1420-1428)
  616. Turnitsa C and Tolk A Knowledge representation and the dimensions of a multi-model relationship Proceedings of the 40th Conference on Winter Simulation, (1148-1156)
  617. Sun Y and Hu X Partial-modular DEVS for improving performance of cellular space wildfire spread simulation Proceedings of the 40th Conference on Winter Simulation, (1038-1046)
  618. Röhl M and Uhrmacher A Definition and analysis of composition structures for discrete-event models Proceedings of the 40th Conference on Winter Simulation, (942-950)
  619. Dalle O, Zeigler B and Wainer G Extending DEVS to support multiple occurrence in component-based simulation Proceedings of the 40th Conference on Winter Simulation, (933-941)
  620. Sarjoughian H, Kim S, Ramaswamy M and Yau S A simulation framework for service-oriented computing systems Proceedings of the 40th Conference on Winter Simulation, (845-853)
  621. Himmelspach J, Ewald R and Uhrmacher A A flexible and scalable experimentation layer Proceedings of the 40th Conference on Winter Simulation, (827-835)
  622. Goldstein R, Wainer G, Cheetham J and Bain R Vesicle-synapsin interactions modeled with Cell-DEVS Proceedings of the 40th Conference on Winter Simulation, (813-821)
  623. Gore R and Reynolds P Applying causal inference to understand emergent behavior Proceedings of the 40th Conference on Winter Simulation, (712-721)
  624. Wang J and Wysk R A Pi-calculus formalism for discrete event simulation Proceedings of the 40th Conference on Winter Simulation, (703-711)
  625. Bauer D, McMahon M and Page E An approach for the effective utilization of GP-GPUs in parallel combined simulation Proceedings of the 40th Conference on Winter Simulation, (695-702)
  626. Yilmaz L, Davis P, Fishwick P, Hu X, Miller J, Hybinette M, Ören T, Reynolds P, Sarjoughian H and Tolk A Sustaining the growth and vitality of the M&S discipline Proceedings of the 40th Conference on Winter Simulation, (677-688)
  627. ACM
    Nutaro J (2009). On constructing optimistic simulation algorithms for the discrete event system specification, ACM Transactions on Modeling and Computer Simulation, 19:1, (1-21), Online publication date: 1-Dec-2008.
  628. ACM
    Klan F, Röhl M, König-Ries B and Uhrmacher A Using context information to evaluate cooperativeness Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks, (98-105)
  629. Xie H, Boukerche A, Zhang M and Zeigler B Design of A QoS-Aware Service Composition and Management System in Peer-to-Peer Network Aided by DEVS Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, (285-291)
  630. Boukerche A, Zhang M and Xie H An Efficient Time Management Scheme for Large-Scale Distributed Simulation Based on JXTA Peer-to-Peer Network Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, (167-172)
  631. Sun Y and Nutaro J Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based Applications Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, (277-284)
  632. Liu Q and Wainer G Lightweight Time Warp- A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, (131-138)
  633. Feng B and Wainer G a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, (292-299)
  634. Al-Zoubi K and Wainer G Interfacing and Coordination for a DEVS Simulation Protocol Standard Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, (300-307)
  635. Ortega C, Morles E and Ramírez E (2008). Design framework for intelligent supervision of industrial processes, WSEAS TRANSACTIONS on SYSTEMS, 7:7, (616-625), Online publication date: 1-Jul-2008.
  636. ACM
    Giani A, Karsai G, Roosta T, Shah A, Sinopoli B and Wiley J (2008). A testbed for secure and robust SCADA systems, ACM SIGBED Review, 5:2, (1-4), Online publication date: 1-Jul-2008.
  637. ACM
    Barros F Semantics of dynamic structure event-based systems Proceedings of the second international conference on Distributed event-based systems, (245-252)
  638. Foo N and Renz J Experience and Trust ---A Systems-Theoretic Approach Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, (867-868)
  639. Rachelson E, Quesnel G, Garcia F and Fabiani P 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, (583-587)
  640. Risco-Martín J, Mittal S, Atienza D, Hidalgo J and Lanchares J 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, (1-11)
  641. Maus C, John M, Röhl M and Uhrmacher A Hierarchical modeling for computational biology Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology, (81-124)
  642. Zacharewicz G, Frydman C and Giambiasi N (2008). G-DEVS/HLA Environment for Distributed Simulations of Workflows, Simulation, 84:5, (197-213), Online publication date: 1-May-2008.
  643. Boukerche A, Ming Zhang and Shadid A (2008). DEVS Approach to Real-time RTI Design for Large-scale Distributed Simulation Systems, Simulation, 84:5, (231-238), Online publication date: 1-May-2008.
  644. Sqali M, Torres L and Frydman C Synthesizing scenarios to DEVS models Proceedings of the 2008 Spring simulation multiconference, (1-6)
  645. Jafer S, Wainer G, Bravo J and Dalle O Event behavior of discrete event simulations in CD++ vs. NS-2 Proceedings of the 2008 Spring simulation multiconference, (1-4)
  646. Moallemi M, Gutierrez-Alcaraz J and Wainer G ECD++ a DEVS based real-time simulator for embedded systems Proceedings of the 2008 Spring simulation multiconference, (1-4)
  647. Moallemi M and Wainer G Design of Persian tapestry in CD++ Proceedings of the 2008 Spring simulation multiconference, (1-4)
  648. Kidisyuk K and Wainer G CD++Modeler Proceedings of the 2008 Spring simulation multiconference, (1-4)
  649. Gutierrez-Alcaraz M and Wainer G Experiences with the DEVStone benchmark Proceedings of the 2008 Spring simulation multiconference, (447-455)
  650. Feng B, Liu Q and Wainer G Parallel simulation of DEVS and Cell-DEVS models on Windows-based PC cluster systems Proceedings of the 2008 Spring simulation multiconference, (439-446)
  651. Hagendorf O and Pawletta T An approach for simulation based structure optimisation of discrete event systems Proceedings of the 2008 Spring simulation multiconference, (431-438)
  652. Castro R, Kofman E and Wainer G A formal framework for stochastic DEVS modeling and simulation Proceedings of the 2008 Spring simulation multiconference, (421-428)
  653. Wainer G, Liu Q, Chazal J, Quinet L and Traoré M Performance analysis of web-based distributed simulation in DCD++ Proceedings of the 2008 Spring simulation multiconference, (413-420)
  654. King R and Turnitsa C The landscape of assumptions Proceedings of the 2008 Spring simulation multiconference, (81-88)
  655. Traoré M SimStudio Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops, (1-6)
  656. Gianni D, D'Ambrogio A and Iazeolla G 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, (1-9)
  657. Kanacilo E and Verbraeck A 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, (1878-1886)
  658. Godding G, Sarjoughian H and Kempf K Application of combined discrete-event simulation and optimization models in semiconductor enterprise manufacturing systems Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, (1729-1736)
  659. Hu X and Sun Y 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, (1275-1283)
  660. Gore R and Reynolds P 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, (1232-1240)
  661. Uhrmacher A, Ewald R, John M, Maus C, Jeschke M and Biermann S 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, (871-880)
  662. Davis P and Tolk A 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, (859-870)
  663. Lei Y, Song L, Wang W and Jiang C 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, (851-858)
  664. Röhl M, Marquardt F and Uhrmacher A Exploiting web service techniques for composing simulation models Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, (833-841)
  665. Yilmaz L, Lim A, Bowen S and Ören T 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, (823-832)
  666. Hu W and Sarjoughian H 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, (685-693)
  667. Kleijnen J Regression models and experimental designs Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, (183-194)
  668. Sanz R, López I, Rodríguez M and Hernández C (2007). 2007 Special Issue, Neural Networks, 20:9, (938-946), Online publication date: 1-Nov-2007.
  669. ACM
    Duvenhage B, Delport J and Louis A A 3D visual analysis tool in support of the SANDF's growing ground based air defence simulation capability Proceedings of the 5th international conference on Computer graphics, virtual reality, visualisation and interaction in Africa, (39-46)
  670. Zhang M, Boukerche A and Zeigler B Exploiting the Concept of Activity for Dynamic Reconfiguration of Distributed Simulation Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications, (87-94)
  671. ACM
    Lee E and Zheng H Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems Proceedings of the 7th ACM & IEEE international conference on Embedded software, (114-123)
  672. Plesser H, Eppler J, Morrison A, Diesmann M and Gewaltig M Efficient parallel simulation of large-scale neuronal networks on clusters of multiprocessor computers Proceedings of the 13th international Euro-Par conference on Parallel Processing, (672-681)
  673. Baati L, Frydman C, GIAMBIASI N and Seck M Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach Proceedings of the 2007 Summer Computer Simulation Conference, (1-6)
  674. Kim J, Kim T and Jeong J Embedding DEVS methodology in CBD process for development of war game simulators Proceedings of the 2007 Summer Computer Simulation Conference, (1-8)
  675. van Evert F, Leffelaar P, Acutis M, Adam M, Ewert F, van Keulen H and Trevisiol P Practical use of components in agro-ecological simulation Proceedings of the 2007 Summer Computer Simulation Conference, (1-6)
  676. Naamane A and M'sirdi N An event based control architecture for non linear systems diagnosis Proceedings of the 2007 Summer Computer Simulation Conference, (1-5)
  677. Dalle O and Wainer G An open issue on applying sharing modeling patterns in DEVS Proceedings of the 2007 Summer Computer Simulation Conference, (1-6)
  678. Dalle O The OSA project Proceedings of the 2007 Summer Computer Simulation Conference, (1155-1162)
  679. Cox D and Hariri S Efficacy of modeling & simulation in defense life cycle engineering Proceedings of the 2007 Summer Computer Simulation Conference, (1105-1111)
  680. Zacharewicz G, Frydman C and Giambiasi N Mapping PIOVRA in GDEVS/HLA environment Proceedings of the 2007 Summer Computer Simulation Conference, (1086-1093)
  681. Nutaro J, Kruse K, Ward R, O'Quinn E, Woerner M, Beckerman B, Kirkpatrick S, Mountain D and Grandas O A discrete cell migration model Proceedings of the 2007 Summer Computer Simulation Conference, (811-816)
  682. Duvenhage B and Kourie D Migrating to a real-time distributed parallel simulator architecture Proceedings of the 2007 Summer Computer Simulation Conference, (575-582)
  683. Gheorghe L, Bouchhima F, Nicolescu G and Boucheneb H A formalization of global simulation models for continuous/discrete systems Proceedings of the 2007 Summer Computer Simulation Conference, (559-566)
  684. Quesnel G, Duboz R, Ramat É and Traoré M VLE Proceedings of the 2007 Summer Computer Simulation Conference, (367-374)
  685. Mittal S, Risco J and Zeigler B DEVS-based simulation web services for net-centric T&E Proceedings of the 2007 Summer Computer Simulation Conference, (357-366)
  686. Cicirelli F, Furfaro A and Nigro L Conflict management in PDEVS Proceedings of the 2007 Summer Computer Simulation Conference, (349-356)
  687. Shang H and Wainer G A flexible dynamic structure DEVS algorithm towards real-time systems Proceedings of the 2007 Summer Computer Simulation Conference, (339-345)
  688. Carmona J and Giambiasi N New design and simulation of the GDEVS abstraction of an integrator Proceedings of the 2007 Summer Computer Simulation Conference, (331-338)
  689. Yu Y and Wainer G eCD++ Proceedings of the 2007 Summer Computer Simulation Conference, (323-330)
  690. Dacharry H and Giambiasi N A formal verification approach for DEVS Proceedings of the 2007 Summer Computer Simulation Conference, (312-319)
  691. Kim T and Sung C Objective-driven DEVS modeling using OPI matrix for performance evaluation of discrete event systems Proceedings of the 2007 Summer Computer Simulation Conference, (305-311)
  692. Ferayorni A and Sarjoughian H Domain driven simulation modeling for software design Proceedings of the 2007 Summer Computer Simulation Conference, (297-304)
  693. ACM
    Lees M, Logan B and Theodoropoulos G (2007). Distributed simulation of agent-based systems with HLA, ACM Transactions on Modeling and Computer Simulation, 17:3, (11-es), Online publication date: 1-Jul-2007.
  694. Lima T, Faria S and Carneiro T Development of a didactic model of the hydrologic cycle using the TerraME graphical interface for modeling and simulation Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV, (75-90)
  695. Nutaro J A Second Order Accurate Adams-Bashforth Type Discrete Event Integration Scheme Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, (25-31)
  696. Jammalamadaka R and Zeigler B A Generic Pattern for Modifying Traditional PDE Solvers to Exploit Heterogeneity in Asynchronous Behavior Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, (45-52)
  697. Gore R, Reynolds Jr. P, Tang L and Brogan D Explanation Exploration Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, (113-122)
  698. Barros F Comparing Synchronous and Asynchronous Variable Step Size Explicit ODE Solvers Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, (32-37)
  699. Han S and Huang K Equivalent Semantic Translation from Parallel DEVS Models to Time Automata Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007, (1246-1253)
  700. ACM
    Michel F The IRM4S model Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, (1-3)
  701. Klashner R and Sabet S (2007). A DSS Design Model for complex problems, Decision Support Systems, 43:3, (990-1013), Online publication date: 1-Apr-2007.
  702. Jammalamadaka R, Zeigler B, Zhang M, Gettings M and Bultman M Complex system simulation Proceedings of the 2007 spring simulation multiconference - Volume 2, (316-319)
  703. Cho D, Son M, Kang J, Lee S, Cha J, Yoo S, Lee H, Lee K, Kim T and Ko Y Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation Proceedings of the 2007 spring simulation multiconference - Volume 2, (307-315)
  704. Antoine-Santoni T, Santucci J, De Gentili E and Costa B Modelling & simulation oriented components of wireless sensor network using DEVS formalism Proceedings of the 2007 spring simulation multiconference - Volume 2, (299-306)
  705. Mittal S, Risco-Martín J and Zeigler B DEVSML Proceedings of the 2007 spring simulation multiconference - Volume 2, (287-295)
  706. Martín J, Mittal S, López-Peña M and de la Cruz J A W3C XML schema for DEVS scenarios Proceedings of the 2007 spring simulation multiconference - Volume 2, (279-286)
  707. Madhoun R and Wainer G Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models Proceedings of the 2007 spring simulation multiconference - Volume 2, (267-278)
  708. Himmelspach J and Uhrmacher A The event queue problem and PDevs Proceedings of the 2007 spring simulation multiconference - Volume 2, (257-264)
  709. Himmelspach J, Ewald R, Leye S and Uhrmacher A Parallel and distributed simulation of parallel DEVS models Proceedings of the 2007 spring simulation multiconference - Volume 2, (249-256)
  710. Cheon S and Zeigler B Experimental frame structuring and aggregation of source data Proceedings of the 2007 spring simulation multiconference - Volume 2, (243-248)
  711. Chidisiuc C and Wainer G CD++Builder Proceedings of the 2007 spring simulation multiconference - Volume 2, (235-240)
  712. Baati L, Frydman C and Giambiasi N LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach Proceedings of the 2007 spring simulation multiconference - Volume 2, (227-234)
  713. Kim T, Hwang M, Kim D and Zeigler B DEVS/NS-2 environment Proceedings of the 2007 spring simulation multiconference - Volume 2, (219-226)
  714. Traoré M Easy DEVS Proceedings of the 2007 spring simulation multiconference - Volume 2, (214-216)
  715. Dacharry H and Giambiasi N Discrete event modeling through a multi-formalism approach, from a user-oriented perspective Proceedings of the 2007 spring simulation multiconference - Volume 2, (207-213)
  716. Sarjoughian H and Flasher R System modeling with mixed object and data models Proceedings of the 2007 spring simulation multiconference - Volume 2, (199-206)
  717. Mayer G and Sarjoughian H Complexities of simulating a hybrid agent-landscape model using multi-formalism composability Proceedings of the 2007 spring simulation multiconference - Volume 2, (161-168)
  718. ACM
    Lakhtanau P, Hu X and Qiu F BehaviorSim Proceedings of the 45th annual southeast regional conference, (138-143)
  719. Sikora A and Niewiadomska-Szynkiewicz E (2007). A Federated Approach to Parallel and Distributed Simulation of Complex Systems, International Journal of Applied Mathematics and Computer Science, 17:1, (99-106), Online publication date: 1-Mar-2007.
  720. van Houten S and Verbraeck A Controlling simulation games through rule-based scenarios Proceedings of the 38th conference on Winter simulation, (2261-2269)
  721. Michopoulos J and Lambrakos S Underlying issues associated with validation and verification of dynamic data driven simulation Proceedings of the 38th conference on Winter simulation, (2093-2100)
  722. Palaniappan S, Sawhney A and Sarjoughian H Application of the DEVS framework in construction simulation Proceedings of the 38th conference on Winter simulation, (2077-2086)
  723. Huang D, Sarjoughain H, Godding G, Rivera D and Kempf K Flexible experimentation and analysis for hybrid DEVS and MPC models Proceedings of the 38th conference on Winter simulation, (1863-1870)
  724. Bagrodia R, Tang K, Goldman S and Kumar D An accurate, scalable communication effects server for the FCS system of systems simulation environment Proceedings of the 38th conference on Winter simulation, (1226-1233)
  725. Röhl M and Uhrmacher A Composing simulations from XML-specified model components Proceedings of the 38th conference on Winter simulation, (1083-1090)
  726. Traoré M Analyzing static and temporal properties of simulation models Proceedings of the 38th conference on Winter simulation, (897-904)
  727. Ewald R, Himmelspach J and Uhrmacher A A non-fragmenting partitioning algorithm for hierarchical models Proceedings of the 38th conference on Winter simulation, (848-855)
  728. Uhrmacher A, Himmelspach J, Röhl M and Ewald R Introducing variable ports and multi-couplings for cell biological modeling in DEVS Proceedings of the 38th conference on Winter simulation, (832-840)
  729. Shang H and Wainer G A simulation algorithm for dynamic structure DEVS modeling Proceedings of the 38th conference on Winter simulation, (815-822)
  730. Sarjoughian H Model composability Proceedings of the 38th conference on Winter simulation, (149-158)
  731. Park S, Hunt C and Zeigler B (2006). Cost-based Partitioning for Distributed and Parallel Simulation of Decomposable Multiscale Constructive Models, Simulation, 82:12, (809-826), Online publication date: 1-Dec-2006.
  732. Fishwick P (2006). Injecting Creativity into Teaching Simulation Modeling to Computer Science Students, Simulation, 82:11, (719-729), Online publication date: 1-Nov-2006.
  733. Wainer G (2006). Applying Cell-DEVS Methodology for Modeling the Environment, Simulation, 82:10, (635-660), Online publication date: 1-Oct-2006.
  734. Lee E Concurrent semantics without the notions of state or state transitions Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, (18-31)
  735. Wainer G Modeling robot path planning with CD++ Proceedings of the 7th international conference on Cellular Automata for Research and Industry, (595-604)
  736. MacLeod M, Chreyh R and Wainer G Improved Cell-DEVS models for fire spreading analysis Proceedings of the 7th international conference on Cellular Automata for Research and Industry, (472-481)
  737. Gierke M, Himmelspach J, Röhl M and Uhrmacher A Modeling and simulation of tests for agents Proceedings of the 4th German conference on Multiagent System Technologies, (49-60)
  738. Seo H, Kim T and Kim H Modeling of distributed intrusion detection using fuzzy system Proceedings of the 2006 international conference on Intelligent computing: Part II, (165-170)
  739. Al-Aomar R and Al-Okaily A (2006). A GA-based parameter design for single machine turning process with high-volume production, Computers and Industrial Engineering, 50:3, (317-337), Online publication date: 1-Jul-2006.
  740. ACM
    Reynolds V, Cahill V and Senart A Requirements for an ubiquitous computing simulation and emulation environment Proceedings of the first international conference on Integrated internet ad hoc and sensor networks, (1-es)
  741. Chopard B, Combes P and Zory J A conservative approach to systemc parallelization Proceedings of the 6th international conference on Computational Science - Volume Part IV, (653-660)
  742. Perumalla K, Fujimoto R and Karimabadi H Scalable simulation of electromagnetic hybrid codes Proceedings of the 6th international conference on Computational Science - Volume Part II, (41-49)
  743. Tolk A What Comes After the Semantic Web - PADS Implications for the Dynamic Web Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
  744. Kim I and Lee J Resource demand prediction-based grid resource transaction network model in grid computing environment Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V, (1-9)
  745. ACM
    Nguyen T, Lecerf C and Lavallée I A space aware agent-based modeling process for the study of hierarchical complex systems Proceedings of the 2006 ACM symposium on Applied computing, (126-127)
  746. Glinsky E and Wainer G New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++ Proceedings of the 39th annual Symposium on Simulation, (244-251)
  747. Seo H and Cho T Application of fuzzy logic for distributed intrusion detection Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part II, (340-347)
  748. Lee J, Kim D, Park J and Chi S Design of intelligent security management system using simulation-based analysis Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence, (766-775)
  749. Liu C, Li Q, Wang W and Zhu Y Extend SRML schema based on DEVS Proceedings of the 37th conference on Winter simulation, (2693-2699)
  750. Chin R, van Houten S and Verbraeck A Towards a simulation and visualization portal to support multi-actor decision making in mainports Proceedings of the 37th conference on Winter simulation, (2500-2505)
  751. Carnahan J, Reynolds P and Brogan D Simulation-specific characteristics and software reuse Proceedings of the 37th conference on Winter simulation, (2492-2499)
  752. Verbraeck A and van Houten S From simulation to gaming Proceedings of the 37th conference on Winter simulation, (2346-2354)
  753. Ramakrishnan S and Thakur M An SDS modeling approach for simulation-based control Proceedings of the 37th conference on Winter simulation, (1473-1482)
  754. Hamri M, Frydman C and Torres L Modeling waiting systems from domain expert specifications Proceedings of the 37th conference on Winter simulation, (456-460)
  755. Spiegel M, Reynolds P and Brogan D A case study of model context for simulation composability and reusability Proceedings of the 37th conference on Winter simulation, (437-444)
  756. Lang N, Jacobs P and Verbraeck A RMIS Proceedings of the 37th conference on Winter simulation, (336-345)
  757. Zhao W and Verbraeck A A framework for configurable hierarchical simulation in a multiple-user decision support environment Proceedings of the 37th conference on Winter simulation, (327-335)
  758. Uhrmacher A and Priami C Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS Proceedings of the 37th conference on Winter simulation, (317-326)
  759. Nutaro J Constructing multi-point discrete event integration schemes Proceedings of the 37th conference on Winter simulation, (267-273)
  760. Sarjoughian H, Huang D, Godding G, Kempf K, Wang W, Rivera D and Mittelmann H Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing Proceedings of the 37th conference on Winter simulation, (256-266)
  761. Hu X, Muzy A and Ntaimo L A hybrid agent-cellular space modeling approach for fire spread and suppression simulation Proceedings of the 37th conference on Winter simulation, (248-255)
  762. Sarjoughian H and Huang D A Multi-Formalism Modeling Composability Framework Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, (249-256)
  763. Zacharewicz G, Giambiasi N and Frydman C Improving the Lookahead Computation in G-DEVS/HLA Environment Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, (273-282)
  764. Glinsky E and Wainer G DEVStone Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, (265-272)
  765. Zia M, Mustafiz S, Vangheluwe H and Kienzle J A modelling and simulation based approach to dependable system design Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (217-231)
  766. Lee E and Zhao Y Reinventing computing for real time Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms, (1-25)
  767. Kleijnen J, Sanchez S, Lucas T and Cioppa T (2005). State-of-the-Art Review, INFORMS Journal on Computing, 17:3, (263-289), Online publication date: 1-Jul-2005.
  768. ACM
    Paul J, Thomas D and Cassidy A (2005). High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors, ACM Transactions on Design Automation of Electronic Systems, 10:3, (431-461), Online publication date: 1-Jul-2005.
  769. Defontaine A, Hernández A and Carrault G Multi-formalism modelling of cardiac tissue Proceedings of the Third international conference on Functional Imaging and Modeling of the Heart, (394-403)
  770. Tang Y, Perumalla K, Fujimoto R, Karimabadi H, Driscoll J and Omelchenko Y Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation, (26-35)
  771. Greco G, Paronitti G, Turilli M and Floridi L How to do philosophy informationally Proceedings of the Third Biennial conference on Professional Knowledge Management, (623-634)
  772. Ahmed M, Yonis K, Elsahfei A and Wainer G Design and Implementation of a Library of Network Protocols in CD++ Proceedings of the 38th annual Symposium on Simulation, (196-203)
  773. Lee W and Roh C Incremental verification methodology for DEVS models Proceedings of the 4th WSEAS International Conference on Signal Processing, Robotics and Automation, (1-6)
  774. Wainer G and Giambiasi N (2005). Cell-DEVS/GDEVS for Complex Continuous Systems, Simulation, 81:2, (137-151), Online publication date: 1-Feb-2005.
  775. Cunning S and Rozenblit J (2005). Automating test generation for discrete event oriented embedded systems, Journal of Intelligent and Robotic Systems, 41:2-3, (87-112), Online publication date: 10-Jan-2005.
  776. Uhrmacher A, Degenring D and Zeigler B Discrete event multi-level models for systems biology Transactions on Computational Systems Biology I, (66-89)
  777. Seo H and Cho T Distributed security agent modeling in the policy-based networking Proceedings of the 5th international conference on Parallel and Distributed Computing: applications and Technologies, (782-786)
  778. Jacobs P and Verbraeck A Single-threaded specification of process-interaction formalism in Java Proceedings of the 36th conference on Winter simulation, (1548-1555)
  779. Curry R and Vlahos K HDPS, an XML/XSLT based hierarchal modeling system Proceedings of the 36th conference on Winter simulation, (1502-1509)
  780. Pathak S, Dilts D and Biswas G Simulating growth dynamics in complex adaptive supply networks Proceedings of the 36th conference on Winter simulation, (774-782)
  781. Godding G, Sarjoughian H and Kempf K Multi-formalism modeling approach for semiconductor supply/demand networks Proceedings of the 36th conference on Winter simulation, (232-239)
  782. Glinsky E and Wainer G Modeling and simulation of hardware/software systems with CD++ Proceedings of the 36th conference on Winter simulation, (198-205)
  783. Wainer G Modeling and simulation of complex systems with Cell-DEVS Proceedings of the 36th conference on Winter simulation, (49-60)
  784. Röhl M and Uhrmacher A Controlled experimentation with agents Proceedings of the 5th international conference on Engineering Societies in the Agents World, (292-304)
  785. Kim H Vulnerability modeling and simulation for DNS intrusion tolerance system construction Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (81-89)
  786. Yi M and Cho T Simulation modeling with hierarchical planning Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (71-80)
  787. Hamri M, Giambiasi N and Frydman C Simulation semantics for min-max DEVS models Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (699-708)
  788. Lee J, Jung J, Park J and Chi S Linux-Based system modelling for cyber-attack simulation Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (585-596)
  789. Foo N and Peppas P System properties of action theories Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (416-427)
  790. Lee J, Lee M, Lee J, Chi S and Ohn S Automated cyber-attack scenario generation using the symbolic simulation Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (380-389)
  791. Kim K and Kang W A web services-based distributed simulation architecture for hierarchical DEVS models Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (370-379)
  792. Lee W, Seo H and Cho T Modeling of policy-based network with SVDB Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (323-332)
  793. Baohong L and Kedi H A formal description specification for multi-resolution modeling (MRM) based on DEVS formalism Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (285-294)
  794. Ghosh S Large-Scale systems design Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (270-274)
  795. Park S and Kim K DEVS formalism Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (253-261)
  796. Hwang M and Lin F State minimization of SP-DEVS Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (243-252)
  797. Ameghino J and Wainer G Using Cell-DEVS for modeling complex cell spaces Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (233-242)
  798. Foo N and Peppas P Systems theory Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (14-23)
  799. Kim J and Kim T Proposal of high level architecture extension Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (128-137)
  800. Zeigler B, Jammalamadaka R and Akerkar S Continuity and change (activity) are fundamentally related in DEVS simulation of continuous systems Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems, (1-13)
  801. Liu S, Wei J, Ma Y and Liu Y Web Service Cooperation Ideology Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence, (537-540)
  802. Carmona J, Giambiasi N and Naamane A (2004). Generalized Discrete Event Abstraction of Continuous Systems, Journal of Intelligent and Robotic Systems, 41:1, (37-64), Online publication date: 1-Sep-2004.
  803. Lees M, Logan B, Minson R, Oguara T and Theodoropoulos G Modelling environments for distributed simulation Proceedings of the First international conference on Environments for Multi-Agent Systems, (150-167)
  804. Le Goc M and Frydman C (2004). The Discrete Event Concept as a Paradigm for the “Perception-Based Diagnosis” of Sachem, Journal of Intelligent and Robotic Systems, 40:2, (207-232), Online publication date: 1-Jun-2004.
  805. ACM
    Himmelspach J and Uhrmacher A A component-based simulation layer for JAMES Proceedings of the eighteenth workshop on Parallel and distributed simulation, (115-122)
  806. Bobrek A, Pieper J, Nelson J, Paul J and Thomas D Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach Proceedings of the conference on Design, automation and test in Europe - Volume 2
  807. Hu X and Zeigler B (2004). Model Continuity to Support Software Development for Distributed Robotic Systems, Journal of Intelligent and Robotic Systems, 39:1, (71-87), Online publication date: 1-Jan-2004.
  808. Godding G, Sarjoughian H and Kempf K Supply chain and distribution network Proceedings of the 35th conference on Winter simulation: driving innovation, (1593-1601)
  809. Giambiasi N, Paillet J and Châne F Simulation and verification II Proceedings of the 35th conference on Winter simulation: driving innovation, (923-931)
  810. Boer C and Verbraeck A Distributed simulation and manufacturing Proceedings of the 35th conference on Winter simulation: driving innovation, (829-837)
  811. Pathak S, Dilts D and Biswas G Next generation modeling III - agents Proceedings of the 35th conference on Winter simulation: driving innovation, (808-816)
  812. Fishwick P, Lee J, Park M and Shim H Next generation modeling I Proceedings of the 35th conference on Winter simulation: driving innovation, (755-762)
  813. D'Abreu M and Wainer G Hybrid dynamic systems Proceedings of the 35th conference on Winter simulation: driving innovation, (641-649)
  814. Liang V and Paredis C Foundations of multi-paradigm modeling and simulation Proceedings of the 35th conference on Winter simulation: driving innovation, (613-622)
  815. Traoré M Foundations of multi-paradigm modeling and simulation Proceedings of the 35th conference on Winter simulation: driving innovation, (604-612)
  816. Nutaro J, Zeigler B, Jammalamadaka R and Akerkar S Discrete event solution of gas dynamics within the DEVS framework Proceedings of the 2003 international conference on Computational science, (319-328)
  817. Muzy A, Innocenti E, Santucci J and Hill D Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading Proceedings of the 36th annual symposium on Simulation
  818. Troccoli A and Wainer G Implementing Parallel Cell-DEVS Proceedings of the 36th annual symposium on Simulation
  819. Cassidy A, Paul J and Thomas D Layered, Multi-Threaded, High-Level Performance Design Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
  820. Koh J, Yi M, Cho T, Kim H and Kim H Knowledge-Based Modeling and Simulation of Network Access Control Mechanisms Representing Security Policies Proceedings of the 4th International Conference on Information and Communications Security, (374-385)
  821. Boer C, Verbraeck A and Veeke H Real-time control Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (1675-1682)
  822. Duinkerken M, Ottjes J and Lodewijks G Transportation applications of simulation Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (1207-1213)
  823. Fishwick P XML-based modeling and simulation Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (616-622)
  824. Vangheluwe H and de Lara J XML-based modeling and simulation Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (597-605)
  825. Glinsky E and Wainer G Extensions Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (588-594)
  826. Muzy A, Innocenti E, Aiello A, Santucci J and Wainer G Methods for special applications Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (542-549)
  827. Kim H System specification based network modeling for survivability testing simulation Proceedings of the 5th international conference on Information security and cryptology, (90-106)
  828. Kim H, Koh K, Shin D and Kim H Vulnerability Assessment Simulation for Information Infrastructure Protection Proceedings of the International Conference on Infrastructure Security, (145-161)
  829. Anagnostopoulos D Experiment scheduling in faster-than-real-time simulation Proceedings of the sixteenth workshop on Parallel and distributed simulation, (163-171)
  830. ACM
    Paul J, Eatedali C and Thomas D The design context of concurrent computation systems Proceedings of the tenth international symposium on Hardware/software codesign, (19-24)
  831. Wainer G and Giambiasi N (2002). N-dimensional Cell-DEVS Models, Discrete Event Dynamic Systems, 12:2, (135-157), Online publication date: 1-Apr-2002.
  832. Schulz S, Rozenbilt J and Buchenrieder K (2002). Multilevel Testing for Design Verification of Embedded Systems, IEEE Design & Test, 19:2, (60-69), Online publication date: 1-Mar-2002.
  833. Tártaro M, Torres C and Wainer G Roadways, vehicle, and traffic applications Proceedings of the 33nd conference on Winter simulation, (1056-1063)
  834. Lee S, Pritchett A and Goldsman D Hybrid agent-based simulation for analyzing the national airspace system Proceedings of the 33nd conference on Winter simulation, (1029-1036)
  835. Gehlsen B and Page B A framework for distributed simulation optimization Proceedings of the 33nd conference on Winter simulation, (508-514)
  836. Giambiasi N, Escude B and Ghosh S (2001). Generalized discrete event simulation of dynamic systems, Transactions of the Society for Computer Simulation International, 18:4, (216-229), Online publication date: 1-Dec-2001.
  837. Wainer G, Daicz S and Troccoli A (2001). Experiences in modeling and simulation of computer architectures in DEVS, Transactions of the Society for Computer Simulation International, 18:4, (179-202), Online publication date: 1-Dec-2001.
  838. Pullar D (2001). MapScript, Geoinformatica, 5:2, (145-163), Online publication date: 1-Jun-2001.
  839. ACM
    Uhrmacher A and Kullick B Interacting multi-agent and simulation systems Proceedings of the fifth international conference on Autonomous agents, (122-123)
  840. Nutaro J and Sarjoughian H Speedup of a sparse system simulation Proceedings of the fifteenth workshop on Parallel and distributed simulation, (193-199)
  841. Uhrmacher A and Kullick B "Plug and test" Proceedings of the 32nd conference on Winter simulation, (1722-1729)
  842. Clymer J Optimizing production work flow using OpEMCSS Proceedings of the 32nd conference on Winter simulation, (1305-1314)
  843. Caughlin D An integrated approach to verification, validation, and accredition of models and simulations Proceedings of the 32nd conference on Winter simulation, (872-881)
  844. Sarjoughian H and Zeigler B Models and representation of their ownership Proceedings of the 32nd conference on Winter simulation, (440-448)
  845. Davis P Dealing with complexity Proceedings of the 32nd conference on Winter simulation, (293-302)
  846. Zeigler B and Sarjoughian H Distributed simulation Proceedings of the 32nd conference on Winter simulation, (158-160)
  847. Uhrmacher A and Gugler K Distributed, parallel simulation of multiple, deliberative agents Proceedings of the fourteenth workshop on Parallel and distributed simulation, (101-108)
  848. ACM
    Zeigler B, Kim D and Buckley S 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, (1333-1340)
  849. Barros F, Zeigler B and Fishwick P Multimodels and dynamic structure models Proceedings of the 30th conference on Winter simulation, (413-420)
  850. ACM
    Sargent R, Mize J, Withers D and Zeigler B Hierarchical modeling for discrete event simulation (panel) Proceedings of the 25th conference on Winter simulation, (569-572)
Contributors
  • The University of Arizona
  • Korea Advanced Institute of Science and Technology
  • Johannes Kepler University Linz

Recommendations