@inproceedings{achhab04:oip,
inhal = {no},
author = {Al'Achhab, Mohammed},
title = {Specification and Verification of Hierarchical Systems by Refinement},
booktitle = {Winter School on Modelling and Verifying Parallel Processes, MOVEP'04},
address = {Bruxelles, Belgique},
month = dec,
year = 2004 
}

@inproceedings{ablp+04:oip,
inhal = {no},
author = {Ambert, Fabrice and Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien and Py, L. and Torrebore, E.},
title = {{A}utomated {T}est {C}ase and {T}est {D}river {G}eneration for {E}mbedded {S}oftware},
booktitle = {ICSSEA - Int. Conf. on Software, System Engineering and Applications},
pages = {34--49},
editor = {CNAM},
month = dec,
year = 2004,

}

@inproceedings{bghl04:np,
inhal = {no},
author = {Ba, Tafsir and Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Le p\`elerin optimiste. {G}estion de la concurrence dans les collectitiels~: vers des protocoles optimistes},
booktitle = {7th African Conference on Research in Computer Science, CARI'04},
address = {Hammamet, Tunisia},
pages = {389--396},
month = nov,
year = 2004,
accrate = 25,

}

@inproceedings{bcvc04:ip,
inhal = {no},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couturier, Rapha\"el},
title = {Performance comparison of parallel programming environments for implementing AIAC algorithms},
booktitle = {18th IEEE and ACM Int. Conf. on Parallel and Distributed Processing Symposium, IPDPS~2004},
pages = {247b, 8 pages},
address = {Santa Fe, United States},
publisher = {IEEE Computer Society Press},
month = apr,
year = 2004,

}

@inproceedings{bcv04:ip,
inhal = {no},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vuillemin, Philippe},
title = {Asynchronous iterative algorithms for computational science on the grid: three case studies},
booktitle = {procs. of Vecpar~2004},
pages = {302--314},
series = {LNCS},
volume = 3402,
publisher = {Springer},
address = {Valencia, Spain},
month = jun,
year = 2004,

}

@inproceedings{bdm04b:ip,
inhal = {no},
author = {Bahi, Jacques and Domas, St\'ephane and Mazouzi, Kamel},
title = {Combination of Java and Asynchronism for the Grid : a Comparative Study Based on a Parallel Power Method},
booktitle = {18th IEEE and ACM Int. Conf. on Parallel and Distributed Processing Symposium, IPDPS~2004},
year = 2004,
address = {Santa Fe, United States},
pages = {158a, 8 pages},
month = apr,
publisher = {IEEE Computer Society Press},

}

@inproceedings{bdm04:ip,
inhal = {no},
author = {Bahi, Jacques and Domas, St\'ephane and Mazouzi, Kamel},
title = {Jace : a Java environment for distributed asynchronous iterative computations},
booktitle = {12th Euromicro Conference on Parallel, Distributed and Network based Processing, PDP'04},
year = 2004,
pages = {350--357},
address = {Coruna, Spain},
month = feb,
publisher = {IEEE Computer Society Press},

}

@inproceedings{bt04:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Tchounikine, P.},
title = {Mod\'elisation et perception de l'activit\'e dans l'environnement {S}ymba},
booktitle = {Actes de Reconnaissance des Formes et Intelligence Artificielle (RFIA~2004)},
pages = {1217--1225},
month = jan,
address = {Toulouse, France},
year = 2004,

}

@inproceedings{bcfo+04:oip,
inhal = {no},
author = {Blanc, M. and Clemente, Patrice and Franche, S. and Oudot, L. and Courtieu, P. and Vessiller, L. and Toinard, C.},
title = {Hardening large-scale networks security through a meta-policy framework},
booktitle = {The 3rd Workshop on the Internet, Telecommunications and Signal Processing (WITSP'2004)},
address = {Adelaide, Australia},
month = oct,
year = 2004,

}

@inproceedings{bhko04:ip,
inhal = {no},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Oehl, F.},
title = {Improvements on the {Genet} and {Klay} Technique to Automatically Verify Security Protocols},
booktitle = {Proc. Int. Ws. on Automated Verification of Infinite-State Systems (AVIS'2004), joint to ETAPS'04},
month = apr,
pages = {1--11},
address = {Barcelona, Spain},
note = {The final version will be published in EN in Theoretical Computer Science, Elsevier},
year = 2004,

}

@inproceedings{bll04:oip,
inhal = {no},
author = {Bouquet, Fabrice and Lebeau, Franck and Legeard, Bruno},
title = {Test case and Test driver generation for automotive embedded systems},
booktitle = {5th Int. Conf. on Software Testing, {ICS-Test}~2004},
pages = {37--53},
address = {D\"usseldorf, Germany},
month = apr,
year = 2004,

}

@inproceedings{blpt04:ip,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien and Torreborre, E.},
title = {{M}astering {T}est {G}eneration from {S}mart {C}ard {S}oftware {F}ormal {M}odels},
booktitle = {Procs. of the Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04)},
series = {LNCS},
volume = 3362,
pages = {70--85},
publisher = {Springer},
address = {Marseille, France},
month = mar,
year = 2004,
note = {Selected papers from the CASSIS'04 workshop},

}

@inproceedings{bluv04:ip,
inhal = {no},
author = {Bouquet, Fabrice and Legeard, Bruno and Utting, Mark and Vacelet, Nicolas},
title = {Faster Analysis of Formal Specification},
booktitle = {6th Int. Conf. on Formal Engineering Methods (ICFEM'04)},
pages = {239--258},
series = {LNCS},
publisher = {Springer},
volume = 3308,
editor = {Davies, J. and Schulte, W. and Barnett, M.},
address = {Seattle, WA, United States},
month = nov,
year = 2004,

}

@inproceedings{ccj04:ip,
inhal = {no},
author = {Canalda, Philippe and Chatonnay, Pascal and Josselin, D.},
title = {\'Enumeration d'arbres couvrants tentaculaires, une solution au probl\`eme de transport \`a la demande en convergence},
booktitle = {IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, SETIT'2004},
pages = {146--154},
address = {Sousse, Tunisia},
note = {ISBN: 9973-41-902-2},
month = mar,
year = 2004,

}

@inproceedings{cddfv04:onp,
inhal = {no},
author = {Caron, E. and Desprez, F. and Del~Fabbro, Bruno and Vernois, A.},
title = {Gestion de donn\'ees dans les {NES}},
booktitle = {DistRibUtIon de Donn\'ees \`a grande Echelle, DRUIDE 2004},
year = 2004,
address = {Domaine du Port-aux-Rocs, Le Croisic, France},
month = may,
organization = {IRISA},

}

@inproceedings{charlet04:np,
inhal = {no},
author = {Charlet, Damien},
title = {Une politique de prise en compte de la mobilit\'e dans les caches vid\'eos},
booktitle = {Premi\`ere Conf\'erence Nationale {Mcube} MultiM\'edia Mobile (MCUBE'04)},
address = {Montb\'eliard, France},
pages = {52--59},
editor = {Spies, Fran\c{c}ois and Bourgeois, Julien and Chatonnay, Pascal},
month = mar,
year = 2004,

}

@inproceedings{cll04:np,
inhal = {no},
author = {Colin, S. and Lebeau, Franck and Legeard, Bruno},
title = {G\'{e}n\'{e}ration de tests \`{a} partir de statecharts fond\'{e}e sur le calcul de comportements},
booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
pages = {153--167},
editor = {Julliand, Jacques},
address = {Besan\c{c}on, France},
month = jun,
year = 2004,

}

@inproceedings{couchot04:onp,
inhal = {no},
author = {Couchot, Jean-Fran\c{c}ois},
title = {V\'erification d'invariant par superposition},
booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
address = {Calais, France},
ps = {http://lifc.univ-fcomte.fr/~couchot/pubs/cou04.ps.gz},
url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html},
note = {Actes en ligne sur {	t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}},
abstract = {Un système d'événements B modélise un système d'intérêt et l'environnement avec lequel il réagit. Il permet d'exprimer une spécification abstraite au niveau ensembliste, dont les événements sont parfois indéterministes et dont la propriété de cohérence, appelée invariant, s'exprime à l'aide d'une formule logique du premier ordre. Cette étude s'applique à un langage de spécification équivalent à une classe de systèmes d'événements qui conserve les notions d'ensemble, d'indéterminisme et d'invariant écrit en logique équationnelle du premier ordre. Elle propose une démarche de vérification automatique d'invariant inductif et de construction d'un tel invariant par renforcement. L'apport principal est le caractère automatique de la démarche, fondée sur une procédure de décision par superposition. L'étude est illustrée par deux exemples d'algorithmes d'exclusion mutuelle.},
month = oct,
year = 2004,

}

@inproceedings{cddg+04:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
title = {Proving and Debugging Set-Based Specifications},
booktitle = {WMF'03 proceedings},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
volume = 95,
pages = {189--208},
editor = {A. Cavalcanti and P. Machado},
address = {Campina Grande, Brazil},
url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012},
month = may,
year = 2004,

}

@inproceedings{cdgr04:onp,
inhal = {no},
author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
title = {{B}arvey~: {V}\'erification automatique de consistance de machines abstraites {B}},
pages = {369--372},
booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, },
address = {Besan\c{c}on, France},
month = jun,
year = 2004,
editor = {Julliand, Jacques},
note = {Session outils},

}

@inproceedings{cg04:np,
inhal = {no},
author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain},
title = {Analyse d'atteignabilit\'e d\'eductive},
booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
pages = {269--283},
editor = {Julliand, Jacques},
address = {Besan\c{c}on, France},
month = jun,
year = 2004,

}

@inproceedings{cgg04:ip,
inhal = {no},
author = {Couturier, Rapha\"el and Gras, R\'egis and Guillet, F.},
title = {Reducing the number of variables using implicative analysis},
booktitle = {International Federation of Classification Societies, IFCS~2004},
series = {Classification, Clustering, and Data Mining Applications},
pages = {277--285},
publisher = {Springer},
year = 2004,

}

@inproceedings{chm04:np,
inhal = {no},
author = {C\'ec\'e, G\'erard and H\'eam, Pierre-Cyrille and Mainier, Yann},
title = {Cl\^otures transitives de semi-commutations et model-checking r\'egulier},
booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
pages = {257--268},
editor = {Julliand, Jacques},
address = {Besan\c{c}on, France},
month = jun,
year = 2004,

}

@inproceedings{dnp04:ip,
inhal = {no},
author = {Dahan, Sylvain and Nicod, Jean-Marc and Philippe, Laurent},
title = {Scalability in a {GRID} Server Discovery Mechanism},
booktitle = {10th IEEE Int. Workshop on Future Trends of Distributed Computing Systems, FTDCS~2004},
pages = {46--51},
address = {Suzhou, China},
publisher = {IEEE Computer Society Press},
month = may,
year = 2004,

}

@inproceedings{dflnp04:oip,
inhal = {no},
author = {Del~Fabbro, Bruno and Laiymani, David and Nicod, Jean-Marc and Philippe, Laurent},
title = {A {D}ata {P}ersistency Approach for the {DIET} Metacomputing Environment},
pages = {701--707},
booktitle = {Int. Conf. on Internet Computing, IC'04},
year = 2004,
address = {Las Vegas, United States},
month = jun,

}

@inproceedings{dflnp04:onp,
inhal = {no},
author = {Del~Fabbro, Bruno and Laiymani, David and Nicod, Jean-Marc and Philippe, Laurent},
title = {Gestion des donn\'ees dans une plate-forme de m\'etacomputing},
booktitle = {GRIDUSe 2004},
pages = {151--158},
year = 2004,
address = {Ecole SUPELEC, Metz, France},
month = jun,
organization = {LORIA},

}

@inproceedings{dgl04:bl,
inhal = {no},
author = {Dhoutaut, Dominique and Gu\'erin-Lassous, I.},
title = {Performance of a multi-hops configuration with 802.11: from simulation to experimentation},
booktitle = {15th IEEE Int. Symposium on Personal, Indoor and Mobile Radio Communications},
address = {Barcelona, Spain},
month = sep,
year = 2004,

}

@inproceedings{dvgl04:bl,
inhal = {no},
author = {Dhoutaut, Dominique and Vo, Q. and Gu\'erin-Lassous, I.},
title = {Global visualization of experiments in ad hoc networks},
booktitle = {INC'04, 4th International Network Conference},
address = {Plymouth, UK},
month = jul,
year = 2004,

}

@inproceedings{edbsv04:ip,
inhal = {no},
author = {Ernst-Desmulier, Jean-Baptiste and Bourgeois, Julien and Spies, Fran\c{c}ois and Verbeke, J.},
title = {Using Similarity Groups to Increase Performance of {P2P} Computing},
booktitle = {10th Int. Euro-Par Conference (Europar'04)},
publisher = {Springer},
series = {LNCS},
volume = 3149,
isbn = {3-540-22924-8},
pages = {1056-1059},
address = {Pisa, Italy},
month = aug,
year = 2004,

}

@inproceedings{edc04:np,
inhal = {no},
author = {Ernst-Desmulier, Jean-Baptiste and Charlet, Damien},
title = {{PACS}~: une architecture Peer-to-Peer de cache sibling},
booktitle = {Premi\`ere Conf\'erence Nationale {Mcube} MultiM\'edia Mobile (MCUBE'04)},
pages = {116--123},
address = {Montb\'eliard, France},
month = mar,
year = 2004,
editor = {Spies, Fran\c{c}ois and Bourgeois, Julien and Chatonnay, Pascal} 
}

@inproceedings{ft04a:bl,
inhal = {no},
author = {Felea, Violeta and Toursel, B.},
title = {{A}daptive {D}istributed {E}xecution of {J}ava {A}pplications},
booktitle = {PDP'2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing},
pages = {16--21},
publisher = {IEEE Computer Society Press},
address = {A Coru\~na, Espagne},
month = feb,
year = 2004,

}

@inproceedings{fop04:ip,
inhal = {no},
author = {Foug\`eres, A.-J. and Ospina, V. and Canalda, Philippe},
title = {Conception de syst\`eme de multi-assistance \`a base d'agents. Application \`a un environnement p\'edagogique},
booktitle = {IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, SETIT'2004},
pages = {293--301},
address = {Sousse, Tunisia},
note = {ISBN: 9973-41-902-2},
month = mar,
year = 2004,

}

@inproceedings{fuin04:onp,
inhal = {no},
author = {Fuin, David},
title = {Qualit\'e de Service dans les R\'eseaux Actifs},
booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
address = {Calais, France},
month = oct,
year = 2004,
url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html},
note = {Actes en ligne sur {	t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}},

}

@inproceedings{fgg04:oip,
inhal = {no},
author = {Fuin, David and Garcia, Eric and Guyennet, Herv\'e},
title = {A Novel Approach to Quality of Service in Active Networks},
booktitle = {3rd IEEE Workshop on High-Speed Local Networks, HSLN'04},
pages = {760--767},
address = {Tampa, Florida},
month = nov,
year = 2004,

}

@inproceedings{fgg04:ip,
inhal = {no},
author = {Fuin, David and Garcia, Eric and Guyennet, Herv\'e},
title = {Behavior and Performance of {QoS} Mechanisms on Different Router {OS}},
address = {Pointe-a-Pitre, Guadeloupe, France},
booktitle = {ICN'2004, 3rd IEEE International Conference on Networking},
pages = {747--754},
month = mar,
year = 2004,

}

@inproceedings{gglr04:oip,
inhal = {no},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Renard, Fabien},
title = {A Novel Approach to Handle Ubiquitous Communication: Global Adaptation},
booktitle = {2nd Int. Workshop on Managing Ubiquitous Communications and Services, MUCS~2004},
pages = {96--105},
address = {Dublin, Ireland},
month = dec,
year = 2004,

}

@inproceedings{ghl04b:ip,
inhal = {no},
author = {Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Comparison of Continuous Flow Transmission Strategies Over A Distributed Platform Based on {SOAP}},
booktitle = {IEEE Int. Conf. on Services Computing (SCC'04)},
address = {Shangai, China},
pages = {664--669},
month = sep,
year = 2004,
accrate = 33,

}

@inproceedings{ghl04:ip,
inhal = {no},
author = {Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Gestion du multim\'edia sur une plate-forme g\'en\'erique bas\'ee sur les Web-services},
booktitle = {procs. of the IEEE Int. Conf. SETIT'2004},
address = {Sousse, Tunisia},
pages = {104-112},
note = {ISBN: 9973-41-902-2},
month = mar,
year = 2004,

}

@inproceedings{grv04b:bl,
inhal = {no},
author = {Giersch, Arnaud and Robert, Yves and Vivien, Fr\'ed\'eric},
title = {Scheduling Tasks Sharing Files from Distributed Repositories},
booktitle = {Euro-Par'2004, Parallel Processing, 10th Int. Euro-Par Conference},
series = {LNCS},
volume = 3149,
pages = {246--253},
publisher = {Springer},
editor = {Danelutto, M. and Vanneschi, M. and Laforenza, D.},
address = {Pisa, Italy},
issn = {0302-9743},
isbn = {3-540-22924-8},
month = sep,
year = 2004,

}

@inproceedings{grv04a:bl,
inhal = {no},
author = {Giersch, Arnaud and Robert, Yves and Vivien, Fr\'ed\'eric},
title = {Scheduling tasks sharing files on heterogeneous master-slave platforms},
booktitle = {PDP'2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing},
pages = {364--371},
publisher = {IEEE Computer Society Press},
isbn = {0-7695-2083-9},
address = {A Coru\~na, Spain},
month = feb,
year = 2004,

}

@inproceedings{greffier04:np,
inhal = {no},
author = {Greffier, Fran\c{c}oise},
title = {Tutorat et informatique, le geste et l'outil en synergie},
booktitle = {Actes du colloque CNED-EIFAD (Ecole d'ing\'enierie de la formation \`a distance)},
pdf = {http://www.cned.fr/colloqueeifad/Documents/Eifad2004_greffier.pdf},
address = {Poitiers, France},
month = dec,
year = 2004,

}

@inproceedings{glrt04:it,
inhal = {no},
author = {Guyennet, Herv\'e and Lang, Christophe and Rebeuf, X. and Thron, M.},
title = {{M}iddleware for {G}lobal e-{M}aintenance},
booktitle = {IEEE Mechatronics and Robotics},
volume = 3,
pages = {1129--1134},
address = {Aachen, Germany},
month = sep,
year = 2004,
note = {Invited Talk},

}

@inproceedings{hb04:bl,
inhal = {no},
equipe = {and},
author = {Hakem, Mourad and Butelle, Franck},
title = {A New On-Line Scheduling Algorithm for Distributed Real-Time System},
booktitle = {ISADS'04, 3rd IEEE Int. Symposium on Advanced Distributed Systems},
pages = {241--251},
publisher = {Springer},
series = {LNCS},
volume = 3061,
url = {http://dx.doi.org/10.1007/b98139},
year = 2004,

}

@inproceedings{hjma04:np,
inhal = {no},
author = {Hammad, Ahmed and Julliand, Jacques and Mountassir, Hassan and Al'Achhab, Mohammed},
title = {Conception et v\'erification de syst\`emes temps r\'eel par raffinement},
booktitle = {12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04},
pages = {85--99},
address = {Paris, France},
month = mar,
year = 2004,

}

@inproceedings{hmo04:np,
inhal = {no},
author = {Hammad, Ahmed and Mountassir, Hassan and Oudot, Emilie},
title = {Pr\'eservation de propri\'et\'es {MITL} par raffinement temporis\'e},
booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
pages = {207--221},
editor = {Julliand, Jacques},
address = {Besan\c{c}on, France},
month = jun,
year = 2004,

}

@inproceedings{hufflen04b:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Order Relations and {European} Languages. Extended Abstract},
booktitle = {WADT~2004},
pages = {53--54},
address = {Barcelona, Spain},
year = 2004,
month = mar,
langue = {english},

}

@inproceedings{hufflen04:ip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {{mlBibTeX} beyond {LaTeX}},
booktitle = {{TeX}, {XML}, and Digital Typography},
series = {LNCS},
volume = 3130,
pages = {203--215},
address = {Xanthi, Greece},
month = aug,
year = 2004,
langue = {english},

}

@inproceedings{klpu04:ip,
inhal = {no},
author = {Kosmatov, Nikola\"{\i} and Legeard, Bruno and Peureux, Fabien and Utting, Mark},
title = {Boundary Coverage Criteria for Test Generation from Formal Models},
booktitle = {Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04)},
pages = {139--150},
month = nov,
address = {Saint-Malo, France},
year = 2004,
publisher = {IEEE Computer Society Press},

}

@inproceedings{kl04:ip,
inhal = {no},
author = {Kouchnarenko, Olga and Lanoix, Arnaud},
title = {Verifying Invariants of Component-based Systems through Refinement},
booktitle = {10th Int. Conf. on Algebraic Methodology and Software Technology (AMAST'04)},
series = {LNCS},
pages = {289--303},
volume = 3116,
editor = {Rattray, C. and Maharaj, S. and Shankland, C.},
publisher = {Springer},
address = {Stirling, Scotland},
month = jul,
year = 2004,
keywords = {invariance properties, refinement, compositional verification, synchronized product, preservation},
abstract = {In areas like manufacturing, communications, transportation or aerospace, the increasing size and complexity of reactive systems make their verification difficult to handle. Compositional reasoning is a way to master this problem. In this paper, we propose an approach based on a constraint synchronized product to specify and to verify such systems. This approach supports a compositional refinement for both labelled transition systems and their composition. In this framework, we show how to verify local and global invariance properties during a refinement verification. Thus, these properties are preserved through refinement. The different aspects of our work are illustrated on the example of a communication protocol between an integrated chip card and a reader interface device.},
url = {http://www.springerlink.com/index/D8BAXMQC4KGQ2D7F} 
}

@inproceedings{lanoix04:oip,
inhal = {no},
author = {Lanoix, Arnaud},
title = {A compositional framework using refinement},
booktitle = {Winter School on Modelling and Verifying Parallel Processes, MOVEP'04},
address = {Bruxelles, Belgique},
month = dec,
year = 2004,
abstract = {We propose an approach based on a synchronized product to specify and to verify concurrent systems in a compositional way. This approach supports a compositional refinement, for both components and their product, that preserves PLTL properties. Moreover, we have shown how to compositionally verify some invariance properties during the refinement process, and we are currently studying how to extend this work to some PLTL properties. An analysis tool, called SynCo, implements our verification methodology.},
keywords = {Component-based System, Refinement, Invariant, PLTL property},
pdf = {../pub/2004/lanoix04-oip.pdf},

}

@InProceedings{lanoix04:onp,
inhal = {no},
author = {Lanoix, Arnaud},
title = {SynCo : v\'{e}rification du raffinement des syst\`{e}mes \`{a} composants synchronis\'{e}s},
booktitle = {Sessions Outils, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
pages = {373--376},
editor = {Julliand, Jacques},
address = {Besan\c{c}on, France},
keywords = {raffinement, pr\'eservation, composants, syst\`emes de transitions, produit synchronis\'e, v\'erification compositionnelle},
abstract = {SynCo (pour Synchronized Component-based system analyser) est un outil qui permet de v\'erifier le raffinement de syst\`emes r\'eactifs sp\'ecifi\'es sous forme de composants. Il est bas\'e sur la m\'ethode de raffinement des syst\`emes \`a composants synchronis\'es qui permet de s'assurer du raffinement d'un syst\`eme \`a composants sans pour autant construire le syst\`eme complet. \synco\ n\'ecessite uniquement la construction de composants sous contexte et le calcul d'une relation de raffinement affaiblie pour conclure \`a propos du raffinement du syst\`eme complet.},
pdf = {../pub/2004/lanoix04-onp.pdf},
ps = {../pub/2004/lanoix04-onp.ps},
month = jun,
year = 2004,

}

@inproceedings{lanoix04b:onp,
inhal = {no},
author = {Lanoix, Arnaud},
title = {V\'erifier le raffinement de mani\`ere compositionnelle},
booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
address = {Calais, France},
url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html},
note = {Actes en ligne sur {	t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}},
keywords = {g\'enie logiciel, informatique th\'eorique et fondamentale, m\'ethodes formelles, v\'erification algorithmique, composition, raffinement},
abstract = {Cet article traite de la sp\'ecification et du raffinement de syst\`emes r\'eactifs, concus sous forme de composants synchronis\'es, ainsi que de la v\'erification de certaines propri\'et\'es abstraites et de leur pr\'eservation sur le syst\`me raffin\'e. Il s'agit d'un r\'esum\'e de la d\'emarche de v\'erification compositionnelle du raffinement pr\'esent\'ee dans de pr\'ec\'edents articles. Cette d\'emarche repose sur un th\'eor\`me de compositionnalit\'e du raffinement vis-Ã -vis de la composition du syst\`me afin de limiter la v\'erification du raffinement \`a celle de ses composants, ainsi que sur plusieurs autres r\'esultats annexes \`a propos de la v\'erification et de la pr\'eservation de propri\'et\'es d'invariances. Un outil, \synco, met en oeuvre cette d\'emarche.},
pdf = {../pub/2004/lanoix04b-onp.pdf},
ps = {../pub/2004/lanoix04b-onp.ps},
month = oct,
year = 2004,

}

@inproceedings{lbl04:ip,
inhal = {no},
author = {Legeard, Bruno and Bouquet, Fabrice and Lebeau, Franck},
title = {Automated Test Generation and Execution for Automative Embedded Software},
booktitle = {INCOSE~2004, Annual Int. Symp., 4th European Systems Engineering Conference},
pages = {252--268},
month = jun,
year = 2004,

}

@inproceedings{mory04:np,
inhal = {no},
author = {Mory, Emmanuel},
title = {Utilisation du mixeur {NetMoVie} dans la gestion de perte de paquets},
booktitle = {Premi\`ere Conf\'erence Nationale {Mcube} MultiM\'edia Mobile (MCUBE'04)},
address = {Montb\'eliard, France},
pages = {92--94},
editor = {Spies, Fran\c{c}ois and Bourgeois, Julien and Chatonnay, Pascal},
month = mar,
year = 2004,

}

@inproceedings{mostefaoui04:ip,
inhal = {no},
author = {Mostefaoui, Ahmed},
title = {Retrieving Multimedia Presentations from Multimedia Server},
booktitle = {Int. Conf. on Information and Communication Technologies: from Theory to Applications, ICTTA'04},
publisher = {IEEE Computer Society Press},
address = {Damascus, Syrian Arab Republic},
pages = {515--516},
month = apr,
year = 2004,

}

@inproceedings{oudot04:oip,
inhal = {no},
author = {Oudot, Emilie},
title = {Refinement based verification of real-time systems},
booktitle = {Winter School on Modelling and Verifying Parallel Processes, MOVEP'04},
address = {Bruxelles, Belgique},
month = dec,
year = 2004 
}

@inproceedings{ptof04:bl,
inhal = {no},
author = {Paroux, G. and Toursel, B. and Olejnik, R. and Felea, Violeta},
title = {{A} {J}ava {CPU} {C}alibration {T}ool for {L}oad {B}alancing in {D}istributed {A}pplications},
booktitle = {ISPDC/HeteroPar 2004},
pages = {155--159},
doi = {10.1109/ISPDC.2004.2},
url = {http://csdl.computer.org/comp/proceedings/ispdc/2004/2210/00/22100155abs.htm},
address = {Cork, Ireland},
year = 2004,

}

@inproceedings{philippe04:onp,
inhal = {no},
author = {Philippe, Laurent},
title = {{GridRPC}~: normalisation des {API} d'acc\`es aux applications de grilles},
booktitle = {GRIDUSe 2004},
pages = {3--11},
year = 2004,
address = {Ecole SUPELEC, Metz, France},
month = jun,
organization = {LORIA},

}

@inproceedings{rbcc+04:np,
inhal = {no},
author = {Rebeuf, X. and Blanc, N. and Charpillet, F. and Cheve, D. and Dutech, A. and Lang, Christophe and P\'elissier, L. and Thomesse, J.-P.},
title = {Proteus, des web services pour les syst\`emes de maintenance},
booktitle = {{NOTERE}~2004 - {NO}uvelles {TE}chnologies de la {RE}partition},
pages = {163--178},
address = {Saidia, Morocco},
month = jun,
year = 2004,

}

@inproceedings{sttr+04:ip,
inhal = {no},
author = {Szymansky, J. and Thron, M. and Thomesse, J.-P. and Rebeuf, X. and Lang, Christophe},
title = {Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications},
booktitle = {2nd IEEE int. conf. on Industrial Informatics, INDIN'04},
pages = {114--119},
address = {Berlin, Germany},
month = jun,
year = 2004,

}