default search action
SpringSim 2012: Orlando, Florida, USA
- Gabriel A. Wainer, Pieter J. Mosterman:
2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium. SCS/ACM 2012, ISBN 978-1-61839-786-7 - Thomas A. Wall, Michael Hunter, Michael O. Rodgers:
A method to federate a discrete event-based logistics simulator and a discrete time step-based traffic microsimulator: a transportation case study (WIP). 1 - Alfredo Garro, Andrea Tundis:
A model-based method for system reliability analysis. 2 - Mondher Bouden, Bernard Moulin:
A multi-actor spatio-temporal interaction model used to geosimulate the zoonosis propagation (WIP). 3 - Ji-Yeon Kim, Dal-Nim Choi, Hyung-Jong Kim, Jin Myoung Kim, Won-Tae Kim:
Abstracted CPS model: a model for interworking between physical system and simulator for CPS simulation (WIP). 4 - Alexandre Muzy, Bernard P. Zeigler:
Activity-based credit assignment (ACA) in hierarchical simulation. 5 - Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman:
Adapting model-based testing techniques to DEVS models validation. 6 - Chethan Kotekar:
An approach to translate legacy 'C' code to Simulink® model using XML. 7 - Ravi Mukkamala, Jeremiah Creedon, Puya Ghazizadeh:
Analyzing a subsystem to identify properties of a large system: an application in airline routing decisions. 8 - Markus Koch, Juri Tolujew, Michael Schenk:
Approaching complexity in modeling and simulation of logistics systems (WIP). 9 - Paolo Bocciarelli, Andrea D'Ambrogio:
Automated performance analysis of business processes. 10 - Damien Foures, Vincent Albert, Jean-Claude Pascal, Alexandre Nketsa:
Automation of SysML activity diagram simulation with model-driven engineering approach. 11 - Daniele Gianni, Andrea D'Ambrogio, Marco Grasso:
BOM2UML: integrating BOM specifications into UML-based development environments. 12 - Joachim Denil, Hans Vangheluwe, Paul De Meulenaere, Serge Demeyer:
Calibration of deployment simulation models: a multi-paradigm modelling approach. 13 - Se Jung Kwon, Tag Gon Kim:
Design and implementation of event-based DEVS execution environment for faster execution of iterative simulation. 14 - Rizwan A. Ashraf, Francis Luna, Damian Dechev, Ronald F. DeMara:
Designing digital circuits for FPGAs using parallel genetic algorithms (WIP). 15 - Donghun Kang, Joohoe Kong, Byoung Kyu Choi:
DEVS modeling of urban traffic systems (WIP). 16 - Saurabh Mittal, Scott A. Douglass:
DEVSML 2.0: the language and the stack. 17 - Daejin Park, Tag Gon Kim:
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. 18 - Hessam S. Sarjoughian, Abbas Mahmoodi Markid:
EMF-DEVS modeling. 19 - Çagri Tekinay, Mamadou D. Seck, Alexander Verbraeck:
Exploring multi-level model dynamics: performance and accuracy (WIP). 20 - Samira Chaou, Franck Pommereau:
Formal modelling and analysis of behaviour grading within a peer-to-peer storage system. 21 - Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra:
Formal specification of multisimulations using Maude. 22 - Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell:
Frontier modeling support environment: flexibility to adapt to diverse stakeholders. 23 - Thècle Alix, Gregory Zacharewicz:
G-DEVS based simulation of toy industry client behavior in PSS (WIP). 24 - Johannes Groß, Stephan Rudolph:
Generating simulation models from UML - a FireSat example. 25 - Hesham Saadawi, Gabriel A. Wainer:
On the verification of hybrid DEVS models. 26 - Sol Ha, Namkuk Ku, Kyu-Yeul Lee:
Lattice Boltzmann approach to acoustic propagation for underwater warfare simulation. 27 - Deniz Cetinkaya, Alexander Verbraeck, Mamadou D. Seck:
Model transformation from BPMN to DEVS in the MDD4MS framework. 28 - Sandro Rodriguez Garzon, Dmytro Hritsevskyy:
Model-based generation of scenario-specific event sequences for the simulation of recurrent user behavior within context-aware applications (WIP). 29 - Andreas Bayha, Franziska Grüneis, Bernhard Schätz:
Model-based software in-the-loop-test of autonomous systems. 30 - Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle:
ModelicaML value bindings for automated model composition. 31 - Rodrigo D. Castro, Iván Ramello, Matías Bonaventura, Gabriel A. Wainer:
M&S-based design of embedded controllers on network processors. 32 - Fernando J. Barros:
Modeling and simulation of mobile phones using dynamic topologies. 33 - Fu Zhang, Murali Yeddanapudi:
Modeling and simulation of time-varying delays. 34 - Matthew F. Steele, Todd R. Andel:
Modeling the optimized link-state routing protocol for verification. 35 - Mandeep Gill, Steve McKeever, David Gavaghan:
Modular mathematical modelling of biological systems. 36 - Heather Morris, Gabriel A. Wainer:
Music generation using cellular models. 37 - Song Guo, Xiaolin Hu, Xiaoming Wang:
On time granularity and event granularity in simulation service composition (WIP). 38 - H. Job Honig, Mamadou D. Seck:
ΦDEVS: phase based discrete event modeling. 39 - Steven Hart, Eitan Frachtenberg, Mateusz Berezecki:
Predicting memcached throughput using simulation and modeling. 40 - Rosa López-Landa, Julieta Noguez:
PRoModel: a model-driven software environment that facilitates and expedites the development of systems that handle uncertainty. 41 - Colette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman:
PSYOPS and CIMIC operations: from concepts to G-DEVS models. 42 - Moon Ho Hwang:
Qualitative verification of finite and real-time DEVS networks. 43 - Afonso Sales:
SAN lite-solver: a user-friendly software tool to solve SAN models. 44 - Anastasiya Shtiliyanova, Fabien Feschet, Pascal Pommier:
Scheduling model for a tool evaluating new radiotherapies. 45 - Chungman Seo, Bernard P. Zeigler:
Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platform. 46 - Matthew Hause, James Hummell:
Simulation of an electrical network and control system in SysML. 47 - Ola Batarseh, Leon F. McGinnis:
SysML to discrete-event simulation to analyze electronic assembly systems. 48 - Ufuoma Bright Ighoroje, Oumar Y. Maïga, Mamadou Kaba Traoré:
The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation. 49 - Judicaël Ribault, Gabriel A. Wainer:
Using workflows and web services to manage simulation studies (WIP). 50 - Pamela Viale, Norbert Giambiasi, Claudia S. Frydman, Jacques Pinaton:
Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP). 51 - Hessam S. Sarjoughian, Mohammed A. Muqsith, Dazhi Huang, Stephen S. Yau:
Validation of service oriented computing DEVS simulation models. 52
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 2024-10-02 20:31 CEST 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: