@inproceedings{ablp03:oip,
inhal = {no},
author = {Ambert, Fabrice and Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien},
title = {Automated Boundary-Value Test Generation from Specifications - Method and Tools},
booktitle = {4th Int. Conf. on Software Testing, ICSTEST~2003},
pages = {52--68},
address = {Cologne, Germany},
month = apr,
year = 2003,

}

@inproceedings{acl03:onp,
inhal = {no},
author = {Ambert, Fabrice and Chemin, S\'ebastien and Legeard, Bruno},
title = {Int\'egration de domaines \`a variables dans un solveur de contraintes ensemblistes},
booktitle = {JFPLC'03, Journ\'ees Francophones de Programmation en Logiques et Contraintes},
address = {Amiens, France},
publisher = {Hermes},
pages = {217--222},
month = jun,
year = 2003,

}

@inproceedings{bcvc03:ip,
inhal = {no},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couturier, Rapha\"el},
title = {Coupling Dynamic Load Balancing with Asynchronism in Iterative Algorithms on the Computational Grid},
booktitle = {17th IEEE and ACM int. conf. on International Parallel and Distributed Processing Symposium, IPDPS 2003},
pages = {40a, 9 pages},
publisher = {IEEE Computer Society Press},
address = {Nice, France},
month = apr,
year = 2003,
url = {http://info.iut-bm.univ-fcomte.fr/and/ipdps03.ps.gz},

}

@inproceedings{bcv03b:ip,
inhal = {no},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vernier, Flavien},
title = {Accelerated Diffusion Algorithms on General Dynamic Networks},
booktitle = {Proc. of the Int. conf. on Parallel Processing and Applied Mathematics, PPAM'2003},
series = {LNCS},
volume = 3019,
year = 2003,
pages = {77--82},
address = {Czestochowa, Poland},
month = sep,
publisher = {Springer},
url = {http://info.iut-bm.univ-fcomte.fr/and/ppam.ps},

}

@inproceedings{bcv03a:ip,
inhal = {no},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vernier, Flavien},
title = {Broken Edges and Dimension Exchange},
booktitle = {11th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP~2003)},
address = {Genova, Italy},
pages = {140--145},
year = 2003,
publisher = {IEEE Computer Society Press},
month = feb,
url = {http://info.iut-bm.univ-fcomte.fr/and/pdp03.ps.gz},

}

@inproceedings{bdh03:np,
inhal = {no},
author = {Bardin, Yohann and Damy, Sylvie and Herrmann, B\'en\'edicte},
title = {Service de m\'ediation~: un outil d'acc\`es aux services prenant en compte l'environnement d'ex\'ecution},
booktitle = {Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation, CFSE'03},
pages = {500--511},
address = {La Colle Sur Loup, France},
month = oct,
year = 2003,

}

@inproceedings{bck03a:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Charlet, C\'elina and Kouchnarenko, Olga},
title = {How to Compute the Refinement Relation for Parameterized Systems},
booktitle = {Proc. of the Int. ACM\& IEEE Conf. on Formal Methods and Models for Codesign, MEMOCODE'2003},
pages = {103--112},
address = {Mont St-Michel, France},
month = jun,
year = 2003,

}

@inproceedings{btt03:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Taurisson, N. and Tchounikine, P.},
title = {An approach of tailorability within a collective activity support framework},
booktitle = {Procs of Artificial Intelligence in Education (AIED~2003)},
pages = {383--385},
address = {Sidney, Australia},
month = jul,
year = 2003,

}

@inproceedings{bt03a:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Tchounikine, P.},
title = {Structuring collective activities with tasks and plans},
booktitle = {Procs of the IEEE Int. Conf. on Advanced Learning Technologies (ICALT~2003)},
pages = {432--433},
address = {Athens, Greece},
month = jul,
year = 2003,

}

@inproceedings{bt03c:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Tchounikine, P.},
title = {Symba: a Framework to Support Collective Activities in an Educational Context},
booktitle = {Procs of the Int. Conf. on Computers in Education (ICCE~2003)},
pages = {188--196},
month = dec,
address = {Hong-Kong, China},
year = 2003,

}

@inproceedings{bt03b:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Tchounikine, P.},
title = {Symba: a tailorable framework to support collective activities in an learning context},
booktitle = {Procs of the 9th Int. Workshop on Groupware (CRIWG~2003)},
pages = {90--98},
publisher = {Springer},
series = {LNCS},
volume = 2806,
editor = {Favela, J. and Decouchant, D.},
address = {Autrans, France},
month = sep,
year = 2003,

}

@inproceedings{bbs03:ip,
inhal = {no},
author = {Bidou, Renaud and Bourgeois, Julien and Spies, Fran\c{c}ois},
title = {Towards a global security architecture for intrusion detection and reaction management},
editor = {Chae, K. and Yung, M.},
series = {LNCS},
volume = 2908,
booktitle = {Proc. of the 4th Int. Ws. on Information Security Applications, WISA 2003},
pages = {129--142},
address = {Jeju, Corea},
month = aug,
year = 2003,

}

@inproceedings{bl03:ip,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno},
title = {Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study},
booktitle = {Proc. of FME'03, Formal Method Europe},
series = {LNCS},
volume = 2805,
pages = {778--795},
address = {Pisa, Italy},
month = sep,
year = 2003,

}

@inproceedings{bl03:np,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno},
title = {R\'eification de scripts ex\'ecutables en g\'en\'eration de tests \`a partir de sp\'ecifications formelles~: application aux m\'ecanismes de transaction de la {Java Card}},
booktitle = {Actes du Congr\`es AFADL'03, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {141--156},
address = {Rennes, France},
month = jan,
year = 2003,

}

@inproceedings{blv03:onp,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno and Vacelet, Nicolas},
title = {{BZP} : Un format f\'ed\'erateur pour l'\'evaluation de sp\'ecifications formelles},
booktitle = {JFPLC'03, Journ\'ees Francophones de Programmation en Logiques et Contraintes},
address = {Amiens, France},
publisher = {Hermes},
pages = {203--216},
month = jun,
year = 2003,

}

@inproceedings{bms03:ip,
inhal = {no},
author = {Bourgeois, Julien and Mory, Emmanuel and Spies, Fran\c{c}ois},
title = {Optimisation of wireless bandwidth utilization},
booktitle = {11th Euromicro Conf. on Parallel Distributed and Network Based Processing, PDP~2003},
pages = {525--531},
address = {Genoa, Italy},
publisher = {IEEE Computer Society Press},
month = feb,
year = 2003,

}

@inproceedings{cbcf03:ip,
inhal = {no},
author = {Canalda, Philippe and Baala, Oumaya and Chatonnay, Pascal and Foug\`eres, A.-J.},
title = {{iP}\'edagogique : une application d'apprentissage multi-usages int\'egrant une p\'edagogie de projets tuteur\'es bas\'ee sur la synchronisation de fragments de proc\'ed\'es coop\'eratifs},
booktitle = {IEEE International Conference Sciences of Electronic, Technologies of Information and Telecommunications, SETIT'2003},
pages = {121--129},
isbn = {9973-41-685-6},
address = {Sousse, Tunisia},
month = mar,
year = 2003,

}

@inproceedings{ccj03:oip,
inhal = {no},
author = {Canalda, Philippe and Chatonnay, Pascal and Josselin, D.},
title = {Optimizing the convergent and on-demand transportation. An enumerating algorithm of tentaculous spanning trees},
booktitle = {Abstracts book of the the ECCO XVI International Conference, The European Chapter on Combinatorial Optimisation},
pages = 13,
address = {Molde University College, Norway},
month = jun,
year = 2003,

}

@inproceedings{clt03:oip,
inhal = {no},
author = {Canalda, Philippe and Lelait, S. and Thomasset, F.},
title = {Optimizing instruction selection. One-pass bottom-up Term Rewriting system based on non-deterministic rule application automata with unification constraints between rules},
booktitle = {Abstracts book of the the ECCO XVI International Conference, The European Chapter on Combinatorial Optimisation},
pages = 30,
address = {Molde University College, Norway},
month = jun,
year = 2003,

}

@inproceedings{ccs03:ip,
inhal = {no},
author = {Charlet, Damien and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Hand-Over Video Cache Policy for Mobile Users},
booktitle = {6th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS'03)},
address = {Paris, France},
editor = {Stefani, J.-B. and Demeure, I. and Hagimont, D.},
series = {LNCS},
volume = 2893,
pages = {179--186},
month = nov,
year = 2003,

}

@inproceedings{cj03:np,
inhal = {no},
author = {Chouali, Samir and Julliand, Jacques},
title = {Model Checking des propri\'et\'es dynamiques sous hypoth\`eses d'\'equit\'e, exploitant le raffinement},
booktitle = {Actes du Congr\`es AFADL'03, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {277--291},
address = {Rennes, France},
month = jan,
year = 2003,

}

@inproceedings{clp03:oip,
inhal = {no},
author = {Colin, S. and Legeard, Bruno and Peureux, Fabien},
title = {{Preamble computation in automated test generation using Constraint Logic Programming}},
booktitle = {Proceedings of UK-Test Workshop},
year = 2003,
address = {York, United Kingdom},
month = sep,

}

@inproceedings{djk03:ip,
inhal = {no},
author = {Darlot, Christophe and Julliand, Jacques and Kouchnarenko, Olga},
title = {Refinement Preserves {PLTL} Properties},
booktitle = {Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B},
series = {LNCS},
volume = 2651,
pages = {408--420},
address = {Turku, Finland},
month = jun,
year = 2003,

}

@inproceedings{deschinkel03:bl,
inhal = {no},
equipe = {and},
author = {Deschinkel, Karine},
title = {R\'egulation du trafic a\'erien par optimisation dynamique des prix d'utilisation du r\'eseau},
booktitle = {ROADEF'03, 4e Congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide à la D\'ecision},
address = {Avignon, France},
month = feb,
year = 2003,

}

@inproceedings{dgl03a:bl,
inhal = {no},
author = {Dhoutaut, Dominique and Gu\'erin-Lassous, I.},
title = {Experiments with 802.11b in ad hoc configurations},
booktitle = {14th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications},
pages = {1618--1622},
publisher = {IEEE Computer Society Press},
address = {Beijing, China},
month = sep,
year = 2003,

}

@inproceedings{dgl03b:bl,
inhal = {no},
author = {Dhoutaut, Dominique and Gu\'erin-Lassous, I.},
title = {Exp\'erimentations avec 802.11 dans les r\'eseaux ad hoc},
booktitle = {Actes d'Algotel},
address = {Banyuls Sur Mer, France},
month = may,
year = 2003,

}

@inproceedings{fltt03:bl,
inhal = {no},
author = {Felea, Violeta and Laskowski, E. and Toursel, B. and Tudruj, M.},
title = {{O}ptimizing {O}bject {O}riented {P}rograms based on the {B}yte {C}ode-{D}efined {D}ata {D}ependence {G}raphs},
booktitle = {Procs of Concurrent Information Processing and Computing (CIPC NATO ARW)},
pages = {34--46},
address = {Sinaia, Romania},
year = 2003,

}

@inproceedings{ft03a:bl,
inhal = {no},
author = {Felea, Violeta and Toursel, B.},
title = {{M}iddleware-based {L}oad {B}alancing for {C}ommunicating {J}ava {O}bjects},
booktitle = {Procs of Concurrent Information Processing and Computing (CIPC NATO ARW)},
pages = {194--202},
address = {Sinaia, Roumanie},
year = 2003,

}

@inproceedings{ggv03:bl,
inhal = {no},
author = {Genaud, S. and Giersch, Arnaud and Vivien, Fr\'ed\'eric},
title = {Load-Balancing Scatter Operations for Grid Computing},
booktitle = {HCW'2003, 12th Heterogeneous Computing Workshop},
pages = {101a (10~pages)},
publisher = {IEEE Computer Society Press},
address = {Nice, France},
isbn = {0-7695-1926-1},
month = apr,
year = 2003,
note = {Workshop held in conjunction with IPDPS},

}

@inproceedings{grv03:bl,
inhal = {no},
author = {Giersch, Arnaud and Robert, Yves and Vivien, Fr\'ed\'eric},
title = {Scheduling tasks sharing files on heterogeneous clusters},
booktitle = {EuroPVM/MPI'2003, 10th European PVM/MPI Users' Group Conference},
series = {LNCS},
volume = 2840,
pages = {657--660},
publisher = {Springer},
editor = {Dongarra, J. and Laforenza, D. and Orlando, S.},
address = {Venice, Italy},
issn = {0302-9743},
isbn = {3-540-20149-1},
month = sep,
year = 2003,

}

@inproceedings{hjmo03:np,
inhal = {no},
author = {Hammad, Ahmed and Julliand, Jacques and Mountassir, Hassan and Okalas, D.},
title = {Expression en {B} et raffinement des syst\`emes r\'eactifs temps r\'eel},
booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'03},
pages = {211--225},
address = {Rennes, France},
month = jan,
year = 2003,

}

@inproceedings{hlt03a:ip,
inhal = {no},
author = {Housni, Ahmed and Lacroix, Michel and Tr\'ehel, Michel},
title = {Distributed scheduling of mobile priority requests},
booktitle = {Euro-Par 2003},
series = {LNCS},
volume = 2790,
pages = {669--774},
address = {Klagenfurt, Austria},
month = aug,
year = 2003,

}

@inproceedings{hlt03b:ip,
inhal = {no},
author = {Housni, Ahmed and Lacroix, Michel and Tr\'ehel, Michel},
title = {Using a mobile queue for prioritized requests in a new mutual exclusion algorithm},
booktitle = {16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003},
pages = {139--145},
address = {Reno, Nevada, United States},
month = aug,
year = 2003,

}

@inproceedings{ht03:onp,
inhal = {no},
author = {Housni, Ahmed and Tr\'ehel, Michel},
title = {{\'E}valuation du co\^ut de l'association de la priorit\'e aux requ\^etes, rout\'ees sur un arbre dynamique},
booktitle = {MAJECSTIC'03, Manifestation des JEunes Chercheurs STIC},
address = {Marseille, France},
month = oct,
year = 2003,

}

@inproceedings{hufflen03b:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Mixing Two Bibliography Style Languages},
booktitle = {LDTA~2003},
address = {Warsaw, Poland},
volume = {82.3},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
month = apr,
year = 2003,
note = {Electronic Paper},
langue = {english},

}

@inproceedings{kl03:np,
inhal = {no},
author = {Kouchnarenko, Olga and Lanoix, Arnaud},
title = {Raffinement de syst\`emes \`a composants synchronis\'es},
booktitle = {Conf\'erences MSR'03 - Mod\'elisation des Syst\`emes R\'eactifs},
address = {Metz, France},
editor = {M\'ery, D. and Rezg, N. and Xie, X.},
volume = {RS/hors s\'erie},
publisher = {Hermes},
pages = {225--240},
keywords = {Syst\`emes de transitions, composition, raffinement, synchronisation, composant synchronis\'e},
abstract = {Cet article traite de la sp\'ecification et du raffinement de syst\`emes con\c{c}us sous forme de composants sycnhronis\'es. Nous d\'efinissons la composition synchronis\'ee de syst\`emes \`a composants et nous donnons la s\'emantique du raffinement pour ce type de syst\`emes. Nous proposons une m\'ethode de d\'ecision des conditions de correction du raffinement d'un tel syst\`eme. Nous donnons les conditions n\'ecessaires et suffisantes du raffinement d'un syst\`eme complet \`a partir du raffinement de ses composants. Ces diff\'erents aspects sont illustr\'es sur l'exemple d'un robot industriel, compos\'e d'une pince, d'un bras et d'un ascenseur, et charg\'e de d\'eplacer des pi\`eces.},
url = {http://www.lavoisier.fr/fr/livres/index.asp?texte=2746207780&select=isbn&from=Hermes},
month = oct,
year = 2003,

}

@inproceedings{kl03a:ip,
inhal = {no},
author = {Kouchnarenko, Olga and Lanoix, Arnaud},
title = {Refinement and Verification of Synchronized Component-based Systems},
booktitle = {Formal Method Europe 2003 (FM'03)},
address = {Pisa, Italy},
series = {LNCS},
publisher = {Springer},
pages = {341--358},
volume = 2805,
editor = {Araki K., Gnesi S., Mandrioli D.},
month = sep,
year = 2003,
keywords = {composition, synchronization, refinement, algorithmic verification, compositional verification, reachability analysis},
abstract = {This article deals with specification, refinement and verification approaches for systems designed with synchronized components. First of all, we define a synchronized composition of components. Transition systems are used to specify and/or to model synchronized component-based systems. Second, we give refinement semantics for these component-based systems before proposing a method to verify the refinement of the whole system from the weak refinement of its components. We also present SynCo: a tool whe are implementing using our method. Third, a compositional way to verify safety properties is proposed: the unreachability of a (set of) state(s) can be efficiently ensured for a synchronized component-based system. The different aspects of our work are illustrated on an indudtrial example of a wind-screen wipers system composed of a control lever, a rain sensor and two (left and right wind-screen wipers.},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=341},

}

@inproceedings{kl03b:ip,
inhal = {no},
author = {Kouchnarenko, Olga and Lanoix, Arnaud},
title = {{SynCo}: a Refinement Analysis Tool for Synchronized Component-based Systems},
booktitle = {FM'03 Tool Exhibition Notes},
editor = {Margaria T.},
pages = {47--51},
address = {Pisa, Italie},
month = sep,
year = 2003,
keywords = {labelled transition system, components, synchronization, compositional verification, refinement},
abstract = {We report on SynCo, a tool we have developped that implements a compositional analysis of the refinement of synchronized component-based systems. First, components are specified as labelled transition systems and their synchronization is given. Context-in components are automatically built. Second, SynCo analyses the weak refinement of the context-in components and concludes about the strict refinement of the whole system. While previous papers have described various features of the refinement relation, this paper presents the first description of SynCo.},
pdf = {../pub/2003/kl03b-ip.pdf} 
}

@inproceedings{lg03:ip,
inhal = {no},
author = {Le, V. and Guyennet, Herv\'e},
title = {{GridSec}, A scalable Security Architecture for Grid Applications},
booktitle = {procs. of the 2nd Workshop on Security and Network Architecture},
pages = {195--202},
address = {Marakech, Morocco},
month = jul,
year = 2003,

}

@inproceedings{mpr03a:bl,
inhal = {no},
author = {Magniette, F. and Pilard, Laurence and Rozoy, B.},
title = {Model-checking et produit synchronis\'e.},
booktitle = {{MSR} 2003, Mod\'elisation des systèmes R\'eactifs},
pages = {213--224},
address = {Metz, France},
year = 2003,

}

@inproceedings{mlq03:np,
inhal = {no},
author = {Marche, Micka\"el and Leroy, D. and Quemener, Y.-M.},
title = {Mod\`ele et langage d'observation pour le test d'agents mobiles},
booktitle = {Actes du Congr\`es AFADL'03, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {157--171},
address = {Rennes, France},
month = jan,
year = 2003,

}

@inproceedings{mrc03:np,
inhal = {no},
author = {Mbala, Alo\"{i}s and Reffay, Christophe and Chanier, Thierry},
title = {{SIGFAD}~: un syst\`eme multi-agents pour soutenir les utilisateurs en formation \`a distance},
booktitle = {Actes de la conf\'erence Environnements Informatiques pour l'Apprentissage Humain (EIAH'2003)},
pages = {319--330},
address = {Strasbourg, France},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000147},
pdf = {http://lifc.univ-fcomte.fr/RECHERCHE/P7/pub/EIAH03/mbala_eiah03.pdf},
abstract = {Cet article décrit la construction de SIGFAD, un système multi-agents destiné à être couplé aux plates-formes informatiques de formation à distance. SIGFAD implémente des fonctionnalités permettant aux tuteurs de maintenir les groupes, les dynamiser et de bien conduire la session de formation à distance (FAD). Nous utilisons une méthodologie d'analyse, de conception et de spécification des systèmes multi-agents (méthodologie MaSE) et nous appuyons sur l'architecture BDI (Beliefs-Desires-Intentions) pour mesurer un certain nombre de critères sur les groupes et les individus engagés dans une session de FAD. Ces critères, bien que construits à posteriori ici, peuvent être calculés au fil d'une session de FAD et mis à la disposition des utilisateurs en temps réel. Nous appliquons SIGFAD à un corpus de données recueillies lors d'une session de FAD grandeur réelle et exhibons quelques résultats.},
month = apr,
year = 2003,

}

@inproceedings{ocks03:ip,
inhal = {no},
author = {Oehl, F. and C\'ec\'e, G\'erard and Kouchnarenko, Olga and Sinclair, D.},
title = {Automatic Approximation for the Verification of Cryptographic Protocols},
booktitle = {Int. Conf. on Formal Aspects of Security, FASec 2002},
series = {LNCS},
volume = 2629,
pages = {33--48},
publisher = {Springer},
address = {London, United Kingdom},
month = nov,
year = 2003,
note = {Revised paper of the FASec 2002 conference} 
}

@inproceedings{pp03:ip,
inhal = {no},
author = {Portigliatti, Vincent and Philippe, Laurent},
title = {Java components with constraints ans preferences in automatic administration of execution and placement},
booktitle = {11th Euromicro Conference on Parallel, Distributed and Network based Processing (Euro PDP~2003)},
pages = {266--273},
address = {Genova, Italy},
publisher = {IEEE Computer Society Press},
month = feb,
year = 2003,

}

@inproceedings{rc03:ip,
inhal = {no},
author = {Reffay, Christophe and Chanier, Thierry},
title = {How social network analysis can help to measure cohesion in collaborative distance-learning},
booktitle = {Procs. of Computer Supported Collaborative Learning Conference (CSCL'2003)},
publisher = {Kluwer},
month = jun,
address = {Bergen, Norway},
pages = {343-352},
year = 2003,
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000422},
pdf = {http://lifc.univ-fcomte.fr/RECHERCHE/P7/pub/CSCL03/reffay_chanier.pdf},
abstract = {It has been argued that cohesion plays a central role in collaborative learning. In face-to-face classes, it can be reckoned from several visual or oral cues. In a Learning Management System or CSCL environment, such cues are absent. In this paper, we show that Social Network Analysis concepts, adapted to the collaborative distance-learning context, can help measuring the cohesion of small groups. Working on data extracted from a 10-week distance-learning experiment, we computed cohesion in several ways in order to highlight isolated people, active sub-groups and various roles of the members in the group communication structure. We argue that such processing, embodied in monitoring tools, can display global properties both at individual level and at group level and efficiently assist the tutor in following the collaboration within the group. It seems to be more appropriate than the long and detailed textual analysis of messages and the statistical distribution of participants' contributions.},

}

@inproceedings{rc03:np,
inhal = {no},
author = {Reffay, Christophe and Chanier, Thierry},
title = {Mesurer la coh\'esion d'un groupe d'apprentissage en formation \`a distance},
booktitle = {Actes de la conf\'erence Environnements Informatiques pour l'Apprentissage Humain (EIAH'2003)},
pages = {367--378},
address = {Strasbourg, France},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000152},
pdf = {http://lifc.univ-fcomte.fr/RECHERCHE/P7/pub/EIAH03/crtc_eiah03.pdf},
abstract = {Cette communication se propose de faire le point sur la notion de cohésion, proposée par les réseaux sociaux (Social Network Analysis), en vue de l'utiliser pour le suivi de la formation à distance, basée sur la production collaborative. Certains auteurs ayant montré l'impact de la cohésion du groupe sur son efficacité, nous nous intéressons à la définition, à la mesure et à la représentation de cette cohésion en vue de proposer des greffons sur les plates-formes de téléformation. Nous appliquons la notion de clique de niveau s à deux types de graphes de communication sur des données tirées d'une réelle formation : représentant les courriels d'une part, et les forums de discussion d'autre part. Nous montrons enfin qu'à partir de l'analyse des cliques de niveau s, il est possible de mesurer l'état de cohésion du groupe et la position relative de ses membres dans la communication du groupe ; information essentielle dans le suivi d'une formation collaborative.},
month = apr,
year = 2003,

}

@inproceedings{renard03:onp,
inhal = {no},
author = {Renard, Fabien},
title = {Adaptation distribu\'ee dans les t\'el\'e-applications},
booktitle = {MAJECSTIC'03, Manifestation des JEunes Chercheurs STIC},
address = {Marseille, France},
month = oct,
year = 2003,

}

@inproceedings{svlz03:ip,
inhal = {no},
author = {Saint-Voirin, David and Lang, Christophe and Zerhouni, N.},
title = {Distributed Cooperation Modeling for Maintenance Using Petri Nets and Multi-Agents Systems},
booktitle = {International Symposium on Computational Intelligence in Robotics and Automation, CIRA'03},
pages = {366--371},
year = 2003,
address = {Kobe Portopia Hotel, Kobe, Japan},
month = jul,
publisher = {IEEE Computer Society Press},

}

@inproceedings{sbtt03+:ip,
inhal = {no},
author = {Szymansky, J. and Bangemann, T. and Thron, M. and Thomesse, J.-P. and Rebeuf, X. and Lang, Christophe and Garcia, Eric},
title = {{PROTEUS} - a {European Initiative for E-Maintenance Platform Development}},
booktitle = {ETFA'03, 9th IEEE Int. Conf. on Emerging Technologies and Factory Automation},
pages = {415--420},
volume = 2,
address = {Lisbon, Portugal},
month = sep,
year = 2003,

}

@inproceedings{trvh03:ip,
inhal = {no},
author = {Tatibou\"et, Bruno and Requet, A. and Voisinet, Jean-Christophe and Hammad, Ahmed},
title = {Java {C}ard Code Generation from {B} Specifications},
booktitle = {5th International Conference on Formal Engineering Methods (ICFEM'2003)},
series = {LNCS},
volume = 2885,
pages = {306--318},
address = {Singapore},
month = nov,
year = 2003,

}

@inproceedings{tv03:oip,
inhal = {no},
author = {Tatibou\"et, Bruno and Voisinet, Jean-Christophe},
title = {Generating statecharts from {B} specifications},
volume = {1, Session 2: Modelling},
booktitle = {16th International Conference Software \& Systems Engineering and their applications (ICSSEA'2003)},
organization = {CNAM},
address = {Paris, France},
month = dec,
year = 2003,

}