#### Filter Results:

- Full text PDF available (19)

#### Publication Year

1998

2016

- This year (0)
- Last 5 years (14)
- Last 10 years (29)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Mamadou Kaba Traoré, Alexandre Muzy
- Simulation Modelling Practice and Theory
- 2006

Simulation models are usually built in an objective-driven context. Capturing the relationship between a model and its context is a key issue in Modeling and Simulation (M&S). A better driving of the M&S life cycle requires the objectives, assumptions and constraints in disguise behind this relationship to be explicit. A sound systemic-based foundation is… (More)

- Mamadou Kaba Traoré
- Proceedings of the 2006 Winter Simulation…
- 2006

This paper shows how a simulation model can be specified so that its static and temporal properties can be formally analyzed. The approach adopted is based on the integration of formal methods (FMs) and the DEVS paradigm. FMs are known to allow symbolic manipulation and reasoning, while DEVS is known as being a well-establish modeling and simulation… (More)

- David R. C. Hill, Claude Mazel, Jonathan Passerat-Palmbach, Mamadou Kaba Traoré
- Concurrency and Computation: Practice and…
- 2013

There is an increasing interest in the distribution of parallel random number streams in the high-performance computing community particularly, with the manycore shift. Even if we have at our disposal statistically sound random number generators according to the latest and thorough testing libraries, their parallelization can still be a delicate problem.… (More)

Modeling and Simulation (M&S) is becoming the core of scientific activities addressing nature complexity. To tackle complexity, we need to integrate heterogeneous formalisms in the same model. Models then become multimodels. Furthermore, M&S softwares have to assist take into account the M&S activity cycle, i.e. modellers to design and to implement models,… (More)

- Mamadou Kaba Traoré
- SimuTools
- 2008

- Luc Touraille, Mamadou Kaba Traoré, David R. C. Hill
- SpringSim
- 2011

SimStudio is a Modeling & Simulation environment based on the DEVS formalism (Discrete EVent Systems Specification). Its architecture aims at integrating in a single platform tools for modeling, simulation, analysis and collaboration, by proposing model transformation features (code generation, among others) in order to smooth the modeling and simulation… (More)

- Ufuoma Bright Ighoroje, Oumar Maïga, Mamadou Kaba Traoré
- SpringSim
- 2012

- Luc Touraille, Mamadou Kaba Traoré, David R. C. Hill
- SpringSim
- 2009

A current notable effort in the DEVS community is to provide a worldwide platform for distributed modeling and simulation based on Web Services and related technologies. Such an infrastructure will allow the sharing and reuse of simulation models and experiments. This will permit attacking different aspects of interoperability at the right level of… (More)

- Adedoyin Adegoke, Hamidou Togo, Mamadou Kaba Traoré
- Simulation
- 2013

DEVS (Discrete Event System Specification) is an approach in the area of Modeling and Simulation (M&S) that provides a means of specifying dynamic systems. A variety of DEVS tools have been implemented without a standard developmental guideline across board consequently revealing a lack of central frameworks for integrating heterogeneous DEVS simulators.… (More)

- Mamadou Kaba Traoré
- SpringSim
- 2009

We propose DDML (DEVS-Driven Modeling Language), a graphical notation for DEVS modeling and simulation. This notation aims at providing a way to drive easily the modeling activity (by drawing and linking graphical symbols and augmenting them with text), and to catch at the same time the results of the simulation activity. This means that both structure and… (More)