@inproceedings{abcg+02:ip,
inhal = {no},
author = {Ambert, Fabrice and Bouquet, Fabrice and Chemin, S\'ebastien and Guenaud, S\'ebastien and Legeard, Bruno and Peureux, Fabien and Vacelet, Nicolas and Utting, Mark},
title = {{BZ-TT}: A Tool-Set for Test Generation from {Z} and {B} using Constraint Logic Programming},
booktitle = {Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR'02)},
pages = {105--120},
address = {Brn\"o, R\'epublique Tch\`eque},
note = {INRIA report},
month = aug,
year = 2002,

}

@inproceedings{bcvc02:ip,
inhal = {no},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couturier, Rapha\"el},
title = {Asynchronism for iterative algorithms in global computing environment},
booktitle = {16th Int. Symposium on High Performance Computing Systems and Applications},
pages = {90--97},
address = {Moncton, Canada},
publisher = {IEEE Computer Society Press},
year = 2002,

}

@inproceedings{bcvcv02:onp,
inhal = {no},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couturier, Rapha\"el and Vernier, Flavien},
title = {Asynchronisme et \'equilibrage de charge dans la grille de calcul},
booktitle = {Ecole d'hiver GRID~2002},
year = 2002,
pages = {365--373},
address = {Aussois, France},
month = dec,

}

@inproceedings{bmek02:ip,
inhal = {no},
author = {Bahi, Jacques and Miellou, J.-C. and El Kyal, M.},
title = {On the convergence of asynchronous waveform relaxation algorithms for differential equations},
booktitle = {Computational Mechanics using high performance computing conference},
pages = {117--133},
publisher = {Saxe-Coburg Publications},
note = {ISBN: 1-874672-07-5},
year = 2002,

}

@inproceedings{bcj02:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Chouali, Samir and Julliand, Jacques},
title = {Verification of Dynamic Constraints for {B} Event Systems under Fairness Assumptions},
booktitle = {2nd International Conference of B and Z Users, ZB2002},
address = {Grenoble, France},
series = {LNCS},
volume = 2272,
pages = {477--496},
month = jan,
year = 2002,

}

@inproceedings{bjk02:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Kouchnarenko, Olga},
title = {Synchronized Parallel Composition of Event Systems in {B}},
booktitle = {2nd International Conference of B and Z Users, ZB2002},
address = {Grenoble, France},
series = {LNCS},
volume = 2272,
pages = {436--457},
month = jan,
year = 2002,

}

@inproceedings{bt02:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Tchounikine, P.},
title = {Une exp\'erience d'activit\'e collective m\'ediatis\'ee via le Web dans une {FOAD}},
booktitle = {Actes de Technologies de l'Information et de la Communication dans les Enseignements d'ing\'enieurs et dans l'industrie (TICE~2002)},
pages = {263--271},
address = {Lyon, France},
month = nov,
year = 2002,

}

@inproceedings{blp02:ip,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien},
title = {{CLPS-B}: A constraint solver for {B}},
booktitle = {Proceedings of the conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, ETAPS},
series = {LNCS},
volume = 2280,
pages = {188--204},
address = {Grenoble, France},
publisher = {Springer},
month = apr,
year = 2002,

}

@inproceedings{bms02:ip,
inhal = {no},
author = {Bourgeois, Julien and Mory, Emmanuel and Spies, Fran\c{c}ois},
title = {{NetMoVie}: an architecture for adaptative multimedia transmission over wireless networks},
booktitle = {Proc. of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA'02},
publisher = {CSREA Press},
pages = {741--747},
address = {Las Vegas, United States},
month = jun,
year = 2002,

}

@inproceedings{bfgl+02:ip,
inhal = {no},
author = {Brunie, L. and Favory, L. and Gelas, J.-P. and Lef\`evre, A. Mostefaoui and Nait-Abdesselam, L.},
title = {{SIRSALE}: Integrated Video Databases Management Tools},
booktitle = {ITCOM'02: Internet Multimedia Management Systems},
editor = {J.R. Smith, S. Panchanathan, T. Zhang},
publisher = {SPIE Proceedings},
volume = 4862,
pages = {74--84},
address = {Boston, United States},
month = aug,
year = 2002,

}

@inproceedings{ccf02:np,
inhal = {no},
author = {Canalda, Philippe and Chatonnay, Pascal and Foug\`eres, A.-J.},
title = {P\'edagogie de Projets Tutor\'es Bas\'ee sur la Synchronisation de Fragments de Proc\'ed\'es Coop\'eratifs~: Motivations, Mod\'elisation et Exp\'erimentation},
booktitle = {Conf\'erence ARIADNE},
pages = {85--94},
volume = {2-1},
editor = {Forte, Eddy N.},
publisher = {ARIADNE Foundation},
address = {INSA Lyon, France},
month = nov,
year = 2002,

}

@inproceedings{cf02:np,
inhal = {no},
author = {Canalda, Philippe and Foug\`eres, A.-J.},
title = {Un support p\'edagogique pour la gestion assist\'ee de projets d'\'etudiants},
booktitle = {Colloque International Apprendre avec l'Ordinateur \`a l'\'Ecole, CAOE 2002},
pages = {12--20},
address = {Bordeaux, France},
month = jan,
year = 2002,

}

@inproceedings{cf02:bl,
inhal = {no},
author = {Canalda, Philippe and Foug\`eres, A.-J.},
title = {iP\'edagogique : un environnement int\'egrant la gestion assist\'ee de projets d'\'etudiants},
booktitle = {Colloque Technologies de l'Information et de la Communication dans les Enseignements d'ing\'enieurs et dans l'industrie - TICE 2002},
pages = {421--422},
address = {Lyon, France},
month = nov,
year = 2002,

}

@inproceedings{cg02:bl,
inhal = {no},
author = {Canalda, Philippe and Godart, C.},
title = {Coopetitive Multi-Enterprise Process Modelling: principles and guidelines on reports},
booktitle = {Proc. of the 7th Maghrebian Conference on Computer Sciences},
pages = {297--304},
volume = 11,
address = {Annaba, Algeria},
month = may,
year = 2002,

}

@inproceedings{cdlm+02:ip,
inhal = {no},
author = {Caron, E. and Desprez, F. and Lombard, Fr\'ed\'eric and Nicod, Jean-Marc and Philippe, Laurent and Quinson, M. and Suter, F.},
title = {A Scalable Approach to Network Enabled Servers},
booktitle = {Proc. of the 8th Int. Conf. EuroPar 2002},
editor = {Monien, B. and Feldmann, R.},
series = {LNCS},
volume = 2400,
address = {Paderborn, Germany},
pages = {907--910},
publisher = {Springer},
month = aug,
year = 2002,

}

@inproceedings{chanier02:oip,
inhal = {no},
author = {Chanier, Thierry},
title = {Building and supporting e-learning communities: The Simuligne experiment based on an online simulation},
booktitle = {EADTU (European Association for Distance Teaching Universities) annual conference on {E}-Learning For Europe, Changing curricula, creating competencies},
address = {Glamorgan, United Kingdom},
month = apr,
year = 2002,

}

@inproceedings{charlet02:oip,
inhal = {no},
author = {Charlet, C\'elina},
title = {Regular refinement, property preservation and reformulation},
booktitle = {Summer School on Modelling and Verifying Parallel Processes, MOVEP'02},
pages = {290--295},
address = {Nantes, France},
month = jun,
year = 2002,

}

@inproceedings{cmcs02:ip,
inhal = {no},
author = {Charlet, Damien and Mory, Emmanuel and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {{SysMoVie}: Managing Interoperability in a Video Distribution Framework for Mobile Environment},
booktitle = {Proc. of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA'02},
publisher = {CSREA Press},
pages = {1824--1830},
address = {Las Vegas, United States},
month = jun,
year = 2002,

}

@inproceedings{clemente02:onp,
inhal = {no},
author = {Clemente, Patrice},
title = {Dialogue Personne-Machine~: un mod\`ele formel pour la r\'ef\'erence multimodale},
booktitle = {Actes de Objets Communicants 2002, Workshop interne France T\'el\'ecom},
address = {Autrans, France},
pages = {223--227},
month = jan,
year = 2002,

}

@inproceedings{clqs02:ip,
inhal = {no},
author = {Combes, P. and Lombard, Fr\'ed\'eric and Quinson, M. and Suter, F.},
title = {A Scalable Approach to Network Enabled Servers},
booktitle = {7th Asian Computing Science Conference. Advances in Computing Science - ASIAN~2002},
pages = {110--124},
editor = {Jean-Marie, A.},
series = {LNCS},
volume = 2550,
publisher = {Springer},
address = {Hano\"{\i}, Vietman},
month = dec,
year = 2002,

}

@inproceedings{ccs02:ip,
inhal = {no},
author = {Couturier, Rapha\"el and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {Iterative Algorithms on Heterogeneous Network Computing : Parallel Polynomial Root Extracting},
booktitle = {IEEE and ACM SIGARCH International Conference on High Performance Computing, HiPC 2002},
series = {LNCS},
volume = 2552,
pages = {283--291},
publisher = {Springer},
editor = {Sahni and Prasanna and Shukla},
address = {Bangalore, India},
month = dec,
year = 2002,

}

@inproceedings{dggs+02:bl,
inhal = {no},
author = {David, R. and Genaud, S. and Giersch, Arnaud and Schwarz, B. and Violard, E.},
title = {Source Code Transformations Strategies to Load-balance Grid Applications},
booktitle = {GRID'2002, 3rd Int. Workshop on Grid Computing},
series = {LNCS},
volume = 2536,
pages = {82--87},
publisher = {Springer},
editor = {Parashar, M.},
address = {Baltimore, MD, USA},
issn = {0302-9743},
isbn = {3-540-00133-6},
month = nov,
year = 2002,

}

@inproceedings{dgl02:bl,
inhal = {no},
author = {Dhoutaut, Dominique and Gu\'erin-Lassous, I.},
title = {Impact of Heavy Traffic Beyond Communication Range in Multi-Hops Ad Hoc Networks},
booktitle = {INC'02, 3rd International Network Conference},
address = {Plymouth, Angleterre},
year = 2002,

}

@inproceedings{felea02:bl,
inhal = {no},
author = {Felea, Violeta},
title = {{E}xploiting {R}untime {I}nformation in {L}oad {B}alancing {S}trategies},
booktitle = {Distributed and Parallel Systems - Cluster and Grid Computing},
editor = {Kacsuk, P. and Kranzlm\"uller, D. and N\'emeth, Z. and Volkert, J.},
publisher = {Kluwer},
address = {Linz, Austria},
pages = {21--29},
year = 2002,

}

@inproceedings{ft02:bl,
inhal = {no},
author = {Felea, Violeta and Toursel, B.},
title = {{M}ethodology for {J}ava {D}istributed and {P}arallel {P}rogramming Using {D}istributed {C}ollections},
pages = 208,
booktitle = {Procs of Int. Parallel and Distributed Processing Symposium (IPDPS)},
month = apr,
year = 2002,

}

@inproceedings{ggl02:ip,
inhal = {no},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe},
title = {{QoS} Control Mechanism Evaluation to Design a Reliable Policy Repository},
booktitle = {Procs of the 5th IEEE Int. Conf. on High-Speed, Networks and Multimedia Communications HSNMC'02},
pages = {300--304},
address = {Jeju Island, Korea},
month = jul,
year = 2002,

}

@inproceedings{gglf02:np,
inhal = {no},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Fuin, David},
title = {Conception d'un module de gestion de la qualit\'e de service sur une plate-forme multimedia},
booktitle = {Actes du Colloque Francophone sur l'Ing\'eni\'erie des Protocoles, CFIP'2002},
pages = {473--486},
address = {Montr\'eal, Canada},
month = may,
year = 2002,

}

@inproceedings{htv02:np,
inhal = {no},
author = {Hammad, Ahmed and Tatibou\"et, Bruno and Voisinet, Jean-Christophe},
title = {De la sp\'ecification {B} vers les diagrammes d'\'etats-transitions {UML}},
booktitle = {7\`eme MCSEAI 2002 (Maghrebian Conference of Software Engineering and Intelligence Artificial)},
pages = {133-143},
address = {Annaba, Algeria},
month = may,
year = 2002,

}

@inproceedings{htvw02:ip,
inhal = {no},
author = {Hammad, Ahmed and Tatibou\"et, Bruno and Voisinet, Jean-Christophe and Weiping, Wu},
title = {From a {B} Specification to {UML} Statechart Diagrams},
booktitle = {4th International Conference on Formal Engineering Methods (ICFEM'2002)},
series = {LNCS},
volume = 2495,
pages = {511--522},
address = {Shangha\"{\i}, China},
month = oct,
year = 2002,

}

@inproceedings{hzh02:np,
inhal = {no},
author = {Hariti, M. and Zerhouni, N. and Hammad, Ahmed},
title = {Conception d'une base de donn\'ees temps r\'eels pour un syst\`eme de production \`a partir du langage {UML}},
booktitle = {Actes des Journ\'ees d'Informatique pour l'Entreprise, JIEO1'02},
pages = {233--241},
address = {Universit\'e de Blida, Algeria},
month = mar,
year = 2002,

}

@inproceedings{hufflen02a:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Lessons from a Bibliography Programs Reimplementation},
booktitle = {LDTA~2002},
series = {ENTCS},
volume = {65.3},
address = {Grenoble, France},
month = apr,
year = 2002,

}

@inproceedings{hufflen02:ip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Multilingual Features for Bibliography Programs~: from {XML} to {MlBibTeX}},
booktitle = {Euro TeX 2002},
pages = {46--59},
address = {Bachotex, Poland},
month = may,
year = 2002,

}

@inproceedings{hufflen02d:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Using Algebraic Specifications to Formalise Multilingual Features},
booktitle = {WADT'2002},
address = {Frauenchiemsee, Germany},
note = {Extended Abstract. Page 82},
year = 2002,
month = sep,
langue = {english},

}

@inproceedings{ltp02:oip,
inhal = {no},
author = {Lang, Christophe and Thevenin, T. and Chatonnay, Pascal},
title = {A pathfinding algorithm for a geo-statistical analysis of a public transportation network},
booktitle = {GIS-T},
address = {Atlanta, United States},
year = 2002,
note = {No Proceedings},

}

@inproceedings{lg02:ip,
inhal = {no},
author = {Le, V. and Guyennet, Herv\'e},
title = {{IPSec} and {DNSSEC} to support {GRID} Application Security},
booktitle = {Workshop Security in 2nd IEEE/ACM Int. Symp. On Cluster Computing and the GRID, CCGrid'02},
pages = {405--407},
address = {Berlin, Germany},
year = 2002,

}

@inproceedings{lpu02a:ip,
inhal = {no},
author = {Legeard, Bruno and Peureux, Fabien and Utting, Mark},
title = {A Comparison of the {LIFC/B} and {TTF/Z} Test-Generation Methods},
booktitle = {2nd International Conference of B and Z Users, ZB2002},
address = {Grenoble, France},
series = {LNCS},
volume = 2272,
pages = {309--329},
month = jan,
year = 2002,

}

@inproceedings{lpu02b:ip,
inhal = {no},
author = {Legeard, Bruno and Peureux, Fabien and Utting, Mark},
title = {Automated boundary testing from {Z} and {B}},
booktitle = {Proc. of the Int. Conf. on Formal Methods Europe, FME'02},
series = {LNCS},
volume = 2391,
pages = {21--40},
publisher = {Springer},
address = {Copenhaguen, Denmark},
month = jul,
year = 2002,

}

@inproceedings{mqg02:ip,
inhal = {no},
author = {Marche, Micka\"el and Quemener, Y.M. and Groz, R.},
title = {Testing Mobile Agents: {SAM}, a tool based on a simulation approach},
booktitle = {14th International Conference on Testing of Communicating Systems (TestCom 2002), IFIP},
publisher = {Kluwer},
pages = {95--110},
address = {Berlin, Germany},
month = mar,
year = 2002,

}

@inproceedings{mbala02:oip,
inhal = {no},
author = {Mbala, Alo\"{i}s},
title = {Specifying a multiagent system to support users, activities in {C}omputer-{S}upport {D}istance {Learning}},
booktitle = {Procs. of the 1st Starting Artificial Intelligence Researchers Symposium (STAIRS~2002), in conjunction with the European Conference on Artificial Intelligence (ECAI~2002)},
pages = {33--34},
editor = {Vidal, T. and Liberatore, P.},
publisher = {IOS Press},
month = jul,
address = {Lyon, France},
year = 2002,

}

@inproceedings{mrc02:ip,
inhal = {no},
author = {Mbala, Alo\"{\i}s and Reffay, Christophe and Chanier, Thierry},
title = {Integration of automatic tools for displaying interaction data in computer environments for distance learning},
booktitle = {ITS'02, Intelligent Tutoring System conference},
pages = {841--850},
series = {LNCS},
volume = 2363,
editor = {Cerri, S.A. and Guard\`eres, G. and Paragua\c{c}u, F.},
publisher = {Springer},
address = {France},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000055},
pdf = {http://lifc.univ-fcomte.fr/RECHERCHE/P7/pub/ITS02/mbalaIts.pdf},
abstract = {Our research concerns distance learning (DL). We are interested with distributed collaborative learning. In this approach, it is important to have indicators permitting the appreciation of durability and the evolution of groups involved. We think that actors responsible for the organisation and the working of groups (tutor for each group and coordinator of the DL session for all groups and its progress in general) can from the types of interactions and their amounts, get revealing elements permitting them to appreciate the state of a group and its evolution. From the analysis of interactions seen during a distance learning experimentation that we led, we show here that the disappearance of a group as we observed could be discerned practically in real time. It justifies for us, the necessity to set up in distance learning environments, agents capable of assisting the coordinator of the training and the tutors in their tasks.},
month = jun,
year = 2002,

}

@inproceedings{mrt02:onp,
inhal = {no},
author = {Mbala, Alo\"{i}s and Reffay, Christophe and Tamo, T.},
title = {Le paradigme d'agent dans le d\'eveloppement des plates-formes informatiques de formation \`a distance},
booktitle = {Actes du premier s\'eminaires sur les Technologies de l'Information et de la Communication et Formation \`a Distance},
institution = {Ecole Nationale Sup\'erieure Polytechnique},
address = {Yaound\'e, Cameroun},
publisher = {Presses Universitaires de Yaound\'e, Cameroun},
pages = {60--66},
month = apr,
year = 2002,

}

@inproceedings{mbl02:ip,
inhal = {no},
author = {Miellou, J.-C. and Bahi, Jacques and Laaraj, M.},
title = {A survey on asynchronous iterative methods},
booktitle = {Computational Mechanics using high performance computing conference},
pages = {95--115},
publisher = {Saxe-Coburg Publications},
note = {ISBN: 1-874672-07-5},
year = 2002,

}

@inproceedings{mb02:ip,
inhal = {no},
author = {Mostefaoui, Ahmed and Brunie, L.},
title = {Optimizing Server {I/O} for Multimedia Presentations},
booktitle = {IEEE International Conference on Multimedia and Expo (ICME)},
pages = {21--25},
address = {Lausanne, Suisse},
month = aug,
year = 2002,

}

@inproceedings{mf02:ip,
inhal = {no},
author = {Mostefaoui, Ahmed and Favory, L.},
title = {Distributed Video Documents Indexing and Content-Based Retrieving},
booktitle = {Joint International Workshop on Interactive Distributed Multimedia Systems / Protocols for Multimedia Systems (in cooperation with ACM SIGMM and SIGCOM)},
publisher = {Springer},
series = {LNCS},
volume = 2515,
pages = {190--201},
address = {Coimbra, Portugal},
month = nov,
year = 2002,

}

@inproceedings{mfb02:ip,
inhal = {no},
author = {Mostefaoui, Ahmed and Favory, L. and Brunie, L.},
title = {{SIRSALE}: a Large Scale Video Indexing and Content-Based Retrieving System},
booktitle = {ACM Multimedia Conference 2002},
note = {Short Paper},
pages = {251--254},
address = {Juan-Les-Pins, France},
month = dec,
year = 2002,

}

@inproceedings{rc02:ip,
inhal = {no},
author = {Reffay, Christophe and Chanier, Thierry},
title = {Social Network Analysis Used for Modelling Collaboration in Distance Learning Groups},
booktitle = {Proceedings of Intelligent Tutoring System conference (ITS'02)},
pages = {31--40},
series = {LNCS},
volume = 2363,
editor = {Cerri, S.A. and Guard\`eres, G. and Paragua\c{c}u, F.},
publisher = {Springer},
address = {France},
month = jun,
year = 2002,
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000056},
pdf = {http://lifc.univ-fcomte.fr/RECHERCHE/P7/pub/ITS02/reffayIts.pdf},
abstract = {We describe a situation of distance learning based on collaborative production occurring within groups over a significant time span. For such a situation, we suggest giving priority to monitoring and not to guiding systems. We also argue that we need models which are easily computable in order to deal with the heterogeneous and the large scale amount of data related to interactions, i.e. models relying on theoretical assumptions which characterise the structures of groups and of interactions. Social Network Analysis is a good candidate we applied to our experiment in order to compute communication graphs and cohesion factors in groups. This application represents an essential part of a system which would enable tutors to detect a problem or a slowdown of group interaction.},

}

@inproceedings{rcn02:np,
inhal = {no},
author = {Reffay, Christophe and Chanier, Thierry and Nicolet, J\'erome},
title = {Produire ensemble pour apprendre~: exp\'erience d'une simulation globale en ligne},
booktitle = {Colloque national Apprendre avec l'Ordinateur},
pages = 24,
organization = {Ecole CAOE, Universit\'e de Bordeaux 2},
address = {Bordeaux, France},
month = jan,
year = 2002,

}

@inproceedings{sph02:bl,
inhal = {no},
author = {Salomon, Michel and Perrin, G.-R. and Heitz, F.},
title = {Parallel sampling with stochastic differential equations for 3D deformable matching of medical images},
editor = {Arabnia, H.R.},
booktitle = {Parallel and Distributed Processing Techniques and Applications PDPTA'2002},
volume = 1,
publisher = {CSREA Press},
pages = {40--48},
address = {Las Vegas, USA},
month = jun,
year = 2002,

}

@inproceedings{th02:np,
inhal = {no},
author = {Tatibou\"et, Bruno and Hammad, Ahmed},
title = {G\'en\'eration de diagrammes de classes {UML} \`a partir de machines abstraites {B}},
booktitle = {Actes des Journ\'ees d'Informatique pour l'Entreprise, JIEO1'02},
pages = {6--17},
address = {Universit\'e de Blida, Algeria},
month = mar,
year = 2002,

}

@inproceedings{thv02:ip,
inhal = {no},
author = {Tatibou\"et, Bruno and Hammad, Ahmed and Voisinet, Jean-Christophe},
title = {From an abstract {B} specification to {UML} class diagrams},
booktitle = {2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002)},
pages = {5--10},
isbn = {0-9727186-0-5},
address = {Marrakech, Maroc},
month = dec,
year = 2002,

}

@inproceedings{vdt02:bl,
inhal = {no},
author = {Vialle, S. and Dedu, Eugen and Timsit, C.},
title = {{ParCeL-5/ParSSAP}: A Parallel Programming Model and Library for Easy Development and Fast Execution of Simulations of Situated Multi-Agent Systems},
booktitle = {Software Engineering Applied to Networking \& Parallel/Distributed Computing (SNPD)},
pages = {115--122},
year = 2002,
address = {Madrid, Spain},
month = jun,
publisher = {Association for Computer and Information Science},
abstract = {This paper introduces a new parallel programming model for situated multi-agent systems simulations and its parallel library implementation on shared memory MIMD parallel computers. The first goal is to allow users to easily implement situated multi-agent systems, following their natural paradigm: concurrent agent behavior definition and environment update programming. The second goal is to obtain efficient parallel executions on shared memory MIMD parallel computers, without dealing with parallel programming difficulties (such as load balancing and processes synchronization). We present our parallel programming model (ParCeL-5/ParSSAP), and the parallel algorithms we have developed for the simulation two agent percepts: direct vision and potential field detection. Finally, we give an example of complete multi-agent system programmation and its performance measurements on a 64-processors SGI-Origin2000, exhibiting easy development and good speed up.},

}

@inproceedings{vth02:ip,
inhal = {no},
author = {Voisinet, Jean-Christophe and Tatibou\"et, Bruno and Hammad, Ahmed},
title = {{jBTools}: {An} experimental platform for the formal {B} method},
booktitle = {Principles and Practice of Programming in Java (PPPJ'02)},
pages = {137--140},
address = {Trinity College, Dublin, Ireland},
month = jun,
year = 2002,

}