| |
Publications of year 2011
| |
|
Articles in journal or book chapters
|
-
Wahabou Abdou,
Adrien Henriet,
Christelle Bloch,
Dominique Dhoutaut,
Damien Charlet,
and François Spies.
Using an Evolutionary Algorithm to Optimize the Broadcasting Methods in Mobile Ad hoc Networks.
Journal of Network and Computer Applications,
34(6):1794--1804,
2011.
Note: Article in press. To appear.
Abstract:
|
A mobile ad hoc network (MANET) is a collection of mobile nodes communicating through wireless connections without any prior network infrastructure. In such a network the broadcasting methods are widely used for sending safety messages and routing information. To transmit a broadcast message effectively in a wide and high mobility MANET (for instance in vehicular ad hoc network) is a hard task to achieve. An efficient communication algorithm must take into account several aspects like the neighborhood density, the size and shape of the network, the use of the channel. Probabilistic strategies are often used because they do not involve additional latency. Some solutions have been proposed to make their parameters vary dynamically. For instance, the retransmission probability increases when the number of neighbors decreases. But, the authors do not optimize parameters for various environments. This article aims at determining the best communication strategies for each node according to its neighborhood density. It describes a tool combining a network simulator (ns-2) and an evolutionary algorithm (EA). Five types of context are considered. For each of them, we tackle the best behavior for each node to determine the right input parameters. The proposed EA is first compared to three EAs found in the literature: two well-known EAs (NSGA-II and SPEA2) and a more recent one (DECMOSA-SQP). Then, it is applied to the MANET broadcasting problem. |
@article{ahbd+11:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={1.111},
isi-acro = {J NETW COMPU APPL},
isi-acro = {*},
author = {Abdou, Wahabou and Henriet, Adrien and Bloch, Christelle and Dhoutaut, Dominique and Charlet, Damien and Spies, Fran\c{c}ois},
title = {Using an Evolutionary Algorithm to Optimize the Broadcasting Methods in Mobile Ad hoc Networks},
journal = {Journal of Network and Computer Applications},
pages = {1794--1804},
doi = {10.1016/j.jnca.2011.01.004},
url = {http://dx.doi.org/10.1016/j.jnca.2011.01.004},
volume = 34,
number = 6,
publisher = {Elsevier},
abstract = {A mobile ad hoc network (MANET) is a collection of mobile nodes communicating through wireless connections without any prior network infrastructure. In such a network the broadcasting methods are widely used for sending safety messages and routing information. To transmit a broadcast message effectively in a wide and high mobility MANET (for instance in vehicular ad hoc network) is a hard task to achieve. An efficient communication algorithm must take into account several aspects like the neighborhood density, the size and shape of the network, the use of the channel. Probabilistic strategies are often used because they do not involve additional latency. Some solutions have been proposed to make their parameters vary dynamically. For instance, the retransmission probability increases when the number of neighbors decreases. But, the authors do not optimize parameters for various environments. This article aims at determining the best communication strategies for each node according to its neighborhood density. It describes a tool combining a network simulator (ns-2) and an evolutionary algorithm (EA). Five types of context are considered. For each of them, we tackle the best behavior for each node to determine the right input parameters. The proposed EA is first compared to three EAs found in the literature: two well-known EAs (NSGA-II and SPEA2) and a more recent one (DECMOSA-SQP). Then, it is applied to the MANET broadcasting problem.},
year = 2011,
note = {Article in press. To appear},
}
-
Jacques Bahi,
Jean-François Couchot,
and Christophe Guyeux.
Steganography: a class of secure and robust algorithms.
The Computer Journal,
pp ***--***,
2011.
Note: Available online. Paper version to appear.
@article{bcg11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={1.363},
isi-acro = {COMPUT J},
author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
title = {Steganography: a class of secure and robust algorithms},
journal = {The Computer Journal},
pages = {***--***},
doi = {10.1093/comjnl/bxr116},
url = {http://dx.doi.org/10.1093/comjnl/bxr116},
publisher = {Oxford University Press},
year = 2011,
note = {Available online. Paper version to appear},
}
-
Jacques Bahi,
Xiaole Fang,
Christophe Guyeux,
and Qianxue Wang.
Evaluating Quality of Chaotic Pseudo-Random Generators. Application to Information Hiding.
IJAS, International Journal On Advances in Security,
4(1-2):118--130,
2011.
Abstract:
|
Guaranteeing the security of information transmitted through the Internet, against passive or active attacks, is a major concern. The discovery of new pseudo-random number generators with a strong level of security is a field of research in full expansion, due to the fact that numerous cryptosystems and data hiding schemes are directly dependent on the quality of these generators. At the conference Internet`09, we described a generator based on chaotic iterations which behaves chaotically as defined by Devaney. In this paper which is an extension of the work presented at the conference Internet`10, the proposal is to improve the speed, the security, and the evaluation of this generator, to make its use more relevant in the Internet security context. In order to do so, a comparative study between various generators is carried out and statistical results are improved. Finally, an application in the information hiding framework is presented with details, to give an illustrative example of the use of such a generator in the Internet security field. |
@article{bfgw11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Bahi, Jacques and Fang, Xiaole and Guyeux, Christophe and Wang, Qianxue},
title = {Evaluating Quality of Chaotic Pseudo-Random Generators. Application to Information Hiding},
journal = {IJAS, International Journal On Advances in Security},
volume = 4,
number = {1-2},
pages = {118--130},
abstract = {Guaranteeing the security of information transmitted through the Internet, against passive or active attacks, is a major concern. The discovery of new pseudo-random number generators with a strong level of security is a field of research in full expansion, due to the fact that numerous cryptosystems and data hiding schemes are directly dependent on the quality of these generators. At the conference Internet`09, we described a generator based on chaotic iterations which behaves chaotically as defined by Devaney. In this paper which is an extension of the work presented at the conference Internet`10, the proposal is to improve the speed, the security, and the evaluation of this generator, to make its use more relevant in the Internet security context. In order to do so, a comparative study between various generators is carried out and statistical results are improved. Finally, an application in the information hiding framework is presented with details, to give an illustrative example of the use of such a generator in the Internet security field.},
year = 2011,
}
-
Jacques Bahi,
Christophe Guyeux,
and Abdallah Makhoul.
Two Security Layers for Hierarchical Data Aggregation in Sensor Networks.
IJAACS, International Journal of Autonomous and Adaptive Communications Systems,
*(*):***--***,
2011.
Note: Accepted manuscript. To appear.
@article{bgm11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
author = {Bahi, Jacques and Guyeux, Christophe and Makhoul, Abdallah},
title = {Two Security Layers for Hierarchical Data Aggregation in Sensor Networks},
journal = {IJAACS, International Journal of Autonomous and Adaptive Communications Systems},
volume = {*},
number = {*},
pages = {***--***},
year = 2011,
note = {Accepted manuscript. To appear},
}
-
Anne Benoit,
Alexandru Dobrila,
Jean-Marc Nicod,
and Laurent Philippe.
Mapping workflow applications with types on heterogeneous specialized platforms.
Parallel Computing,
37(8):410--427,
August 2011.
@article{bdnp11:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={1.309},
isi-acro = {PARALLEL COMPUT},
author = {Benoit, Anne and Dobrila, Alexandru and Nicod, Jean-Marc and Philippe, Laurent},
title = {Mapping workflow applications with types on heterogeneous specialized platforms},
journal = {Parallel Computing},
volume = 37,
number = 8,
pages = {410--427},
doi = {10.1016/j.parco.2010.12.001},
url = {http://dx.doi.org/10.1016/j.parco.2010.12.001},
publisher = {Elsevier},
month = aug,
year = 2011,
}
-
Kalou Cabrera Castillos,
Frédéric Dadeau,
and Jacques Julliand.
Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance.
STTT, International Journal on Software Tools for Technology Transfer,
13(5):431--448,
2011.
Note: Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE'09).
@article{ccdj11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={*},
isi-acro = {*},
core-ranking = {B},
author = {Cabrera Castillos, Kalou and Dadeau, Fr\'ed\'eric and Julliand, Jacques},
title = {Scenario-Based Testing from {UML/OCL} Behavioral Models -- Application to {POSIX} Compliance},
journal = {STTT, International Journal on Software Tools for Technology Transfer},
volume = {13},
number = {5},
pages = {431--448},
doi = {10.1007/s10009-011-0189-7},
url = {http://dx.doi.org/10.1007/s10009-011-0189-7},
publisher = {Springer},
year = 2011,
note = {Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE'09).},
}
-
Jean-Claude Charr,
Raphaël Couturier,
and David Laiymani.
JACEP2P-V2: a Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures.
Future Generation Computer Systems,
27(5):606--613,
2011.
@article{ccl10:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={1.476},
isi-acro = {FUTURE GENER COMPUT SY},
author = {Charr, Jean-Claude and Couturier, Rapha\"el and Laiymani, David},
title = {{JACEP2P-V2}: a Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures},
journal = {Future Generation Computer Systems},
pages = {606--613},
volume = 27,
number = 5,
doi = {/10.1016/j.future.2010.04.013},
url = {http://dx.doi.org/10.1016/j.future.2010.04.013},
publisher = {Elsevier},
year = 2011,
}
-
Ming Chau,
Raphaël Couturier,
Jacques Bahi,
and Pierre Spiteri.
Parallel solution of obstacle problem in grid environments.
IJHPCA, The International Journal of High Performance Computing Applications,
25(4):488--495,
2011.
@article{ccbs11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={1.824},
isi-acro = {INT J HIGH PERFORM C},
author = {Chau, Ming and Couturier, Rapha\"el and Bahi, Jacques and Spiteri, Pierre},
title = {Parallel solution of obstacle problem in grid environments},
journal = {IJHPCA, The International Journal of High Performance Computing Applications},
pages = {488--495},
doi = {10.1177/1094342010395412},
url = {http://dx.doi.org/10.1177/1094342010395412},
volume = 25,
number = 4,
publisher = {Sage},
year = 2011,
}
-
Samir Chouali and Ahmed Hammad.
Formal verification of components assembly based on SysML and interface automata.
ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering,
7(4):265--274,
September 2011.
Note: Revised and extended version of a paper presented at the UML&FM'11 conference.
@article{ch11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
author = {Chouali, Samir and Hammad, Ahmed},
title = {Formal verification of components assembly based on {SysML} and interface automata},
journal = {ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering},
pages = {265--274},
doi = {10.1007/s11334-011-0170-3},
url = {http://dx.doi.org/10.1007/s11334-011-0170-3},
volume = 7,
number = 4,
publisher = {Springer},
month = sep,
year = 2011,
note = {Revised and extended version of a paper presented at the UML\&FM'11 conference.},
}
-
Frédéric Dadeau,
Fabien Peureux,
Bruno Legeard,
Régis Tissot,
Jacques Julliand,
Pierre-Alain Masson,
and Fabrice Bouquet.
Test Generation using Symbolic Animation of Models.
In Model-Based Testing for Embedded Systems,
Series on Computational Analysis, Synthesis, and Design of Dynamic Systems,
pages 195--218.
CRC Press,
2011.
@incollection{dplt+10:bc,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {OS},
author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Tissot, R\'egis and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice},
title = {Test Generation using Symbolic Animation of Models},
booktitle = {Model-Based Testing for Embedded Systems},
pages = {195--218},
series = {Series on Computational Analysis, Synthesis, and Design of Dynamic Systems},
publisher = {CRC Press},
year = 2011,
}
-
Karine Deschinkel,
Sid-Ahmed-Ali Touati,
and Sébastien Briais.
SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling.
Journal of Combinatorial Optimization,
22(4):819--844,
2011.
@article{dtb10:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.867},
isi-acro = {J COMB OPTIM},
author = {Deschinkel, Karine and Touati, Sid-Ahmed-Ali and Briais, S\'ebastien},
title = {{SIRALINA}: efficient two-steps heuristic for storage optimisation in single period task scheduling},
journal = {Journal of Combinatorial Optimization},
pages = {819--844},
volume = 22,
number = 4,
publisher = {Springer},
doi = {10.1007/s10878-010-9332-8},
url = {http://dx.doi.org/10.1007/s10878-010-9332-8},
year = 2011,
}
-
Sékou Diakité,
Loris Marchal,
Jean-Marc Nicod,
and Laurent Philippe.
Practical Steady-State Scheduling for Tree-Shaped Task Graphs.
PPL, Parallel Processing Letters,
21(4):397--412,
2011.
@article{dmnp11:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={*},
isi-acro = {*},
author = {Diakit\'e, S\'ekou and Marchal, Loris and Nicod, Jean-Marc and Philippe, Laurent},
title = {Practical Steady-State Scheduling for Tree-Shaped Task Graphs},
journal = {PPL, Parallel Processing Letters},
pages = {397--412},
doi = {10.1142/S0129626411000291},
url = {http://dx.doi.org/10.1142/S0129626411000291},
volume = 21,
number = 4,
publisher = {World Scientific Publishing},
year = 2011,
}
-
Sékou Diakité,
Jean-Marc Nicod,
Laurent Philippe,
and Lamiel Toch.
Assessing new approaches to schedule a batch of identical intree-shaped workflows on a heterogeneous platform.
International Journal of Parallel, Emergent and Distributed Systems,
27(1):79--107,
2011.
@article{dnpt11:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={*},
isi-acro = {*},
author = {Diakit\'e, S\'ekou and Nicod, Jean-Marc and Philippe, Laurent and Toch, Lamiel},
title = {Assessing new approaches to schedule a batch of identical intree-shaped workflows on a heterogeneous platform},
journal = {International Journal of Parallel, Emergent and Distributed Systems},
pages = {79--107},
volume = 27,
number = 1,
publisher = {Taylor \& Francis},
year = 2011,
}
-
Didier El Baz,
Vincent Boyer,
Julien Bourgeois,
Eugen Dedu,
and Kahina Boutoustous.
Distributed Part Differentiation in a Smart Surface.
Mechatronics,
*(*):***--***,
2011.
Note: Accepted manuscript. To appear.
@article{ebbbd+11:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={0.944},
isi-acro = {MECHATRONICS},
author = {El Baz, Didier and Boyer, Vincent and Bourgeois, Julien and Dedu, Eugen and Boutoustous, Kahina},
title = {Distributed Part Differentiation in a Smart Surface},
journal = {Mechatronics},
pages = {***--***},
volume = {*},
number = {*},
publisher = {Elsevier},
doi = {10.1016/j.mechatronics.2011.05.005},
url = {http://dx.doi.org/10.1016/j.mechatronics.2011.05.005},
year = 2011,
note = {Accepted manuscript. To appear},
}
-
J. Farah,
Julien Henriet,
R. Laurent,
E. Fontaine,
B. Chebel-Morello,
Marc Sauget,
Michel Salomon,
Libor Makovicka,
and D. Franck.
Development of a New CBR-Based Platform for Human Contamination Emergency Situations.
Radiation Protection Dosimetry,
144(1-4):564--570,
2011.
@article{fhlf+11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.707},
isi-acro = {RADIAT PROT DOSIM},
author = {Farah, J. and Henriet, Julien and Laurent, R. and Fontaine, E. and Chebel-Morello, B. and Sauget, Marc and Salomon, Michel and Makovicka, Libor and Franck, D.},
title = {Development of a New {CBR}-Based Platform for Human Contamination Emergency Situations},
journal = {Radiation Protection Dosimetry},
volume = 144,
number = {1-4},
pages = {564--570},
doi = {doi:10.1093/rpd.ncq440},
url = {http://rpd.oxfordjournals.org/content/144/1-4/564.abstract?sid=4467546a-ac4f-4b22-8e69-f126326aaa6d},
year = 2011,
}
-
Youssou Faye,
Ibrahima Niang,
and Thomas Noël.
A Survey of Access Control Schemes in Wireless Sensor Networks.
WASET, World Academy of Science, Engineering and Technology,
59:814--823,
2011.
Note: Selected paper from the ICWCSN 2011, Int. Conf. on Wireless Communication and Sensor Networks.
@article{fnn11:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={*},
isi-acro = {*},
author = {Faye, Youssou and Niang, Ibrahima and No\"el, Thomas},
title = {A Survey of Access Control Schemes in Wireless Sensor Networks},
journal = {WASET, World Academy of Science, Engineering and Technology},
pages = {814--823},
url = {http://www.waset.org/journals/waset/v59/v59-159.pdf},
volume = 59,
publisher = {WASET},
year = 2011,
note = {Selected paper from the ICWCSN 2011, Int. Conf. on Wireless Communication and Sensor Networks},
}
-
Pierre-Cyrille Héam.
On the Complexity of Computing the Profinite Closure of a Rational Language.
Theoretical Computer Science,
412(41):5808--5813,
2011.
@article{heam11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={0.943},
isi-acro = {THEOR COMPUT SCI},
author = {H\'eam, Pierre-Cyrille},
title = {On the Complexity of Computing the Profinite Closure of a Rational Language},
journal = {Theoretical Computer Science},
pages = {5808--5813},
volume = 412,
number = 41,
publisher = {Elsevier},
year = 2011,
}
-
Jacques Julliand,
Pierre-Alain Masson,
Régis Tissot,
and Pierre-Christophe Bué.
Generating Tests from B Specifications and Dynamic Selection Criteria.
FAC, Formal Aspects of Computing,
23(1):3--19,
2011.
Note: Revised and extended version of a paper from the ABZ'08 conference.
@article{jmtb11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={1.149},
isi-acro = {FORM ASP COMPUT},
author = {Julliand, Jacques and Masson, Pierre-Alain and Tissot, R\'egis and Bu\'e, Pierre-Christophe},
title = {Generating Tests from {B} Specifications and Dynamic Selection Criteria},
journal = {FAC, Formal Aspects of Computing},
doi = {10.1007/s00165-009-0132-9},
url = {http://dx.doi.org/10.1007/s00165-009-0132-9},
volume = 23,
number = 1,
pages = {3--19},
year = 2011,
note = {Revised and extended version of a paper from the ABZ'08 conference},
}
-
Jacques Julliand,
Hassan Mountassir,
and Emilie Oudot.
Incremental Verification of Component-Based Timed Systems.
IJCAT, International Journal of Computer Applications in Technology, special issue on Formal Modeling and Verification of Critical Systems,
42(2-3):***--***,
2011.
Note: Accepted manuscript. To appear.
@article{jmo10:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {0.333},
author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {Incremental Verification of Component-Based Timed Systems},
journal = {IJCAT, International Journal of Computer Applications in Technology, special issue on Formal Modeling and Verification of Critical Systems},
pages = {***--***},
volume = 42,
number = {2-3},
year = 2011,
note = {Accepted manuscript. To appear},
}
-
Mohamed Kallel,
M.-S. Bouhlel,
and Jean-Christophe Lapayre.
Security of the Medical Media Using an Hybrid and Multiple Watermark Technique.
IJIG, International Journal of Image and Graphics,
11(1):103--115,
2011.
@article{kbl10b:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-sjr = {#},
author = {Kallel, Mohamed and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {Security of the Medical Media Using an Hybrid and Multiple Watermark Technique},
journal = {IJIG, International Journal of Image and Graphics},
volume = 11,
number = 1,
pages = {103--115},
year = 2011,
}
-
Jonathan Lasalle,
Fabien Peureux,
and Frédéric Fondement.
Development of an automated MBT toolchain from UML/SysML models.
ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering,
7(4):247--256,
September 2011.
Note: Revised and extended version of a paper presented at the UML&FM'11 conference.
@article{lpf11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
author = {Lasalle, Jonathan and Peureux, Fabien and Fondement, Fr\'ed\'eric},
title = {Development of an automated {MBT} toolchain from {UML/SysML} models},
journal = {ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering},
pages = {247--256},
doi = {10.1007/s11334-011-0164-1},
url = {http://dx.doi.org/10.1007/s11334-011-0164-1},
volume = 7,
number = 4,
publisher = {Springer},
month = sep,
year = 2011,
note = {Revised and extended version of a paper presented at the UML\&FM'11 conference.},
}
-
R. Laurent,
Julien Henriet,
Michel Salomon,
Marc Sauget,
R. Gschwind,
and Libor Makovicka.
Respiratory lung motion using an artificial neural network.
Neural Computing & Applications,
pp 1--6,
2011.
@article{lhss+11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.563},
isi-acro = {NEURAL COMPUT APPL},
author = {Laurent, R. and Henriet, Julien and Salomon, Michel and Sauget, Marc and Gschwind, R. and Makovicka, Libor},
title = {Respiratory lung motion using an artificial neural network},
journal = {Neural Computing \& Applications},
publisher = {Springer},
pages = {1--6},
url = {http://dx.doi.org/10.1007/s00521-011-0727-y},
doi = {10.1007/s00521-011-0727-y},
year = 2011,
}
-
Remy Laurent,
Julien Henriet,
Michel Salomon,
Marc Sauget,
France Nguyen,
and Libor Makovicka.
Utilisation d'un réseau de neurones artificiels pour la simulation des mouvements pulmonaires.
Cancer/Radiothérapie,
15(2):123--129,
2011.
@article{lhss+11:nj,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Laurent, Remy and Henriet, Julien and Salomon, Michel and Sauget, Marc and Nguyen, France and Makovicka, Libor},
title = {Utilisation d'un r\'eseau de neurones artificiels pour la simulation des mouvements pulmonaires},
journal = {Cancer/Radioth\'erapie},
volume = 15,
number = 2,
pages = {123--129},
doi = {10.1016/j.canrad.2010.07.636},
url = {http://www.sciencedirect.com/science/article/B6VR6-51PB8W6-1/2/06581489855321efc7a59f57f96dd5f6},
publisher = {Elsevier},
year = 2011,
}
-
Hakim Mabed,
Alexandre Caminada,
and Jin-Kao Hao.
Genetic Tabu search for robust fixed channel assignment under dynamic traffic data.
Journal of Computational Optimization and Applications,
50(3):483--506,
December 2011.
@article{mch11:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={1.264},
isi-acro = {COMPUT OPTIM APPL},
author = {Mabed, Hakim and Caminada, Alexandre and Hao, Jin-Kao},
title = {Genetic Tabu search for robust fixed channel assignment under dynamic traffic data},
journal = {Journal of Computational Optimization and Applications},
volume = 50,
number = 3,
pages = {483--506},
doi = {10.1007/s10589-010-9376-9},
url = {http://dx.doi.org/10.1007/s10589-010-9376-9},
editor = {Spies, Fran\c{c}ois},
publisher = {Springer},
month = dec,
year = 2011,
}
-
David Martins and Hervé Guyennet.
Security in Wireless Sensor Networks: A Survey of Attacks and Countermeasures.
IJSSC, International Journal of Space-Based and Situated Computing,
1(2/3):151--162,
2011.
@article{mg11:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Martins, David and Guyennet, Herv\'e},
title = {Security in Wireless Sensor Networks: A Survey of Attacks and Countermeasures},
journal = {IJSSC, International Journal of Space-Based and Situated Computing},
pages = {151--162},
volume = 1,
number = {2/3},
publisher = {Inderscience},
year = 2011,
}
-
Alexander Mednykh and Alain Giorgetti.
Enumeration of genus four maps by number of edges.
Ars Mathematica Contemporanea,
4:351--361,
2011.
@article{mg11b:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
author = {Mednykh, Alexander and Giorgetti, Alain},
title = {Enumeration of genus four maps by number of edges},
journal = {Ars Mathematica Contemporanea},
pages = {351--361},
volume = 4,
issue = 2,
publisher = {DMFA Slovenije},
year = 2011,
}
-
Congduc Pham,
Abdallah Makhoul,
and Rachid Saadi.
Risk-based Adaptive Scheduling in Randomly Deployed Video Sensor Networks for Critical Surveillance Applications.
Journal of Network and Computer Applications,
34(2):783--795,
2011.
@article{pms11:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={1.111},
isi-acro = {J NETW COMPU APPL},
author = {Pham, Congduc and Makhoul, Abdallah and Saadi, Rachid},
title = {Risk-based Adaptive Scheduling in Randomly Deployed Video Sensor Networks for Critical Surveillance Applications},
journal = {Journal of Network and Computer Applications},
pages = {783--795},
volume = 34,
number = 2,
publisher = {Springer},
year = 2011,
}
-
Wassim Ramadan,
Eugen Dedu,
and Julien Bourgeois.
Avoiding quality oscillations during adaptive streaming of video.
IJDIWC, International Journal of Digital Information and Wireless Communications,
1(1):126--145,
November 2011.
@article{rdb11:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {Avoiding quality oscillations during adaptive streaming of video},
journal = {IJDIWC, International Journal of Digital Information and Wireless Communications},
volume = 1,
number = 1,
pages = {126--145},
url = {http://www.sdiwc.net/digital-library/web-admin/upload-pdf/00000102.pdf},
month = nov,
year = 2011,
}
-
Wassim Ramadan,
Eugen Dedu,
Dominique Dhoutaut,
and Julien Bourgeois.
RELD, RTT ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks.
Telecommunications Systems, special issue on Mobile Computing and Networking Technologies,
*(*):1--21,
2011.
@article{rddb11:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={0.286},
isi-acro = {TELECOMMUN SYST},
author = {Ramadan, Wassim and Dedu, Eugen and Dhoutaut, Dominique and Bourgeois, Julien},
title = {{RELD}, {RTT} {ECN} {L}oss {D}ifferentiation to optimize the performance of transport protocols on wireless networks},
journal = {Telecommunications Systems, special issue on Mobile Computing and Networking Technologies},
pages = {1--21},
volume = {*},
number = {*},
doi = {10.1007/s11235-011-9495-3},
url = {http://dx.doi.org/10.1007/s11235-011-9495-3},
publisher = {Springer},
year = 2011,
}
-
Nicolas Stouls,
Jacques Julliand,
Pierre-Christophe Bué,
and Pierre-Alain Masson.
B Model Slicing and Predicate Abstraction to Generate Tests.
SQJ, Software Quality Journal,
*(*):***--***,
2011.
Note: Accepted manuscript. Revised and extended version of a TAP'10 paper. To appear.
@article{jsbm11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={0.750},
isi-acro = {SOFTWARE QUAL J},
author = {Stouls, Nicolas and Julliand, Jacques and Bu\'e, Pierre-Christophe and Masson, Pierre-Alain},
title = {{B} Model Slicing and Predicate Abstraction to Generate Tests},
journal = {SQJ, Software Quality Journal},
pages = {***--***},
doi = {10.1007/s11219-011-9161-8},
url = {http://dx.doi.org/10.1007/s11219-011-9161-8},
volume = {*},
number = {*},
publisher = {Springer},
year = 2011,
note = {Accepted manuscript. Revised and extended version of a TAP'10 paper. To appear.}
}
-
Mark Utting,
Alexander Pretschner,
and Bruno Legeard.
A taxonomy of model-based testing approaches.
Software Testing, Verification and Reliability,
*(*):***--***,
2011.
Note: Published online. Paper version to appear.
@article{upl11:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={1.632},
isi-acro = {SOFTW TEST VERIF REL},
author = {Utting, Mark and Pretschner, Alexander and Legeard, Bruno},
title = {A taxonomy of model-based testing approaches},
journal = {Software Testing, Verification and Reliability},
pages = {***--***},
volume = {*},
number = {*},
doi = {10.1002/stvr.456},
url = {http://dx.doi.org/10.1002/stvr.456},
publisher = {John Wiley and Sons},
year = 2011,
note = {Published online. Paper version to appear},
}
-
Nabil Abdennadher,
Mohamed Ben Belgacem,
Raphaël Couturier,
David Laiymani,
Sébastien Miquée,
Marko Niinimäki,
and Marc Sauget.
Gridification of a Radiotherapy Dose Computation Application with the XtremWeb-CH Environment.
In GPC 2011, Grid and Pervasive Computing,
volume 6646 of LNCS,
Oulu, Finland,
pages 188--197,
May 2011.
@inproceedings{abbcl+11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Abdennadher, Nabil and Ben Belgacem, Mohamed and Couturier, Rapha\"el and Laiymani, David and Miqu\'ee, S\'ebastien and Niinim\"aki, Marko and Sauget, Marc},
title = {Gridification of a Radiotherapy Dose Computation Application with the {XtremWeb-CH} Environment},
booktitle = {GPC 2011, Grid and Pervasive Computing},
series = {LNCS},
volume = 6646,
pages = {188--197},
address = {Oulu, Finland},
month = may,
year = 2011,
}
-
Wahabou Abdou,
Christelle Bloch,
Damien Charlet,
Dominique Dhoutaut,
and François Spies.
Designing Smart Adaptive Flooding in MANET using Evolutionary Algorithm.
In MobilWare 2011, 4th Int. ICST Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications,
volume * of LNCS,
London, UK,
pages ***--***,
June 2011.
Springer.
Note: To appear.
Abstract:
|
This paper deals with broadcasting warning~/~emergency messages in mobile ad hoc networks. Traditional broadcasting schemes tend to focus on usually high and homogeneous neighborhood densities environments. This paper presents a broadcasting protocol that locally and dynamically adapts its strategy to the neighborhood densities. The behavior of the protocol is tuned using various internal parameters. Multiple combinations of those parameters have been pre-computed as optimal solutions for a range of neighborhood densities, and the most relevant one is dynamically chosen depending on the locally perceived environment. The combinations were determined by coupling an evolutionary algorithm and a network simulator, using a statistically realistic radio-propagation model (Shadowing Pattern). This approach is compared with other probabilistic methods while broadcasting an emergency message in vehicular ad hoc networks with variable and heterogeneous vehicle densities. In such a context, it is expected from the network to enable each node to receive the warning message. The results show that our protocol covers the whole network, whereas other methods only have a probability of 0.57 to 0.9 to cover the entire network. |
@inproceedings{abcs11:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Abdou, Wahabou and Bloch, Christelle and Charlet, Damien and Dhoutaut, Dominique and Spies, Fran\c{c}ois},
title = {Designing Smart Adaptive Flooding in {MANET} using Evolutionary Algorithm},
booktitle = {MobilWare 2011, 4th Int. ICST Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications},
pages = {***--***},
series = {LNCS},
volume = {*},
address = {London, UK},
publisher = {Springer},
abstract = {This paper deals with broadcasting warning~/~emergency messages in mobile ad hoc networks. Traditional broadcasting schemes tend to focus on usually high and homogeneous neighborhood densities environments. This paper presents a broadcasting protocol that locally and dynamically adapts its strategy to the neighborhood densities. The behavior of the protocol is tuned using various internal parameters. Multiple combinations of those parameters have been pre-computed as optimal solutions for a range of neighborhood densities, and the most relevant one is dynamically chosen depending on the locally perceived environment. The combinations were determined by coupling an evolutionary algorithm and a network simulator, using a statistically realistic radio-propagation model (Shadowing Pattern). This approach is compared with other probabilistic methods while broadcasting an emergency message in vehicular ad hoc networks with variable and heterogeneous vehicle densities. In such a context, it is expected from the network to enable each node to receive the warning message. The results show that our protocol covers the whole network, whereas other methods only have a probability of 0.57 to 0.9 to cover the entire network.},
month = jun,
year = 2011,
note = {To appear},
}
-
Wahabou Abdou,
Christelle Bloch,
Damien Charlet,
and François Spies.
Conception d'un protocole de diffusion auto-adaptatif pour les MANETs par approche évolutionniste.
In ROADEF'11, 12ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,
volume II,
Saint-Etienne, France,
pages 483--484,
March 2011.
@inproceedings{abcs11:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Abdou, Wahabou and Bloch, Christelle and Charlet, Damien and Spies, Fran\c{c}ois},
title = {Conception d'un protocole de diffusion auto-adaptatif pour les {MANETs} par approche \'evolutionniste},
booktitle = {ROADEF'11, 12\`eme Congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \`a la D\'ecision},
pages = {483--484},
volume = {II},
address = {Saint-Etienne, France},
month = mar,
year = 2011,
}
-
Mouhannad Alattar,
Françoise Sailhan,
and Julien Bourgeois.
Détection de liens falsifiés basée sur les traces en réseau mobile ad hoc.
In JDIR'11, 12èmes Journées Doctorales en Informatique et Réseaux, Session algorithmes sur les graphes,
Belfort, France,
November 2011.
@inproceedings{asb11:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Alattar, Mouhannad and Sailhan, Fran\c{c}oise and Bourgeois, Julien},
title = {D\'etection de liens falsifi\'es bas\'ee sur les traces en r\'eseau mobile ad hoc},
booktitle = {JDIR'11, 12\`emes Journ\'ees Doctorales en Informatique et R\'eseaux, Session algorithmes sur les graphes},
address = {Belfort, France},
month = nov,
year = 2011,
}
-
Jean-Baptiste Aupet,
Rami Kassab,
Jean-Christophe Lapayre,
and Franck Marzani.
Adaptative image flow in collaborative medical telediagnosis environments.
In CSCWD'11, 15-th Int. Conf. on Computer Supported Cooperative Work in Design,
Lausanne, Switzerland,
pages 685--689,
June 2011.
IEEE Computer Society Press.
@inproceedings{aklm11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Aupet, Jean-Baptiste and Kassab, Rami and Lapayre, Jean-Christophe and Marzani, Franck},
title = {Adaptative image flow in collaborative medical telediagnosis environments},
booktitle = {CSCWD'11, 15-th Int. Conf. on Computer Supported Cooperative Work in Design},
pages = {685--689},
publisher = {IEEE Computer Society Press},
doi = {10.1109/CSCWD.2011.5960192},
url = {http://dx.doi.org/10.1109/CSCWD.2011.5960192},
address = {Lausanne, Switzerland},
month = jun,
year = 2011,
}
-
Jean-Baptiste Aupet,
Jean-Christophe Lapayre,
and Yanbo Shou.
Adaptabilité des flux vidéos dans les logiciels collaboratifs : Test de qualité par référence prédéfinie.
In Ubimob 2011, 7es journées francophones Mobilité et Ubiquité,
Toulouse, France,
pages 96--108,
June 2011.
@inproceedings{als11:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Aupet, Jean-Baptiste and Lapayre, Jean-Christophe and Shou, Yanbo},
title = {Adaptabilit\'e des flux vid\'eos dans les logiciels collaboratifs : Test de qualit\'e par r\'ef\'erence pr\'ed\'efinie},
booktitle = {Ubimob 2011, 7es journ\'ees francophones Mobilit\'e et Ubiquit\'e},
pages = {96--108},
url = {http://www.irit.fr/ubimob2011/doc/Proceedings_Ubimob_2011.pdf},
address = {Toulouse, France},
month = jun,
year = 2011,
}
-
Jacques Bahi,
Sylvain Contassot-Vivier,
and Arnaud Giersch.
Load balancing in dynamic networks by bounded delays asynchronous diffusion.
In José Palma,
Michel Daydé,
Osni Marques,
and João Lopes, editors,
VECPAR'10, 9-th Int. Meeting on High Performance Computing for Computational Science: revised selected papers,
volume 6449 of LNCS,
pages 352--365,
2011.
Springer.
@inproceedings{bcvg11: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 Giersch, Arnaud},
title = {Load balancing in dynamic networks by bounded delays asynchronous diffusion},
booktitle = {VECPAR'10, 9-th Int. Meeting on High Performance Computing for Computational Science: revised selected papers},
pages = {352--365},
series = {LNCS},
volume = 6449,
doi = {10.1007/978-3-642-19328-6_33},
url = {http://dx.doi.org/10.1007/978-3-642-19328-6_33},
editor = {Palma, Jos\'e and Dayd\'e, Michel and Marques, Osni and Lopes, Jo\~ao},
publisher = {Springer},
year = 2011,
}
-
Jacques Bahi,
Jean-François Couchot,
and Christophe Guyeux.
Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations.
In INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet,
Luxembourg, Luxembourg,
pages 52--57,
June 2011.
Note: Best paper award.
@inproceedings{bcg11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations},
booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
pages = {52--57},
address = {Luxembourg, Luxembourg},
month = jun,
year = 2011,
note = {Best paper award},
}
-
Jacques Bahi,
Jean-François Couchot,
and Christophe Guyeux.
Steganography: a Class of Algorithms having Secure Properties.
In IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing,
Dalian, China,
pages ***--***,
October 2011.
Note: To appear.
@inproceedings{bcg11b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
title = {Steganography: a Class of Algorithms having Secure Properties},
booktitle = {IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
pages = {***--***},
address = {Dalian, China},
month = oct,
year = 2011,
note = {To appear},
}
-
Jacques Bahi,
Jean-François Couchot,
Christophe Guyeux,
and Adrien Richard.
On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems.
In FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory,
volume 6914 of LNCS,
Oslo, Norway,
pages 126--137,
August 2011.
@inproceedings{bcgr11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Richard, Adrien},
title = {On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems},
booktitle = {FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory},
series = {LNCS},
volume = 6914,
pages = {126--137},
doi = {10.1007/978-3-642-22953-4_11},
url = {http://dx.doi.org/10.1007/978-3-642-22953-4_11},
address = {Oslo, Norway},
month = aug,
year = 2011,
}
-
Jacques Bahi,
Jean-François Couchot,
Christophe Guyeux,
and Qianxue Wang.
Class of Trustworthy Pseudo Random Number Generators.
In INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet,
Luxembourg, Luxembourg,
pages ***--***,
June 2011.
Note: To appear.
@inproceedings{bcgw11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Wang, Qianxue},
title = {Class of Trustworthy Pseudo Random Number Generators},
booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
pages = {***--***},
address = {Luxembourg, Luxembourg},
month = jun,
year = 2011,
note = {To appear},
}
-
Jacques Bahi,
Raphaël Couturier,
and Lilia Ziane Khodja.
Parallel GMRES implementation for solving sparse linear systems on GPU clusters.
In HPC 2011, High Performance Computing Symposium,
Boston, Massachusetts, United States,
pages 21--28,
April 2011.
ACM.
@inproceedings{bczk11: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 Ziane Khodja, Lilia},
title = {Parallel {GMRES} implementation for solving sparse linear systems on {GPU} clusters},
booktitle = {HPC 2011, High Performance Computing Symposium},
pages = {21--28},
address = {Boston, Massachusetts, United States},
publisher = {ACM},
month = apr,
year = 2011,
}
-
Jacques Bahi,
Raphaël Couturier,
and Lilia Ziane Khodja.
Parallel sparse linear solver GMRES for GPU clusters with compression of exchanged data.
In HeteroPar'11, 9-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms,
volume *** of LNCS,
Bordeaux, France,
pages ***--***,
August 2011.
Springer.
Note: To appear.
@inproceedings{bczk11b: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 Ziane Khodja, Lilia},
title = {Parallel sparse linear solver {GMRES} for {GPU} clusters with compression of exchanged data},
booktitle = {HeteroPar'11, 9-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms},
pages = {***--***},
series = {LNCS},
volume = {***},
address = {Bordeaux, France},
publisher = {Springer},
month = aug,
year = 2011,
note = {To appear},
}
-
Jacques Bahi,
Nathalie Côté,
and Christophe Guyeux.
Chaos of Protein Folding.
In IJCNN 2011, Int. Joint Conf. on Neural Networks,
San Jose, California, United States,
pages 1948--1954,
July 2011.
@inproceedings{bgc11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and C\^ot\'e, Nathalie and Guyeux, Christophe},
title = {Chaos of Protein Folding},
booktitle = {IJCNN 2011, Int. Joint Conf. on Neural Networks},
pages = {1948--1954},
address = {San Jose, California, United States},
doi = {10.1109/IJCNN.2011.6033463},
url = {http://dx.doi.org/10.1109/IJCNN.2011.6033463},
month = jul,
year = 2011,
}
-
Jacques Bahi,
Xiaole Fang,
Christophe Guyeux,
and Qianxue Wang.
On the design of a family of CI pseudo-random number generators.
In WICOM'11, 7th Int. IEEE Conf. on Wireless Communications, Networking and Mobile Computing,
Wuhan, China,
pages 1--4,
September 2011.
@inproceedings{bfgw11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Fang, Xiaole and Guyeux, Christophe and Wang, Qianxue},
title = {On the design of a family of {CI} pseudo-random number generators},
booktitle = {WICOM'11, 7th Int. IEEE Conf. on Wireless Communications, Networking and Mobile Computing},
pages = {1--4},
doi = {10.1109/wicom.2011.6040161},
url = {http://dx.doi.org/10.1109/wicom.2011.6040161},
address = {Wuhan, China},
month = sep,
year = 2011,
}
-
Jacques Bahi,
Christophe Guyeux,
Abdallah Makhoul,
and Congduc Pham.
Secure scheduling of wireless video sensor nodes for surveillance applications.
In ADHOCNETS 11, 3rd Int. ICST Conference on Ad Hoc Networks,
volume 0089 of LNICST,
Paris, France,
pages ***--***,
September 2011.
Springer.
Note: To appear.
@inproceedings{bgmp11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe and Makhoul, Abdallah and Pham, Congduc},
title = {Secure scheduling of wireless video sensor nodes for surveillance applications},
booktitle = {ADHOCNETS 11, 3rd Int. ICST Conference on Ad Hoc Networks},
pages = {***--***},
address = {Paris, France},
series = {LNICST},
volume = 0089,
publisher = {Springer},
month = sep,
year = 2011,
note = {To appear},
}
-
Jacques Bahi,
Christophe Guyeux,
and Michel Salomon.
Building a Chaotic Proven Neural Network.
In ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security,
Maldives, Maldives,
pages ***--***,
May 2011.
@inproceedings{bgs11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe and Salomon, Michel},
title = {Building a Chaotic Proven Neural Network},
booktitle = {ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security},
pages = {***--***},
address = {Maldives, Maldives},
month = may,
year = 2011,
}
-
Jacques Bahi,
Mourad Hakem,
and Abdallah Makhoul.
Reliable Distributed Data Fusion Scheme in Unsafe Sensor Networks.
In AICCSA 2011, 9-th ACS/IEEE Int. Conf. on Computer Systems and Applications,
Sharm El-Sheikh, Egypt,
pages ***--***,
December 2011.
IEEE Computer Society Press.
Note: To appear.
@inproceedings{bhm11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Hakem, Mourad and Makhoul, Abdallah},
title = {Reliable Distributed Data Fusion Scheme in Unsafe Sensor Networks},
booktitle = {AICCSA 2011, 9-th ACS/IEEE Int. Conf. on Computer Systems and Applications},
pages = {***--***},
address = {Sharm El-Sheikh, Egypt},
publisher = {IEEE Computer Society Press},
month = dec,
year = 2011,
note = {To appear},
}
-
Jacques Bahi,
Abdallah Makhoul,
and Maguy Medlej.
Data Aggregation for Periodic Sensor Networks Using Sets Similarity Functions.
In IWCMC 2011, 7th IEEE Int. Wireless Communications and Mobile Computing Conference,
Istanbul, Turkey,
pages 559--564,
July 2011.
IEEE Computer Society Press.
@inproceedings{bmm11a:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Makhoul, Abdallah and Medlej, Maguy},
title = {Data Aggregation for Periodic Sensor Networks Using Sets Similarity Functions},
booktitle = {IWCMC 2011, 7th IEEE Int. Wireless Communications and Mobile Computing Conference},
pages = {559--564},
publisher = {IEEE Computer Society Press},
address = {Istanbul, Turkey},
month = jul,
year = 2011,
}
-
Jacques Bahi,
Abdallah Makhoul,
and Maguy Medlej.
Energy Efficient 2-Tiers Weighted in-Sensor Data Cleaning.
In SENSORCOMM'11, 5-th Int. Conf. on Sensor Technologies and Applications,
Nice, France,
pages 197--202,
August 2011.
@inproceedings{bmm11b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Makhoul, Abdallah and Medlej, Maguy},
title = {Energy Efficient 2-Tiers Weighted in-Sensor Data Cleaning},
booktitle = {SENSORCOMM'11, 5-th Int. Conf. on Sensor Technologies and Applications},
pages = {197--202},
address = {Nice, France},
month = aug,
year = 2011,
}
-
Walid Belkhir and Alain Giorgetti.
Lazy Rewriting Modulo Associativity and Commutativity.
In WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming,
Novi Sad, Serbia,
pages 17--21,
May 2011.
@inproceedings{bg11:oip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Belkhir, Walid and Giorgetti, Alain},
title = {Lazy Rewriting Modulo Associativity and Commutativity},
booktitle = {WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming},
pages = {17--21},
address = {Novi Sad, Serbia},
month = may,
year = 2011,
}
-
Nacéra Benaouda,
Hervé Guyennet,
Ahmed Hammad,
and Mohamed Lehsaini.
Design and Verification of a Self-organisation Algorithm for Sensor Networks.
In Azizah Abd Manaf,
Shamsul Sahibuddin,
Rabiah Ahmad,
Salwani Mohd Daud,
and Eyas El-Qawasmeh, editors,
ICIEIS 2011, Int. Conf. on Informatics Engineering and Information Science,
volume 253 of Communications in Computer and Information Science,
Kuala Lumpur, Malaysia,
pages 530--543,
2011.
Springer.
@inproceedings{bggl11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {ie},
classement = {ACTI},
author = {Benaouda, Nac\'era and Guyennet, Herv\'e and Hammad, Ahmed and Lehsaini, Mohamed},
title = {Design and Verification of a Self-organisation Algorithm for Sensor Networks},
booktitle = {ICIEIS 2011, Int. Conf. on Informatics Engineering and Information Science},
editor = {Abd Manaf, Azizah and Sahibuddin, Shamsul and Ahmad, Rabiah and Mohd Daud, Salwani and El-Qawasmeh, Eyas},
pages = {530--543},
doi = {10.1007/978-3-642-25462-8_48},
url = {http://dx.doi.org/10.1007/978-3-642-25462-8_48},
address = {Kuala Lumpur, Malaysia},
series = {Communications in Computer and Information Science},
volume = 253,
publisher = {Springer},
isbn = {978-3-642-25462-8},
year = 2011,
}
-
Anne Benoit,
Alexandru Dobrila,
Jean-Marc Nicod,
and Laurent Philippe.
Workload balancing and throughput optimization for heterogeneous systems subject to failures.
In Euro-Par 2011, 17th Int. European Conf. on Parallel and Distributed Computing,
Bordeaux, France,
pages 242--254,
August 2011.
Springer.
@inproceedings{bdnp11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Benoit, Anne and Dobrila, Alexandru and Nicod, Jean-Marc and Philippe, Laurent},
title = {Workload balancing and throughput optimization for heterogeneous systems subject to failures},
booktitle = {Euro-Par 2011, 17th Int. European Conf. on Parallel and Distributed Computing},
pages = {242--254},
address = {Bordeaux, France},
publisher = {Springer},
month = aug,
year = 2011,
}
-
E. Blanchart,
C. Cambier,
C. Canape,
B. Gaudou,
T.-N. Ho,
T.-V. Ho,
Christophe Lang,
F. Michel,
Nicolas Marilleau,
and Laurent Philippe.
EPIS: a grid platform to ease and optimize multi-agent simulators running.
In PAAMS 2011, 9th Int. Conf. on Practical Applications of Agents and Multiagent Systems,
Salamanca, Spain,
pages 129--134,
April 2011.
Springer.
@inproceedings{bccg+11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Blanchart, E. and Cambier, C. and Canape, C. and Gaudou, B. and Ho, T.-N. and Ho, T.-V. and Lang, Christophe and Michel, F. and Marilleau, Nicolas and Philippe, Laurent},
title = {{EPIS}: a grid platform to ease and optimize multi-agent simulators running},
booktitle = {PAAMS 2011, 9th Int. Conf. on Practical Applications of Agents and Multiagent Systems},
pages = {129--134},
address = {Salamanca, Spain},
publisher = {Springer},
month = apr,
year = 2011,
}
-
Julien Bourgeois and S.C. Goldstein.
Distributed Intelligent MEMS: Progresses and perspectives.
In ICT Innovations 2011: 3-rd Int. Conf. ICT Innovations,
volume * of Communications in Computer and Information Science,
Ohrid, Macedonia,
pages ***--***,
September 2011.
Springer.
Note: Keynote talk at ICT Innovations 2011.
@inproceedings{bg11a:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV},
author = {Bourgeois, Julien and Goldstein, S.C.},
title = {Distributed Intelligent {MEMS}: Progresses and perspectives},
booktitle = {ICT Innovations 2011: 3-rd Int. Conf. ICT Innovations},
series = {Communications in Computer and Information Science},
volume = {*},
pages = {***--***},
publisher = {Springer},
address = {Ohrid, Macedonia},
month = sep,
year = 2011,
note = {Keynote talk at ICT Innovations 2011},
}
-
Julien Bourgeois,
Vaidy Sunderam,
Jaroslaw Slawinski,
and Bogdan Cornea.
Extending executability of applications on varied target platforms.
In HPCC 2011, 13-th IEEE Int. Conf. on High Performance Computing and Communications,
Banff, Canada,
pages 1--8,
September 2011.
Note: Proceedings on CD ROM.
@inproceedings{bssc11:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Bourgeois, Julien and Sunderam, Vaidy and Slawinski, Jaroslaw and Cornea, Bogdan},
title = {Extending executability of applications on varied target platforms},
booktitle = {HPCC 2011, 13-th IEEE Int. Conf. on High Performance Computing and Communications},
accrate = {21.7},
pages = {1--8},
address = {Banff, Canada},
month = sep,
year = 2011,
note = {Proceedings on CD ROM},
}
-
Pierre-Christophe Bué,
Jacques Julliand,
and Pierrre-Alain Masson.
Association of Under-Approximation Techniques for Generating Tests from Models.
In TAP'11, 5-th Int. Conf. of Tests and Proofs,
volume 6706 of LNCS,
Zurich, Switzerland,
pages 51--68,
June 2011.
Springer.
@inproceedings{bjm11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierrre-Alain},
title = {Association of Under-Approximation Techniques for Generating Tests from Models},
booktitle = {TAP'11, 5-th Int. Conf. of Tests and Proofs},
series = {LNCS},
volume = 6706,
pages = {51--68},
publisher = {Springer},
address = {Zurich, Switzerland},
month = jun,
year = 2011,
}
-
Kalou Cabrera Castillos and Julien Botella.
Scenario Based Test Generation using Test Designer.
In SCENARIOS'11, 1st Int. Workshop on Scenario Based Testing -- co-located with ICST'2011,
Berlin, Germany,
pages 79--88,
March 2011.
IEEE Computer Society Press.
@inproceedings{cb11b:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Cabrera Castillos, Kalou and Botella, Julien},
title = {Scenario Based Test Generation using Test Designer},
booktitle = {SCENARIOS'11, 1st Int. Workshop on Scenario Based Testing -- co-located with ICST'2011},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICSTW.2011.93},
url = {http://dx.doi.org/10.1109/ICSTW.2011.93},
pages = {79--88},
address = {Berlin, Germany},
month = mar,
year = 2011,
}
-
Kalou Cabrera Castillos,
Frédéric Dadeau,
Jacques Julliand,
and Safouan Taha.
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests.
In B. Wolff and F. Zaidi, editors,
ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems,
volume 7019 of LNCS,
Paris, France,
pages 32--47,
November 2011.
Springer.
@inproceedings{ccdjt11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Cabrera Castillos, Kalou and Dadeau, Fr\'ed\'eric and Julliand, Jacques and Taha, Safouan},
title = {Measuring Test Properties Coverage for evaluating {UML/OCL} Model-Based Tests},
booktitle = {ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems},
pages = {32--47},
address = {Paris, France},
series = {LNCS},
volume = 7019,
publisher = {Springer},
editor = {Wolff, B. and Zaidi, F.},
month = nov,
year = 2011,
}
-
Ming Chau,
Raphaël Couturier,
Jacques Bahi,
and Pierre Spiteri.
Parallel solution of sequence of obstacle problems in grid environments.
In PARENG 2011, 2-nd Int. Conf. on Parallel, Distributed, Grid and Cloud Computing for Engineering,
Ajaccio, France,
April 2011.
Civil-Comp Press.
Note: Electronic proceedings.
@inproceedings{ccbs11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTIN},
author = {Chau, Ming and Couturier, Rapha\"el and Bahi, Jacques and Spiteri, Pierre},
title = {Parallel solution of sequence of obstacle problems in grid environments},
booktitle = {PARENG 2011, 2-nd Int. Conf. on Parallel, Distributed, Grid and Cloud Computing for Engineering},
doi = {10.4203/ccp.95.83},
url = {http://dx.doi.org/10.4203/ccp.95.83},
address = {Ajaccio, France},
publisher = {Civil-Comp Press},
month = apr,
year = 2011,
note = {Electronic proceedings},
}
-
Omar Chebaro,
Nikolaï Kosmatov,
Alain Giorgetti,
and Jacques Julliand.
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.
In TAP'11, 5-th Int. Conf. of Tests and Proofs,
volume 6706 of LNCS,
Zurich, Switzerland,
pages 78--83,
June 2011.
Springer.
Note: Short paper, TOOL session.
@inproceedings{ckgj11:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques},
title = {The {SANTE} Tool: Value Analysis, Program Slicing and Test Generation for {C} Program Debugging},
booktitle = {TAP'11, 5-th Int. Conf. of Tests and Proofs},
series = {LNCS},
volume = 6706,
pages = {78--83},
publisher = {Springer},
address = {Zurich, Switzerland},
month = jun,
year = 2011,
note = {Short paper, TOOL session},
}
-
Sébastien Chipeaux,
Fabrice Bouquet,
Christophe Lang,
and Nicolas Marilleau.
Modelling of complex systems with AML as realized in MIRO project.
In LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology),
Lyon, France,
pages 159--162,
August 2011.
IEEE Computer Society.
@inproceedings{cblm11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {ie},
classement = {ACTI},
author = {Chipeaux, S\'ebastien and Bouquet, Fabrice and Lang, Christophe and Marilleau, Nicolas},
title = {Modelling of complex systems with {AML} as realized in {MIRO} project},
booktitle = {LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology)},
pages = {159--162},
doi = {10.1109/WI-IAT.2011.195},
url = {http://dx.doi.org/10.1109/WI-IAT.2011.195},
address = {Lyon, France},
publisher = {IEEE Computer Society},
month = aug,
year = 2011,
}
-
Bogdan Cornea and Julien Bourgeois.
Performance Prediction of Distributed Applications Using Block Benchmarking Methods.
In PDP'11, 19-th Int. Euromicro Conf. on Parallel, Distributed and Network-Based Processing,
Ayia Napa, Cyprus,
pages 183--190,
February 2011.
IEEE Computer Society Press.
Abstract:
|
An ongoing work is presented for accurately predicting the performance of distributed applications in heterogeneous systems. We are developing dPerf, a tool built using the Rose framework for performing static analysis and an automatic instrumentation on the input source code of programs written in C, C++ or Fortran. The accuracy in predicting program computation time resides in using hardware counters, as well as in applying two block benchmarking techniques that we propose in this paper. The current work makes use of a network simulator in order to calculate the communication time used in our approach. Afterwards, the computation and communication times are being summed up obtaining an estimation of the distributed application execution time. The approach is proven experimentally using NAS Integer Sort benchmark, the communications being simulated with SimGrid. |
@inproceedings{cb11:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Cornea, Bogdan and Bourgeois, Julien},
title = {Performance Prediction of Distributed Applications Using Block Benchmarking Methods},
booktitle = {PDP'11, 19-th Int. Euromicro Conf. on Parallel, Distributed and Network-Based Processing},
pages = {183--190},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDP.2011.52},
url = {http://dx.doi.org/10.1109/PDP.2011.52},
address = {Ayia Napa, Cyprus},
abstract = {An ongoing work is presented for accurately predicting the performance of distributed applications in heterogeneous systems. We are developing dPerf, a tool built using the Rose framework for performing static analysis and an automatic instrumentation on the input source code of programs written in C, C++ or Fortran. The accuracy in predicting program computation time resides in using hardware counters, as well as in applying two block benchmarking techniques that we propose in this paper. The current work makes use of a network simulator in order to calculate the communication time used in our approach. Afterwards, the computation and communication times are being summed up obtaining an estimation of the distributed application execution time. The approach is proven experimentally using NAS Integer Sort benchmark, the communications being simulated with SimGrid.},
publisher = {IEEE Computer Society Press},
month = feb,
year = 2011,
}
-
Bogdan Cornea,
Julien Bourgeois,
The Tung Nguyen,
and Didier El-Baz.
Performance Prediction in a Decentralized Environment for Peer-to-Peer Computing.
In HotP2P'11, 8-th Int. Workshop on Hot Topics in Peer-to-Peer Systems, IEEE IPDPS Workshops,
Anchorage, Alaska, United States,
pages 1613--1621,
May 2011.
IEEE Computer Society Press.
Abstract:
|
P2PDC is an environment for high performance peer to peer computing that allows direct communication between peers. This environment is based on P2PSAP, a self adaptive communication protocol. P2PDC is suited to the solution of large scale numerical simulation problems via distributed iterative methods. dPerf is a performance prediction environment for parallel and distributed applications, with primary interest in programs written in C, C++, Fortran for P2PDC. The dPerf performance prediction tool makes use of static and dynamic analyses combined with trace-based simulation. In this paper, we present a decentralized version of P2PDC and show how dPerf predicts performance for the P2PDC environment. We present new features of P2PDC aimed at making it more scalable and robust. Through experiments with P2PDC and dPerf, we show how to properly choose a peer to peer computing system which can match the computing power of a cluster. |
@inproceedings{cbneb11:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Cornea, Bogdan and Bourgeois, Julien and Nguyen, The Tung and El-Baz, Didier},
title = {Performance Prediction in a Decentralized Environment for Peer-to-Peer Computing},
booktitle = {HotP2P'11, 8-th Int. Workshop on Hot Topics in Peer-to-Peer Systems, IEEE IPDPS Workshops},
pages = {1613--1621},
address = {Anchorage, Alaska, United States},
publisher = {IEEE Computer Society Press},
month = may,
year = 2011,
abstract = {P2PDC is an environment for high performance peer to peer computing that allows direct communication between peers. This environment is based on P2PSAP, a self adaptive communication protocol. P2PDC is suited to the solution of large scale numerical simulation problems via distributed iterative methods. dPerf is a performance prediction environment for parallel and distributed applications, with primary interest in programs written in C, C++, Fortran for P2PDC. The dPerf performance prediction tool makes use of static and dynamic analyses combined with trace-based simulation. In this paper, we present a decentralized version of P2PDC and show how dPerf predicts performance for the P2PDC environment. We present new features of P2PDC aimed at making it more scalable and robust. Through experiments with P2PDC and dPerf, we show how to properly choose a peer to peer computing system which can match the computing power of a cluster.},
}
-
Roméo Courbis.
Rewriting Approximations For Properties Verification Over CCS Specifications.
In FSEN'11, 4th Int. Conf. of Fundamentals of Software Ingeneering,
volume * of LNCS,
Tehran, Iran,
pages ***--***,
April 2011.
Springer.
Note: To appear.
@inproceedings{courbis11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Courbis, Rom\'eo},
title = {Rewriting Approximations For Properties Verification Over {CCS} Specifications},
booktitle = {FSEN'11, 4th Int. Conf. of Fundamentals of Software Ingeneering},
series = {LNCS},
volume = {*},
pages = {***--***},
publisher = {Springer},
address = {Tehran, Iran},
month = apr,
year = 2011,
note = {To appear},
}
-
Raphaël Couturier,
David Laiymani,
and Sébastien Miquée.
MAHEVE: An Efficient Reliable Mapping of Asynchronous Iterative Applications on volatile and Heterogeneous Environments.
In HeteroPar'10, 8-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms,
volume 6586 of LNCS,
Ischia, Italy,
pages 31--39,
August 2011.
Springer.
Note: Appeared in 2011 in an LNCS volume.
@inproceedings{clm10b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Couturier, Rapha\"el and Laiymani, David and Miqu\'ee, S\'ebastien},
title = {{MAHEVE}: An Efficient Reliable Mapping of Asynchronous Iterative Applications on volatile and Heterogeneous Environments},
booktitle = {HeteroPar'10, 8-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms},
pages = {31--39},
doi = {10.1007/978-3-642-21878-1_5},
url = {http://dx.doi.org/10.1007/978-3-642-21878-1_5},
series = {LNCS},
volume = 6586,
address = {Ischia, Italy},
publisher = {Springer},
month = aug,
year = 2011,
note = {Appeared in 2011 in an LNCS volume},
}
-
Gérard Cécé and Alain Giorgetti.
Simulations over Two-Dimensional On-Line Tessellation Automata.
In Giancarlo Mauri and Alberto Leporati, editors,
DLT 2011, Developments in Language Theory,
volume 6795 of LNCS,
Milan, Italy,
pages 141--152,
July 2011.
Springer.
@inproceedings{cg11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {C\'ec\'e, G\'erard and Giorgetti, Alain},
title = {Simulations over Two-Dimensional On-Line Tessellation Automata},
booktitle = {DLT 2011, Developments in Language Theory},
pages = {141--152},
doi = {10.1007/978-3-642-22321-1_13},
url = {http://dx.doi.org/10.1007/978-3-642-22321-1_13},
series = {LNCS},
volume = 6795,
editor = {Mauri, Giancarlo and Leporati, Alberto},
address = {Milan, Italy},
publisher = {Springer},
month = jul,
year = 2011,
}
-
Frédéric Dadeau,
Pierre-Cyrille Héam,
and Rafik Kheddam.
Mutation-Based Test Generation from Security Protocols in HLPSL.
In M. Harman and B. Korel, editors,
ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation,
Berlin, Germany,
pages 240--248,
March 2011.
IEEE Computer Society Press.
@inproceedings{dhk11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Kheddam, Rafik},
title = {Mutation-Based Test Generation from Security Protocols in {HLPSL}},
booktitle = {ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation},
pages = {240--248},
doi = {10.1109/ICST.2011.42},
url = {http://dx.doi.org/10.1109/ICST.2011.42},
address = {Berlin, Germany},
publisher = {IEEE Computer Society Press},
editor = {Harman, M. and Korel, B.},
month = mar,
year = 2011,
}
-
Frédéric Dadeau and Fabien Peureux.
Grey-box Testing and Verification of Java/JML.
In CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011,
Berlin, Germany,
pages 298--303,
March 2011.
IEEE Computer Society Press.
@inproceedings{dp11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien},
title = {Grey-box Testing and Verification of {Java/JML}},
booktitle = {CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011},
pages = {298--303},
doi = {10.1109/ICSTW.2011.30},
url = {http://dx.doi.org/ 10.1109/ICSTW.2011.30},
address = {Berlin, Germany},
publisher = {IEEE Computer Society Press},
month = mar,
year = 2011,
}
-
Karine Deschinkel.
A column generation based heuristic for maximum lifetime coverage in wireless sensor networks.
In SENSORCOMM'11, 5-th Int. Conf. on Sensor Technologies and Applications,
Nice, France,
pages 209--214,
August 2011.
Note: Best papers award.
@inproceedings{deschinkel11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Deschinkel, Karine},
title = {A column generation based heuristic for maximum lifetime coverage in wireless sensor networks},
booktitle = {SENSORCOMM'11, 5-th Int. Conf. on Sensor Technologies and Applications},
pages = {209--214},
address = {Nice, France},
month = aug,
year = 2011,
note = {Best papers award},
}
-
Julien Dormoy,
Olga Kouchnarenko,
and Arnaud Lanoix.
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.
In FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software,
volume * of LNCS,
Oslo, Norway,
pages ***--***,
September 2011.
Springer.
Note: To appear in the LNCS series.
@inproceedings{dkl11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dormoy, Julien and Kouchnarenko, Olga and Lanoix, Arnaud},
title = {Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components},
booktitle = {FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software},
pages = {***--***},
series = {LNCS},
volume = {*},
publisher = {Springer},
address = {Oslo, Norway},
month = sep,
year = 2011,
note = {To appear in the LNCS series},
}
-
Ivan Enderlin,
Frédéric Dadeau,
Alain Giorgetti,
and Abdallah Ben Othman.
Praspel: A Specification Language for Contract-Based Testing in PHP.
In B. Wolff and F. Zaidi, editors,
ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems,
volume 7019 of LNCS,
Paris, France,
pages 64--79,
November 2011.
Springer.
@inproceedings{edgbo11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Enderlin, Ivan and Dadeau, Fr\'ed\'eric and Giorgetti, Alain and Ben Othman, Abdallah},
title = {Praspel: A Specification Language for Contract-Based Testing in {PHP}},
booktitle = {ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems},
pages = {64--79},
address = {Paris, France},
series = {LNCS},
volume = 7019,
publisher = {Springer},
editor = {Wolff, B. and Zaidi, F.},
month = nov,
year = 2011,
}
-
Elizabeta Fourneret and Fabrice Bouquet.
UML/OCL based impact analysis to test evolvin critical software.
In ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf.,
Ohrid, Macedonia,
pages 73--79,
September 2011.
@inproceedings{fb11:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Fourneret, Elizabeta and Bouquet, Fabrice},
title = {{UML/OCL} based impact analysis to test evolvin critical software},
booktitle = {ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf.},
pages = {73--79},
address = {Ohrid, Macedonia},
month = sep,
year = 2011,
}
-
Elizabeta Fourneret,
Fabrice Bouquet,
Frédéric Dadeau,
and Stéphane Debricon.
Selective Test Generation Method for Evolving Critical Systems.
In REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011,
Berlin, Germany,
pages 125--134,
March 2011.
IEEE Computer Society Press.
@inproceedings{fbdd11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Fourneret, Elizabeta and Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Debricon, St\'ephane},
title = {Selective Test Generation Method for Evolving Critical Systems},
booktitle = {REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011},
pages = {125--134},
doi = {10.1109/ICSTW.2011.95},
url = {http://dx.doi.org/10.1109/ICSTW.2011.95},
address = {Berlin, Germany},
publisher = {IEEE Computer Society Press},
month = mar,
year = 2011,
}
-
Elizabeta Fourneret,
Martin Ochoa,
Fabrice Bouquet,
Julien Botella,
Jan Jürjens,
and Parvaneh Yousefi.
Model-Based Security Verification and Testing for Smart-cards.
In ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security,
Vienna, Austria,
pages 272--279,
August 2011.
@inproceedings{fobj+11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Fourneret, Elizabeta and Ochoa, Martin and Bouquet, Fabrice and Botella, Julien and J\"urjens, Jan and Yousefi, Parvaneh},
title = {Model-Based Security Verification and Testing for Smart-cards},
booktitle = {ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security},
pages = {272--279},
address = {Vienna, Austria},
month = aug,
year = 2011,
}
-
Nicolas Friot,
Christophe Guyeux,
and Jacques Bahi.
Chaotic Iterations for Steganography - Stego-security and chaos-security.
In SECRYPT'2011, Int. Conf. on Security and Cryptography,
Sevilla, Spain,
pages ***--***,
July 2011.
Note: To appear.
@inproceedings{fgb11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Friot, Nicolas and Guyeux, Christophe and Bahi, Jacques},
title = {Chaotic Iterations for Steganography - Stego-security and chaos-security},
booktitle = {SECRYPT'2011, Int. Conf. on Security and Cryptography},
pages = {***--***},
address = {Sevilla, Spain},
month = jul,
year = 2011,
note = {To appear},
}
-
Mohamed Hedi Karray,
Brigitte Chebel-Morello,
Christophe Lang,
and Noureddine Zerhouni.
A component based system for S-maintenance.
In INDIN'11, Conference on Industrial Informatics,
Lisbon, Portugal,
pages 1--8,
July 2011.
IEEE Computer Society Press.
Abstract:
|
Thanks to ICT, Web emergency and Internet, the achievement of maintenance services and monitoring can be performed automatically, remotely and through various distributed information systems. Hence the emergence of the concept of services offered through maintenance architectures, ranging from autonomic systems to integrated systems where knowledge management, cooperation and collaboration are vital to any operation. Into this context, new services like intelligent maintenance, self maintenance, etc are required. To this end, a new concept called s-maintenance is emerged. This concept defines a new generation of maintenance systems founded on a knowledge based system. While existing systems don't respond to the characteristics of this new generation of systems, we design in this paper an architecture of a maintenance component based system respecting the characteristics of s-maintenance. Each component in the system is defined to respond to one or many characteristics of this concept. |
@inproceedings{hkcmlz11:ip,
inhal = {hal-00612653},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Hedi Karray, Mohamed and Chebel-Morello, Brigitte and Lang, Christophe and Zerhouni, Noureddine},
title = {A component based system for {S}-maintenance},
booktitle = {INDIN'11, Conference on Industrial Informatics},
pages = {1--8},
address = {Lisbon, Portugal},
publisher = {IEEE Computer Society Press},
abstract = {Thanks to ICT, Web emergency and Internet, the achievement of maintenance services and monitoring can be performed automatically, remotely and through various distributed information systems. Hence the emergence of the concept of services offered through maintenance architectures, ranging from autonomic systems to integrated systems where knowledge management, cooperation and collaboration are vital to any operation. Into this context, new services like intelligent maintenance, self maintenance, etc are required. To this end, a new concept called s-maintenance is emerged. This concept defines a new generation of maintenance systems founded on a knowledge based system. While existing systems don't respond to the characteristics of this new generation of systems, we design in this paper an architecture of a maintenance component based system respecting the characteristics of s-maintenance. Each component in the system is defined to respond to one or many characteristics of this concept.},
url = {http://hal.archives-ouvertes.fr/hal-00612653},
month = jul,
year = 2011,
}
-
Hui Hui,
Youssef Yakoubi,
Michel Lenczner,
Scott Cogan,
André Meister,
Mélanie Favre,
Raphaël Couturier,
and Stéphane Domas.
Modeling, Filtering and Optimization for AFM Arrays.
In EuroSimE 2011, 12-th Int. Conf. on Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems,
Linz, Austria,
May 2011.
IEEE Computer Society Press.
Note: Electronic proceedings.
@inproceedings{hylc+11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Hui, Hui and Yakoubi, Youssef and Lenczner, Michel and Cogan, Scott and Meister, Andr\'e and Favre, M\'elanie and Couturier, Rapha\"el and Domas, St\'ephane },
title = {Modeling, Filtering and Optimization for {AFM} Arrays},
booktitle = {EuroSimE 2011, 12-th Int. Conf. on Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems},
address = {Linz, Austria},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ESIME.2011.5765783},
url = {http://dx.doi.org/10.1109/ESIME.2011.5765783},
month = may,
year = 2011,
note = {Electronic proceedings},
}
-
Pierre-Cyrille Héam,
Vincent Hugot,
and Olga Kouchnarenko.
Loops and overloops for tree walking automata.
In CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata,
volume 6807 of LNCS,
Blois, France,
pages 166--177,
July 2011.
Springer.
@inproceedings{hhk11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga},
title = {Loops and overloops for tree walking automata},
booktitle = {CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata},
pages = {166--177},
doi = {10.1007/978-3-642-22256-6_16},
url = {http://dx.doi.org/10.1007/978-3-642-22256-6_16},
address = {Blois, France},
series = {LNCS},
volume = 6807,
publisher = {Springer},
month = jul,
year = 2011,
}
-
Pierre-Cyrille Héam and Catherine Masson.
A Random Testing Approach Using Pushdown Automata.
In TAP'11, 5-th Int. Conf. of Tests and Proofs,
volume 6706 of LNCS,
Zurich, Switzerland,
pages 119--133,
June 2011.
Springer.
@inproceedings{hm11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {H\'eam, Pierre-Cyrille and Masson, Catherine},
title = {A Random Testing Approach Using Pushdown Automata},
booktitle = {TAP'11, 5-th Int. Conf. of Tests and Proofs},
series = {LNCS},
volume = 6706,
pages = {119--133},
publisher = {Springer},
address = {Zurich, Switzerland},
month = jun,
year = 2011,
}
-
Pierre-Cyrille Héam and Cyril Nicaud.
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing.
In ICST'11, 4-th IEEE Int. Conf. on Software Testing, Verification and Validation,
Berlin, Germany,
pages 60--69,
March 2011.
IEEE Computer Society.
@inproceedings{hn11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {H\'eam, Pierre-Cyrille and Nicaud, Cyril},
title = {Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing},
booktitle = {ICST'11, 4-th IEEE Int. Conf. on Software Testing, Verification and Validation},
pages = {60--69},
address = {Berlin, Germany},
publisher = {IEEE Computer Society},
doi = {10.1109/ICST.2011.31},
url = {http://dx.doi.org/10.1109/ICST.2011.31},
month = mar,
year = 2011,
}
-
Arnaud Lanoix,
Julien Dormoy,
and Olga Kouchnarenko.
Combining Proof and Model-checking to Validate Reconfigurable Architectures.
In FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS,
volume 279-2 of ENTCS, Electronic Notes in Theoretical Computer Science,
Saarbrücken, Germany,
pages 43--57,
April 2011.
@inproceedings{ldk11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Lanoix, Arnaud and Dormoy, Julien and Kouchnarenko, Olga},
title = {Combining Proof and Model-checking to Validate Reconfigurable Architectures},
booktitle = {FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS},
pages = {43--57},
doi = {10.1016/j.entcs.2011.11.011},
url = {http://dx.doi.org/10.1016/j.entcs.2011.11.011},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
volume = {279-2},
address = {Saarbr\"ucken, Germany},
month = apr,
year = 2011,
}
-
Jonathan Lasalle,
Fabien Peureux,
and Jérôme Guillet.
Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems.
In ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011,
Toronto, Canada,
pages 16--23,
July 2011.
@inproceedings{lpg11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Lasalle, Jonathan and Peureux, Fabien and Guillet, J\'er\^ome},
title = {Automatic test concretization to supply end-to-end {MBT} for automotive mecatronic systems},
booktitle = {ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011},
pages = {16--23},
doi = {10.1145/2002931.2002934},
url = {http://dx.doi.org/10.1145/2002931.2002934},
address = {Toronto, Canada},
month = jul,
year = 2011,
}
-
Fabio Massacci,
Fabrice Bouquet,
Elizabeta Fourneret,
Jan Jurjens,
Mass Lund,
Sébastien Madelénat,
JanTobias Muehlberg,
Federica Paci,
Stéphane Paul,
Frank Piessens,
Bjornar Solhaug,
and Sven Wenzel.
Orchestrating Security and System Engineering for Evolving Systems.
In Towards a Service-Based Internet,
volume 6994 of LNCS,
Poznan, Poland,
pages 134--143,
October 2011.
Note: Invited Talk at the 4th European Conference, ServiceWave 2011.
@inproceedings{mbfj+11:it,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {INV},
author = {Massacci, Fabio and Bouquet, Fabrice and Fourneret, Elizabeta and Jurjens, Jan and Lund, Mass and Madel\'enat, S\'ebastien and Muehlberg, JanTobias and Paci, Federica and Paul, St\'ephane and Piessens, Frank and Solhaug, Bjornar and Wenzel, Sven},
title = {Orchestrating Security and System Engineering for Evolving Systems},
booktitle = {Towards a Service-Based Internet},
series = {LNCS},
volume = 6994,
pages = {134--143},
doi = {10.1007/978-3-642-24755-2_12},
url = {http://dx.doi.org/10.1007/978-3-642-24755-2_12},
address = {Poznan, Poland},
month = oct,
year = 2011,
note = {Invited Talk at the 4th European Conference, ServiceWave 2011},
}
-
Malika Mehdi,
Jean-Claude Charr,
Nouredine Melab,
EL-Ghazali Talbi,
and Pascal Bouvry.
A Cooperative Tree-based Hybrid GA-B&B Approach for Solving Challenging Permutation-based Problems.
In GECCO 2011, Genetic and Evolutionary Computation Conference,
Dublin, Ireland,
pages ***--***,
July 2011.
ACM.
Note: To appear.
@inproceedings{mcmt+11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Mehdi, Malika and Charr, Jean-Claude and Melab, Nouredine and Talbi, EL-Ghazali and Bouvry, Pascal},
title = {A Cooperative Tree-based Hybrid {GA-B\&B} Approach for Solving Challenging Permutation-based Problems},
booktitle = {GECCO 2011, Genetic and Evolutionary Computation Conference},
pages = {***--***},
address = {Dublin, Ireland},
publisher = {ACM},
month = jul,
year = 2011,
note = {To appear},
}
-
Sebti Mouelhi,
Samir Chouali,
and Hassan Mountassir.
Invariant Preservation by Component Composition Using Semantical Interface Automata.
In ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances,
Barcelona, Spain,
pages 305--311,
October 2011.
@inproceedings{mcm11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
corerank = {C},
author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan},
title = {Invariant Preservation by Component Composition Using Semantical Interface Automata},
booktitle = {ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances},
pages = {305--311},
address = {Barcelona, Spain},
month = oct,
year = 2011,
}
-
T. Moulahi,
Hervé Guyennet,
Mohamed Lehsaini,
and S. Nasri.
An Energy Aware MPR-based Broadcasting Algorithms for Wireless Sensor.
In iCOST 2011, IEEE sponsored Int. Conf. on Selected Topics in Mobile and Wireless Networking,
Shanghai, China,
pages 13--18,
October 2011.
IEEE Computer Society.
@inproceedings{mgln11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Moulahi, T. and Guyennet, Herv\'e and Lehsaini, Mohamed and Nasri, S.},
title = {An Energy Aware {MPR}-based Broadcasting Algorithms for Wireless Sensor},
booktitle = {iCOST 2011, IEEE sponsored Int. Conf. on Selected Topics in Mobile and Wireless Networking},
pages = {13--18},
doi = {10.1109/iCOST.2011.6085826},
url = {http://dx.doi.org/10.1109/iCOST.2011.6085826},
address = {Shanghai, China},
publisher = {IEEE Computer Society},
month = oct,
year = 2011,
}
-
Jean-Marc Nicod,
Laurent Philippe,
Veronika Rehn-Sonigo,
and Lamiel Toch.
Using Virtualization and Job Folding for Batch Scheduling.
In ISPDC'2011, 10th Int. Symposium on Parallel and Distributed Computing,
Cluj-Napoca, Romania,
pages 39--41,
July 2011.
IEEE Computer Society Press.
@inproceedings{nprst11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Nicod, Jean-Marc and Philippe, Laurent and Rehn-Sonigo, Veronika and Toch, Lamiel},
title = {Using Virtualization and Job Folding for Batch Scheduling},
booktitle = {ISPDC'2011, 10th Int. Symposium on Parallel and Distributed Computing},
publisher = {IEEE Computer Society Press},
pages = {39--41},
address = {Cluj-Napoca, Romania},
month = jul,
year = 2011,
}
-
Gilles Perrot,
Stéphane Domas,
Raphaël Couturier,
and Nicolas Bertaux.
GPU Implementation of a Region Based Algorithm for Large Images Segmentation.
In CIT 2011, 11-th IEEE Int. Conf. on Computer and Information Technology,
Pafos, Cyprus,
August 2011.
IEEE Computer Society Press.
Note: Electronic proceedings.
@inproceedings{pdcb11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Perrot, Gilles and Domas, St\'ephane and Couturier, Rapha\"el and Bertaux, Nicolas},
title = {{GPU} Implementation of a Region Based Algorithm for Large Images Segmentation},
booktitle = {CIT 2011, 11-th IEEE Int. Conf. on Computer and Information Technology},
address = {Pafos, Cyprus},
publisher = {IEEE Computer Society Press},
url = {http://dx.doi.org/10.1109/CIT.2011.60 },
month = aug,
year = 2011,
note = {Electronic proceedings},
}
-
Laurent Philippe,
Jean-Marc Nicod,
and Lamiel Toch.
A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid.
In HeteroPar'2011, 9-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms,
volume 7155 of LNCS,
Bordeaux, France,
pages 419--428,
2011.
Note: To appear in the Springer LNCS series.
@inproceedings{pnt11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Philippe, Laurent and Nicod, Jean-Marc and Toch, Lamiel},
title = {A Genetic Algorithm with Communication Costs to Schedule Workflows on a {SOA}-Grid},
booktitle = {HeteroPar'2011, 9-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms},
pages = {419--428},
series = {LNCS},
volume = 7155,
address = {Bordeaux, France},
year = 2011,
note = {To appear in the Springer LNCS series},
}
-
Wassim Ramadan.
Améliorer la qualité de la vidéo sur Internet.
In Prix A'Doc de la jeune recherche en Franche-Comté,
Besançon, France,
pages 91--108,
June 2011.
Presses Universitaires de Franche-Comté.
Note: Prix : Lauréat du prix A'Doc 2011.
@inproceedings{ramadan11:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {PRIX},
author = {Ramadan, Wassim},
title = {Am\'eliorer la qualit\'e de la vid\'eo sur Internet},
booktitle = {Prix A'Doc de la jeune recherche en Franche-Comt\'e},
pages = {91--108},
address = {Besan\c{c}on, France},
publisher = {Presses Universitaires de Franche-Comt\'e},
month = jun,
year = 2011,
note = {Prix : Laur\'eat du prix A'Doc 2011},
}
-
Wassim Ramadan,
Eugen Dedu,
and Julien Bourgeois.
Avoiding zigzag quality switching in real content adaptive video streaming.
In Hocine Cherifi,
Jasni Mohamad Zain,
and Eyas El-Qawasmeh, editors,
DICTAP 2011, 1st Int. Conf. on Digital Information and Communication Technology and Its Applications,
volume 167 of CCIS, Communications in Computer and Information Science,
Dijon, France,
pages 421--435,
June 2011.
Springer.
@inproceedings{rdb11:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {Avoiding zigzag quality switching in real content adaptive video streaming},
booktitle = {DICTAP 2011, 1st Int. Conf. on Digital Information and Communication Technology and Its Applications},
pages = {421--435},
series = {CCIS, Communications in Computer and Information Science},
volume = 167,
editor = {Cherifi, Hocine and Mohamad Zain, Jasni and El-Qawasmeh, Eyas},
address = {Dijon, France},
publisher = {Springer},
month = jun,
year = 2011,
}
-
Veronika Rehn-Sonigo,
Denis Trystram,
Frédéric Wagner,
Haifeng Xu,
and Guochuan Zhang.
Offline Scheduling of Multi-Threaded Request Streams on a Caching Server.
In IPDPS'11, Int. Parallel and Distributed Processing Symposium,
Anchorage, Alaska, United States,
pages 1154--1163,
May 2011.
IEEE Computer Society Press.
@inproceedings{rstwx+11:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Rehn-Sonigo, Veronika and Trystram, Denis and Wagner, Fr\'ed\'eric and Xu, Haifeng and Zhang, Guochuan},
title = {Offline Scheduling of Multi-Threaded Request Streams on a Caching Server},
booktitle = {IPDPS'11, Int. Parallel and Distributed Processing Symposium},
pages = {1154--1163},
doi = {10.1109/IPDPS.2011.111},
url = {http://dx.doi.org/10.1109/IPDPS.2011.111},
address = {Anchorage, Alaska, United States},
publisher = {IEEE Computer Society Press},
month = may,
year = 2011,
}
-
Aurélie Robert,
Karine Deschinkel,
Sébastien Roth,
Xiu Tian Yan,
and Samuel Gomes.
Approche DFA et conception fonctionnelle de produits modulaires : le modèle FARD.
In CIGI 2011, 9ème congrès international de Génie Industriel,
Québec, Canada,
pages 8 pages,
October 2011.
@inproceedings{rdry+11:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Robert, Aur\'elie and Deschinkel, Karine and Roth, S\'ebastien and Yan, Xiu Tian and Gomes, Samuel},
title = {Approche {DFA} et conception fonctionnelle de produits modulaires : le mod\`ele {FARD}},
booktitle = {CIGI 2011, 9\`eme congr\`es international de G\'enie Industriel},
pages = {8 pages},
address = {Qu\'ebec, Canada},
month = oct,
year = 2011,
}
-
Aurélie Robert,
Xiu Tian Yan,
Sébastien Roth,
Karine Deschinkel,
and Samuel Gomes.
A new approach to modularity in product development - utilising assembly sequence knowledge.
In ICED'11, Int. Conf. on Engineering Design,
Copenhague, Denmark,
pages ***--***,
August 2011.
Note: To appear.
@inproceedings{ryrd+11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTIN},
author = {Robert, Aur\'elie and Yan, Xiu Tian and Roth, S\'ebastien and Deschinkel, Karine and Gomes, Samuel},
title = {A new approach to modularity in product development - utilising assembly sequence knowledge},
booktitle = {ICED'11, Int. Conf. on Engineering Design},
pages = {***--***},
address = {Copenhague, Denmark},
month = aug,
year = 2011,
note = {To appear},
}
-
Aurélie Robert,
Xiu Tian Yan,
Sébastien Roth,
Karine Deschinkel,
and Samuel Gomes.
Vers une nouvelle approche de conception ''hautement productive'' intégrant la démarche DFA.
In AIP PRIMECA 2011, 12e Colloque National,
Le Mont-Dore, France,
pages ***--***,
April 2011.
@inproceedings{ryrd+11:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Robert, Aur\'elie and Yan, Xiu Tian and Roth, S\'ebastien and Deschinkel, Karine and Gomes, Samuel},
title = {Vers une nouvelle approche de conception ''hautement productive'' int\'egrant la d\'emarche {DFA}},
booktitle = {AIP PRIMECA 2011, 12e Colloque National},
pages = {***--***},
address = {Le Mont-Dore, France},
month = apr,
year = 2011,
}
-
Marc Sauget,
Julien Henriet,
Michel Salomon,
and Sylvain Contassot-Vivier.
Large Datasets: A Mixed Method to Adapt and Improve Their Learning by Neural Networks Used in Regression Contexts.
In EANN/AIAI 2011, Engineering Applications of Neural Networks,
volume 363 of IFIP Advances in Information and Communication Technology,
Corfu, Greece,
pages 182--191,
September 2011.
Springer.
@inproceedings{shscv11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Sauget, Marc and Henriet, Julien and Salomon, Michel and Contassot-Vivier, Sylvain},
title = {Large Datasets: A Mixed Method to Adapt and Improve Their Learning by Neural Networks Used in Regression Contexts},
booktitle = {EANN/AIAI 2011, Engineering Applications of Neural Networks},
pages = {182--191},
doi = {10.1007/978-3-642-23957-1_21},
url = {http://dx.doi.org/10.1007/978-3-642-23957-1_21},
series = {IFIP Advances in Information and Communication Technology},
volume = 363,
publisher = {Springer},
address = {Corfu, Greece},
month = sep,
year = 2011,
}
-
Raheel Hassan Syed,
Jasmina Pazardzievska,
and Julien Bourgeois.
Minimization of Security Alerts Under Denial of Service Attacks in Grid Computing Networks.
In GCA 2011, Int. Conf. on Grid Computing and Applications,
Las Vegas, United States,
pages 1--7,
July 2011.
Note: Electronic proceedings.
@inproceedings{spb11:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Syed, Raheel Hassan and Pazardzievska, Jasmina and Bourgeois, Julien},
title = {Minimization of Security Alerts Under Denial of Service Attacks in Grid Computing Networks},
booktitle = {GCA 2011, Int. Conf. on Grid Computing and Applications},
pages = {1--7},
address = {Las Vegas, United States},
month = jul,
year = 2011,
note = {Electronic proceedings},
}
-
Raheel Hassan Syed,
Jasmina Pazardzievska,
Maxime Syrame,
and Julien Bourgeois.
Une proposition pour améliorer la sécurité des grilles de calcul face aux attaques distribuées par déni de service.
In JDIR'11, 12èmes Journées Doctorales en Informatique et Réseaux,
Belfort, France,
November 2011.
@inproceedings{spsb11:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Syed, Raheel Hassan and Pazardzievska, Jasmina and Syrame, Maxime and Bourgeois, Julien},
title = {Une proposition pour am\'eliorer la s\'ecurit\'e des grilles de calcul face aux attaques distribu\'ees par d\'eni de service},
booktitle = {JDIR'11, 12\`emes Journ\'ees Doctorales en Informatique et R\'eseaux},
address = {Belfort, France},
month = nov,
year = 2011,
}
-
Qing Xu,
Hakim Mabed,
Frédéric Lassabe,
and Alexandre Caminada.
Efficient dynamic radio ressources management for multimedia broadcast multicast services.
In JDIR'11, 12èmes Journées Doctorales en Informatique et Réseaux,
Belfort, France,
November 2011.
@inproceedings{xmlc11:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Xu, Qing and Mabed, Hakim and Lassabe, Fr\'ed\'eric and Caminada, Alexandre},
title = {Efficient dynamic radio ressources management for multimedia broadcast multicast services},
booktitle = {JDIR'11, 12\`emes Journ\'ees Doctorales en Informatique et R\'eseaux},
address = {Belfort, France},
month = nov,
year = 2011,
}
-
Youssef Yakoubi,
Michel Lenczner,
Gwenael Goavec-Merou,
Raphaël Couturier,
and Jean-Michel Friedt.
Diffusive Realization of a Lyapunov Equation Solution, and its FPGA Implementation.
In 18th IFAC World Congress,
Milano, Italy,
May 2011.
Note: Electronic proceedings.
@inproceedings{ylgmc+11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTIN},
author = {Yakoubi, Youssef and Lenczner, Michel and Goavec-Merou, Gwenael and Couturier, Rapha\"el and Friedt, Jean-Michel},
title = {Diffusive Realization of a Lyapunov Equation Solution, and its {FPGA} Implementation},
booktitle = {18th IFAC World Congress},
address = {Milano, Italy},
url = {http://dx.doi.org/10.3182/20110828-6-IT-1002.03496 },
month = may,
year = 2011,
note = {Electronic proceedings},
}
-
Bin Yang,
Walid Belkhir,
Raj Narayan Dhara,
Michel Lenczner,
and Alain Giorgetti.
Computer-Aided Multiscale Model Derivation for MEMS Arrays.
In EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems,
Linz, Austria,
April 2011.
IEEE Computer Society.
Note: 6 pages. Electronic proceedings.
@inproceedings{ydbl+11:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Yang, Bin and Belkhir, Walid and Dhara, Raj Narayan and Lenczner, Michel and Giorgetti, Alain},
title = {Computer-Aided Multiscale Model Derivation for {MEMS} Arrays},
booktitle = {EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems},
doi = {10.1109/ESIME.2011.5765784},
url = {http://dx.doi.org/10.1109/ESIME.2011.5765784},
address = {Linz, Austria},
publisher = {IEEE Computer Society},
month = apr,
year = 2011,
note = {6 pages. Electronic proceedings},
}
-
Bin Yang,
Raj Narayan Dhara,
Walid Belkhir,
Michel Lenczner,
and Alain Giorgetti.
Formal Methods for Multiscale Models Derivation.
In CFM 2011, 20-th Congrès Français de Mécanique,
Besançon, France,
August 2011.
Note: 5 pages. Electronic proceedings.
@inproceedings{ydbl+11:oip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Yang, Bin and Dhara, Raj Narayan and Belkhir, Walid and Lenczner, Michel and Giorgetti, Alain},
title = {Formal Methods for Multiscale Models Derivation},
booktitle = {CFM 2011, 20-th Congr\`es Fran\c{c}ais de M\'ecanique},
address = {Besan\c{c}on, France},
month = aug,
year = 2011,
note = {5 pages. Electronic proceedings.},
}
-
Bruno Legeard,
Fabrice Bouquet,
and Natacha Pickaert.
Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test,
Collection InfoPro.
Dunod,
November 2011.
Note: 2ème édition. 304 pages. ISBN : 9782100566563.
Abstract:
|
Cet ouvrage s'adresse à tous les chefs de projets et aux personnes qui ont à mettre en place une stratégie et une organisation de tests pour les applications dont ils ont la charge. Il concerne également les DSI, les responsables méthodes et qualité qui ont à guider les méthodes de travail de leurs équipes. Ce livre traite du test fonctionnel au cours des différentes phases de qualification. Il montre comment la conception, puis la construction et la mise en oeuvre des tests peuvent s'appuyer sur des processus systématiques et "industrialisables". La première partie décrit le cycle de la qualification et les besoins d'industrialisation associés. La deuxième partie décrit les techniques à mettre en oeuvre pour aboutir à une démarche systématique. Elle présente un processus outillé et les éléments clés d'un déploiement réussi. La troisième partie expose dans le détail trois études de cas (progiciel, application web, système embarqué) et synthétise les facteurs du ROI. Le test logiciel a beaucoup progressé ces dernières années, tant au niveau des méthodes, des processus que des outils disponibles. Ce livre fournit les éléments opérationnels qui vous permettront de vous situer au meilleur niveau des pratiques actuelles. Ce livre est prolongé par un site de référence sur le test fonctionnel accessible à l'adresse suivante : www.portaildutest.fr |
@book{lbp11:bc,
inhal = {hal-00645019},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {OS},
author = {Legeard, Bruno and Bouquet, Fabrice and Pickaert, Natacha},
title = {Industrialiser le test fonctionnel. {P}our ma{\^\i}triser les risques m\'etier et accro{\^\i}tre l'efficacit\'e du test},
abstract = {Cet ouvrage s'adresse à tous les chefs de projets et aux personnes qui ont à mettre en place une stratégie et une organisation de tests pour les applications dont ils ont la charge. Il concerne également les DSI, les responsables méthodes et qualité qui ont à guider les méthodes de travail de leurs équipes. Ce livre traite du test fonctionnel au cours des différentes phases de qualification. Il montre comment la conception, puis la construction et la mise en oeuvre des tests peuvent s'appuyer sur des processus systématiques et "industrialisables". La première partie décrit le cycle de la qualification et les besoins d'industrialisation associés. La deuxième partie décrit les techniques à mettre en oeuvre pour aboutir à une démarche systématique. Elle présente un processus outillé et les éléments clés d'un déploiement réussi. La troisième partie expose dans le détail trois études de cas (progiciel, application web, système embarqué) et synthétise les facteurs du ROI. Le test logiciel a beaucoup progressé ces dernières années, tant au niveau des méthodes, des processus que des outils disponibles. Ce livre fournit les éléments opérationnels qui vous permettront de vous situer au meilleur niveau des pratiques actuelles. Ce livre est prolongé par un site de référence sur le test fonctionnel accessible à l'adresse suivante : www.portaildutest.fr},
url = {http://hal.inria.fr/hal-00645019},
publisher = {Dunod},
series = {Collection InfoPro},
month = nov,
year = 2011,
note = {2\`eme \'edition. 304 pages. ISBN : 9782100566563.},
}
-
Anne Benoit,
Alexandru Dobrila,
Jean-Marc Nicod,
and Laurent Philippe.
Workload balancing and throughput optimization for heterogeneous systems subject to failures.
Research report RR-7532,
INRIA,
February 2011.
Keywords:
Distributed Systems,
Fault Tolerance,
Scheduling,
Optimization Heuristics.
Abstract:
|
In this report, we study the problem of optimizing the throughput of applications for heterogeneous platforms subject to failures. The considered applications are composed of a sequence of consecutive tasks linked as a linear graph (pipeline), with a type associated to each task. The challenge is to specialize the machines of a target platform to process only one task type, given that every machine is able to process all the types before being specialized, to avoid costly context or setup changes. Each instance can thus be performed by any machine specialized in its type and the workload of the system can be shared among a set of specialized machines. For identical machines, we prove that an optimal solution can be computed in polynomial time. However, the problem becomes NP-hard when two machines can compute the same task type at different speeds. Several polynomial time heuristics are presented for the most realistic specialized settings. Experimental results show that the best heuristics obtain a good throughput, much better than the throughput obtained with a random mapping, and close to the optimal throughput in the particular cases on which the optimal throughput can be computed. |
@techreport{bdnp11:ir,
inhal = {inria},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Dobrila, Alexandru and Nicod, Jean-Marc and Philippe, Laurent},
title = {{Workload balancing and throughput optimization for heterogeneous systems subject to failures}},
type = {Research report},
institution = {INRIA},
number = {RR-7532},
keywords = {Distributed Systems, Fault Tolerance, Scheduling, Optimization Heuristics},
pdf = {http://hal.inria.fr/docs/00/56/51/51/PDF/RR-7532.pdf},
url = {http://hal.inria.fr/inria-00565151},
abstract = {In this report, we study the problem of optimizing the throughput of applications for heterogeneous platforms subject to failures. The considered applications are composed of a sequence of consecutive tasks linked as a linear graph (pipeline), with a type associated to each task. The challenge is to specialize the machines of a target platform to process only one task type, given that every machine is able to process all the types before being specialized, to avoid costly context or setup changes. Each instance can thus be performed by any machine specialized in its type and the workload of the system can be shared among a set of specialized machines. For identical machines, we prove that an optimal solution can be computed in polynomial time. However, the problem becomes NP-hard when two machines can compute the same task type at different speeds. Several polynomial time heuristics are presented for the most realistic specialized settings. Experimental results show that the best heuristics obtain a good throughput, much better than the throughput obtained with a random mapping, and close to the optimal throughput in the particular cases on which the optimal throughput can be computed.},
month = feb,
year = 2011
}
-
Matteo Cypriani,
Philippe Canalda,
Frédéric Lassabe,
and François Spies.
Wi-Fi-Based Indoor Positioning: Basic Techniques, Hybrid Algorithms and Open Software Platform.
Research Report RR2011-06,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
January 2011.
Note: Published in September 2010 in IPIN 2010, IEEE int. conf. on Indoor Positioning and Indoor Navigation.
Abstract:
|
In urbanized and indoor environments, outdoor positioning systems, such as Global Navigation Satellite Systems (GNSSs), are often inaccurate and adaptations of such systems to those contexts are expensive and hard to deploy. Nowadays, a lot of indoor positioning techniques have been studied, but it it quite difficult to objectively evaluate and compare their accuracies in the same environment. Our \emph{Open Wireless Positioning System} (OWLPS) allows a comparison of indoor positioning algorithms and techniques with the same input data. Those techniques include propagation models, signal strength map, building topology, description of access points. Few algorithms use a Viterbi-like algorithm to take into account the pathway of the mobile terminal. This paper presents a new hybrid algorithm combining a signal strength cartography and a calibrated propagation model. Finally, we compare our solution with well known algorithms in order to evaluate the results in a real context. |
@techreport{ccls11:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Cypriani, Matteo and Canalda, Philippe and Lassabe, Fr\'ed\'eric and Spies, Fran\c{c}ois},
title = {{Wi-Fi}-Based Indoor Positioning: Basic Techniques, Hybrid Algorithms and Open Software Platform},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-06},
pdf = {/~publis/papers/pub/2011/RR2011-06.pdf},
abstract = {In urbanized and indoor environments, outdoor positioning systems, such as Global Navigation Satellite Systems (GNSSs), are often inaccurate and adaptations of such systems to those contexts are expensive and hard to deploy. Nowadays, a lot of indoor positioning techniques have been studied, but it it quite difficult to objectively evaluate and compare their accuracies in the same environment. Our \emph{Open Wireless Positioning System} (OWLPS) allows a comparison of indoor positioning algorithms and techniques with the same input data. Those techniques include propagation models, signal strength map, building topology, description of access points. Few algorithms use a Viterbi-like algorithm to take into account the pathway of the mobile terminal. This paper presents a new hybrid algorithm combining a signal strength cartography and a calibrated propagation model. Finally, we compare our solution with well known algorithms in order to evaluate the results in a real context.},
month = jan,
year = 2011,
note = {Published in September 2010 in IPIN 2010, IEEE int. conf. on Indoor Positioning and Indoor Navigation}
}
-
Matteo Cypriani,
Philippe Canalda,
and François Spies.
Problématiques de sécurité dans un système de géolocalisation implicite.
Research Report RR2011-04,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
January 2011.
Note: Publié en octobre 2009 dans CFIP'09, Colloque Francophone sur l'Ingénierie des Protocoles (2 pages, session posters).
Abstract:
|
Dans le cadre de nos recherches sur la géolocalisation en intérieur par Wi-Fi, nous avons réalisé un système expérimental permettant de tester et comparer différentes techniques de positionnement. Cet article introduit l'une des perspectives majeures d'amélioration, à court terme, de notre système : la géolocalisation implicite, c'est-à-dire ne nécessitant pas que le mobile requière explicitement sa position auprès de l'infrastructure. Cette dernière, à partir des informations qu'elle reçoit sur le réseau, est capable de détecter la présence des mobiles et de calculer leur position. Nous appliquons ici ce principe au cas d'un système de détection d'intrusions de mobiles non autorisés, et soulevons les problématiques posées en terme de sécurité, un tel système devant être résistant aux tentatives de tromperies de mobiles attaquants. Nous dressons ensuite une liste de techniques pouvant être utilisées par ces attaquants afin de nuire au système. |
@techreport{ccs11:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Cypriani, Matteo and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {Probl\'ematiques de s\'ecurit\'e dans un syst\`eme de g\'eolocalisation implicite},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-04},
pdf = {/~publis/papers/pub/2011/RR2011-04.pdf},
month = jan,
year = 2011,
abstract = {Dans le cadre de nos recherches sur la géolocalisation en intérieur par Wi-Fi, nous avons réalisé un système expérimental permettant de tester et comparer différentes techniques de positionnement. Cet article introduit l'une des perspectives majeures d'amélioration, à court terme, de notre système : la géolocalisation implicite, c'est-à-dire ne nécessitant pas que le mobile requière explicitement sa position auprès de l'infrastructure. Cette dernière, à partir des informations qu'elle reçoit sur le réseau, est capable de détecter la présence des mobiles et de calculer leur position. Nous appliquons ici ce principe au cas d'un système de détection d'intrusions de mobiles non autorisés, et soulevons les problématiques posées en terme de sécurité, un tel système devant être résistant aux tentatives de tromperies de mobiles attaquants. Nous dressons ensuite une liste de techniques pouvant être utilisées par ces attaquants afin de nuire au système.},
note = {Publié en octobre 2009 dans CFIP'09, Colloque Francophone sur l'Ing\'enierie des Protocoles (2 pages, session posters)},
}
-
Matteo Cypriani,
Adrien Henriet,
Philippe Canalda,
and François Spies.
Étude de l'interception et du positionnement de trafic Wi-Fi dans un environnement hétérogène.
Research Report RR2011-05,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
January 2011.
Note: Publié en novembre 2009 dans C&ESAR'09, Computer and Electronics Security Applications Rendez-vous.
Abstract:
|
Dans le cadre d'une politique de sécurité dans les réseaux sans fils, il est intéressant de pouvoir identifier la position géographique d'une source de données, pour s'assurer de sa légitimé et de son utilisation du réseau. Dans cette optique, nous proposons ici un aperçu des possibilités de capture de trafic mises en relation avec un système de géolocalisation centralisé. Notre axe d'étude porte en particulier sur le matériel courant, librement accessible au plus grand nombre et à un faible coût. |
@techreport{chcs11:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Cypriani, Matteo and Henriet, Adrien and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {\'Etude de l'interception et du positionnement de trafic {Wi-Fi} dans un environnement h\'et\'erog\`ene},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-05},
pdf = {/~publis/papers/pub/2011/RR2011-05.pdf},
month = jan,
year = 2011,
abstract = {Dans le cadre d'une politique de sécurité dans les réseaux sans fils, il est intéressant de pouvoir identifier la position géographique d'une source de données, pour s'assurer de sa légitimé et de son utilisation du réseau. Dans cette optique, nous proposons ici un aperçu des possibilités de capture de trafic mises en relation avec un système de géolocalisation centralisé. Notre axe d'étude porte en particulier sur le matériel courant, librement accessible au plus grand nombre et à un faible coût.},
note = {Publié en novembre 2009 dans C\&ESAR'09, Computer and Electronics Security Applications Rendez-vous},
}
-
Matteo Cypriani,
Frédéric Lassabe,
Philippe Canalda,
and François Spies.
Open Wireless Positionning System: a Wi-Fi-Based Indoor Positionning System.
Research Report RR2011-03,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
January 2011.
Note: Publié en octobre 2009 dans CFIP'09, Colloque Francophone sur l'Ingénierie des Protocoles (2 pages, session posters).
Abstract:
|
Wireless network positioning is the main pillar of the continuity of rich and mobile multimedia applications. Good position accuracy is particularly difficult to obtain in urban or leafy areas and indoors or in mixed (both indoor and outdoor) environments. A system proposing such positioning must localize any mobile terminal accurately within hostile environments and ideally be low-cost and easy to deploy. We propose an indoor positioning system, based on the IEEE 802.11 wireless network. This system, named OWLPS (\emph{Open WireLess Positioning System}), implements several of the major mobile position computation algorithms and techniques: fingerprinting location, topology-based and viterbi-like algorithm, propagation models. These algorithms result from community work and our personal researches. |
@techreport{clcs11:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Cypriani, Matteo and Lassabe, Fr\'ed\'eric and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {{O}pen {W}ireless {P}ositionning {S}ystem: a {Wi-Fi}-Based Indoor Positionning System},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-03},
pdf = {/~publis/papers/pub/2011/RR2011-03.pdf},
abstract = {Wireless network positioning is the main pillar of the continuity of rich and mobile multimedia applications. Good position accuracy is particularly difficult to obtain in urban or leafy areas and indoors or in mixed (both indoor and outdoor) environments. A system proposing such positioning must localize any mobile terminal accurately within hostile environments and ideally be low-cost and easy to deploy. We propose an indoor positioning system, based on the IEEE 802.11 wireless network. This system, named OWLPS (\emph{Open WireLess Positioning System}), implements several of the major mobile position computation algorithms and techniques: fingerprinting location, topology-based and viterbi-like algorithm, propagation models. These algorithms result from community work and our personal researches.},
note = {Publié en octobre 2009 dans CFIP'09, Colloque Francophone sur l'Ing\'enierie des Protocoles (2 pages, session posters)},
month = jan,
year = 2011,
}
-
Matteo Cypriani,
Frédéric Lassabe,
Philippe Canalda,
Soumaya Zirari,
and François Spies.
Open Wireless Positioning System : un système de géopositionnement par Wi-Fi en intérieur.
Research Report RR2011-02,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
January 2011.
Note: Publié en février 2009 dans JDIR'09, 10èmes Journées Doctorales en Informatique et Réseaux.
Abstract:
|
Le géopositionnement dans les réseaux sans fil est le premier verrou à ouvrir pour permettre une continuité des applications multimédias riches en mobilité, au sein de zones bâties, en intérieur comme en extérieur. Il est donc nécessaire d'être capable de bien se localiser au sein d'environnements hostiles, tout particulièrement à l'intérieur des bâtiments. Un système permettant ce géopositionnement serait dans l'idéal peu coûteux et facile à déployer. Nous proposons un système de géolocalisation en intérieur, fondé sur le réseau sans fil Wi-Fi. Ce système, baptisé OWLPS (\emph{Open WireLess Positioning System}), met en ½uvre différents algorithmes de calcul de la position du mobile provenant des travaux de la communauté, et nos propres algorithmes. |
@techreport{clcz+11:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Cypriani, Matteo and Lassabe, Fr\'ed\'eric and Canalda, Philippe and Zirari, Soumaya and Spies, Fran\c{c}ois},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {{O}pen {W}ireless {P}ositioning {S}ystem : un syst\`eme de g\'eopositionnement par Wi-Fi en int\'erieur},
type = {Research Report},
number = {RR2011-02},
pdf = {/~publis/papers/pub/2011/RR2011-02.pdf},
month = jan,
year = 2011,
abstract = {Le géopositionnement dans les réseaux sans fil est le premier verrou à ouvrir pour permettre une continuité des applications multimédias riches en mobilité, au sein de zones bâties, en intérieur comme en extérieur. Il est donc nécessaire d'être capable de bien se localiser au sein d'environnements hostiles, tout particulièrement à l'intérieur des bâtiments. Un système permettant ce géopositionnement serait dans l'idéal peu coûteux et facile à déployer. Nous proposons un système de géolocalisation en intérieur, fondé sur le réseau sans fil Wi-Fi. Ce système, baptisé OWLPS (\emph{Open WireLess Positioning System}), met en ½uvre différents algorithmes de calcul de la position du mobile provenant des travaux de la communauté, et nos propres algorithmes.},
note = {Publié en février 2009 dans JDIR'09, 10\`emes Journ\'ees Doctorales en Informatique et R\'eseaux},
}
-
Lionel Droz-Bartholet,
Fabrice Bouquet,
Jean-Christophe Lapayre,
and Eric Garcia.
Preuve de la garantie de la séquentialité du système collaboratif RAMOS.
Research Report RR2011-12,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
December 2011.
Abstract:
|
RAMOS est un algorithme hautement tolérant aux pannes qui implémente un noyau collaborative à mémoire séquentielle partagée pour un environnement dynamique. Ce noyau autorise des participants à joindre le système, à le quitter ou à subir une défaillance durant l'exécution de ce dernier. Afin de garantir une haute disponibilité des données en présence de défaillance, ces dernières sont répliquées à différents emplacements du réseaux. Le maintien de la cohérence des données en présence de changements est assurée par l'utilisation d'un algorithme de consensus appelé Paxos, ainsi que par une séquence de commandes ordonnées commune à tous les sites. Ce rapport présente la preuve de la garantie de la séquentialité au sein du système RAMOS. |
@techreport{bblg11:ir,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {*},
author = {Droz-Bartholet, Lionel and Bouquet, Fabrice and Lapayre, Jean-Christophe and Garcia, Eric},
title = {Preuve de la garantie de la s\'equentialit\'e du syst\`eme collaboratif {RAMOS}},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-12},
pdf = {/~publis/papers/pub/2011/RR2011-12.pdf},
abstract = {RAMOS est un algorithme hautement tolérant aux pannes qui implémente un noyau collaborative à mémoire séquentielle partagée pour un environnement dynamique. Ce noyau autorise des participants à joindre le système, à le quitter ou à subir une défaillance durant l'exécution de ce dernier. Afin de garantir une haute disponibilité des données en présence de défaillance, ces dernières sont répliquées à différents emplacements du réseaux. Le maintien de la cohérence des données en présence de changements est assurée par l'utilisation d'un algorithme de consensus appelé Paxos, ainsi que par une séquence de commandes ordonnées commune à tous les sites. Ce rapport présente la preuve de la garantie de la séquentialité au sein du système RAMOS.},
month = dec,
year = 2011,
}
-
Jean-Marc Nicod,
Laurent Philippe,
and Lamiel Toch.
A Genetic Algorithm to Schedule Workflow Collections on a SOA-Grid with Communication Costs.
Research report RR2011-01,
LIFC - Laboratoire d'Informatique de Franche-Comté,
January 2011.
Keywords:
Batch scheduling,
grid computing,
heterogeneous platform,
genetic algorithm.
Abstract:
|
In this paper we study the problem of scheduling a collection of workflows, identical or not, on a SOA grid. A workflow (job) is represented by a directed acyclic graph (DAG) with typed tasks. All of the grid hosts are able to process a set of task types with unrelated processing costs and are able to transmit files through communication links for which the communication times are not negligible. The goal is to minimize the maximum completion time (makespan) of the workflows. To solve this problem we propose a genetic approach. The contributions of this paper are both the design of a Genetic Algorithm taking the communication costs into account and the performance analysis. |
@techreport{pnt11a:ir,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {*},
author = {Nicod, Jean-Marc and Philippe, Laurent and Toch, Lamiel},
title = {{A Genetic Algorithm to Schedule Workflow Collections on a SOA-Grid with Communication Costs}},
type = {Research report},
institution = {LIFC - {L}aboratoire d'{I}nformatique de {F}ranche-{C}omt\'{e}},
number = {RR2011-01},
keywords = {Batch scheduling, grid computing, heterogeneous platform, genetic algorithm},
pdf = {/~publis/papers/pub/2011/RR2011-01.pdf},
abstract = {In this paper we study the problem of scheduling a collection of workflows, identical or not, on a SOA grid. A workflow (job) is represented by a directed acyclic graph (DAG) with typed tasks. All of the grid hosts are able to process a set of task types with unrelated processing costs and are able to transmit files through communication links for which the communication times are not negligible. The goal is to minimize the maximum completion time (makespan) of the workflows. To solve this problem we propose a genetic approach. The contributions of this paper are both the design of a Genetic Algorithm taking the communication costs into account and the performance analysis.},
month = {Jan},
year = 2011,
}
-
Wassim Ramadan,
Eugen Dedu,
and Julien Bourgeois.
EcnLD, ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks.
Research Report RR2011-08,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
June 2011.
Note: Published in ICUMT 2009, Int. Conf. on Ultra Modern Telecommunications & Workshops, WMCNT workshop.
Abstract:
|
One major yet unsolved problem in wired-cum-wireless networks is the classification of losses, which can be due either to wireless temporary interferences or to network congestion. The transport protocol response to losses has to be different for these two cases. If the transmission uses existing protocols like TCP, the losses will always be classified as congestion losses by the data sender, causing reduced throughput. In wired networks, ECN (Explicit Congestion Notification) can be used to control the congestion through active queue management such as RED (Random Early Detection). It can also be used to resolve the transport protocol misreaction on wireless networks. This paper proposes a loss differentiation method (EcnLD), based on ECN signaling and RTT, and applied to TCPlike. TCPlike is one of the two current congestion controls present in the new transport protocol DCCP (Datagram Congestion Control Protocol). Our results indicate that EcnLD is a good approach to optimize congestion control and therefore increase the performance of transport protocols over wireless networks. |
@techreport{rdb11b:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {{EcnLD}, {ECN Loss Differentiation} to optimize the performance of transport protocols on wireless networks},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-08},
abstract = {One major yet unsolved problem in wired-cum-wireless networks is the classification of losses, which can be due either to wireless temporary interferences or to network congestion. The transport protocol response to losses has to be different for these two cases. If the transmission uses existing protocols like TCP, the losses will always be classified as congestion losses by the data sender, causing reduced throughput. In wired networks, ECN (Explicit Congestion Notification) can be used to control the congestion through active queue management such as RED (Random Early Detection). It can also be used to resolve the transport protocol misreaction on wireless networks. This paper proposes a loss differentiation method (EcnLD), based on ECN signaling and RTT, and applied to TCPlike. TCPlike is one of the two current congestion controls present in the new transport protocol DCCP (Datagram Congestion Control Protocol). Our results indicate that EcnLD is a good approach to optimize congestion control and therefore increase the performance of transport protocols over wireless networks. },
month = jun,
year = 2011,
pdf = {/~publis/papers/pub/2011/RR2011-08.pdf},
note = {Published in ICUMT 2009, Int. Conf. on Ultra Modern Telecommunications \& Workshops, WMCNT workshop}
}
-
Wassim Ramadan,
Eugen Dedu,
and Julien Bourgeois.
RELD, RTT ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks.
Research Report RR2011-09,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
June 2011.
Note: Published in 2011in Telecommunications Systems journal, special issue on Mobile Computing and Networking Technologies.
Abstract:
|
One major yet unsolved problem in wired-cum-wireless networks is the classification of losses, which might result from wireless temporary interferences or from network congestion. The transport protocol response to losses should be different for these two cases. If the transmission uses existing protocols like TCP, the losses are always classified as congestion losses by sender, causing reduced throughput. In wired networks, ECN (Explicit Congestion Notification) can be used to control the congestion through active queue management such as RED (Random Early Detection). It can also be used to solve the transport protocol misreaction over wireless networks. This paper proposes a loss differentiation method (RELD), based on ECN signaling and RTT, and applied to TCPlike. TCPlike is one of the three current congestion controls present in the new transport protocol DCCP (Datagram Congestion Control Protocol). Our simulations, using a more realistic simulated loss error model for wireless networks, show that RELD optimizes congestion control and therefore increases the performance of transport protocols over wireless networks, leading to an average performance gain ranging from 10% to 15%. |
@techreport{rdb11c:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {{RELD}, {RTT} {ECN} {L}oss {D}ifferentiation to optimize the performance of transport protocols on wireless networks},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-09},
abstract = {One major yet unsolved problem in wired-cum-wireless networks is the classification of losses, which might result from wireless temporary interferences or from network congestion. The transport protocol response to losses should be different for these two cases. If the transmission uses existing protocols like TCP, the losses are always classified as congestion losses by sender, causing reduced throughput. In wired networks, ECN (Explicit Congestion Notification) can be used to control the congestion through active queue management such as RED (Random Early Detection). It can also be used to solve the transport protocol misreaction over wireless networks. This paper proposes a loss differentiation method (RELD), based on ECN signaling and RTT, and applied to TCPlike. TCPlike is one of the three current congestion controls present in the new transport protocol DCCP (Datagram Congestion Control Protocol). Our simulations, using a more realistic simulated loss error model for wireless networks, show that RELD optimizes congestion control and therefore increases the performance of transport protocols over wireless networks, leading to an average performance gain ranging from 10% to 15%. },
month = jun,
year = 2011,
pdf = {/~publis/papers/pub/2011/RR2011-09.pdf},
note = {Published in 2011in Telecommunications Systems journal, special issue on Mobile Computing and Networking Technologies }
}
-
Wassim Ramadan,
Eugen Dedu,
and Julien Bourgeois.
Une méthode de différenciation de pertes pour améliorer la performance des protocoles de transport sur réseaux sans-fil.
Research Report RR2011-07,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
June 2011.
Note: Published in JDIR 2009, 10èmes Journées doctorales en informatique et réseaux.
Abstract:
|
In this study we present a new approach to improve the performance of transport protocols on wireless networks. A major unresolved problems of wireless networks is that the losses that occur because of temporary interferences in wireless networks are seen as congestion losses by the source, which causes an unnecessary reduction of sending rate. This kind of protocols are generally designed to operate on wired networks where losses are mainly due to congestion. Their performance is degraded when used on wireless networks. In wired networks, ECN (Explicit Congestion Notification) can be used to control the congestion through active queue management such as RED (Random Early Detection). This paper proposes a loss differentiation method (EcnLD), based on ECN signaling. It is applied to TCPlike, which is one of the two current congestion controls present in the new transport protocol DCCP (Datagram Congestion Control Protocol). Our results indicate that EcnLD is a good approach to optimize congestion control and therefore increase the performance of transport protocols over wireless networks. |
@techreport{rdb11a:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {Une m\'ethode de diff\'erenciation de pertes pour am\'eliorer la performance des protocoles de transport sur r\'eseaux sans-fil},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-07},
abstract = {In this study we present a new approach to improve the performance of transport protocols on wireless networks. A major unresolved problems of wireless networks is that the losses that occur because of temporary interferences in wireless networks are seen as congestion losses by the source, which causes an unnecessary reduction of sending rate. This kind of protocols are generally designed to operate on wired networks where losses are mainly due to congestion. Their performance is degraded when used on wireless networks. In wired networks, ECN (Explicit Congestion Notification) can be used to control the congestion through active queue management such as RED (Random Early Detection). This paper proposes a loss differentiation method (EcnLD), based on ECN signaling. It is applied to TCPlike, which is one of the two current congestion controls present in the new transport protocol DCCP (Datagram Congestion Control Protocol). Our results indicate that EcnLD is a good approach to optimize congestion control and therefore increase the performance of transport protocols over wireless networks.},
month = jun,
year = 2011,
pdf = {/~publis/papers/pub/2011/RR2011-07.pdf},
note = {Published in JDIR 2009, 10\`emes Journ\'ees doctorales en informatique et r\'eseaux}
}
-
Wassim Ramadan,
Eugen Dedu,
and Julien Bourgeois.
VAAL, Video Adaptation at Application Layer and Experiments using DCCP.
Research Report RR2011-10,
LIFC - Laboratoire d'Informatique de l'Université de Franche Comté,
June 2011.
Note: Published in WPMC 2010, 13-th Int. Symposium on Wireless Personal Multimedia Communications.
Abstract:
|
More and more high definition and high quality videos are nowadays stored on Internet but they are not accessible for everybody because high and stable bandwidth is needed to stream them. A lower bitrate encoding is usually chosen but it leads to lower quality too. A solution is to use a TCP-friendly transport protocol and let the application itself choose for each user the bitrate of the video which matches the network bandwidth. This paper presents VAAL, a simple and efficient method designed to ameliorate user video experience. It involves only the application layer on the sender. The main idea of VAAL is that the sender application monitors the network conditions by checking transport protocol buffer overflows and adapts the video bitrate accordingly. Experimental results show that the video adaptation using VAAL performs very well compared to the currently widely-used static encoding. |
@techreport{rdb11d:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {{VAAL}, Video Adaptation at Application Layer and Experiments using {DCCP}},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
type = {Research Report},
number = {RR2011-10},
abstract = {More and more high definition and high quality videos are nowadays stored on Internet but they are not accessible for everybody because high and stable bandwidth is needed to stream them. A lower bitrate encoding is usually chosen but it leads to lower quality too. A solution is to use a TCP-friendly transport protocol and let the application itself choose for each user the bitrate of the video which matches the network bandwidth. This paper presents VAAL, a simple and efficient method designed to ameliorate user video experience. It involves only the application layer on the sender. The main idea of VAAL is that the sender application monitors the network conditions by checking transport protocol buffer overflows and adapts the video bitrate accordingly. Experimental results show that the video adaptation using VAAL performs very well compared to the currently widely-used static encoding.},
month = jun,
year = 2011,
pdf = {/~publis/papers/pub/2011/RR2011-10.pdf},
note = {Published in WPMC 2010, 13-th Int. Symposium on Wireless Personal Multimedia Communications }
}
-
Mouhannad Alattar,
Françoise Sailhan,
and Julien Bourgeois.
Modeling and Detecting Intrusions in ad hoc Network Routing Protocols.
3SL, Journée Sécurité des Systémes & Sureté des Logiciels, Saint-Malo, France,
May 2011.
@misc{asb11b:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Alattar, Mouhannad and Sailhan, Fran\c{c}oise and Bourgeois, Julien},
title = {Modeling and Detecting Intrusions in ad hoc Network Routing Protocols},
howpublished = {3SL, Journ\'ee S\'ecurit\'e des Syst\'emes \& Suret\'e des Logiciels, Saint-Malo, France},
address = {Saint-Malo, France},
month = may,
year = 2011,
}
-
Fabrice Bouquet.
Graphical Model of MAS for Verification and Validation (Software engineering point of view).
Invited talk at the V2CS Workshop, Paris, France,
November 2011.
@misc{bouquet11:it,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {INV},
author = {Bouquet, Fabrice},
title = {Graphical Model of {MAS} for Verification and Validation (Software engineering point of view)},
howpublished = {Invited talk at the V2CS Workshop, Paris, France},
month = nov,
year = 2011,
}
-
Julien Bourgeois.
Security monitoring of ad hoc networks.
Invited Talk at the Hong-Kong Polytechnic University,
August 2011.
@misc{bourgeois11:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV},
author = {Bourgeois, Julien},
title = {Security monitoring of ad hoc networks},
howpublished = {Invited Talk at the Hong-Kong Polytechnic University},
month = aug,
year = 2011,
}
-
Julien Bourgeois and S.C. Goldstein.
Communications in Distributed Intelligent MEMS.
Invited talk at the 3-rd NaNoNetworking Summit,
June 2011.
@misc{bg11b:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV},
author = {Bourgeois, Julien and Goldstein, S.C.},
title = {Communications in Distributed Intelligent {MEMS}},
howpublished = {Invited talk at the 3-rd NaNoNetworking Summit},
address = {Barcelona, Spain},
month = jun,
year = 2011,
}
-
Julien Bourgeois and S.C. Goldstein.
The internet of [micro]-things.
Keynote talk at iThings 2011, the 2011 IEEE Int. Conf. on Internet of Things. Dalian, China,
October 2011.
@misc{bg11:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV+},
author = {Bourgeois, Julien and Goldstein, S.C.},
title = {The internet of [micro]-things},
howpublished = {Keynote talk at iThings 2011, the 2011 IEEE Int. Conf. on Internet of Things. Dalian, China},
address = {Dalian, China},
month = oct,
year = 2011,
}
-
Samir Chouali and Ahmed Hammad.
Formal verification of components assembly based on SysML and interface automata.
Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version,
June 2011.
@misc{ch11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Chouali, Samir and Hammad, Ahmed},
title = {Formal verification of components assembly based on {SysML} and interface automata},
howpublished = {Presented at UML\&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version},
month = jun,
year = 2011,
}
-
Christophe Guyeux and Jacques Bahi.
Étude topologique de l'étalement de spectre.
Journées Codes et Stéganographie, Écoles Militaires de Saint-Cyr, Coëtquidan,
January 2011.
@misc{gb11:onp,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Guyeux, Christophe and Bahi, Jacques},
title = {\'Etude topologique de l'\'etalement de spectre},
howpublished = {Journ\'ees Codes et St\'eganographie, \'Ecoles Militaires de Saint-Cyr, Co\"etquidan},
month = jan,
year = 2011,
}
-
Jonathan Lasalle,
Frédéric Fondement,
Pierre-Alain Muller,
Brice Wittman,
Fabrice Ambert,
Fabrice Bouquet,
Emilie Oudot,
Fabien Peureux,
Bruno Legeard,
Marc Alter,
and Claude Scherrer.
Using Topcased for Model-Based Testing.
First TopCased Days, Toulouse, France,
February 2011.
@misc{lasalle11:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Lasalle, Jonathan and Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude},
title = {Using {T}opcased for {M}odel-{B}ased {T}esting},
howpublished = {First TopCased Days, Toulouse, France},
month = feb,
year = 2011,
}
-
Jonathan Lasalle,
Fabien Peureux,
and Frédéric Fondement.
Development of an automated MBT toolchain from UML/SysML models.
Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version,
June 2011.
@misc{lpf11:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Lasalle, Jonathan and Peureux, Fabien and Fondement, Fr\'ed\'eric},
title = {Development of an automated {MBT} toolchain from {UML/SysML} models},
howpublished = {Presented at UML\&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version},
month = jun,
year = 2011,
}
|
|
| | |
This document was translated from BibTEX by
bibtex2html
|
|