default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSpringSim 2017: Virginia Beach, VA, USA
- Fernando Barros, Xiaolin Hu, Joachim Denil, Rhys Goldstein:
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017. ACM 2017 - Nicolai Pedersen, Tom Bojsen, Jan Madsen:
Co-simulation of cyber physical systems with HMI for human in the loop investigations. 1:1-1:12 - Christina Deatcu, Birger Freymann, Thorsten Pawletta:
PDEVS-based hybrid system simulation toolbox for MATLAB. 2:1-2:12 - Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe:
Time- and space-conscious omniscient debugging of parallel DEVS. 3:1-3:12 - Simon Van Mierlo, Cláudio Gomes, Hans Vangheluwe:
Explicit modelling and synthesis of debuggers for hybrid simulation languages. 4:1-4:12 - Salah Eddine Saidi, Nicolas Pernet, Yves Sorel:
Automatic parallelization of multi-rate FMI-based co-simulation on multi-core. 5:1-5:12 - Rhys Goldstein, Azam Khan:
A taxonomy of event time representations. 6:1-6:12 - Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
Hybrid system modelling and simulation with Dirac deltas. 7:1-7:12 - 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. 8:1-8:12 - Soroosh Gholami, Hessam S. Sarjoughian:
Modeling and verification of network-on-chip using constrained-DEVS. 9:1-9:12 - Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe:
The experiment model and validity frame in M&S. 10:1-10:12 - Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
Upgrade campaign simulation and evaluation for highly available systems. 11:1-11:12 - Yanhong Wang, Xia Wang, Mamadou Kaba Traoré:
Social interaction in pedestrian evacuation: a cellular discrete event simulation approach. 12:1-12:12 - Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman:
Restricting DEv-PROMELA with a hierarchy of simulation formalisms. 13:1-13:11 - Endre T. Somogyi, James A. Glazier:
A modeling and simulation language for biological cells with coupled mechanical and chemical processes. 14:1-14:12 - Fernando J. Barros:
Chattering avoidance in hybrid simulation models: a modular approach based on the HyFlow formalism. 15:1-15:12 - Suresh K. Damodaran, Saurabh Mittal:
Modeling cyber effects in cyber-physical systems with DEVS. 16:1-16:12 - Damián Vicino, Gabriel A. Wainer, Olivier Dalle:
An abstract discrete-event simulator considering input with uncertainty. 17:1-17:12 - Fabian Lorig, Colja A. Becker, Ingo J. Timm:
Formal specification of hypotheses for assisting computer simulation studies. 18:1-18:12 - Saurabh Mittal, José L. Risco-Martín:
DEVSML 3.0 stack: rapid deployment of DEVS farm in distributed cloud environment using microservices and containers. 19:1-19:12
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
