JDF 2016 - Les Journées DEVS Francophones - Théorie et Applications
JDF 2016 - Les Journées DEVS Francophones - Théorie et Applications
JDF 2016 - Les Journées DEVS Francophones - Théorie et Applications
JDF 2016 - Les Journées DEVS Francophones - Théorie et Applications

JDF 2016 - Les Journées DEVS Francophones - Théorie et Applications


33 €
En stock

 

Commande avant 16h,
expédié le jour même (lu. - ve.)

 

Livraison express sous 48h.

ISBN : 9782364935396
Référence : 1539
Année de parution : 2016

Le réseau RED organise la première édition des Journées DEVS Francophones (JDF). RED a pour but de développer, fédérer et promouvoir les travaux autour de la théorie de la modélisation et de la simulation, et plus particulièrement autour du formalisme DEVS et de ses extensions. L’objectif est de promouvoir une approche systémique et intégrée de la modélisation des systèmes complexes. Les principaux thèmes du réseau sont :

- l’ingénierie des modèles ;

- la validation et la certification des simulateurs ;

- la performance des simulateurs ;

- la validation et la vérification des modèles.

Référence : 1539
Nombre de pages : 136
Format : 17x24
Reliure : Broché
Introduction
P.-A. Bisgambiglia, G. Quesnel and R. Duboz


Conférences invitées
DEVS: Past, Present, and Future
Bernard P. Zeigler

Parcours de grands graphes et calcul à hautes performances : l’exemple du graph500
Michael Krajecki et François Alin

The Leviathan Model
Guillaume Deffuant

Articles courts
Modeling organization of spiking neural nets in DEVS for high performance parallel simulation
A. Muzy and B. Zeigler

Vers une nouvelle spécification formelle des systèmes multi-agents
R. Franceschini, P.-A. Bisgambiglia and P. Bisgambiglia

Modélisation participative, pensée systémique et questions de santé
R. Duboz

Formulation spatiale de données SIG pour la simulation de MAS/LUCC
D. Prunetti, P.-A. Bisgambiglia, C. Dettoto, E. Innocenti, C. Tafani, Y. Jouve and F. Gueniot

Théorie de la Modélisation et de la Simulation
Extension du formalisme SES pour l’intégration de la hiérarchie d’abstraction et la granularité
temporelle au sein de la modélisation et de la simulation DEVS
L. Capocchi, J.-F. Santucci and B.P. Zeigler

Formal Methods and Discrete-Event Simulations
A. Yacoub, M. Hamri and C. Frydman

Phénomènes de Diffusion au sein des Réseaux Sociaux Multicouches : Modélisation et Simulation
Y. Bouanan, J. Ribault, G. Zacharewicz and B. Vallespir

Applications et API 47
DEVSimpy-mob : une application mobile hybride pour la simulation à évènements discrets des systèmes ubiquitaires
L. Capocchi, S. Sehili, C. Kessler and J.-F. Santucci

An overview of Python PDEVS
Y. Van Tendeloo, H. Vangheluwe

Encoding CDEVS and PDEVS into Timed Petri Net
V. Albert, S. S. Ponnusamy

Plateforme DEVS multicomposant dédiée à la gestion des pêcheries
E. Innocenti, P.-A. Bisgambiglia and D. Urbani

Optimisation et Simulation
L’optimisation via la simulation : proposition d’une architecture nouvelle intégrant le formalisme DEVS
B. Poggi, T. Antoine-Santoni and J.-F. Santucci

Optimisation des simulations DEVS distribuées par apprentissage indépendant de la dynamique des modèles
C. Herbez, E. Ramat and G. Quesnel

La reproductibilité des simulations stochastiques parallèles et distribuées utilisant le calcul à haute performance
Van Toan Dao, Vincent Breton, Hong Quang Nguyen and David R.C. Hill

Démo
VLE
Gauthier Quesnel

MS4Me and DEVSimPy
L. Capocchi, J.-F. Santucci and B.P. Zeigler

ProDEVS
V. Albert and C. Foucher

fwkDEVS
A. Hamri
Article Auteurs
DEVS: Past, Present, and Future Bernard P. Zeigler
Parcours de grands graphes et calcul à hautes performances : l'exemple du graph500 Michael Krajecki François Alin
The Leviathan Model Guillaume Deffuant
Modeling organization of spiking neural nets in DEVS for high performance parallel simulation Alexandre Muzy Bernard P. Zeigler
Vers une nouvelle spécification formelle des systèmes multi-agents Romain Franceschini Paul-Antoine Bisgambiglia Paul Bisgambiglia
Modélisation participative, pensée systémique et questions de santé Raphaël Duboz
Formulation spatiale de données SIG pour la simulation de MAS/LUCC Dominique Prunetti Paul-Antoine Bisgambiglia Claudio Dettoto Éric Innocenti Caroline Tafani Yohan Jouve Floriant Gueniot
Extension du formalisme SES pour l'intégration de la hiérarchie d'abstraction et la granularité temporelle au sein de la modélisation et de la simulation DEVS Laurent Capocchi Jean-François Santucci Bernard P. Zeigler
Formal Methods and Discrete-Event Simulations Aznam Yacoub Amine Hamri Claudia Frydman
Phénomènes de Diffusion au sein des Réseaux Sociaux Multicouches : Modélisation et Simulation Youssef Bouanan Judicael Ribault Gregory Zacharewicz Bruno Vallespir
DEVSimpy-mob : une application mobile hybride pour la simulation à évènements discrets des systèmes ubiquitaires Laurent Capocchi S. Sehili Céline Kessler Jean-François Santucci
An overview of Python PDEVS Yentl Van Tendeloo Hans Vangheluwe
Encoding CDEVS and PDEVS into Timed Petri Net Vincent Albert Sangeeth Saagar Ponnusamy
Plateforme DEVS multicomposant dédiée à la gestion des pêcheries Éric Innocenti Paul-Antoine Bisgambiglia Dominique Urbani
L'optimisation via la simulation : proposition d'une architecture nouvelle intégrant le formalisme DEVS Bastien Poggi Thierry Antoine-Santoni Jean-François Santucci
Optimisation des simulations DEVS distribuées par apprentissage indépendant de la dynamique des modèles C. Herbez Éric Ramat Gauthier Quesnel
La reproductibilité des simulations stochastiques parallèles et distribuées utilisant le calcul à haute performance Van Toan Dao Vincent Breton Hong Quang Nguyen David R. C. Hill
VLE Gauthier Quesnel
MS4Me and DEVSimPy Laurent Capocchi Jean-François Santucci Bernard P. Zeigler
ProDEVS Vincent Albert Clément Foucher
fwkDEVS Amine Hamri

Livres de l'auteur Collectif Workshop Red