Abstract is missing.
- A method to federate a discrete event-based logistics simulator and a discrete time step-based traffic microsimulator: a transportation case study (WIP)Thomas A. Wall, Michael Hunter, Michael O. Rodgers. 1 [doi]
- A model-based method for system reliability analysisAlfredo Garro, Andrea Tundis. 2 [doi]
- A multi-actor spatio-temporal interaction model used to geosimulate the zoonosis propagation (WIP)Mondher Bouden, Bernard Moulin. 3 [doi]
- Abstracted CPS model: a model for interworking between physical system and simulator for CPS simulation (WIP)Ji-Yeon Kim, Dal-Nim Choi, Hyung-Jong Kim, Jin Myoung Kim, Won-Tae Kim. 4 [doi]
- Activity-based credit assignment (ACA) in hierarchical simulationAlexandre Muzy, Bernard P. Zeigler. 5 [doi]
- Adapting model-based testing techniques to DEVS models validationDiego Hollmann, Maximiliano Cristiá, Claudia S. Frydman. 6 [doi]
- An approach to translate legacy 'C' code to Simulink® model using XMLChethan Kotekar. 7 [doi]
- Analyzing a subsystem to identify properties of a large system: an application in airline routing decisionsRavi Mukkamala, Jeremiah Creedon, P. Ghazizadeh. 8 [doi]
- Approaching complexity in modeling and simulation of logistics systems (WIP)Markus Koch, Juri Tolujew, Michael Schenk. 9 [doi]
- Automated performance analysis of business processesPaolo Bocciarelli, Andrea D'Ambrogio. 10 [doi]
- Automation of SysML activity diagram simulation with model-driven engineering approachDamien Foures, Vincent Albert, Jean-Claude Pascal, Alexandre Nketsa. 11 [doi]
- BOM2UML: integrating BOM specifications into UML-based development environmentsDaniele Gianni, Andrea D'Ambrogio, Marco Grasso. 12 [doi]
- Calibration of deployment simulation models: a multi-paradigm modelling approachJoachim Denil, Hans Vangheluwe, Paul De Meulenaere, Serge Demeyer. 13 [doi]
- Design and implementation of event-based DEVS execution environment for faster execution of iterative simulationSe Jung Kwon, Tag Gon Kim. 14 [doi]
- Designing digital circuits for FPGAs using parallel genetic algorithms (WIP)Rizwan Ashraf, Francis Luna, Damian Dechev, Ronald F. DeMara. 15 [doi]
- DEVS modeling of urban traffic systems (WIP)Dong-Hun Kang, Joohoe Kong, Byoung Kyu Choi. 16 [doi]
- DEVSML 2.0: the language and the stackSaurabh Mittal, Scott A. Douglass. 17 [doi]
- Discrete-event system-on-a-chip with universal event tracer and floating-point synchronizer for interoperation of a DEVS simulator and an on-chip debuggerDaejin Park, Tag Gon Kim. 18 [doi]
- EMF-DEVS modelingHessam S. Sarjoughian, Abbas Mahmoodi Markid. 19 [doi]
- Exploring multi-level model dynamics: performance and accuracy (WIP)Çagri Tekinay, Mamadou D. Seck, Alexander Verbraeck. 20 [doi]
- Formal modelling and analysis of behaviour grading within a peer-to-peer storage systemSamira Chaou, Franck Pommereau. 21 [doi]
- Formal specification of multisimulations using MaudeLeila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra. 22 [doi]
- Frontier modeling support environment: flexibility to adapt to diverse stakeholdersBernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell. 23 [doi]
- G-DEVS based simulation of toy industry client behavior in PSS (WIP)Thècle Alix, Gregory Zacharewicz. 24 [doi]
- Generating simulation models from UML - a FireSat exampleJohannes Groß, Stephan Rudolph. 25 [doi]
- On the verification of hybrid DEVS modelsHesham Saadawi, Gabriel Andrés Wainer. 26 [doi]
- Lattice Boltzmann approach to acoustic propagation for underwater warfare simulationSol Ha, Namkuk Ku, Kyu-Yeul Lee. 27 [doi]
- Model transformation from BPMN to DEVS in the MDD4MS frameworkDeniz Cetinkaya, Alexander Verbraeck, Mamadou D. Seck. 28 [doi]
- Model-based generation of scenario-specific event sequences for the simulation of recurrent user behavior within context-aware applications (WIP)Sandro Rodriguez Garzon, Dmytro Hritsevskyy. 29 [doi]
- Model-based software in-the-loop-test of autonomous systemsAndreas Bayha, Franziska Grüneis, Bernhard Schätz. 30 [doi]
- ModelicaML value bindings for automated model compositionWladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle. 31 [doi]
- M&S-based design of embedded controllers on network processorsRodrigo Castro, Iván Ramello, Matías Bonaventura, Gabriel Andrés Wainer. 32 [doi]
- Modeling and simulation of mobile phones using dynamic topologiesFernando J. Barros. 33 [doi]
- Modeling and simulation of time-varying delaysFu Zhang, Murali Yeddanapudi. 34 [doi]
- Modeling the optimized link-state routing protocol for verificationMatthew F. Steele, Todd R. Andel. 35 [doi]
- Modular mathematical modelling of biological systemsMandeep Gill, Steve McKeever, David Gavaghan. 36 [doi]
- Music generation using cellular modelsHeather Morris, Gabriel Andrés Wainer. 37 [doi]
- On time granularity and event granularity in simulation service composition (WIP)Song Guo, Xiaolin Hu, Xiaoming Wang. 38 [doi]
- ΦDEVS: phase based discrete event modelingH. Job Honig, Mamadou D. Seck. 39 [doi]
- Predicting memcached throughput using simulation and modelingSteven Hart, Eitan Frachtenberg, Mateusz Berezecki. 40 [doi]
- PRoModel: a model-driven software environment that facilitates and expedites the development of systems that handle uncertaintyRosa López-Landa, Julieta Noguez. 41 [doi]
- PSYOPS and CIMIC operations: from concepts to G-DEVS modelsColette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman. 42 [doi]
- Qualitative verification of finite and real-time DEVS networksMoon Ho Hwang. 43 [doi]
- SAN lite-solver: a user-friendly software tool to solve SAN modelsAfonso Sales. 44 [doi]
- Scheduling model for a tool evaluating new radiotherapiesAnastasiya Shtiliyanova, Fabien Feschet, Pascal Pommier. 45 [doi]
- Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platformChungman Seo, Bernard P. Zeigler. 46 [doi]
- Simulation of an electrical network and control system in SysMLMatthew Hause, James Hummell. 47 [doi]
- SysML to discrete-event simulation to analyze electronic assembly systemsOla Batarseh, Leon F. McGinnis. 48 [doi]
- The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformationUfuoma Bright Ighoroje, Oumar Maïga, Mamadou Kaba Traoré. 49 [doi]
- Using workflows and web services to manage simulation studies (WIP)Judicaël Ribault, Gabriel Andrés Wainer. 50 [doi]
- Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP)Pamela Viale, Norbert Giambiasi, Claudia S. Frydman, Jacques Pinaton. 51 [doi]
- Validation of service oriented computing DEVS simulation modelsHessam S. Sarjoughian, Mohammed A. Muqsith, Dazhi Huang, Stephen S. Yau. 52 [doi]