Login / Signup
SpringSim (TMS)
2018
2018
2018
Keyphrases
Publications
2018
Abdurrahman Alshareef
,
Hessam S. Sarjoughian
Parallelism semantics in modeling activities.
SpringSim (TMS)
(2018)
Fernando J. Barros
Handling overlapping collisions: a dynamic topology approach.
SpringSim (TMS)
(2018)
Sanish Rai
,
Xiaolin Hu
Hybrid agent-based and graph-based modeling for building occupancy simulation.
SpringSim (TMS)
(2018)
Ifeoluwa Oyelowo
,
Bruno Artacho
,
Siu O'Young
,
Gabriel A. Wainer
Using cell-DEVS for prototyping unmanned aircraft system traffic simulation.
SpringSim (TMS)
(2018)
Bernard P. Zeigler
Closure under coupling: concept, proofs, DEVS recent examples (wip).
SpringSim (TMS)
(2018)
Stig Bosmans
,
Siegfried Mercelis
,
Peter Hellinckx
,
Joachim Denil
Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip).
SpringSim (TMS)
(2018)
James J. Nutaro
,
Bernard P. Zeigler
Towards a theory of economic value for modeling and simulation: incremental cost of parallel simulation (wip).
SpringSim (TMS)
(2018)
Ifeoluwa Oyelowo
,
Gabriel A. Wainer
,
Ngozi Silas Echegini
,
Joseph Boi-Ukeme
,
Sergio Zlotnik
Cell-DEVS modeling and simulation of artificial hydraulic fracturing of rocks in boreholes (wip).
SpringSim (TMS)
(2018)
Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018
SpringSim (TMS)
(2018)
Xudong Zhang
,
Ali Mohamed
,
Linda Nguyen
,
Feng Gu
Performance analysis of parallel/distributed particle filters.
SpringSim (TMS)
(2018)
Sebastien Gougeaud
,
Soraya Zertal
,
Jacques-Charles Lafoucriere
,
Philippe Deniel
Designing a parallel OGSSim through library specificities.
SpringSim (TMS)
(2018)
Paul-H. Martelloni
,
Gauthier Quesnel
,
Eric Innocenti
,
Paul-Antoine Bisgambiglia
,
Pierre-Régis Gonsolin
,
Paul Bisgambiglia
Component-based simulation for spatial complex systems in VLE environment.
SpringSim (TMS)
(2018)
Chungman Seo
,
Bernard P. Zeigler
,
Doohwan Kim
DEVS markov modeling and simulation: formal definition and implementation.
SpringSim (TMS)
(2018)
2017
Yentl Van Tendeloo
,
Simon Van Mierlo
,
Hans Vangheluwe
Time- and space-conscious omniscient debugging of parallel DEVS.
SpringSim (TMS)
(2017)
Joachim Denil
,
Stefan Klikovits
,
Pieter J. Mosterman
,
Antonio Vallecillo
,
Hans Vangheluwe
The experiment model and validity frame in M&S.
SpringSim (TMS)
(2017)
Nicolai Pedersen
,
Tom Bojsen
,
Jan Madsen
Co-simulation of cyber physical systems with HMI for human in the loop investigations.
SpringSim (TMS)
(2017)
Aznam Yacoub
,
Maâmar El-Amine Hamri
,
Claudia S. Frydman
Restricting DEv-PROMELA with a hierarchy of simulation formalisms.
SpringSim (TMS)
(2017)
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017
SpringSim (TMS)
(2017)
Fernando J. Barros
Chattering avoidance in hybrid simulation models: a modular approach based on the HyFlow formalism.
SpringSim (TMS)
(2017)
Yanhong Wang
,
Xia Wang
,
Mamadou Kaba Traoré
Social interaction in pedestrian evacuation: a cellular discrete event simulation approach.
SpringSim (TMS)
(2017)
Oussama Jebbar
,
Ferhat Khendek
,
Maria Toeroe
Upgrade campaign simulation and evaluation for highly available systems.
SpringSim (TMS)
(2017)
Suresh K. Damodaran
,
Saurabh Mittal
Modeling cyber effects in cyber-physical systems with DEVS.
SpringSim (TMS)
(2017)
Saurabh Mittal
,
José L. Risco-Martín
DEVSML 3.0 stack: rapid deployment of DEVS farm in distributed cloud environment using microservices and containers.
SpringSim (TMS)
(2017)
Endre T. Somogyi
,
James A. Glazier
A modeling and simulation language for biological cells with coupled mechanical and chemical processes.
SpringSim (TMS)
(2017)
Salah Eddine Saidi
,
Nicolas Pernet
,
Yves Sorel
Automatic parallelization of multi-rate FMI-based co-simulation on multi-core.
SpringSim (TMS)
(2017)
Damián Vicino
,
Gabriel A. Wainer
,
Olivier Dalle
An abstract discrete-event simulator considering input with uncertainty.
SpringSim (TMS)
(2017)
Fabian Lorig
,
Colja A. Becker
,
Ingo J. Timm
Formal specification of hypotheses for assisting computer simulation studies.
SpringSim (TMS)
(2017)
Simon Van Mierlo
,
Cláudio Gomes
,
Hans Vangheluwe
Explicit modelling and synthesis of debuggers for hybrid simulation languages.
SpringSim (TMS)
(2017)
Rhys Goldstein
,
Azam Khan
A taxonomy of event time representations.
SpringSim (TMS)
(2017)
Misagh Tavanpour
,
Jan Mikhail
,
Gabriel A. Wainer
,
Gary Boudreau
The case for DEVS in networking M&S: upload user collaboration in mobile networks using coordinated multipoint.
SpringSim (TMS)
(2017)
Cláudio Gomes
,
Yentl Van Tendeloo
,
Joachim Denil
,
Paul De Meulenaere
,
Hans Vangheluwe
Hybrid system modelling and simulation with Dirac deltas.
SpringSim (TMS)
(2017)
Soroosh Gholami
,
Hessam S. Sarjoughian
Modeling and verification of network-on-chip using constrained-DEVS.
SpringSim (TMS)
(2017)
Christina Deatcu
,
Birger Freymann
,
Thorsten Pawletta
PDEVS-based hybrid system simulation toolbox for MATLAB.
SpringSim (TMS)
(2017)