Journal: Stud. Inform. Univ.

Volume 10, Issue 3

5 -- 32Bruno Mermet, Gaële Simon. GDT4MAS: a formal model and language to specify and verify agent-based complex systems
33 -- 61Dominique Hervé, Jean-Pierre Müller, V. Ratiarson, Bertin Ramamonjisoa. Validation of agent-based land use model by Markovian model Application to forest-agriculture transitions in Madagascar
62 -- 86Philippe Caillou, Javier Gil Quijano, Xiao Zhou. Automated observation of multi-agent based simulations A statistical analysis approach
87 -- 118Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck. Compositional transient reachability analysis for agent-based simulations
119 -- 141Madeleine El-Zaher, Jean-Michel Contet, Pablo Gruer, Franck Gechter, Abderrafiaa Koukam. Compositional verification for reactive multi-agent systems applied to platoon non collision verification

Volume 10, Issue 2

5 -- 43Ivan Lavallée, Babacar Mbaye Ndiaye, Diaraf Seck. Une approche spécifiquement informatique pour la Programmation Linéaire
45 -- 71Denis Bouyssou, Marc Pirlot. An axiomatic approach to TACTIC
73 -- 138Cynthia Basileu, Sofiane Ben Amor, Marc Bui, Michel Lamure. Prétopologie stochastique et réseaux complexes
139 -- 179Sébastien Salva, Antoine Rollet. A pragmatic approach for testing stateless and stateful Web Service Robustness
181 -- 208Claude Dussart, Michel Lamure. Méta-apprentissage d'expériences Concepts, stratégies et perspectives

Volume 10, Issue 1

3 -- 6Edith Perrier. Modelisation et complexité
7 -- 37Raphaël Duboz, Bruno Bonté, Gauthier Quesnel. Vers une spécification des modèles de simulation de systèmes complexes
38 -- 76Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, Laurent Philippe. RAFALE-SP: a methodology to design and simulate geographical mobility
77 -- 97Aboubacar Cissé, Alassane Bah, Alexis Drogoul, Ahmed Tidjane Cissé, Jacques A. Ndione, Cheikh M. F. Kébé, Patrick Taillandier. Un modèle à base d'agents sur la transmission et la diffusion de la fièvre de la Vallée du Rift à Barkédji (Ferlo, Sénégal)
98 -- 128Paul Chapron. Analyse structurelle des champs de capacité d'action dans les organisations sociales Outils analytiques pour la caractérisation de la coopération
129 -- 154Khady Ba, Annabelle Boutet, Alex Corenthin, Claude Lishou. Etude de la diffusion d'innovations en milieu rural à l'aide de simulations multi-agents
155 -- 185Sébastien Salva. Modelling and testing of service compositions in partially open environments
186 -- 204Youssef Elfoutayeni, Mohamed Khaladi, A. Zegzouti. A generalized Nash equilibrium for a bioeconomic problem of fishing
205 -- 234Gauthier Quesnel, Éric Ramat, Jean-Christophe Soulié, David Duvivier, Raphaël Duboz. Virtual Laboratory Environment: un environnement de multimodélisation et de simulation de systèmes complexes
235 -- 262David Bihanic, Thomas Polacsek. Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus »