| |
Publications of year 2006
| |
|
Articles in journal or book chapters
|
-
Jacques Bahi and Sylvain Contassot-Vivier.
Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks.
IEEE Transactions on Neural Networks,
17(2):397--408,
2006.
@article{bcv06:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={3.726},
isi-acro = {IEEE T NEURAL NETWOR},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain},
title = {Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks},
journal = {IEEE Transactions on Neural Networks},
pages = {397--408},
volume = 17,
number = 2,
year = 2006,
}
-
Jacques Bahi,
Sylvain Contassot-Vivier,
and Raphaël Couturier.
Performance comparison of parallel programming environments for implementing AIAC algorithms.
Journal of Supercomputing,
35(3):227--244,
2006.
@article{bcvc06:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.615},
isi-acro = {J SUPERCOMPUT},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couturier, Rapha\"el},
title = {Performance comparison of parallel programming environments for implementing {AIAC} algorithms},
journal = {Journal of Supercomputing},
pages = {227--244},
volume = 35,
number = 3,
year = 2006,
}
-
Jacques Bahi and Raphaël Couturier.
Asynchronous multisplitting methods for linear and nonlinear systems.
In Domain Decomposition Methods: Theory and Applications,
Gakuto International Series, Mathematical Science and Applications,
chapter 6,
pages 147--181.
Gakkotosho,
Tokyo Japan,
2006.
Note: ISBN 4-7625-0434-3.
@incollection{bc06:bc,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {OS},
author = {Bahi, Jacques and Couturier, Rapha\"el},
booktitle = {Domain Decomposition Methods: Theory and Applications},
title = {Asynchronous multisplitting methods for linear and nonlinear systems},
chapter = 6,
pages = {147--181},
series = {Gakuto International Series, Mathematical Science and Applications},
isbn = {4-7625-0434-3},
publisher = {Gakkotosho},
address = {Tokyo Japan},
year = 2006,
note = {ISBN 4-7625-0434-3},
}
-
Jacques Bahi,
Raphaël Couturier,
Kamel Mazouzi,
and Michel Salomon.
Synchronous and asynchronous solution of a 3D transport model in a grid computing environment.
Applied Mathematical Modelling,
30(7):616--628,
2006.
@article{bcms06:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.931},
isi-acro = {APPL MATH MODEL},
author = {Bahi, Jacques and Couturier, Rapha\"el and Mazouzi, Kamel and Salomon, Michel},
title = {Synchronous and asynchronous solution of a {3D} transport model in a grid computing environment},
journal = {Applied Mathematical Modelling},
pages = {616--628},
volume = 30,
number = 7,
year = 2006,
}
-
Jacques Bahi,
Raphaël Couturier,
and Philippe Vuillemin.
Solving nonlinear wave equations in the grid computing environment: an experimental study.
Journal of Computational Acoustics,
14(1):113--130,
2006.
@article{bcv06b:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.585},
isi-acro = {J COMPUT ACOUST},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vuillemin, Philippe},
title = {Solving nonlinear wave equations in the grid computing environment: an experimental study},
journal = {Journal of Computational Acoustics},
pages = {113--130},
volume = 14,
number = 1,
year = 2006,
}
-
J. Beauquier,
Laurence Pilard,
and B. Rozoy.
Observing locally self-stabilization in a probabilistic way.
Journal of Aerospace Computing, Information, and Communication,
3(10):516--537,
2006.
@article{bpr06:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Beauquier, J. and Pilard, Laurence and Rozoy, B.},
title = {Observing locally self-stabilization in a probabilistic way},
journal = {Journal of Aerospace Computing, Information, and Communication},
volume = 3,
number = 10,
pages = {516--537},
year = 2006,
}
-
Marie-Laure Betbeder,
P. Cottier,
C. Schmidt,
and P. Tchounikine.
Dialogue in context, towards a referential approach in collective learning.
AI and Society: The Journal of Human-Centred Systems and Machine Intelligence,
20(3):314--330,
June 2006.
@article{bcst06:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {0.559},
author = {Betbeder, Marie-Laure and Cottier, P. and Schmidt, C. and Tchounikine, P.},
title = {Dialogue in context, towards a referential approach in collective learning},
journal = {AI and Society: The Journal of Human-Centred Systems and Machine Intelligence},
pages = {314--330},
volume = 20,
number = 3,
publisher = {Springer},
month = jun,
year = 2006,
}
-
M.-S. Bouhlel,
F. Kammoun,
and Eric Garcia.
An Efficient DCT-based Crypto-compression Scheme for a Secure and Authentic Medical Image Transmission.
Journal of Testing and Evaluation for Applied Sciences and Engineering,
34(6):459--463,
2006.
@article{bkg06:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={0.324},
isi-acro = {J TEST EVAL},
author = {Bouhlel, M.-S. and Kammoun, F. and Garcia, Eric},
title = {An Efficient {DCT}-based Crypto-compression Scheme for a Secure and Authentic Medical Image Transmission},
journal = {Journal of Testing and Evaluation for Applied Sciences and Engineering},
volume = 34,
number = 6,
pages = {459--463},
year = 2006,
}
-
Thierry Chanier,
A. Vetter,
Marie-Laure Betbeder,
and Christophe Reffay.
Retrouver le chemin de la parole en environnement audio-graphique synchrone.
Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.),
pp 139--150,
July 2006.
Abstract:
|
La situation d'apprentissage présentée ici constitue une des premières études sur une formation en langues se déroulant entièrement à distance dans un environnement audio-synchrone. Il s'agit d'une formation pour non spécialistes destinée à un public universitaire mélangeant formation initiale et continue, avec tout ce que cela implique d'hétérogénéité dans les compétences et le vécu langagier. L'objectif pédagogique se concentre sur la participation, voire l'animation de tâches professionnelles collaboratives dans laquelle la langue étrangère seule, en l'occurrence l'anglais, sert de principal vecteur pour accomplir ces tâches. L'étude menée permet de mesurer précisément le degré d'investissement des apprenants en ce qui concerne la production langagière, particulièrement orale. Les résultats que nous présentons ici permettent donc se faire une idée de l'intérêt de ce type d'environnement technologique en apprentissage des langues, pour des compétences jusqu'alors réservées au présentiel. |
@article{cvbr06:nj,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {OV},
author = {Chanier, Thierry and Vetter, A. and Betbeder, Marie-Laure and Reffay, Christophe},
title = {Retrouver le chemin de la parole en environnement audio-graphique synchrone},
journal = {Le Fran\c{c}ais Dans Le Monde, num\'ero th\'ematique Les \'Echanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.)},
pages = {139--150},
publisher = {{CLE} International},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00084388},
abstract = {La situation d'apprentissage présentée ici constitue une des premières études sur une formation en langues se déroulant entièrement à distance dans un environnement audio-synchrone. Il s'agit d'une formation pour non spécialistes destinée à un public universitaire mélangeant formation initiale et continue, avec tout ce que cela implique d'hétérogénéité dans les compétences et le vécu langagier. L'objectif pédagogique se concentre sur la participation, voire l'animation de tâches professionnelles collaboratives dans laquelle la langue étrangère seule, en l'occurrence l'anglais, sert de principal vecteur pour accomplir ces tâches. L'étude menée permet de mesurer précisément le degré d'investissement des apprenants en ce qui concerne la production langagière, particulièrement orale. Les résultats que nous présentons ici permettent donc se faire une idée de l'intérêt de ce type d'environnement technologique en apprentissage des langues, pour des compétences jusqu'alors réservées au présentiel.},
month = jul,
year = 2006,
}
-
Damien Charlet,
Frédéric Lassabe,
Philippe Canalda,
Pascal Chatonnay,
and François Spies.
Mobility Prediction for Multimedia Services.
In I. K. Ibrahim, editor, Handbook of Research in Mobile Multimedia,
chapter 33,
pages 491--506.
Idea Group Inc.,
2006.
Note: ISBN: 1591408660.
@incollection{clcc+06:bc,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {OS},
author = {Charlet, Damien and Lassabe, Fr\'ed\'eric and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Mobility Prediction for Multimedia Services},
booktitle = {Handbook of Research in Mobile Multimedia},
chapter = 33,
pages = {491--506},
publisher = {Idea Group Inc.},
editor = {Ibrahim, I. K.},
isbn = 1591408660,
year = 2006,
note = {ISBN: 1591408660},
}
-
Samir Chouali,
M. Heisel,
and J. Souquières.
Proving Component Interoperability with B Refinement.
ENTCS, Electronic Notes in Theoretical Computer Science, special issue on FACS'05 selected best papers,
160-8:157--172,
2006.
@article{chs06:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {0.864},
author = {Chouali, Samir and Heisel, M. and Souqui\`eres, J.},
title = {Proving Component Interoperability with {B} Refinement},
journal = {ENTCS, Electronic Notes in Theoretical Computer Science, special issue on FACS'05 selected best papers},
pages = {157--172},
volume = {160-8},
doi = {10.1016/j.entcs.2006.05.021},
url = {http://dx.doi.org/10.1016/j.entcs.2006.05.021},
address = {Macao, China},
publisher = {Elsevier},
year = 2006,
}
-
S. Colin,
Franck Lebeau,
and Bruno Legeard.
Génération de tests à partir de statecharts fondée sur le calcul de comportements.
TSI, Technique et Science Informatiques,
25(1):103--132,
2006.
@article{cll06:nj,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Colin, S. and Lebeau, Franck and Legeard, Bruno},
title = {G\'en\'eration de tests \`a partir de statecharts fond\'ee sur le calcul de comportements},
journal = {TSI, Technique et Science Informatiques},
pages = {103--132},
volume = 25,
number = 1,
publisher = {Hermes},
year = 2006,
}
-
Violeta Felea and B. Toursel.
Dynamic Load Balancing Mechanism for Distributed Java Applications.
Concurrency and Computation: Practice and Experience,
18(3):305--331,
2006.
@article{ft06:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Felea, Violeta and Toursel, B.},
title = {{D}ynamic {L}oad {B}alancing {M}echanism for {D}istributed {J}ava {A}pplications},
journal = {Concurrency and Computation: Practice and Experience},
volume = 18,
number = 3,
pages = {305--331},
year = 2006,
}
-
Abdoul-Karim Ganame,
Julien Bourgeois,
Renaud Bidou,
and François Spies.
A High Performance System for Intrusion Detection and Reaction Management.
JIAS, Journal of Information Assurance and Security,
3:181--194,
September 2006.
@article{gbbs06:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Ganame, Abdoul-Karim and Bourgeois, Julien and Bidou, Renaud and Spies, Fran\c{c}ois},
title = {A {H}igh {P}erformance {S}ystem for {I}ntrusion {D}etection and {R}eaction {M}anagement},
journal = {JIAS, Journal of Information Assurance and Security},
publisher = {Dynamic Publishers},
volume = 3,
pages = {181--194},
month = sep,
year = 2006,
}
-
Eric Garcia,
Hervé Guyennet,
and Jean-Christophe Lapayre.
Groups partitionning over CORBA for Cooperative Work.
Journal of Cluster Computing,
9(1):67--78,
2006.
@article{ggl06:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={0.591},
isi-acro = {CLUSTER COMPUT},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe},
title = {Groups partitionning over {CORBA} for Cooperative Work},
journal = {Journal of Cluster Computing},
volume = 9,
number = 1,
pages = {67--78},
year = 2006,
}
-
Arnaud Giersch,
Yves Robert,
and Frédéric Vivien.
Scheduling tasks sharing files on heterogeneous master-slave platforms.
Journal of Systems Architecture, Special Issue on Parallel, Distributed and Network-Based Processing: Selected Papers From the 12Th Euromicro Conference,
52(2):88--104,
February 2006.
@article{grv06:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Giersch, Arnaud and Robert, Yves and Vivien, Fr\'ed\'eric},
title = {Scheduling tasks sharing files on heterogeneous master-slave platforms},
journal = {Journal of Systems Architecture, Special Issue on Parallel, Distributed and Network-Based Processing: Selected Papers From the 12Th Euromicro Conference},
issn = {1383-7621},
volume = 52,
number = 2,
pages = {88--104},
publisher = {Elsevier},
doi = {10.1016/j.sysarc.2004.10.008},
url = {http://dx.doi.org/10.1016/j.sysarc.2004.10.008},
month = feb,
year = 2006,
}
-
Régis Gras,
Raphaël Couturier,
Fabrice Guillet,
and Filippo Spagnolo.
Extraction de Règles en Incertain par la Méthode Implicative.
In Analyse Statistique Implicative, Une méthode d'analyse de données pour la recherche de causalités,
pages 385--389.
Cépaduès éditions,
2006.
@incollection{gcgs06:bc,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {OS},
author = {Gras, R\'egis and Couturier, Rapha\"el and Guillet, Fabrice and Spagnolo, Filippo},
booktitle = {Analyse Statistique Implicative, Une m\'ethode d'analyse de donn\'ees pour la recherche de causalit\'es},
title = {Extraction de R\`egles en Incertain par la M\'ethode Implicative},
pages = {385--389},
publisher = {C\'epadu\`es \'editions},
year = 2006,
}
-
Mourad Hakem and Franck Butelle.
Critical Path Scheduling Parallel Programs on an Unbounded Number of Processors.
International Journal of Foundations of Computer Science,
17(2):287--302,
2006.
@article{hb06b:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Hakem, Mourad and Butelle, Franck},
title = {Critical Path Scheduling Parallel Programs on an Unbounded Number of Processors},
journal = {International Journal of Foundations of Computer Science},
volume = 17,
number = 2,
pages = {287--302},
year = 2006,
}
-
Jean-Michel Hufflen.
Advanced Techniques in XSLT.
Biuletyn GUST,
23:69--75,
April 2006.
Note: In BachoTeX'2006 conference.
@article{hufflen06a:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Advanced Techniques in {XSLT}},
journal = {Biuletyn {GUST}},
volume = 23,
pages = {69--75},
month = apr,
year = 2006,
note = {in BachoTeX'2006 conference},
langue = {English},
}
-
Jean-Michel Hufflen.
BibTeX, mlBibTeX and Bibliography Styles.
Biuletyn GUST,
23:76--80,
April 2006.
Note: In BachoTeX 2006 conference.
@article{hufflen06b:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {{BibTeX}, {mlBibTeX} and Bibliography Styles},
journal = {Biuletyn {GUST}},
volume = 23,
pages = {76--80},
month = apr,
year = 2006,
note = {in BachoTeX 2006 conference},
langue = {English},
}
-
Jean-Michel Hufflen.
Names in BibTeX and mlBibTeX.
TUGB,
27(2):243--253,
November 2006.
Note: TUG 2006 proceedings, Marrakesh, Morocco.
@article{hufflen06e:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Names in {BibTeX} and {mlBibTeX}},
journal = {TUGB},
volume = 27,
number = 2,
pages = {243--253},
langue = {English},
month = nov,
year = 2006,
note = {TUG 2006 proceedings, Marrakesh, Morocco},
}
-
Jean-Michel Hufflen.
Writing Structured and Semantics-Oriented Documents: TeX vs XML.
Biuletyn GUST,
23:104--108,
April 2006.
Note: In BachoTeX 2006 conference.
@article{hufflen06c:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Writing Structured and Semantics-Oriented Documents: {TeX} vs {XML}},
journal = {Biuletyn {GUST}},
volume = 23,
pages = {104--108},
month = apr,
year = 2006,
note = {in BachoTeX 2006 conference},
langue = {English},
}
-
Jean-Michel Hufflen.
mlBibTeX Architecture.
ArsTeXnica,
2:54--59,
October 2006.
Note: In GUIT'2006 meeting.
@article{hufflen06d:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {{mlBibTeX} Architecture},
journal = {ArsTeXnica},
volume = 2,
pages = {54--59},
langue = {English},
month = oct,
year = 2006,
note = {In GUIT'2006 meeting},
}
-
Jean-Michel Hufflen.
mlBibTeX Meets ConTeXt.
TUGB,
27(1):76--82,
July 2006.
Note: In EuroTeX 2006, Debrecen, Hungary.
@article{hufflen06:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {{mlBibTeX} Meets {ConTeXt}},
journal = {TUGB},
volume = 27,
number = 1,
pages = {76--82},
month = jul,
year = 2006,
note = {in Euro{TeX} 2006, Debrecen, Hungary},
langue = {English},
}
-
L. Jeannot,
A. Vetter,
and Thierry Chanier.
Repérage des stratégies des apprenants et du tuteur dans un environnement audio-graphique synchrone.
Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.),
pp 151--161,
July 2006.
Abstract:
|
La présente étude vise à décrire certains aspects du fonctionnement des interactions dans un environnement audio-graphique synchrone par le repérage des stratégies des apprenants et du tuteur, ainsi que par la prise d'indices relatifs à leur positionnement, afin de prendre en compte les relations pédagogiques qui s'instaurent dans ce type de situation d'apprentissage des langues. Elle se base sur un corpus recueilli lors d'une formation en anglais sur objectifs spécifiques, suivie à distance par les étudiants du Master Formation Ouverte et à Distance (FOAD) de l'Université de Franche-Comté en 2004-2005, et conduite par des formateurs de l'Open University en Grande-Bretagne (cf. Vetter, 2004). Cette formation, présentée par Chanier et al. (ce volume), comprend au total huit séances hebdomadaires d'une heure sur la plate-forme Lyceum, en groupes de niveaux. |
@article{jvc06:nj,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {OV},
author = {Jeannot, L. and Vetter, A. and Chanier, Thierry},
title = {Rep\'erage des strat\'egies des apprenants et du tuteur dans un environnement audio-graphique synchrone},
journal = {Le Fran\c{c}ais Dans Le Monde, num\'ero th\'ematique Les \'Echanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.)},
pages = {151--161},
publisher = {{CLE} International},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00087741},
abstract = {La présente étude vise à décrire certains aspects du fonctionnement des interactions dans un environnement audio-graphique synchrone par le repérage des stratégies des apprenants et du tuteur, ainsi que par la prise d'indices relatifs à leur positionnement, afin de prendre en compte les relations pédagogiques qui s'instaurent dans ce type de situation d'apprentissage des langues. Elle se base sur un corpus recueilli lors d'une formation en anglais sur objectifs spécifiques, suivie à distance par les étudiants du Master Formation Ouverte et à Distance (FOAD) de l'Université de Franche-Comté en 2004-2005, et conduite par des formateurs de l'Open University en Grande-Bretagne (cf. Vetter, 2004). Cette formation, présentée par Chanier et al. (ce volume), comprend au total huit séances hebdomadaires d'une heure sur la plate-forme Lyceum, en groupes de niveaux.},
month = jul,
year = 2006,
}
-
Régine Laleau,
Sylvie Vignes,
Yves Ledru,
Michel Lemoine,
Didier Bert,
Véronique Donzeau-Gouge,
Catherine Dubois,
and Fabien Peureux.
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
SPIP, The Journal of Software Process: Improvement and Practice,
11(5):487--503,
2006.
@article{lvll+06:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {1.304},
author = {Laleau, R\'egine and Vignes, Sylvie and Ledru, Yves and Lemoine, Michel and Bert, Didier and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Peureux, Fabien},
title = {Adopting a situational requirements engineering approach for the analysis of civil aviation security standards},
journal = {SPIP, The Journal of Software Process: Improvement and Practice},
volume = 11,
number = 5,
pages = {487--503},
publisher = {John Wiley and Sons},
year = 2006,
}
-
Ahmed Mostefaoui.
A Modular and Adaptive Framework for Large Scale Video Indexing and Content-Based Retrieval: The SIRSALE System.
Software: Practice and Experience Journal,
36(8):871--890,
July 2006.
@article{mostefaoui06:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.713},
isi-acro = {SOFTWARE PRACT EXPER},
author = {Mostefaoui, Ahmed},
title = {A Modular and Adaptive Framework for Large Scale Video Indexing and Content-Based Retrieval: The {SIRSALE} System},
journal = {Software: Practice and Experience Journal},
volume = 36,
number = 8,
pages = {871--890},
publisher = {John Wiley and Sons},
month = jul,
year = 2006,
}
-
M. Rahoual,
Hakim Mabed,
C. Dhaenens,
and E.-G. Talbi.
A comparative Study of different optimization techniques for a bi-criteria Flow shop Problem.
Journal of Combinatorial Mathematics and Combinatorial Computing,
57:3--32,
2006.
@article{rmdt06:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Rahoual, M. and Mabed, Hakim and Dhaenens, C. and Talbi, E.-G.},
title = {A comparative Study of different optimization techniques for a bi-criteria Flow shop Problem},
journal = {Journal of Combinatorial Mathematics and Combinatorial Computing},
pages = {3--32},
volume = 57,
year = 2006,
}
-
Christophe Reffay and Marie-Laure Betbeder.
Spécificités des plates-formes audio-synchrones pour un dispositif de formation.
Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.),
pp 124--127,
July 2006.
Abstract:
|
Si l'usage des plate-formes de télé-apprentissage asynchrones, permettant aux apprenants de travailler à leur rythme et n'imposant pas la connexion simultanée des participants, est aujourd'hui assez largement répandu, l'apparition récente des plate-formes audio-graphiques synchrones donne aux apprenants de nouveaux modes d'interactions, aux formateurs de nouvelles formes d'activités et pose aux chercheurs de nombreuses questions sur l'apprentissage dans ces environnements. Les trois articles qui suivent (Lamy, Chanier et al., Jeannot et al., ici même) présentent des analyses concernant un dispositif de formation qui utilise la plate-forme audio-graphique synchrone Lyceum développée par l'Open University de Grande-Bretagne. Par souci de clarté et de concision, ce texte introductif propose une description de cet environnement ; il rapporte ensuite le point de vue des apprenants sur l'usage et les fonctionnalités de ce type de plate-forme ; il les différencie enfin des simples logiciels de communication synchrones, pour conclure sur les critères qui permettent de les apprécier. |
@article{rb06:nj,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Reffay, Christophe and Betbeder, Marie-Laure},
title = {Sp\'ecificit\'es des plates-formes audio-synchrones pour un dispositif de formation},
journal = {Le Fran\c{c}ais Dans Le Monde, num\'ero th\'ematique Les \'Echanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.)},
pages = {124--127},
publisher = {{CLE} International},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00088404},
abstract = {Si l'usage des plate-formes de télé-apprentissage asynchrones, permettant aux apprenants de travailler à leur rythme et n'imposant pas la connexion simultanée des participants, est aujourd'hui assez largement répandu, l'apparition récente des plate-formes audio-graphiques synchrones donne aux apprenants de nouveaux modes d'interactions, aux formateurs de nouvelles formes d'activités et pose aux chercheurs de nombreuses questions sur l'apprentissage dans ces environnements. Les trois articles qui suivent (Lamy, Chanier et al., Jeannot et al., ici même) présentent des analyses concernant un dispositif de formation qui utilise la plate-forme audio-graphique synchrone Lyceum développée par l'Open University de Grande-Bretagne. Par souci de clarté et de concision, ce texte introductif propose une description de cet environnement ; il rapporte ensuite le point de vue des apprenants sur l'usage et les fonctionnalités de ce type de plate-forme ; il les différencie enfin des simples logiciels de communication synchrones, pour conclure sur les critères qui permettent de les apprécier.},
month = jul,
year = 2006,
}
-
Amine Abbas,
Jacques Bahi,
and Ahmed Mostefaoui.
Improving Wireless Ad Hoc Networks Lifetime.
In SUTC'2006, IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing,
Taipei, Taiwan,
June 2006.
@inproceedings{abm06:oip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Abbas, Amine and Bahi, Jacques and Mostefaoui, Ahmed},
title = {Improving Wireless Ad Hoc Networks Lifetime},
booktitle = {SUTC'2006, IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing},
address = {Taipei, Taiwan},
month = jun,
year = 2006,
}
-
Mohammed Al'Achhab,
Ahmed Hammad,
and Hassan Mountassir.
Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité.
In M. Gourgaud and F. Riane, editors,
6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06,
Rabat, Morocco,
April 2006.
Note: Actes sur CD. 7 pages. ISBN 2-7430-0893-8.
@inproceedings{aahm06:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan},
title = {Sp\'ecifications hi\'erarchiques et v\'erification des propri\'et\'es sous hypoth\`eses d'\'equit\'e},
booktitle = {6\`eme Conf. Francophone de Mod\'elisation et Simulation, MOSIM'06},
address = {Rabat, Morocco},
editor = {Gourgaud, M. and Riane, F.},
isbn = {2-7430-0893-8},
month = apr,
year = 2006,
note = {Actes sur CD. 7 pages. ISBN 2-7430-0893-8}
}
-
Mohammed Al'Achhab,
Ahmed Hammad,
and Hassan Mountassir.
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.
In ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation,
Paphos, Cyprus,
pages 19--26,
November 2006.
IEEE Computer Society Press.
@inproceedings{aahm06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan},
title = {Verifying {LTL} Properties on Hierarchical Systems: Application to Aircraft Autopilot},
booktitle = {ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
pages = {19--26},
address = {Paphos, Cyprus},
publisher = {IEEE Computer Society Press},
month = nov,
year = 2006,
}
-
Husam Alustwani,
Jacques Bahi,
and Ahmed Mostefaoui.
Managing VCR Interactions in Multimedia Presentations.
In ICDIM'06, IEEE Int. Conference on Digital Information Management,
pages 179--186,
2006.
@inproceedings{abm06:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Alustwani, Husam and Bahi, Jacques and Mostefaoui, Ahmed},
title = {Managing {VCR} Interactions in Multimedia Presentations},
booktitle = {ICDIM'06, IEEE Int. Conference on Digital Information Management},
pages = {179--186},
year = 2006,
}
-
Jacques Bahi,
Sylvain Contassot-Vivier,
Libor Makovicka,
Éric Martin,
and Marc Sauget.
Neural Network Based Algorithm for Radiation Dose Evaluation in Heterogeneous Environments.
In ICANN 2006, Int. Conf. on Artificial Neural Networks,
volume 4132 of LNCS,
Athens, Greece,
pages 777--787,
September 2006.
Springer.
@inproceedings{bcvmm+06:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Makovicka, Libor and Martin, \'Eric and Sauget, Marc},
title = {Neural Network Based Algorithm for Radiation Dose Evaluation in Heterogeneous Environments},
booktitle = {ICANN 2006, Int. Conf. on Artificial Neural Networks},
pages = {777--787},
series = {LNCS},
volume = 4132,
publisher = {Springer},
address = {Athens, Greece},
month = sep,
year = 2006,
}
-
Jacques Bahi,
Raphaël Couturier,
and A. Sider.
Design and Analysis of the M2LL Policy Distributed Algorithm for Load Balancing in Dynamic Networks.
In ISPA'06,
volume 4331 of LNCS,
pages 195--204,
2006.
Springer.
@inproceedings{bcs06:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couturier, Rapha\"el and Sider, A.},
title = {Design and Analysis of the {M2LL} Policy Distributed Algorithm for Load Balancing in Dynamic Networks},
booktitle = {ISPA'06},
volume = 4331,
pages = {195--204},
series = {LNCS},
publisher = {Springer},
year = 2006,
}
-
Jacques Bahi,
Raphaël Couturier,
and Philippe Vuillemin.
JaceP2P: an Environment for Asynchronous Computations on Peer-to-Peer Networks.
In Cluster 2006, IEEE Int. Conf. on Cluster Computing,
Barcelona, Spain,
pages 1--10,
2006.
IEEE Computer Society Press.
Note: CD-ROM Proceedings. ISBN: 1-4244-0328-6.
@inproceedings{bcv06b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vuillemin, Philippe},
title = {{JaceP2P}: an Environment for Asynchronous Computations on Peer-to-Peer Networks},
booktitle = {Cluster 2006, IEEE Int. Conf. on Cluster Computing},
pages = {1--10},
url = {http://dx.doi.org/10.1109/CLUSTR.2006.311906},
isbn = {ISBN: 1-4244-0328-6},
address = {Barcelona, Spain},
publisher = {IEEE Computer Society Press},
year = 2006,
note = {CD-ROM Proceedings. ISBN: 1-4244-0328-6},
}
-
Jacques Bahi,
Raphaël Couturier,
and Philippe Vuillemin.
JaceV: a Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes.
In VECPAR 2006, 7th Int. Meeting on High Performance Computing for Computational Science,
volume 4395 of LNCS,
Rio De Janeiro, Brazil,
pages 79--92,
July 2006.
Springer.
@inproceedings{bcv06a:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vuillemin, Philippe},
title = {{JaceV}: a Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes},
booktitle = {VECPAR~2006, 7th Int. Meeting on High Performance Computing for Computational Science},
pages = {79--92},
series = {LNCS},
volume = 4395,
publisher = {Springer},
address = {Rio De Janeiro, Brazil},
month = jul,
year = 2006,
}
-
Jacques Bahi,
Stéphane Domas,
and Kamel Mazouzi.
More on JACE: New functionalities, New experiments.
In IPDPS'2006, 20th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium,
Rhodes Island, Greece,
pages 231--239,
April 2006.
IEEE Computer Society Press.
@inproceedings{bdm06:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Domas, St\'ephane and Mazouzi, Kamel},
title = {More on {JACE}: New functionalities, New experiments},
booktitle = {IPDPS'2006, 20th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium},
address = {Rhodes Island, Greece},
pages = {231--239},
publisher = {IEEE Computer Society Press},
month = apr,
year = 2006,
}
-
Jacques Bahi,
Ahmed Mostefaoui,
and Michel Salomon.
A Local-Control Algorithm to Prolong the Lifetime of Wireless Ad Hoc Networks.
In MSN'06, 2-nd int. conf. on Mobile Ad-hoc and Sensor Networks,
volume 4325 of LNCS,
Hong Kong, China,
pages 555--566,
December 2006.
Springer.
@inproceedings{bms06:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Mostefaoui, Ahmed and Salomon, Michel},
title = {A Local-Control Algorithm to Prolong the Lifetime of Wireless Ad Hoc Networks},
booktitle = {MSN'06, 2-nd int. conf. on Mobile Ad-hoc and Sensor Networks},
series = {LNCS},
volume = 4325,
pages = {555--566},
publisher = {Springer},
address = {Hong Kong, China},
isbn = {3-540-49932-6},
doi = {http://dx.doi.org/10.1007/11943952_47},
url = {http://dx.doi.org/10.1007/11943952_47},
month = dec,
year = 2006,
}
-
Jacques Bahi,
Ahmed Mostefaoui,
and Michel Salomon.
Increasing Lifetime of Wireless Ad Hoc Networks Using a Decentralized Algorithmic Approach.
In ICON 2006, 14th IEEE Int. Conf. on Networks,
Singapore, Singapore,
September 2006.
@inproceedings{bms06:oip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Bahi, Jacques and Mostefaoui, Ahmed and Salomon, Michel},
title = {Increasing Lifetime of Wireless Ad Hoc Networks Using a Decentralized Algorithmic Approach},
booktitle = {ICON 2006, 14th IEEE Int. Conf. on Networks},
address = {Singapore, Singapore},
month = sep,
year = 2006,
}
-
A. Banos,
S. Chardonnel,
Christophe Lang,
Nicolas Marilleau,
T. Thevenin,
and A. Mas-Boffet.
Concevoir des agents pour simuler les dynamiques urbaines : de l'enquête ménage à la génération de programmes d'activités.
In SAGEO'06, Colloque International de Géomatique et d'Analyse Spatiale,
Strasbourg, France,
September 2006.
Note: Electronic proceedings.
@inproceedings{bclm+06a:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Banos, A. and Chardonnel, S. and Lang, Christophe and Marilleau, Nicolas and Thevenin, T. and Mas-Boffet, A.},
title = {Concevoir des agents pour simuler les dynamiques urbaines~: de l'enqu\^ete m\'enage \`a la g\'en\'eration de programmes d'activit\'es},
booktitle = {SAGEO'06, Colloque International de G\'eomatique et d'Analyse Spatiale},
address = {Strasbourg, France},
month = sep,
year = 2006,
accrate = 50,
note = {electronic proceedings},
}
-
Olivier Beaumont,
Loris Marchal,
Veronika Rehn-Sonigo,
and Yves Robert.
FIFO scheduling of divisible loads with return messages under the one-port model.
In HCW'06, the 15th Heterogeneous Computing Workshop,
2006.
IEEE Computer Society Press.
@inproceedings{bmrsr06:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Beaumont, Olivier and Marchal, Loris and Rehn-Sonigo, Veronika and Robert, Yves},
title = {{FIFO} scheduling of divisible loads with return messages under the one-port model},
booktitle = {HCW'06, the 15th Heterogeneous Computing Workshop},
publisher = {IEEE Computer Society Press},
year = 2006,
}
-
Françoise Bellegarde,
Jacques Julliand,
Hassan Mountassir,
and Emilie Oudot.
Experiments in the use of tau-simulations for the components-verification of real-time systems.
In SAVCBS'06, Specification and Verification of Component-Based Systems,
Portland, Oregon, United States,
pages 33--40,
November 2006.
@inproceedings{bjmo06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {Experiments in the use of tau-simulations for the components-verification of real-time systems},
booktitle = {SAVCBS'06, Specification and Verification of Component-Based Systems},
pages = {33--40},
address = {Portland, Oregon, United States},
month = nov,
year = 2006,
}
-
E. Bernard,
Fabrice Bouquet,
A. Charbonnier,
Bruno Legeard,
Fabien Peureux,
Mark Utting,
and E. Torreborre.
Model-based Testing from UML Models.
In MBT'2006, Model-based Testing Workshop, INFORMATIK'06,
volume P-94 of LNI, Lecture Notes in Informatics,
Dresden, Germany,
pages 223--230,
October 2006.
Note: ISBN 978-3-88579-188-1.
@inproceedings{bbcl+06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Bernard, E. and Bouquet, Fabrice and Charbonnier, A. and Legeard, Bruno and Peureux, Fabien and Utting, Mark and Torreborre, E.},
title = {Model-based Testing from {UML} Models},
booktitle = {MBT'2006, Model-based Testing Workshop, INFORMATIK'06},
pages = {223--230},
series = {LNI, Lecture Notes in Informatics},
volume = {P-94},
isbn = {978-3-88579-188-1},
address = {Dresden, Germany},
month = oct,
year = 2006,
note = {ISBN~978-3-88579-188-1},
}
-
Julien Bernard,
Serge De Paoli,
and Fabrice Salpetrier.
Distributed software behaviour analysis through the MPSoC design flow.
In IP/SoC'06, IP-Based SoC Design,
2006.
@inproceedings{bdps06:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Bernard, Julien and De Paoli, Serge and Salpetrier, Fabrice},
title = {Distributed software behaviour analysis through the {MPSoC} design flow},
booktitle = {IP/SoC'06, IP-Based SoC Design},
year = 2006,
}
-
Julien Bernard,
Jean-Louis Roch,
Serge De Paoli,
and Miguel Santana.
Adaptive Encoding of Multimedia Streams on MPSoC.
In ICCS'06, 4-th Int. Conf. on Computational Science,
volume 3994 of LNCS,
Reading, UK,
pages 999--1006,
2006.
Springer.
@inproceedings{brdps06:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Bernard, Julien and Roch, Jean-Louis and De Paoli, Serge and Santana, Miguel},
title = {Adaptive Encoding of Multimedia Streams on {MPSoC}},
booktitle = {ICCS'06, 4-th Int. Conf. on Computational Science},
pages = {999--1006},
series = {LNCS},
volume = 3994,
address = {Reading, UK},
publisher = {Springer},
doi = {10.1007/11758549_133},
url = {http://dx.doi.org/10.1007/11758549_133},
year = 2006,
}
-
Didier Bert,
Fabrice Bouquet,
Yves Ledru,
and Sylvie Vignes.
Validation of Regulation Documents by Automated Analysis of Formal Models.
In REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06),
Luxembourg, Luxembourg,
pages 800--805,
June 2006.
@inproceedings{bblv06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Bert, Didier and Bouquet, Fabrice and Ledru, Yves and Vignes, Sylvie},
title = {Validation of Regulation Documents by Automated Analysis of Formal Models},
booktitle = {REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with {CAiSE'06})},
pages = {800--805},
address = {Luxembourg, Luxembourg},
month = jun,
year = 2006,
}
-
Marie-Laure Betbeder,
Christophe Reffay,
and Thierry Chanier.
Environnement audiographique synchrone : recueil et transcription pour l'analyse des interactions multimodales.
In JOCAIR 2006, Premières journées Communication et Apprentissage instrumentés en réseau,
Amiens, France,
pages 406--420,
July 2006.
Abstract:
|
Cet article présente un travail sur les transcriptions d'actions multimodales en caractérisant ce qui est nouveau et spécifique des situations d'apprentissage collaboratif en environnement audio-graphique synchrone. Une expérimentation appelée Copéas ainsi que l'environnement Lyceum y sont décrits. Nous montrons l'intérêt de l'enregistrement vidéo pour le recueil des données d'interactions dans ces situations et le besoin de les transcrire pour les analyser. Nous avons conçu et développé un outil « Tasync » pour aider le transcripteur à construire la base de données des actions à partir de la vidéo enregistrée. Nous le positionnons par rapport aux outils existants avant de présenter sa conception et son implémentation. Ce résultat nous engage dans la qualité de la construction des corpus en vue de leur échange au sein de notre communauté scientifique. |
@inproceedings{brc06:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Betbeder, Marie-Laure and Reffay, Christophe and Chanier, Thierry},
title = {Environnement audiographique synchrone~: recueil et transcription pour l'analyse des interactions multimodales},
booktitle = {JOCAIR~2006, Premi\`eres journ\'ees Communication et Apprentissage instrument\'es en r\'eseau},
pages = {406--420},
address = {Amiens, France},
url = {http://edutice.archives-ouvertes.fr/edutice-00085646/fr/},
abstract = {Cet article présente un travail sur les transcriptions d'actions multimodales en caractérisant ce qui est nouveau et spécifique des situations d'apprentissage collaboratif en environnement audio-graphique synchrone. Une expérimentation appelée Copéas ainsi que l'environnement Lyceum y sont décrits. Nous montrons l'intérêt de l'enregistrement vidéo pour le recueil des données d'interactions dans ces situations et le besoin de les transcrire pour les analyser. Nous avons conçu et développé un outil « Tasync » pour aider le transcripteur à construire la base de données des actions à partir de la vidéo enregistrée. Nous le positionnons par rapport aux outils existants avant de présenter sa conception et son implémentation. Ce résultat nous engage dans la qualité de la construction des corpus en vue de leur échange au sein de notre communauté scientifique. },
month = jul,
year = 2006,
}
-
Yohan Boichut and T. Genet.
Feasible Trace Reconstruction for Rewriting Approximations.
In RTA'06, 17th Int. Conf. on Rewriting Techniques and Applications,
volume 4098 of LNCS,
Seattle, United States,
pages 123--135,
August 2006.
Springer.
@inproceedings{bg06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Boichut, Yohan and Genet, T.},
title = {Feasible Trace Reconstruction for Rewriting Approximations},
booktitle = {RTA'06, 17th Int. Conf. on Rewriting Techniques and Applications},
pages = {123--135},
series = {LNCS},
volume = 4098,
publisher = {Springer},
address = {Seattle, United States},
month = aug,
year = 2006,
}
-
Yohan Boichut,
Pierre-Cyrille Héam,
and Olga Kouchnarenko.
Handling Algebraic Properties in Automatic Analysis of Security Protocols.
In ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing,
volume 4281 of LNCS,
Tunis, Tunisia,
pages 153--167,
November 2006.
Springer.
@inproceedings{bhk06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Handling Algebraic Properties in Automatic Analysis of Security Protocols},
booktitle = {ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing},
year = 2006,
series = {LNCS},
volume = 4281,
pages = {153--167},
address = {Tunis, Tunisia},
month = nov,
publisher = {Springer},
}
-
Yohan Boichut,
Nikolaï Kosmatov,
and L. Vigneron.
Validation of Prouvé protocols using the automatic tool TA4SP.
In Proc. of the Third Taiwanese-French Conference on Information Technology (TFIT 2006),
Nancy, France,
pages 467--480,
March 2006.
@inproceedings{bkv06:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Boichut, Yohan and Kosmatov, Nikola\"{\i} and Vigneron, L.},
title = {Validation of Prouv\'e protocols using the automatic tool {TA4SP}},
booktitle = {Proc. of the Third Taiwanese-French Conference on Information Technology (TFIT 2006)},
address = {Nancy, France},
pages = {467--480},
month = mar,
year = 2006,
}
-
Fabrice Bouquet,
F. Celletti,
Georges Debois,
A. De Lavernette,
Eddie Jaffuel,
Jacques Julliand,
Bruno Legeard,
J. Lidoine,
J.-C. Plessis,
and Pierre-Alain Masson.
Model-Based Security Testing, Application to a Smart Card Identity Applet.
In eSmart 2006, 7th Int. Conf. on Smart Cards,
Sophia-Antipolis, France,
September 2006.
@inproceedings{bcddl+06:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Bouquet, Fabrice and Celletti, F. and Debois, Georges and De Lavernette, A. and Jaffuel, Eddie and Julliand, Jacques and Legeard, Bruno and Lidoine, J. and Plessis, J.-C. and Masson, Pierre-Alain},
title = {Model-Based Security Testing, Application to a Smart Card Identity Applet},
booktitle = {eSmart~2006, 7th Int. Conf. on Smart Cards},
address = {Sophia-Antipolis, France},
month = sep,
year = 2006,
}
-
Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert,
and Jacques Julliand.
Safety Property Driven Test Generation from JML Specifications.
In K. Havelund,
M. Garcia,
G. Rosu,
and B. Wolff, editors,
FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification,
volume 4262 of LNCS,
Seattle, WA, United States,
pages 225--239,
August 2006.
Springer.
@inproceedings{bdgj06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien and Julliand, Jacques},
title = {Safety Property Driven Test Generation from {JML} Specifications},
booktitle = {FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification},
pages = {225--239},
series = {LNCS},
volume = 4262,
publisher = {Springer},
editor = {Havelund, K. and Garcia, M. and Rosu, G. and Wolff, B.},
address = {Seattle, WA, United States},
month = aug,
year = 2006,
}
-
Fabrice Bouquet,
Frédéric Dadeau,
and Bruno Legeard.
Automated Boundary Test Generation from JML Specifications.
In T. Nipkow and J. Misra, editors,
FM'06, 14th Int. Conf. on Formal Methods,
volume 4085 of LNCS,
Hamilton, Canada,
pages 428--443,
August 2006.
Springer.
@inproceedings{bdl06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno},
title = {Automated Boundary Test Generation from {JML} Specifications},
booktitle = {FM'06, 14th Int. Conf. on Formal Methods},
pages = {428--443},
series = {LNCS},
volume = 4085,
publisher = {Springer},
editor = {Nipkow, T. and Misra, J.},
address = {Hamilton, Canada},
month = aug,
year = 2006,
}
-
Fabrice Bouquet,
Frédéric Dadeau,
and Bruno Legeard.
JML-Testing-Tools, un Animateur Symbolique de Spécifications JML.
In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels,
Paris, France,
March 2006.
Note: Session outils.
@inproceedings{bdl06:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno},
title = {{JML-Testing-Tools}, un Animateur Symbolique de Sp\'ecifications {JML}},
booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
address = {Paris, France},
month = mar,
year = 2006,
note = {Session outils}
}
-
Fabrice Bouquet,
Stéphane Debricon,
Bruno Legeard,
and Jean-Baptiste Nicolet.
Extending the Unified Process with Model-Based Testing.
In MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification,
Genova, Italy,
pages 2--15,
October 2006.
@inproceedings{bdln06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Bouquet, Fabrice and Debricon, St\'ephane and Legeard, Bruno and Nicolet, Jean-Baptiste},
title = {Extending the Unified Process with Model-Based Testing},
booktitle = {MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification},
pages = {2--15},
address = {Genova, Italy},
month = oct,
year = 2006,
}
-
Mounir Boussedjra,
Christelle Bloch,
and Abdellah El moudni.
Apport d'une technique de diversification dans un algorithme de recherche de chemin intermodal.
In Michel Gourgand and Fouad Riane, editors,
MoSIM'06, 6ème Conférence Francophone de Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités,
Rabat, Morocco,
2006.
Note: Actes sur CD-ROM.
@inproceedings{bbem06b:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Boussedjra, Mounir and Bloch, Christelle and El moudni, Abdellah},
title = {Apport d'une technique de diversification dans un algorithme de recherche de chemin intermodal},
booktitle = {MoSIM'06, 6\`eme Conf\'erence Francophone de Mod\'elisation, Optimisation et Simulation des Syst\`emes : D\'efis et Opportunit\'es},
editor = {Michel Gourgand and Fouad Riane},
isbn = {2-7430-0893-8},
address = {Rabat, Morocco},
year = 2006,
note = {Actes sur CD-ROM},
}
-
Mounir Boussedjra,
Christelle Bloch,
and Abdellah El moudni.
Comparaison d'algorithmes évolutionnistes pour la recherche d'itinéraires intermodaux.
In LT'2006, Workshop International Logistique et Transport,
Hammamet, Tunisia,
pages 243--248,
2006.
Systems, Man and Cybernetics Society,
IEEE Computer Society Press.
@inproceedings{bbem06a:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Boussedjra, Mounir and Bloch, Christelle and El moudni, Abdellah},
title = {Comparaison d'algorithmes \'evolutionnistes pour la recherche d'itin\'eraires intermodaux},
booktitle = {LT'2006, Workshop International Logistique et Transport},
pages = {243--248},
address = {Hammamet, Tunisia},
organization = {Systems, Man and Cybernetics Society},
publisher = {IEEE Computer Society Press},
year = 2006,
}
-
M. Brahma,
M. Chaudier,
Eric Garcia,
J.-P. Gelas,
Hervé Guyennet,
Fabien Hantz,
L. Lefèvre,
Pascal Lorenz,
and H. Tobiet.
TEMIC: a New Cooperative Platform for Industrial Tele-Maintenance.
In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications,
Penang, Malaysia,
pages 106--114,
May 2006.
@inproceedings{bcgg+06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Brahma, M. and Chaudier, M. and Garcia, Eric and Gelas, J.-P. and Guyennet, Herv\'e and Hantz, Fabien and Lef\`evre, L. and Lorenz, Pascal and Tobiet, H.},
title = {{TEMIC}: a New Cooperative Platform for Industrial Tele-Maintenance},
booktitle = {DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {106--114},
address = {Penang, Malaysia},
month = may,
year = 2006,
}
-
E. Castex,
R. Chevrier,
D. Josselin,
and Philippe Canalda.
Le Transport à la Demande en (multi)convergence. Réflexion et proposition autour d'un projet pluridisciplinaire..
In SAGEO'06, Colloque International de Géomatique et d'Analyse Spatiale,
Strasbourg, France,
pages 99--111,
September 2006.
Note: Prix du meilleur papier SAGEO'06.
@inproceedings{ccjc06:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Castex, E. and Chevrier, R. and Josselin, D. and Canalda, Philippe},
title = {Le Transport \`a la Demande en (multi)convergence. R\'eflexion et proposition autour d'un projet pluridisciplinaire.},
booktitle = {SAGEO'06, Colloque International de G\'eomatique et d'Analyse Spatiale},
pages = {99--111},
address = {Strasbourg, France},
month = sep,
year = 2006,
note = {Prix du meilleur papier SAGEO'06},
}
-
Damien Charlet,
V. Issarny,
and R. Chibout.
Service discovery in multi-radio networks: an assessment of existing protocols.
In MSWiM'06: Procs of the 9th ACM int. symposium on Modeling analysis and simulation of wireless and mobile systems,
Torremolinos, Malaga, Spain,
pages 229--238,
September 2006.
ACM Press.
Note: ISBN 1-59593-477-4.
@inproceedings{cic06:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Charlet, Damien and Issarny, V. and Chibout, R.},
title = {Service discovery in multi-radio networks: an assessment of existing protocols},
month = sep,
booktitle = {MSWiM'06: Procs of the 9th ACM int. symposium on Modeling analysis and simulation of wireless and mobile systems},
pages = {229--238},
address = {Torremolinos, Malaga, Spain},
publisher = {ACM Press},
url = {http://doi.acm.org/10.1145/1164717.1164758},
pdf = {http://rma.pu-pm.univ-fcomte.fr/bibadmin/uploads/pdf/mswim26-charlet.pdf},
slides = {http://rma.pu-pm.univ-fcomte.fr/bibadmin/uploads/slides/mswim.pdf},
year = 2006,
note = {ISBN 1-59593-477-4},
}
-
Damien Charlet,
Frédéric Lassabe,
Philippe Canalda,
Pascal Chatonnay,
and François Spies.
Predictive Tracking of WiFi Devices: Requirements and Proposals.
In Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2006),
Montbéliard, France,
pages 362--365,
February 2006.
@inproceedings{clcc+06:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Charlet, Damien and Lassabe, Fr\'ed\'eric and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Predictive Tracking of {WiFi} Devices: Requirements and Proposals},
booktitle = {Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP~2006)},
pages = {362--365},
address = {Montb\'eliard, France},
month = feb,
year = 2006,
accrate = 50,
}
-
Chockri Chemak and M.-S. Bouhlel.
Near Shannon Limit for Turbo Code With Short Frames.
In ICTTA'06, 2nd IEEE Int. Conf. on Information and Communication Technologies From Theory to Applications,
Damascus, Syrian Arab Republic,
pages 1994--1997,
April 2006.
@inproceedings{cb07:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Chemak, Chockri and Bouhlel, M.-S.},
title = {Near Shannon Limit for Turbo Code With Short Frames},
booktitle = {ICTTA'06, 2nd IEEE Int. Conf. on Information and Communication Technologies From Theory to Applications},
pages = {1994--1997},
address = {Damascus, Syrian Arab Republic},
isbn = {0-7803-9521-2},
month = apr,
year = 2006,
}
-
Chockri Chemak,
M.-S. Bouhlel,
Jean-Christophe Lapayre,
and F. Kammoun.
Un Tatouage Robuste et Aveugle des Images pour le Transfert des Informations Médicales.
In MCSEAI'06, 9ème Maghrebian Conference on Software Engineering and Artificial Intelligence,
Agadir, Morocco,
pages 324--330,
December 2006.
@inproceedings{cblk06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Chemak, Chockri and Bouhlel, M.-S. and Lapayre, Jean-Christophe and Kammoun, F.},
title = {Un Tatouage Robuste et Aveugle des Images pour le Transfert des Informations M\'edicales},
booktitle = {MCSEAI'06, 9\`eme Maghrebian Conference on Software Engineering and Artificial Intelligence},
pages = {324--330},
address = {Agadir, Morocco},
month = dec,
year = 2006,
}
-
R. Chevrier,
Philippe Canalda,
Pascal Chatonnay,
and D. Josselin.
An Oriented Convergent Mutation Operator for Solving a Scalable Convergent Demand Responsive Transport Problem.
In ICSSSM'06, IEEE Int. Conf. on Service Systems and Service Management,
Troyes, France,
pages 959--964,
October 2006.
@inproceedings{cccj06b:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Chevrier, R. and Canalda, Philippe and Chatonnay, Pascal and Josselin, D.},
title = {An Oriented Convergent Mutation Operator for Solving a Scalable Convergent Demand Responsive Transport Problem},
booktitle = {ICSSSM'06, IEEE Int. Conf. on Service Systems and Service Management},
pages = {959--964},
address = {Troyes, France},
month = oct,
year = 2006,
}
-
R. Chevrier,
Philippe Canalda,
Pascal Chatonnay,
and D. Josselin.
Comparison of three Algorithms for solving the Convergent Demand Responsive Transportation Problem.
In ITSC'2006, 9th Int. IEEE Conf. on Intelligent Transportation Systems,
Toronto, Canada,
pages 1096--1101,
September 2006.
@inproceedings{cccj06a:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Chevrier, R. and Canalda, Philippe and Chatonnay, Pascal and Josselin, D.},
title = {Comparison of three Algorithms for solving the Convergent Demand Responsive Transportation Problem},
booktitle = {ITSC'2006, 9th Int. IEEE Conf. on Intelligent Transportation Systems},
pages = {1096--1101},
address = {Toronto, Canada},
month = sep,
year = 2006,
}
-
R. Chevrier,
Philippe Canalda,
Pascal Chatonnay,
and D. Josselin.
Vers une Solution Robuste et Flexible du Transport à la Demande en Convergence : Étude Trans-disciplinaire et Mise en Oeuvre.
In Actes du Workshop International : Logistique et Transport 2006 (LT 2006),
Hammamet, Tunisia,
pages 49--55,
April 2006.
@inproceedings{cccj06:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Chevrier, R. and Canalda, Philippe and Chatonnay, Pascal and Josselin, D.},
title = {Vers une Solution Robuste et Flexible du Transport \`a la Demande en Convergence~: \'Etude Trans-disciplinaire et Mise en Oeuvre},
booktitle = {Actes du Workshop International~: Logistique et Transport 2006 (LT~2006)},
pages = {49--55},
address = {Hammamet, Tunisia},
month = apr,
year = 2006,
}
-
Samir Chouali.
Cooperation between the B method and the automata theory to check the component interoperability.
In FACS'2006, 3rd Int. Workshop on Formal Aspects of Components Software,
Prague, Czech Republic,
pages 211--227,
September 2006.
@inproceedings{chouali06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Chouali, Samir},
title = {Cooperation between the {B} method and the automata theory to check the component interoperability},
booktitle = {FACS'2006, 3rd Int. Workshop on Formal Aspects of Components Software},
pages = {211--227},
address = {Prague, Czech Republic},
month = sep,
year = 2006,
}
-
C. Coti,
T. Hérault,
P. Lemarinier,
Laurence Pilard,
A. Rezmerita,
E. Rodriguez,
and F. Cappello.
Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI.
In SC 2006, High Performance Networking Computing, Networking, Storage and Analysis,
Tampa, Florida, USA,
pages 127,
November 2006.
IEEE Computer Society Press.
@inproceedings{chlp+06:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Coti, C. and H\'erault, T. and Lemarinier, P. and Pilard, Laurence and Rezmerita, A. and Rodriguez, E. and Cappello, F.},
title = {Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant {MPI}},
booktitle = {{SC} 2006, High Performance Networking Computing, Networking, Storage and Analysis},
pages = 127,
publisher = {IEEE Computer Society Press},
address = {Tampa, Florida, USA},
month = nov,
year = 2006,
}
-
Frédéric Dadeau.
Animation de modèles JML et génération de tests fonctionnels.
In MAJECSTIC'06, MAnifestation de JEunes Chercheurs STIC,
Lorient, France,
November 2006.
@inproceedings{dadeau06:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Dadeau, Fr\'ed\'eric},
title = {Animation de mod\`eles JML et g\'en\'eration de tests fonctionnels},
booktitle = {{MAJECSTIC}'06, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
address = {Lorient, France},
month = nov,
year = 2006,
url = {http://web.univ-ubs.fr/lester/www-lester/Evenements/Majecstic/}
}
-
Sylvain Dahan,
Jean-Marc Nicod,
and Laurent Philippe.
Utilisation du Distributed Spanning Tree en tant qu'Overlay.
In O. Beaumont and V. Boudet, editors,
RenPar'17, 17èmes Rencontres francophones du Parallélisme,
Perpignan, France,
pages 60--67,
October 2006.
Université de Perpignan.
@inproceedings{dnp06:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Dahan, Sylvain and Nicod, Jean-Marc and Philippe, Laurent},
title = {Utilisation du {D}istributed {S}panning {T}ree en tant qu'{O}verlay},
booktitle = {RenPar'17, 17\`emes Rencontres francophones du Parall\'elisme},
pages = {60--67},
editor = {Beaumont, O. and Boudet, V.},
year = 2006,
address = {Perpignan, France},
month = oct,
organization = {Universit\'e de Perpignan},
}
-
Bruno Del Fabbro,
David Laiymani,
Jean-Marc Nicod,
and Laurent Philippe.
Design and experimentations of an efficient data management service for NES architectures.
In J.-M. Pierson, editor,
VLDB DMG 06, 2nd VLDB Workshop on Data Management in Grids,
Seoul, Korea,
pages 62--75,
September 2006.
@inproceedings{dflnp06:oip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_NI},
equipe = {ie},
classement = {COM},
author = {Del~Fabbro, Bruno and Laiymani, David and Nicod, Jean-Marc and Philippe, Laurent},
title = {Design and experimentations of an efficient data management service for {NES} architectures},
booktitle = {VLDB DMG 06, 2nd VLDB Workshop on Data Management in Grids},
pages = {62--75},
year = 2006,
editor = {Pierson, J.-M.},
address = {Seoul, Korea},
month = sep,
}
-
Karine Deschinkel,
F. Galea,
and C. Roucairol.
Automated Optimization of Brachytherapy Treatment Plans: Software Isodose 3D.
In Applied Optimization and Metaheuristics Innovation,
Yalta, Ukraine,
pages ***--***,
July 2006.
@inproceedings{dgr06a:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Galea, F. and Roucairol, C.},
title = {Automated Optimization of Brachytherapy Treatment Plans: Software Isodose {3D}},
booktitle = {Applied Optimization and Metaheuristics Innovation},
pages = {***--***},
address = {Yalta, Ukraine},
month = jul,
year = 2006,
}
-
Karine Deschinkel,
F. Galea,
and C. Roucairol.
Optimization problems in treating cancer tumour by internal radiations: High Dose Rate Brachytherapy.
In APMOD'06, Applied Mathematical Programming and Modeling VIII,
Madrid, Espagne,
pages ***--***,
June 2006.
@inproceedings{dgr06b:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Galea, F. and Roucairol, C.},
title = {Optimization problems in treating cancer tumour by internal radiations: High Dose Rate Brachytherapy},
booktitle = {APMOD'06, Applied Mathematical Programming and Modeling VIII},
pages = {***--***},
address = {Madrid, Espagne},
month = jun,
year = 2006,
}
-
Karine Deschinkel,
F. Galea,
and C. Roucairol.
Problèmes doptimisation en curiethérapie.
In MOSIM06, 6ème Conférence Francophone de Modélisation et Simulation, Modélisation, Optimisation et Simulation,
Rabat, Maroc,
pages ***--***,
April 2006.
@inproceedings{dgr06c:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Galea, F. and Roucairol, C.},
title = {Probl\`emes doptimisation en curieth\'erapie},
booktitle = {MOSIM06, 6\`eme Conf\'erence Francophone de Mod\'elisation et Simulation, Mod\'elisation, Optimisation et Simulation},
pages = {***--***},
address = {Rabat, Maroc},
month = apr,
year = 2006,
}
-
Isabelle Devarenne,
Hakim Mabed,
and Alexandre Caminada.
Hybridation des mécanismes de détection de boucles et de liste tabou pour la recherche locale.
In ROADEF'06, 7e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,
2006.
@inproceedings{dmc06d:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Hybridation des m\'ecanismes de d\'etection de boucles et de liste tabou pour la recherche locale},
booktitle = {ROADEF'06, 7e Congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide à la D\'ecision},
year = 2006,
}
-
Isabelle Devarenne,
Hakim Mabed,
and Alexandre Caminada.
Intelligent neighborhood exploration in local search heuristics.
In ICTAI'06, 18th IEEE Int. Conf. on Tools with Artificial Intelligence,
pages 144--150,
October 2006.
@inproceedings{dmc06a:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Intelligent neighborhood exploration in local search heuristics},
booktitle = {ICTAI'06, 18th IEEE Int. Conf. on Tools with Artificial Intelligence},
pages = {144--150},
month = oct,
year = 2006,
}
-
Isabelle Devarenne,
Hakim Mabed,
and Alexandre Caminada.
Optimization by extention-restriction neighborhood in local search: application to graph coloring problem.
In 20th European Simulation and Modeling conference,
October 2006.
@inproceedings{dmc06c:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Optimization by extention-restriction neighborhood in local search: application to graph coloring problem},
booktitle = {20th European Simulation and Modeling conference},
month = oct,
year = 2006,
}
-
Isabelle Devarenne,
Hakim Mabed,
and Alexandre Caminada.
Self-adaptive neighborhood exploration parameters in a local search.
In 7th EU/MEeting on Adaptive, Self-Adaptive, and Multi-Level Metaheuristics,
Malaga, Espagne,
November 2006.
@inproceedings{dmc06b:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Self-adaptive neighborhood exploration parameters in a local search},
booktitle = {7th EU/MEeting on Adaptive, Self-Adaptive, and Multi-Level Metaheuristics},
address = {Malaga, Espagne},
month = nov,
year = 2006,
}
-
Dominique Dhoutaut,
A. Regis,
and François Spies.
Impact of Radio Propagation Models in Vehicular Ad Hoc Networks Simulations.
In VANET'06: Procs of the 3rd int. workshop on Vehicular ad hoc networks,
Los Angeles, United States,
pages 40--49,
September 2006.
ACM Press.
@inproceedings{drs06a:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Dhoutaut, Dominique and Regis, A. and Spies, Fran\c{c}ois},
title = {Impact of Radio Propagation Models in Vehicular Ad~Hoc Networks Simulations},
booktitle = {VANET'06: Procs of the 3rd int. workshop on Vehicular ad hoc networks},
pages = {40--49},
address = {Los Angeles, United States},
doi = {http://doi.acm.org/10.1145/1161064.1161072},
isbn = {1-59593-540-1},
publisher = {ACM Press},
month = sep,
year = 2006,
}
-
Dominique Dhoutaut,
A. Regis,
and François Spies.
Integration of physical phenomena into an experiment-based propagation model.
In PE-WASUN'06: Procs of the 3rd ACM int. workshop on Performance Evaluation of Wireless Ad hoc, Sensor and Ubiquitous Networks,
Terromolinos, Spain,
pages 98--105,
October 2006.
ACM Press.
@inproceedings{drs06b:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Dhoutaut, Dominique and Regis, A. and Spies, Fran\c{c}ois},
title = {Integration of physical phenomena into an experiment-based propagation model},
booktitle = {PE-WASUN'06: Procs of the 3rd ACM int. workshop on Performance Evaluation of Wireless Ad hoc, Sensor and Ubiquitous Networks},
isbn = {1-59593-487-1},
pages = {98--105},
address = {Terromolinos, Spain},
doi = {http://doi.acm.org/10.1145/1163610.1163627},
publisher = {ACM Press},
month = oct,
year = 2006,
}
-
Jean-Baptiste Ernst-Desmulier.
Simulation d'un environnement de calcul distribué sur un réseau pair à pair.
In O. Beaumont and V. Boudet, editors,
RenPar'17, 17èmes Rencontres francophones du Parallélisme,
Perpignan, France,
pages 44--51,
October 2006.
Université de Perpignan.
@inproceedings{ernst-desmulier06:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Ernst-Desmulier, Jean-Baptiste},
title = {Simulation d'un environnement de calcul distribu\'e sur un r\'eseau pair \`a pair},
booktitle = {RenPar'17, 17\`emes Rencontres francophones du Parall\'elisme},
pages = {44--51},
editor = {Beaumont, O. and Boudet, V.},
organization = {Universit\'e de Perpignan},
address = {Perpignan, France},
month = oct,
year = 2006,
}
-
Jean-Baptiste Ernst-Desmulier,
Julien Bourgeois,
N.M. Thanh,
François Spies,
and J. Verbeke.
Simulating and Optimizing A Peer-to-Peer Computing Framework.
In HotP2P/IPDPS'06, Proc. of the ACM/IEEE Int. Parallel and Distributed Processing Symposium,
Rhodes Island, Greece,
pages 124--132,
April 2006.
IEEE Computer Society Press.
@inproceedings{edbts+06:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Ernst-Desmulier, Jean-Baptiste and Bourgeois, Julien and Thanh, N.M. and Spies, Fran\c{c}ois and Verbeke, J.},
title = {Simulating and Optimizing A Peer-to-Peer Computing Framework},
booktitle = {HotP2P/IPDPS'06, Proc. of the ACM/IEEE Int. Parallel and Distributed Processing Symposium},
pages = {124--132},
address = {Rhodes Island, Greece},
doi = {10.1109/IPDPS.2006.1639712},
url = {http://dx.doi.org/10.1109/IPDPS.2006.1639712},
publisher = {IEEE Computer Society Press},
month = apr,
year = 2006,
}
-
I. Fourati Kallel,
Mohamed Kallel,
and Eric Garcia.
Fragile Watermarking for medical Image Authentication.
In DFMA'06, 2nd IEEE Int. Conf. on Distributed Framework for Multimedia Applications,
Penang, Malaisia,
pages 1--6,
May 2006.
Note: Doi 10.1109/DFMA.2006.296919.
@inproceedings{fkkgb06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Fourati Kallel, I. and Kallel, Mohamed and Garcia, Eric},
title = {Fragile Watermarking for medical Image Authentication},
booktitle = {DFMA'06, 2nd IEEE Int. Conf. on Distributed Framework for Multimedia Applications},
pages = {1--6},
address = {Penang, Malaisia},
url = {http://dx.doi.org/10.1109/DFMA.2006.296919},
month = may,
year = 2006,
note = {doi 10.1109/DFMA.2006.296919},
}
-
Abdoul-Karim Ganame,
Julien Bourgeois,
Renaud Bidou,
and François Spies.
Evaluation of the intrusion detection capabilities and performance of a security operation center.
In SECRYPT'06, int. conf. on security and cryptography,
Setubal, Portugal,
pages 48--55,
August 2006.
INSTICC Press.
@inproceedings{gbbs06:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Ganame, Abdoul-Karim and Bourgeois, Julien and Bidou, Renaud and Spies, Fran\c{c}ois},
title = {Evaluation of the intrusion detection capabilities and performance of a security operation center},
booktitle = {SECRYPT'06, int. conf. on security and cryptography},
pages = {48--55},
publisher = {INSTICC Press},
address = {Setubal, Portugal},
accrate = 30,
month = aug,
year = 2006,
}
-
Eric Garcia,
Julien Henriet,
and Jean-Christophe Lapayre.
Validation of a Protocol for Communication Management in CSCW Systems Using a Coloured-Petri Net Modelization.
In PDP 2006, Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing,
Montbéliard, France,
pages 272--275,
February 2006.
@inproceedings{ghl06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Validation of a Protocol for Communication Management in {CSCW} Systems Using a Coloured-Petri Net Modelization},
booktitle = {PDP~2006, Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing},
pages = {272--275},
address = {Montb\'eliard, France},
month = feb,
year = 2006,
accrate = 50,
}
-
Alain Giorgetti and Julien Groslambert.
JAG : Génération d'annotations JML pour vérifier des propriétés temporelles.
In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels,
Paris, France,
March 2006.
Note: Session outils.
@inproceedings{gg06:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Giorgetti, Alain and Groslambert, Julien},
title = {{JAG}~: G\'en\'eration d'annotations {JML} pour v\'erifier des propri\'et\'es temporelles},
booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
address = {Paris, France},
month = mar,
year = 2006,
note = {Session outils},
}
-
Alain Giorgetti and Julien Groslambert.
JAG: JML Annotation Generation for Verifying Temporal Properties.
In FASE'2006, Fundamental Approaches to Software Engineering,
volume 3922 of LNCS,
Vienna, Austria,
pages 373--376,
March 2006.
Springer.
Note: Tools session.
@inproceedings{gg06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Giorgetti, Alain and Groslambert, Julien},
title = {{JAG}: {JML} {A}nnotation {G}eneration for Verifying Temporal Properties},
booktitle = {FASE'2006, Fundamental Approaches to Software Engineering},
series = {LNCS},
volume = 3922,
pages = {373--376},
address = {Vienna, Austria},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/11693017_27},
month = mar,
year = 2006,
note = {Tools session},
}
-
Françoise Greffier and Christophe Reffay.
Les échos du forum de discussion en FAD.
In JOCAIR 2006, Premières journées Communication et Apprentissage instrumentés en réseau,
Amiens, France,
pages 130--144,
July 2006.
Abstract:
|
Cette étude porte sur une collaboration au sein d'une formation universitaire effectuée intégralement à distance alors que la formation n'impose pas d'activités collaboratives. Les analyses interrogent une pratique pour savoir : qui collabore, sur quels sujets, à quel rythme et quel est le rôle du tuteur. Les limites de la collaboration sont appréhendées en mettant en rapport la réussite des apprenants et leur degré de participation. Cette étude, parce que la collaboration n'est pas imposée, nous permet de mesurer à quel besoin répond la collaboration et à ce titre l'usage du forum de discussion. |
@inproceedings{gr06:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Greffier, Fran\c{c}oise and Reffay, Christophe},
title = {Les \'echos du forum de discussion en {FAD}},
booktitle = {JOCAIR~2006, Premi\`eres journ\'ees Communication et Apprentissage instrument\'es en r\'eseau},
pages = {130--144},
address = {Amiens, France},
url = {http://edutice.archives-ouvertes.fr/edutice-00085729/fr/},
abstract = {Cette étude porte sur une collaboration au sein d'une formation universitaire effectuée intégralement à distance alors que la formation n'impose pas d'activités collaboratives. Les analyses interrogent une pratique pour savoir : qui collabore, sur quels sujets, à quel rythme et quel est le rôle du tuteur. Les limites de la collaboration sont appréhendées en mettant en rapport la réussite des apprenants et leur degré de participation. Cette étude, parce que la collaboration n'est pas imposée, nous permet de mesurer à quel besoin répond la collaboration et à ce titre l'usage du forum de discussion.},
month = jul,
year = 2006,
}
-
Julien Groslambert,
Jacques Julliand,
and Olga Kouchnarenko.
JML-based Verification of Liveness Properties on a Class.
In SAVCBS'06, Specification and Verification of Component-Based Systems,
Portland, Oregon, United States,
pages 41--48,
November 2006.
@inproceedings{gjk06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Groslambert, Julien and Julliand, Jacques and Kouchnarenko, Olga},
title = {{JML}-based Verification of Liveness Properties on a Class},
booktitle = {SAVCBS'06, Specification and Verification of Component-Based Systems},
pages = {41--48},
address = {Portland, Oregon, United States},
month = nov,
year = 2006,
}
-
Mourad Hakem and Franck Butelle.
A Bi-objective Algorithm for Scheduling Parallel Applications on Heterogeneous Systems Subject to Failures.
In RenPar'06,
pages 25--35,
2006.
@inproceedings{hb06a:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Hakem, Mourad and Butelle, Franck},
title = {A Bi-objective Algorithm for Scheduling Parallel Applications on Heterogeneous Systems Subject to Failures},
booktitle = {RenPar'06},
pages = {25--35},
year = 2006,
}
-
Fabien Hantz and Hervé Guyennet.
A P2P Platform using sandboxing.
In HPCS'06, Workshop on Security and High Performance Computing Systems, in conjunction with ECMS 2006, 20th European Conf. on Modelling and Simulation,
Bonn, Germany,
pages 736--739,
May 2006.
@inproceedings{hg06:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Hantz, Fabien and Guyennet, Herv\'e},
title = {A {P2P} Platform using sandboxing},
booktitle = {HPCS'06, Workshop on Security and High Performance Computing Systems, in conjunction with ECMS 2006, 20th European Conf. on Modelling and Simulation},
pages = {736--739},
accrate = 56,
address = {Bonn, Germany},
month = may,
year = 2006,
}
-
Jean-Laurent Hippolyte,
Christophe Espanet,
Didier Chamagne,
Christelle Bloch,
and Pascal Chatonnay.
Hybridizing Evolutionary Computation And SQP To Optimize A Permanent Magnet Motor.
In NUMELEC'06, 5ème Conférence Européenne sur les Méthodes Numériques en Électromagnétisme,
November 2006.
@inproceedings{hecb+06:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Hippolyte, Jean-Laurent and Espanet, Christophe and Chamagne, Didier and Bloch, Christelle and Chatonnay, Pascal},
title = {Hybridizing Evolutionary Computation And {SQP} To Optimize A Permanent Magnet Motor},
booktitle = {NUMELEC'06, 5\`eme Conf\'erence Europ\'eenne sur les M\'ethodes Num\'eriques en \'Electromagn\'etisme},
month = nov,
Year = 2006,
}
-
Jean-Laurent Hippolyte,
Christophe Espanet,
Didier Chamagne,
Christelle Bloch,
and Pascal Chatonnay.
Motor design optimization thanks to an hybrid method.
In 2nd Conf. on Simulation and Multidisciplinary Design Optimization,
May 2006.
ASMDO.
@inproceedings{hecb+06:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Hippolyte, Jean-Laurent and Espanet, Christophe and Chamagne, Didier and Bloch, Christelle and Chatonnay, Pascal},
title = {Motor design optimization thanks to an hybrid method},
booktitle = {2nd Conf. on Simulation and Multidisciplinary Design Optimization},
month = may,
organization = {ASMDO},
year = 2006,
}
-
Jean-Michel Hufflen.
Implementing a variant of XSLT in pgScheme.
In IFL'06, 18th Int. Symposium on Implementation and Application of Functional Languages,
Budapest, Hungary,
pages 484--491,
September 2006.
@inproceedings{hufflen06d:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {Implementing a variant of {XSLT} in {pgScheme}},
booktitle = {IFL'06, 18th Int. Symposium on Implementation and Application of Functional Languages},
pages = {484--491},
address = {Budapest, Hungary},
langue = {english},
month = sep,
year = 2006,
}
-
T. Hérault,
P. Lemarinier,
O. Peres,
Laurence Pilard,
and J. Beauquier.
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.
In Ajoy Kumar Datta and Maria Gradinariu, editors,
SSS 2006, , 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems,
volume 4280 of LNCS,
Dallas, Texas, USA,
pages 574--575,
November 2006.
Springer.
@inproceedings{hlpp+06:bl,
inhal = {no},
equipe = {and},
title = {Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems},
classement = {*},
author = {H\'erault, T. and Lemarinier, P. and Peres, O. and Pilard, Laurence and Beauquier, J.},
booktitle = {{SSS} 2006, , 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems},
publisher = {Springer},
volume = 4280,
editor = {Ajoy Kumar Datta and Maria Gradinariu},
pages = {574--575},
series = {LNCS},
address = {Dallas, Texas, USA},
month = nov,
year = 2006,
}
-
I.F. Kallel,
Mohamed Kallel,
Eric Garcia,
and M.-S. Bouhlel.
Fragile Watermarking for medical Image Authentication.
In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications,
Penang, Malaysia,
pages 1--6,
May 2006.
@inproceedings{kkgb06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Kallel, I.F. and Kallel, Mohamed and Garcia, Eric and Bouhlel, M.-S.},
title = {Fragile Watermarking for medical Image Authentication},
booktitle = {DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {1--6},
isbn = {1-4244-0409-6},
address = {Penang, Malaysia},
month = may,
year = 2006,
}
-
Nikolaï Kosmatov.
A Constraint Solver for Sequences and its Applications.
In Procs of the 21st Annual ACM Symposium on Applied Computing (SAC'06),
Dijon, France,
pages 404--408,
April 2006.
@inproceedings{kosmatov06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Kosmatov, Nikola\"{\i}},
title = {A Constraint Solver for Sequences and its Applications},
booktitle = {Procs of the 21st Annual ACM Symposium on Applied Computing (SAC'06)},
pages = {404--408},
address = {Dijon, France},
month = apr,
year = 2006,
}
-
Nikolaï Kosmatov.
Constraint Solving for Sequences in Software Validation and Verification.
In INAP'05, Proc. of the 16th Int. Conf. on Applications of Declarative Programming and Knowledge Management,
volume 4369 of LNCS,
Fukuoka, Japan,
pages 25--37,
2006.
Springer.
Note: ISBN 978-3-540-69233-1.
@inproceedings{kosmatov06b:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Kosmatov, Nikola\"{\i}},
title = {Constraint Solving for Sequences in Software Validation and Verification},
booktitle = {INAP'05, Proc. of the 16th Int. Conf. on Applications of Declarative Programming and Knowledge Management},
pages = {25--37},
series = {LNCS},
volume = 4369,
publisher = {Springer},
address = {Fukuoka, Japan},
isbn = {978-3-540-69233-1},
year = 2006,
note = {ISBN~978-3-540-69233-1},
}
-
Olga Kouchnarenko and Arnaud Lanoix.
How to Refine and to Exploit a Refinement of Component-based Systems.
In I. Virbitskaite and A. Voronkov, editors,
PSI 2006, Pesrpectives of System Informatics, 6th Int. Andrei Ershov Memorial Conf.,
volume 4378 of LNCS,
Novosibirsk, Akademgorodok, Russian Federation,
pages 297--309,
June 2006.
Springer.
@inproceedings{kl06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Kouchnarenko, Olga and Lanoix, Arnaud},
title = {How to Refine and to Exploit a Refinement of Component-based Systems},
booktitle = {PSI~2006, Pesrpectives of System Informatics, 6th Int. Andrei Ershov Memorial Conf.},
series = {LNCS},
pages = {297--309},
volume = 4378,
editor = {Virbitskaite, I. and Voronkov, A.},
address = {Novosibirsk, Akademgorodok, Russian Federation},
publisher = {Springer},
month = jun,
year = 2006,
}
-
Frédéric Lassabe,
Philippe Canalda,
Damien Charlet,
Pascal Chatonnay,
and François Spies.
Refining WiFi Indoor Positionning Renders Pertinent Deploying Location-Based Multimedia Guide.
In Procs of IEEE Int. Workshop on Pervasive Computing and Ad Hoc Communications (PCAC06), in conjunction with the IEEE 20th Int. Conf. on Advanced Information Networking and Applications (AINA06),
volume 2,
Vienna, Austria,
pages 126--130,
April 2006.
@inproceedings{lccc+06a:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Lassabe, Fr\'ed\'eric and Canalda, Philippe and Charlet, Damien and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Refining {WiFi} Indoor Positionning Renders Pertinent Deploying Location-Based Multimedia Guide},
booktitle = {Procs of IEEE Int. Workshop on Pervasive Computing and Ad Hoc Communications (PCAC06), in conjunction with the IEEE 20th Int. Conf. on Advanced Information Networking and Applications (AINA06)},
pages = {126--130},
volume = 2,
address = {Vienna, Austria},
month = apr,
year = 2006,
}
-
Frédéric Lassabe,
Philippe Canalda,
Pascal Chatonnay,
Damien Charlet,
and François Spies.
Géolocalisation WiFi et modèles de prédiction de la mobilité dans les réseaux multimédia.
In Actes des 3e Journées Francophones Mobilité et Ubiquité (UBIMOB 2006), conférence nationale IEEE-France et ASF,
CNAM Paris, France,
pages 57--64,
September 2006.
@inproceedings{lccc+06:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Lassabe, Fr\'ed\'eric and Canalda, Philippe and Chatonnay, Pascal and Charlet, Damien and Spies, Fran\c{c}ois},
title = {G\'eolocalisation {WiFi} et mod\`eles de pr\'ediction de la mobilit\'e dans les r\'eseaux multim\'edia},
booktitle = {Actes des 3e Journ\'ees Francophones Mobilit\'e et Ubiquit\'e (UBIMOB~2006), conf\'erence nationale IEEE-France et ASF},
pages = {57--64},
address = {CNAM Paris, France},
month = sep,
year = 2006,
}
-
Frédéric Lassabe,
Philippe Canalda,
Pascal Chatonnay,
and François Spies.
Gestion de la mobilité et positionnement dans les réseaux sans-fil en environnement clos.
In 8èmes rencontres francophones sur les aspects algorithmiques des télécommunications,
Trégastel, France,
pages 117--120,
May 2006.
@inproceedings{lccs06:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Lassabe, Fr\'ed\'eric and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Gestion de la mobilit\'e et positionnement dans les r\'eseaux sans-fil en environnement clos},
booktitle = {8\`emes rencontres francophones sur les aspects algorithmiques des t\'el\'ecommunications},
pages = {117--120},
address = {Tr\'egastel, France},
month = may,
year = 2006,
}
-
Frédéric Lassabe,
Damien Charlet,
Philippe Canalda,
Pascal Chatonnay,
and François Spies.
Positioning Awareness: an Essential Component for Mobile Multimedia Applications.
In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications,
Penang, Malaysia,
pages 201--208,
May 2006.
@inproceedings{lccc+06b:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Lassabe, Fr\'ed\'eric and Charlet, Damien and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Positioning Awareness: an Essential Component for Mobile Multimedia Applications},
booktitle = {DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {201--208},
address = {Penang, Malaysia},
month = may,
year = 2006,
}
-
Frédéric Lassabe,
Damien Charlet,
Philippe Canalda,
Pascal Chatonnay,
and François Spies.
Predictive Mobility Models based on Kth Markov Models.
In IEEE Int. Conf. on Pervasive Services 2006 (ICPS'06),
Lyon, France,
pages 303--306,
June 2006.
@inproceedings{lccc+06:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Lassabe, Fr\'ed\'eric and Charlet, Damien and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Predictive Mobility Models based on {Kth} {M}arkov Models},
booktitle = {IEEE Int. Conf. on Pervasive Services 2006 (ICPS'06)},
pages = {303--306},
address = {Lyon, France},
month = jun,
year = 2006,
}
-
Hung-Cuong Le,
Hervé Guyennet,
and N. Zerhouni.
Over-hearing for Energy Efficient in Event-Driven Wireless Sensor Network.
In IST-WSN'06, 1st IEEE Int. Workshop on Intelligent Systems Techniques for Wireless Sensor Networks, part of MASS 2006, 3rd IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems,
Vancouver, Canada,
pages 633--638,
October 2006.
@inproceedings{lgz06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Le, Hung-Cuong and Guyennet, Herv\'e and Zerhouni, N.},
title = {Over-hearing for Energy Efficient in Event-Driven Wireless Sensor Network},
booktitle = {IST-WSN'06, 1st IEEE Int. Workshop on Intelligent Systems Techniques for Wireless Sensor Networks, part of MASS 2006, 3rd IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems},
pages = {633--638},
address = {Vancouver, Canada},
month = oct,
year = 2006,
}
-
Yves Ledru,
Régine Laleau,
Michel Lemoine,
Sylvie Vignes,
Didier Bert,
Véronique Donzeau-Gouge,
Catherine Dubois,
and Fabien Peureux.
An attempt to combine UML and formal methods to model airport security.
In Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering,
Luxembourg, Luxembourg,
pages 47--50,
June 2006.
@inproceedings{lllv+06:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Ledru, Yves and Laleau, R\'egine and Lemoine, Michel and Vignes, Sylvie and Bert, Didier and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Peureux, Fabien},
title = {An attempt to combine {UML} and formal methods to model airport security},
booktitle = {Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering},
pages = {47--50},
address = {Luxembourg, Luxembourg},
month = jun,
year = 2006,
}
-
Sébastien Linck,
Emmanuel Mory,
Julien Bourgeois,
Eugen Dedu,
and François Spies.
Video quality estimation of DCCP streaming over wireless networks.
In Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2006),
Montbéliard, France,
pages 405--412,
February 2006.
IEEE Computer Society Press.
@inproceedings{lmbd+06:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Linck, S\'ebastien and Mory, Emmanuel and Bourgeois, Julien and Dedu, Eugen and Spies, Fran\c{c}ois},
title = {Video quality estimation of {DCCP} streaming over wireless networks},
booktitle = {Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP~2006)},
publisher = {IEEE Computer Society Press},
pages = {405--412},
address = {Montb\'eliard, France},
month = feb,
year = 2006,
accrate = 50,
}
-
Hakim Mabed and Alexandre Caminada.
Geometric criteria to improve interference performances of cellular network.
In IEEE Vehicular Technology Conference,
pages 1--5,
September 2006.
@inproceedings{mc06:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Mabed, Hakim and Caminada, Alexandre},
title = {Geometric criteria to improve interference performances of cellular network},
booktitle = {IEEE Vehicular Technology Conference},
pages = {1--5},
month = sep,
year = 2006,
}
-
Hakim Mabed,
Isabelle Devarenne,
and Alexandre Caminada.
Recherche Locale et contrôle de dégradation.
In ROADEF'06, 7e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,
2006.
@inproceedings{mdc06:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Mabed, Hakim and Devarenne, Isabelle and Caminada, Alexandre},
title = {Recherche Locale et contr\^ole de d\'egradation},
booktitle = {ROADEF'06, 7e Congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide à la D\'ecision},
year = 2006,
}
-
Nicolas Marilleau,
Christophe Lang,
Pascal Chatonnay,
and Laurent Philippe.
An Agent-Based Framework for Urban Mobility Simulation.
In Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2006),
Montbéliard, France,
pages 355--361,
February 2006.
@inproceedings{mlcp06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_MC},
equipe = {ie},
classement = {ACTI},
author = {Marilleau, Nicolas and Lang, Christophe and Chatonnay, Pascal and Philippe, Laurent},
title = {An Agent-Based Framework for Urban Mobility Simulation},
booktitle = {Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP~2006)},
pages = {355--361},
address = {Montb\'eliard, France},
month = feb,
year = 2006,
accrate = 50,
}
-
Nicolas Marilleau,
Christophe Lang,
Pascal Chatonnay,
and Laurent Philippe.
Modélisation du déplacement dans la méthode RAFALE-SP.
In JFSMA'06, Journées Francophones sur les Systèmes Multi-Agents,
Annecy, France,
pages 45--48,
October 2006.
@inproceedings{mlcp06:onp,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_NI},
equipe = {ie},
classement = {COM},
author = {Marilleau, Nicolas and Lang, Christophe and Chatonnay, Pascal and Philippe, Laurent},
title = {Mod\'elisation du d\'eplacement dans la m\'ethode {RAFALE-SP}},
booktitle = {JFSMA'06, Journ\'ees Francophones sur les Syst\`emes Multi-Agents},
pages = {45--48},
address = {Annecy, France},
month = oct,
year = 2006,
accrate = 50,
}
-
Muriel Noras.
Un besoin de spécifications des corpus de formation en ligne.
In RJC-EIAH'2006, Premières Rencontres Jeunes Chercheurs en Environnements Informatique pour l'Apprentissage Humain,
Evry, France,
pages 165--172,
May 2006.
@inproceedings{noras06:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Noras, Muriel},
title = {Un besoin de sp\'ecifications des corpus de formation en ligne},
booktitle = {RJC-EIAH'2006, Premi\`eres Rencontres Jeunes Chercheurs en Environnements Informatique pour l'Apprentissage Humain},
pages = {165--172},
address = {Evry, France},
month = may,
year = 2006,
}
-
Laurent Philippe,
Sylvain Dahan,
I. Djama,
Sylvie Damy,
and Bénédicte Herrmann.
Evaluation of large scale lookup algorithm for ASP based grids.
In Procs of the 5th Int. Symposium on Parallel and Distributed Computing,
Timisoara, Romania,
pages 220--229,
July 2006.
IEEE Computer Society Press.
@inproceedings{pddd+06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Philippe, Laurent and Dahan, Sylvain and Djama, I. and Damy, Sylvie and Herrmann, B\'en\'edicte},
title = {Evaluation of large scale lookup algorithm for {ASP} based grids},
booktitle = {Procs of the 5th Int. Symposium on Parallel and Distributed Computing},
pages = {220--229},
address = {Timisoara, Romania},
publisher = {IEEE Computer Society Press},
month = jul,
year = 2006,
}
-
Vincent Pretre,
Christophe Lang,
Nicolas Marilleau,
and Jean-Christophe Lapayre.
A Video Transmission Framework Using Components and Multi-Agent Systems.
In DFMA'06, 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications,
Penang, Malaysia,
pages 99--105,
May 2006.
@inproceedings{plml06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_MO},
equipe = {ie},
classement = {ACTI},
author = {Pretre, Vincent and Lang, Christophe and Marilleau, Nicolas and Lapayre, Jean-Christophe},
title = {A Video Transmission Framework Using Components and Multi-Agent Systems},
booktitle = {DFMA'06, 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {99--105},
address = {Penang, Malaysia},
month = may,
year = 2006,
}
-
Jean-Louis Roch,
Daouda Traoré,
and Julien Bernard.
On-Line Adaptive Parallel Prefix Computation.
In Euro-Par'06, int. conf. on Parallel Processing,
volume 4128 of LNCS,
Dresden, Germany,
pages 841--850,
2006.
Springer.
@inproceedings{rtb06:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Roch, Jean-Louis and Traor\'e, Daouda and Bernard, Julien},
title = {On-Line Adaptive Parallel Prefix Computation},
booktitle = {Euro-Par'06, int. conf. on Parallel Processing},
series = {LNCS},
volume = 4128,
pages = {841--850},
address = {Dresden, Germany},
doi = {10.1007/11823285_88},
url = {http://dx.doi.org/10.1007/11823285_88},
publisher = {Springer},
year = 2006,
}
-
David Saint-Voirin and N. Zerhouni.
Cooperative systems modeling, example of a cooperative e-maintenance system.
In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications,
Penang, Malaysia,
pages 83--90,
May 2006.
@inproceedings{svz06:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Saint-Voirin, David and Zerhouni, N.},
title = {Cooperative systems modeling, example of a cooperative e-maintenance system},
booktitle = {DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {83--90},
address = {Penang, Malaysia},
month = may,
year = 2006,
}
-
Bruno Tatibouët and Isabelle Jacques.
Génération de modèles dirigée par des propriétés à partir d'un métamodèle.
In ICSSEA'06, 19th int. Conf. on Software & Systems Engineering and their applications, Session 6: Modeling,
Paris, France,
December 2006.
CNAM.
Note: 8 pages.
@inproceedings{tj06:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Tatibou\"et, Bruno and Jacques, Isabelle},
title = {G\'en\'eration de mod\`eles dirig\'ee par des propri\'et\'es \`a partir d'un m\'etamod\`ele},
booktitle = {ICSSEA'06, 19th int. Conf. on Software \& Systems Engineering and their applications, Session 6: Modeling},
organization = {CNAM},
address = {Paris, France},
month = dec,
year = 2006,
note = {8 pages},
}
-
Bruno Tatibouët and Isabelle Jacques.
Understanding B Specifications with UML Class Diagram and OCL Constraints.
In ICEIS'06, 8th Int. Conf. on Enterprise Information Systems,
volume 3 of Information Systems Analysis and Specification,
Paphos, Cyprus,
pages 475--478,
May 2006.
Note: ISBN 972-8865-41-4.
@inproceedings{tj06:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Tatibou\"et, Bruno and Jacques, Isabelle},
title = {Understanding {B} Specifications with {UML} Class Diagram and {OCL} Constraints},
booktitle = {ICEIS'06, 8th Int. Conf. on Enterprise Information Systems},
series = {Information Systems Analysis and Specification},
volume = 3,
pages = {475--478},
address = {Paphos, Cyprus},
month = may,
year = 2006,
note = {ISBN 972-8865-41-4},
}
-
Hervé Guyennet,
Jean-Christophe Lapayre,
and R. Sureswaran, editors.
Proceedings of DFMA'06, Distributed Framework for Multimedia Applications.
IEEE Computer Society Press,
2006.
Note: 242 pages, ISBN 1-4244-0409-6, Library of Congress 2006925543.
@book{gls06:be,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {DO},
title = {Proceedings of DFMA'06, Distributed Framework for Multimedia Applications},
editor = {Guyennet, Herv\'e and Lapayre, Jean-Christophe and Sureswaran, R.},
publisher = {IEEE Computer Society Press},
year = 2006,
note = {242 pages, ISBN 1-4244-0409-6, Library of Congress 2006925543},
}
-
Jacques Julliand and J. Souquières, editors.
Approches Formelles pour le Développement de Logiciels,
volume 25(1) of TSI (Technique et Science Informatiques), Numéro Spécial.
Hermes,
France,
April 2006.
Note: 139 pages.
@book{js06:be,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {DO},
title = {Approches Formelles pour le D\'eveloppement de Logiciels},
editor = {Julliand, Jacques and Souqui\`eres, J.},
publisher = {Hermes},
series = {TSI (Technique et Science Informatiques), Num\'ero Sp\'ecial},
volume = {25(1)},
address = {France},
month = apr,
year = 2006,
note = {139 pages},
}
-
Mark Utting and Bruno Legeard.
Practical Model-Based Testing - A tools approach.
Elsevier,
2006.
Note: 550 pages, ISBN 0-12-372501-1.
@book{ul06:bc,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {OS},
author = {Utting, Mark and Legeard, Bruno},
title = {Practical Model-Based Testing - A tools approach},
publisher = {Elsevier},
isbn = {0-12-372501-1},
year = 2006,
note = {550 pages, ISBN 0-12-372501-1},
}
-
Françoise Bellegarde,
Jacques Julliand,
Hassan Mountassir,
and Emilie Oudot.
Experiments in the use of tau-simulations for the Verification of Timed Components.
Research Report RR2006-04,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
July 2006.
Keywords:
tau-simulation,
integration of components,
timed systems,
preservation of linear-time properties.
Abstract:
|
We present a verification framework exploiting tau-simulations as a way to preserve local linear properties checked on the components of real-time systems. Thus, we consider a component-based modeling of real-time systems. Their properties are expressed in a timed logic, MITL (Metric Interval Temporal Logic). For component-based models, traditional verification techniques are generally applied to the complete composed model, even if some properties only concern some components of the system, if not only one. We show that it is possible to check such local linear properties (safety as well as liveness) on the components they concern, and then to ensure their preservation using tau-simulation relations. We show the interest of the method by applying it on two real-time systems examples and by comparing the results with traditional verification techniques. |
@techreport{bjmo06b:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {{E}xperiments in the use of tau-simulations for the {V}erification of {T}imed {C}omponents},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2006-04},
pdf = {/~publis/papers/pub/2006/RR2006-04.pdf},
abstract = {We present a verification framework exploiting tau-simulations as a way to preserve local linear properties checked on the components of real-time systems. Thus, we consider a component-based modeling of real-time systems. Their properties are expressed in a timed logic, MITL (Metric Interval Temporal Logic). For component-based models, traditional verification techniques are generally applied to the complete composed model, even if some properties only concern some components of the system, if not only one. We show that it is possible to check such local linear properties (safety as well as liveness) on the components they concern, and then to ensure their preservation using tau-simulation relations. We show the interest of the method by applying it on two real-time systems examples and by comparing the results with traditional verification techniques.},
keyword = {tau-simulation, integration of components, timed systems, preservation of linear-time properties},
month = jul,
year = 2006,
}
-
Françoise Bellegarde,
Jacques Julliand,
Hassan Mountassir,
and Emilie Oudot.
The tool VeSTA: Verification of Simulations for Timed Automata.
Technical Report RT2006-01,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
July 2006.
Keywords:
tau-simulation,
integration of components,
timed automata,
preservation of linear-time properties.
Abstract:
|
This document presents the tool VeSTA, a push-button tool for checking the correct integration of a component into a composite timed system. Correct integration means here that already established properties of the component are preserved when it is merged into its environment. VeSTA checks this correctness by means of a so-called divergence-sensitive and stability-respecting timed tau-simulation. A successful verification of this simulation guarantees that all linear properties which can be expressed in the logical formalism MITL (in particular liveness and bounded-response) are preserved by the integration. Moreover, the development of VeSTA was guided by the architecture of the Open-Kronos tool. This gives the possibility, as additional feature, to connect the models considered in VeSTA to the modules of the Open-Caesar verification platform. |
@techreport{bjmo06a:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {The tool {VeSTA}: {V}erification of {S}imulations for {T}imed {A}utomata},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Technical Report},
number = {RT2006-01},
pdf = {/~publis/papers/pub/2006/RT2006-01.pdf},
abstract = {This document presents the tool VeSTA, a push-button tool for checking the correct integration of a component into a composite timed system. Correct integration means here that already established properties of the component are preserved when it is merged into its environment. VeSTA checks this correctness by means of a so-called divergence-sensitive and stability-respecting timed tau-simulation. A successful verification of this simulation guarantees that all linear properties which can be expressed in the logical formalism MITL (in particular liveness and bounded-response) are preserved by the integration. Moreover, the development of VeSTA was guided by the architecture of the Open-Kronos tool. This gives the possibility, as additional feature, to connect the models considered in VeSTA to the modules of the Open-Caesar verification platform.},
keyword = {tau-simulation, integration of components, timed automata, preservation of linear-time properties},
month = jul,
year = 2006,
}
-
Yohan Boichut and T. Genet.
Trace Reconstruction.
Research Report RR2006-02,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comtéand IRISA / Université de Rennes,
February 2006.
Keywords:
Reachability analysis,
verification,
infinite systems,
rewriting,
approximations,
sound and complete method,
rewriting path..
Abstract:
|
Reachability analysis turns out to be a very efficient verification technique for proving properties on infinite systems specified by term rewriting systems. The reachability problem, being undecidable in general, is handled using abstraction and approximation techniques. Sometimes, these methods remain unefficient in the sense that no conclusion can be raised, in particular when a term $t$ belongs to an over-approximation of the set of descendants of a term set $E$ by a term rewriting system $R$. We propose a sound and complete method in order to provide a rewriting path between two terms when the latter exists. Our reconstruction prototype has been developped and plugged within Timbuk, a collection of tools for achieving proofs of reachability over TRS and for manipulating tree automata (bottom-up non-deterministic finite tree automata). The application domain of a such method is very wide. In the security protocol framework, a such result is promising since a trace represents an attack led by an intruder against a given property. |
@techreport{bg06:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Boichut, Yohan and Genet, T.},
title = {Trace Reconstruction},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}and IRISA / {U}niversit\'e de {R}ennes},
type = {Research Report},
number = {RR2006-02},
ps = {/~publis/papers/pub/2006/RR2006-02.ps},
pdf = {/~publis/papers/pub/2006/RR2006-02.pdf},
month = feb,
year = 2006,
abstract = {Reachability analysis turns out to be a very efficient verification technique for proving properties on infinite systems specified by term rewriting systems. The reachability problem, being undecidable in general, is handled using abstraction and approximation techniques. Sometimes, these methods remain unefficient in the sense that no conclusion can be raised, in particular when a term $t$ belongs to an over-approximation of the set of descendants of a term set $E$ by a term rewriting system $R$. We propose a sound and complete method in order to provide a rewriting path between two terms when the latter exists. Our reconstruction prototype has been developped and plugged within Timbuk, a collection of tools for achieving proofs of reachability over TRS and for manipulating tree automata (bottom-up non-deterministic finite tree automata). The application domain of a such method is very wide. In the security protocol framework, a such result is promising since a trace represents an attack led by an intruder against a given property.},
keyword = {Reachability analysis, verification, infinite systems, rewriting, approximations, sound and complete method, rewriting path.}
}
-
Yohan Boichut,
Pierre-Cyrille Héam,
and Olga Kouchnarenko.
Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users.
Research Report RR-6039,
INRIA,
November 2006.
@techreport{bhk06b:ir,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users},
year = 2006,
month = nov,
institution = {INRIA},
number = {RR-6039},
type = {Research Report},
url = {https://hal.inria.fr/inria-00116918},
postscript = {https://hal.inria.fr/action/open_file.php?url=https://hal.inria.fr/docs/00/11/71/27/PS/RR-6039.ps&docid=117127},
pdf = {https://hal.inria.fr/action/open_file.php?url=https://hal.inria.fr/docs/00/11/71/27/PDF/RR-6039.pdf&docid=117127}
}
-
Yohan Boichut,
Pierre-Cyrille Héam,
and Olga Kouchnarenko.
Handling Algebraic Properties in Automatic Analysis of Security Protocols.
Research report RR-5857,
INRIA,
March 2006.
Keywords:
VERIFICATION,
SECURITY PROTOCOLS,
APPROXIMATIONS.
Abstract:
This paper extends the approximation-based theoretical framework in which the security problem \"secrecy preservation against an intruder\" may be semi-decided through a reachability verification.
We explain how to cope with algebraic properties for an automatic approximation-based analysis of security protocols. We prove that if the initial knowledge of the intruder is a regular tree language, then the security problem may by semi-decided for protocols using cryptographic primitives with algebraic properties. More precisely, an automatically generated approximation function enables us - an automatic normalization of transitions, and
- an automatic completion procedure.
The main advantage of our approach is that the approximation function makes it possible to verify security protocols with an arbitrary number of sessions. The concepts are illustrated on an example of the view-only protocol. |
@techreport{bhk06:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Handling Algebraic Properties in Automatic Analysis of Security Protocols},
institution = {INRIA},
type = {Research report},
number = {RR-5857},
keywords = {VERIFICATION, SECURITY PROTOCOLS, APPROXIMATIONS},
abstract = {This paper extends the approximation-based theoretical framework in which the security problem \"secrecy preservation against an intruder\" may be semi-decided through a reachability verification.
We explain how to cope with algebraic properties for an automatic approximation-based analysis of security protocols. We prove that if the initial knowledge of the intruder is a regular tree language, then the security problem may by semi-decided for protocols using cryptographic primitives with algebraic properties. More precisely, an automatically generated approximation function enables us - an automatic normalization of transitions, and
- an automatic completion procedure.
The main advantage of our approach is that the approximation function makes it possible to verify security protocols with an arbitrary number of sessions. The concepts are illustrated on an example of the view-only protocol.},
url = {http://www.inria.fr/rrrt/rr-5857.html},
pdf = {ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-5857.pdf},
postscript = {ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-5857.ps.gz},
month = mar,
year = 2006,
}
-
Fabrice Bouquet,
Frédéric Dadeau,
and Bruno Legeard.
Automated Boundary Test Generation from JML Specifications.
Research Report RR2006-03,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
March 2006.
Keywords:
Test generation,
model-based,
Java Modeling Language,
automated,
boundary values.
Abstract:
|
We present an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider specific features for the objects, involving inheritance and aliasing. Finally, a preamble for each test case is computed by symbolic animation of the JML specification using constraint logic programming techniques. Thus, we are able to automatically generate executable Java test sequences to be run on the system under test. Moreover, this process requires the less possible intervention from a validation engineer. |
@techreport{bdl06:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno},
title = {Automated Boundary Test Generation from {JML} Specifications},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2006-03},
abstract = { We present an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider specific features for the objects, involving inheritance and aliasing. Finally, a preamble for each test case is computed by symbolic animation of the JML specification using constraint logic programming techniques. Thus, we are able to automatically generate executable Java test sequences to be run on the system under test. Moreover, this process requires the less possible intervention from a validation engineer.},
keyword = {Test generation, model-based, Java Modeling Language, automated, boundary values},
pdf = {/~publis/papers/pub/2006/RR2006-03.pdf},
ps = {/~publis/papers/pub/2006/RR2006-03.ps},
month = mar,
year = 2006,
}
-
Alain Giorgetti and Julien Groslambert.
JAG : Génération d'annotations JML pour vérifier des propriétés temporelles.
Technical Report RT2006-02,
LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté,
September 2006.
Keywords:
Java Modeling Language,
temporal logic,
annotations,
verification.
Abstract:
|
This paper presents a tool for verifying security properties on Java code enriched with JML annotations. These temporal properties are expressed in an extension of JML. They are translated by the tool into standard JML annotations and are automatically integrated in the Java class under verification. This paper is an extended version of a paper presented at AFADL'06 tool session. |
@techreport{gg06:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Giorgetti, Alain and Groslambert, Julien},
title = {{JAG}~: G\'en\'eration d'annotations {JML} pour v\'erifier des propri\'et\'es temporelles},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit \'{e} de {F}ranche {C}omt\'{e}},
type = {Technical Report},
number = {RT2006-02},
pdf = {/~publis/papers/pub/2006/RT2006-02.pdf},
ps = {/~publis/papers/pub/2006/RT2006-02.ps},
abstract = {This paper presents a tool for verifying security properties on Java code enriched with JML annotations. These temporal properties are expressed in an extension of JML. They are translated by the tool into standard JML annotations and are automatically integrated in the Java class under verification. This paper is an extended version of a paper presented at AFADL'06 tool session.},
keyword = {Java Modeling Language, temporal logic, annotations, verification},
month = sep,
year = 2006,
}
-
Julien Groslambert.
Verification of LTL on B Event System.
Research Report RR2006-05,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
September 2006.
Keywords:
LTL,
Buchi Automaton,
Verification,
Refinement..
Abstract:
|
This paper proposes a way to verify temporal properties expressed in LTL (Linear Temporal Logic) on B Event Systems. The method consists in generating a B representation of the Buchi automaton associated with the LTL property to verify. We establish the consistency of the generated event system implies the satisfaction of the LTL property on the executions of the original event system. We also characterize the subset of LTL preserved by the B refinement and we propose another refinement relation, with necessary and sufficient condition for preserving any given LTL property. |
@techreport{groslambert06:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Groslambert, Julien},
title = {{Verification of LTL on B Event System}},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2006-05},
pdf = {/~publis/papers/pub/2006/RR2006-05.pdf},
abstract = {{This paper proposes a way to verify temporal properties expressed in LTL (Linear Temporal Logic) on B Event Systems. The method consists in generating a B representation of the Buchi automaton associated with the LTL property to verify. We establish the consistency of the generated event system implies the satisfaction of the LTL property on the executions of the original event system. We also characterize the subset of LTL preserved by the B refinement and we propose another refinement relation, with necessary and sufficient condition for preserving any given LTL property.}},
keyword = {LTL, Buchi Automaton, Verification, Refinement.},
month = Sep,
year = 2006,
}
-
D. Josselin,
Philippe Canalda,
Christophe Lang,
S. Houzet,
Nicolas Marilleau,
and R. Chevrier.
Définition d'un système de transport innovant pour la CAPM : fonctionnement et gestion.
Rapport intermédiaire,
Projet Véhicules du Futur,
2006.
Note: 31 pages + 17 pages annexes.
@techreport{jclh+06:cr,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Josselin, D. and Canalda, Philippe and Lang, Christophe and Houzet, S. and Marilleau, Nicolas and Chevrier, R.},
title = {D\'efinition d'un syst\`eme de transport innovant pour la {CAPM}~: fonctionnement et gestion},
institution = {Projet V\'ehicules du Futur},
type = {Rapport interm\'ediaire},
year = 2006,
note = {31 pages + 17 pages annexes},
}
-
Olga Kouchnarenko and Arnaud Lanoix.
How to Refine and to Exploit a Refinement of Component-based Systems.
Research report RR-5898,
INRIA,
April 2006.
Keywords:
COMPONENT-BASED SYSTEMS,
MODULES,
REFINEMENT,
LTL PROPERTIES,
COMPOSITION,
VERIFICATION.
Abstract:
In order to deal with the verification of large systems, compositional approaches postpone in part the problem of combinatorial explosion during model exploration. The purpose of the work we present in this paper is to establish a compositional framework in which the verification may proceed through a refinement-based specification and a component-based verification approaches.
A constraint synchronised product operator enables us - an automated compositional verification of a component-based system refinement relation, and
- safety LTL properties of a whole system from local safety LTL properties of its components.
The main advantage of our specification and verification approaches is that LTL properties are preserved through composition and refinement. |
@techreport{kl06:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Kouchnarenko, Olga and Lanoix, Arnaud},
title = {How to Refine and to Exploit a Refinement of Component-based Systems},
institution = {INRIA},
type = {Research report},
number = {RR-5898},
keywords = {COMPONENT-BASED SYSTEMS, MODULES, REFINEMENT, LTL PROPERTIES, COMPOSITION, VERIFICATION},
abstract = {In order to deal with the verification of large systems, compositional approaches postpone in part the problem of combinatorial explosion during model exploration. The purpose of the work we present in this paper is to establish a compositional framework in which the verification may proceed through a refinement-based specification and a component-based verification approaches.
A constraint synchronised product operator enables us - an automated compositional verification of a component-based system refinement relation, and
- safety LTL properties of a whole system from local safety LTL properties of its components.
The main advantage of our specification and verification approaches is that LTL properties are preserved through composition and refinement.},
url = {http://www.inria.fr/rrrt/rr-5898.html},
pdf = {ftp://ftp.inria.fr/INRIA/publication/publi-pdf/RR/RR-5898.pdf},
postscript = {ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-5898.ps.gz},
month = apr,
year = 2006,
}
-
Marie-Laure Betbeder.
Un environnement malléable support d'activités collectives / Recueil et transcription d'actions multimodales,
June 2006.
Note: Séminaire 'Hypermédias, Education, Formation', organisé par Eric Bruillard, Georges-Louis Baron et Brigitte de la Passardière, Paris, France.
@misc{betbeder06:onp,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Betbeder, Marie-Laure},
title = {Un environnement mall\'eable support d'activit\'es collectives~/~Recueil et transcription d'actions multimodales},
note = {S\'eminaire 'Hyperm\'edias, Education, Formation', organis\'e par Eric Bruillard, Georges-Louis Baron et Brigitte de la Passardi\`ere, Paris, France},
month = jun,
year = 2006,
}
-
V. Bonnans,
Lionel Droz-Bartholet,
Eric Garcia,
Hervé Guyennet,
Jean-Loup Haberbusch,
Jean-Christophe Lapayre,
and T. Moulin.
Collaborative Tele-Neurology,
January 2006.
Note: Presentation in Workshop Cross-Border Activities, Good Practice for Better Health, Bielefeld, Germany.
@misc{bdbgg+06:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Bonnans, V. and Droz-Bartholet, Lionel and Garcia, Eric and Guyennet, Herv\'e and Haberbusch, Jean-Loup and Lapayre, Jean-Christophe and Moulin, T.},
title = {Collaborative Tele-Neurology},
month = jan,
year = 2006,
note = {Presentation in Workshop Cross-Border Activities, Good Practice for Better Health, Bielefeld, Germany},
}
-
Julien Bourgeois.
Transmission of multimedia contents towards wireless clients.
Séminaire invité, IRISA, Institut de recherche en informatique et systèmes aléatoires, Rennes, France.,
January 2006.
@misc{bourgeois06:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV},
author = {Bourgeois, Julien},
title = {Transmission of multimedia contents towards wireless clients},
howpublished = {S\'eminaire invit\'e, IRISA, Institut de recherche en informatique et systèmes aléatoires, Rennes, France.},
month = jan,
year = 2006,
}
-
Jean-Michel Hufflen.
Sprachen in mlBibTeX.
Note: DANTE 2006 Tagung, Berlin,
March 2006.
@unpublished{hufflen06:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {Sprachen in {mlBibTeX}},
note = {{DANTE}~2006 Tagung, Berlin},
month = mar,
year = 2006,
langue = {German},
}
|
|
| | |
This document was translated from BibTEX by
bibtex2html
|
|