CSDAI Department

Institut Polytechnique de Paris

Group methodes

methodes (methods and models for networks)

Samovar, Telecom SudParis

Themes: foundations of computer science; digital trust; next generation digital infrastructure

Researchers from methodes work at the interface between networks, computer science and applied mathematics. It includes modeling, performance evaluation, optimisation, test and validation, and simulation.
Part of the group is associated to the mathematical department of IP Paris.

Contact person: Tijani Chahed, http://www-public.it-sudparis.eu/~chahed/

Web site: https://samovar.telecom-sudparis.eu/spip.php?rubrique128

Journal articles

2022

ref_biblio
Imed Abbassi, Amel Mammar, Mohamed Graiet. A Correct-by-Construction Model for verifying Transactional Composite Services configuration. IEEE Transactions on Services Computing, IEEE, In press, pp.1-15. ⟨10.1109/TSC.2021.3072327⟩. ⟨hal-03545911⟩
Accès au bibtex
BibTex
ref_biblio
Yacine Al‐najjar, Walid Ben-Ameur, Jérémie Leguay, Jocelyne Elias. Affine routing for robust network design. Networks, Wiley, 2022, 79 (4), pp.557-579. ⟨10.1002/net.22070⟩. ⟨hal-03557367⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, José Neto. New bounds for subset selection from conic relaxations. European Journal of Operational Research, Elsevier, 2022, 298 (2), pp.425-438. ⟨10.1016/j.ejor.2021.07.011⟩. ⟨hal-03557321⟩
Accès au bibtex
BibTex
ref_biblio
Damian Gordon, Ioannis Stavrakakis, John Paul Gibson, Brendan Tierney, Anna Becevel, et al.. Perspectives on computing ethics: a multi-stakeholder analysis. Journal of Information, Communication and Ethics in Society, Emerald, 2022, 20 (1), pp.72-90. ⟨10.1108/jices-12-2020-0127⟩. ⟨hal-03377560⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03377560/file/GordonSGTBCCOM21.pdf BibTex
ref_biblio
Amel Mammar, Lazhar Hamel, Mohamed Graiet. An Event-B-based approach to model and verify behaviors for component-based applications. The Computer Journal, Oxford University Press (UK), In press, ⟨10.1093/comjnl/bxab115⟩. ⟨hal-03545928⟩
Accès au bibtex
BibTex
ref_biblio
José Neto. A polyhedral view to a generalization of multiple domination. Discrete Applied Mathematics, Elsevier, 2022, 313, pp.1-17. ⟨10.1016/j.dam.2022.01.011⟩. ⟨hal-03579253⟩
Accès au bibtex
BibTex
ref_biblio
Kuan-Hua Tu, Hung-En Wang, Jie-Hong Roland Jiang, Natalia Kushik, Nina Yevtushenko. Homing sequence derivation with quantified Boolean satisfiability. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2022, 71 (3), pp.696-711. ⟨10.1109/TC.2021.3058302⟩. ⟨hal-03549138⟩
Accès au bibtex
BibTex
ref_biblio
Nina Yevtushenko, Victor Kuliamin, Natalia Kushik. Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Software Quality Journal, Springer Verlag, 2022, 30 (1), pp.161-180. ⟨10.1007/s11219-021-09548-z⟩. ⟨hal-03549204⟩
Accès au bibtex
BibTex

2021

ref_biblio
Yacine Al-Najjar, Walid Ben-Ameur, Jérémie Leguay. On the approximability of robust network design. Theoretical Computer Science, Elsevier, 2021, 860, pp.41-50. ⟨10.1016/j.tcs.2021.01.026⟩. ⟨hal-03557332⟩
Accès au bibtex
BibTex
ref_biblio
Hugo Alatrista-Salas, Vincent Gauthier, Miguel Nunez-Del-Prado, Monique Becker. Impact of natural disasters on consumer behavior: case of the 2017 El Niño phenomenon in Peru. PLoS ONE, Public Library of Science, 2021, 16 (1), pp.e0244409:1-e0244409:23. ⟨10.1371/journal.pone.0244409⟩. ⟨hal-03141616⟩
Accès au bibtex
BibTex
ref_biblio
Jose Alvarez Aldana, Stephane Maag, Fatiha Zaïdi. A formal consensus-based distributed monitoring approach for mobile IoT networks. Internet of Things, Elsevier, 2021, 13, pp.100352. ⟨10.1016/j.iot.2020.100352⟩. ⟨hal-03546760⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03546760/file/1-s2.0-S2542660520301839-main.pdf BibTex
ref_biblio
Godlove Kuaban, Tülin Atmaca, Amira Kamli, Tadeusz CzachÓrski, Piotr Czekalski. Performance analysis of packet aggregation mechanisms and their applications in access (e.g., IoT, 4G/5G), core, and data centre networks. Sensors, MDPI, 2021, 21 (11), pp.3898:1-3898:33. ⟨10.3390/s21113898⟩. ⟨hal-03252911⟩
Accès au bibtex
BibTex
ref_biblio
Ioannis Stavrakakis, Damian Gordon, Brendan Tierney, Anna Becevel, Emma Murphy, et al.. The teaching of computer ethics on computer science and related degree programmes: a European survey. International Journal of Ethics Education, 2021, 6 (2), ⟨10.1007/s40889-021-00135-1⟩. ⟨hal-03377525⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03377525/file/StavrakakisETAL21.pdf BibTex

2020

ref_biblio
Miguel Anjos, José Neto. A class of spectral bounds for Max k-Cut. Discrete Applied Mathematics, Elsevier, 2020, 279, pp.12-24. ⟨10.1016/j.dam.2019.10.002⟩. ⟨hal-02379981⟩
Accès au bibtex
BibTex
ref_biblio
Guillaume Burel. Linking Focusing and Resolution with Selection. ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (3), pp.1-30. ⟨10.1145/3373276⟩. ⟨hal-02908808⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02908808/file/acmtocl.pdf BibTex
ref_biblio
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, et al.. First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. Journal of Automated Reasoning, Springer Verlag, 2020, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩. ⟨hal-02305831⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02305831/file/dmt-in-atp.pdf BibTex
ref_biblio
Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman. A two phase investment game for competitive opinion dynamics in social networks. Information processing & management, [Oxford]: Elsevier Ltd., 2020, 57 (2), pp.102064:1-20. ⟨10.1016/j.ipm.2019.102064⟩. ⟨hal-01924838v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924838/file/ODSN_Multiphase_IPM.pdf BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (3), pp.349-363. ⟨10.1007/s10009-019-00542-2⟩. ⟨hal-02975778⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Novel machine learning technique for predicting teaching strategy effectiveness. International Journal of Information Management, Elsevier, 2020, 53, pp.101488:1-101488:10. ⟨10.1016/j.ijinfomgt.2016.02.006⟩. ⟨hal-03124461⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩. ⟨hal-02975774⟩
Accès au bibtex
BibTex
ref_biblio
Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquin Garcia‐alfaro. Switched-based resilient control of cyber-physical systems. IEEE Access, IEEE, 2020, 8, pp.212194 - 212208. ⟨10.1109/ACCESS.2020.3039879⟩. ⟨hal-03113904⟩
Accès au bibtex
BibTex
ref_biblio
Ayat Zaki-Hindi, Salah-Eddine Elayoubi, Tijani Chahed. Multi-tenancy and URLLC on unlicensed spectrum: Performance and design. Computer Networks, Elsevier, 2020, 177, pp.107311:1-107311:10. ⟨10.1016/j.comnet.2020.107311⟩. ⟨hal-03107199⟩
Accès au bibtex
BibTex

2019

ref_biblio
Miguel Anjos, José Neto. Spectral bounds for graph partitioning with prescribed partition sizes. Discrete Applied Mathematics, Elsevier, 2019, 269, pp.200-210. ⟨10.1016/j.dam.2019.06.007⟩. ⟨hal-02193294⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02193294/file/S0166218X19302884.pdf BibTex
ref_biblio
Andrea Araldo, Song Gao, Ravi Seshadri, Carlos Lima Azevedo, Hossein Ghafourian, et al.. System-level optimization of multi-modal transportation networks for energy efficiency using personalized incentives: formulation, implementation, and performance. Transportation Research Record, SAGE Journal, 2019, 2673 (12), pp.425-438. ⟨10.1177/0361198119864906⟩. ⟨hal-02190146⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02190146/file/System-Level-Optimization-of-Multi-Modal-Transportation-Networks.pdf BibTex
ref_biblio
Mauro Dell'Amico, José Neto. On total f-domination: polyhedral and algorithmic results. Discrete Applied Mathematics, Elsevier, 2019, 258, pp.97 - 104. ⟨10.1016/j.dam.2018.11.021⟩. ⟨hal-01975659⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01975659/file/S0166218X18306309.pdf BibTex
ref_biblio
Mauro Dell'Amico, José Neto. On f-domination: polyhedral and algorithmic results. Mathematical Methods of Operations Research, Springer Verlag, 2019, 90 (1), pp.1 - 22. ⟨10.1007/s00186-018-0650-4⟩. ⟨hal-01911161⟩
Accès au bibtex
BibTex
ref_biblio
Stefano Dettori, Alessandro Maddaloni, Valentina Colla, Orlando Toscanelli, Federico Bucciarelli, et al.. Nonlinear Model Predictive Control strategy for steam turbine rotor stress. Energy Procedia, Elsevier, 2019, Innovative solutions for energy transitions, 158, pp.5653-5658. ⟨10.1016/j.egypro.2019.01.572⟩. ⟨hal-03577947⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03577947/file/828.pdf BibTex
ref_biblio
Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman. Optimal investment strategies for competing camps in a social network: a broad framework. IEEE Transactions on Network Science and Engineering, IEEE, 2019, 6 (4), pp.628-645. ⟨10.1109/TNSE.2018.2864575⟩. ⟨hal-01712288v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01712288/file/ODSN_HAL.pdf BibTex
ref_biblio
Raul Armando Fuentes Samaniego, Vinh Hoa La, Ana Rosa Cavalli, Juan Arturo Nolazco-Flores, Raúl Valente Ramirez Velarde. A monitoring-based approach for WSN security using IEEE-802.15.4/6LowPAN and DTLS communication. International journal of autonomous and adaptive communications systems, Inderscience Publishers, 2019, 12 (3), pp.218-243. ⟨10.1504/IJAACS.2019.10022471⟩. ⟨hal-02184618⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02184618/file/A-monitoring_AuthorFinalVersion.pdf BibTex
ref_biblio
Nina Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a multi-layered access control model with conflict resolution strategy. The Computer Journal, Oxford University Press (UK), 2019, 62 (12), pp.1707-1733. ⟨10.1093/comjnl/bxz039⟩. ⟨hal-02403976⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Djamal Zeghlache. Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. Software Quality Journal, Springer Verlag, 2019, 27 (2), pp.731 - 755. ⟨10.1007/s11219-018-9420-z⟩. ⟨hal-01998560⟩
Accès au bibtex
BibTex
ref_biblio
Meysam Masoudi, Mohammad Galal Khafagy, Alberto Conte, Ali El-Amine, Brian Francoise, et al.. Green mobile networks for 5G and beyond. IEEE Access, IEEE, 2019, 7, pp.107270-107299. ⟨10.1109/ACCESS.2019.2932777⟩. ⟨hal-03107206⟩
Accès au bibtex
BibTex
ref_biblio
Mira Morcos, Jocelyne Elias, Fabio Martignon, Tijani Chahed, Lin Chen. On efficient radio resource calendaring in cloud radio access network. Computer Networks, Elsevier, 2019, 162, pp.106862:1-106862:13. ⟨10.1016/j.comnet.2019.106862⟩. ⟨hal-03107202⟩
Accès au bibtex
BibTex
ref_biblio
Bat-Hen Nahmias-Biran, Jimi Oke, Nishant Kumar, Kakali Basak, Andrea Araldo, et al.. From traditional to automated mobility on demand: a comprehensive framework for modeling on-demand services in SimMobility. Transportation Research Record, SAGE Journal, 2019, 2673 (12), pp.15-29. ⟨10.1177/0361198119853553⟩. ⟨hal-02459410⟩
Accès au bibtex
BibTex
ref_biblio
José Neto, Walid Ben-Ameur. On fractional cut covers. Discrete Applied Mathematics, Elsevier, 2019, 265, pp.168 - 181. ⟨10.1016/j.dam.2019.03.020⟩. ⟨hal-02125083⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02125083/file/S0166218X19301945.pdf BibTex
ref_biblio
Sara Rabhi, Jérémie Jakubowicz, Marie-Hélène Metzger. Deep learning versus conventional machine learning for detection of healthcare-associated infections in French clinical narratives. Methods of Information in Medicine, Schattauer, 2019, 58 (01), pp.031-041. ⟨10.1055/s-0039-1677692⟩. ⟨hal-02410077⟩
Accès au bibtex
BibTex
ref_biblio
Jlassi Sindyana, Amel Mammar, Imed Abbassi, Mohamed Graiet. Towards correct cloud resource allocation in FOSS applications. Future Generation Computer Systems, Elsevier, 2019, 91 (392-406), ⟨10.1016/j.future.2018.08.030⟩. ⟨hal-02403919⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Tidjon, Marc Frappier, Amel Mammar. Intrusion detection systems: a cross-domain overview. Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2019, 21 (4), pp.3639 - 3681. ⟨10.1109/COMST.2019.2922584⟩. ⟨hal-02403911⟩
Accès au bibtex
BibTex
ref_biblio
Guanglei Wang, Walid Ben-Ameur, Adam Ouorou. A Lagrange decomposition based branch and bound algorithm for the optimal mapping of cloud virtual machines. European Journal of Operational Research, Elsevier, 2019, 276 (1), pp.28-39. ⟨10.1016/j.ejor.2018.12.037⟩. ⟨hal-02440722⟩
Accès au bibtex
BibTex
ref_biblio
Husnu Yenigun, Nina Yevtushenko, Ana Rosa Cavalli. Guest editorial: special issue on testing software and systems. Software Quality Journal, Springer Verlag, 2019, 27 (2), pp.497-499. ⟨10.1007/s11219-019-09447-4⟩. ⟨hal-02481420⟩
Accès au bibtex
BibTex

2018

ref_biblio
Vincent Angilella, Matthieu Chardy, Walid Ben-Ameur. Fiber cable network design in tree networks. European Journal of Operational Research, Elsevier, 2018, 269 (3), pp.1086 - 1106. ⟨10.1016/j.ejor.2018.02.034⟩. ⟨hal-01791553⟩
Accès au bibtex
BibTex
ref_biblio
Vincent Angilella, Walid Ben-Ameur, Matthieu Chardy. Design of fiber cable tree FTTH networks. Electronic Notes in Discrete Mathematics, Elsevier, 2018, 64, pp.235 - 244. ⟨10.1016/j.endm.2018.01.025⟩. ⟨hal-01783787⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Antoine Glorieux, José Neto. On the most imbalanced orientation of a graph. Journal of Combinatorial Optimization, Springer Verlag, 2018, 36 (2), pp.637-669. ⟨10.1007/s10878-017-0117-1⟩. ⟨hal-01497902⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01497902/file/on_the_most_imbalanced_orientation_of_a_graph_v3.pdf BibTex
ref_biblio
Walid Ben-Ameur, Adam Ouorou, Guanglei Wang, Mateusz Zotkiewicz. Multipolar robust optimization. EURO Journal on Computational Optimization, Springer, 2018, 6 (4), pp.395 - 434. ⟨10.1007/s13675-017-0092-4⟩. ⟨hal-01823640⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Antoine Glorieux, José Neto. Complete formulations of polytopes related to extensions of assignment matrices. Discrete Optimization, Elsevier, 2018, 29, pp.133 - 147. ⟨10.1016/j.disopt.2018.04.002⟩. ⟨hal-01824469⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Mohamed Didi Biha. A note on the problem of r disjoint (s,t)-cuts and some related issues. Operations Research Letters, Elsevier, 2018, 46, pp.335 - 338. ⟨10.1016/j.orl.2018.03.003⟩. ⟨hal-01783782⟩
Accès au bibtex
BibTex
ref_biblio
Alexandre Brandwajn, Thomas Begin, Hind Castel-Taleb, Tulin Atmaca. A study of systems with multiple operating levels, probabilistic thresholds and hysteresis. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2018, 29 (4), pp.748-757. ⟨10.1109/TPDS.2017.2773496⟩. ⟨hal-01670974⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01670974/file/Multiple%20Service%20Levels_v5.pdf BibTex
ref_biblio
Raphael Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel. Parameterized verification of monotone information systems. Formal Aspects of Computing, Springer Verlag, 2018, 30 (3-4), pp.463 - 489. ⟨10.1007/s00165-018-0460-8⟩. ⟨hal-01847131⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01847131/file/Chane-Yack-Fa2018.pdf BibTex
ref_biblio
Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects of Computing, Springer Verlag, 2018, 30 (2), pp.319 - 332. ⟨10.1007/s00165-017-0450-2⟩. ⟨hal-01815008⟩
Accès au bibtex
BibTex
ref_biblio
Nicolas Gensollen, Vincent Gauthier, Monique Becker, Michel Marot. Stability and performance of coalitions of prosumers through diversification in the smart grid. IEEE Transactions on Smart Grid, Institute of Electrical and Electronics Engineers, 2018, 9 (2), pp.963 - 970. ⟨10.1109/TSG.2016.2572302⟩. ⟨hal-01729373⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01729373/file/Stability%20and%20Performance%20of%20Coalitions%20of%20Prosumers%20Through%20Diversification%20in%20the%20Smart%20Grid.pdf BibTex
ref_biblio
Kawther Hassine, Mounir Frikha, Tijani Chahed. Access point backhaul capacity aggregation as a matching game in the context of wireless local area networks. Computer Networks, Elsevier, 2018, 139, pp.92 - 108. ⟨10.1016/j.comnet.2018.04.010⟩. ⟨hal-01784537⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev. Deriving synchronizing and homing sequences for input/output automata. Automatic control and computer sciences, 2018, 52 (7), pp.589 - 595. ⟨10.3103/S0146411618070167⟩. ⟨hal-02060024⟩
Accès au bibtex
BibTex
ref_biblio
Wael Labidi, Tijani Chahed, Salah-Eddine Elayoubi. Optimal battery management strategies in mobile networks powered by a smart grid. IEEE Transactions on Green Communications and Networking, IEEE, 2018, 2 (3), pp.859 - 867. ⟨10.1109/TGCN.2018.2806299⟩. ⟨hal-01812472⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. Source code optimization using equivalent mutants. Information and Software Technology, Elsevier, 2018, 103, pp.138 - 141. ⟨10.1016/j.infsof.2018.06.013⟩. ⟨hal-01990590⟩
Accès au bibtex
BibTex
ref_biblio
Morcos Mira, Tijani Chahed, Lin Chen, Jocelyne Elias, Fabio Martignon. A two-level auction for resource allocation in multi-tenant C-RAN. Computer Networks, Elsevier, 2018, pp.240-252. ⟨10.1016/j.comnet.2018.02.005⟩. ⟨hal-01701702⟩
Accès au bibtex
BibTex

2017

ref_biblio
Amal Abdel Razzac, Linda Salahaldin, Salah-Eddine Elayoubi, Yezekael Hayel, Tijani Chahed. A game theoretical real options framework for investment decisions in mobile TV infrastructure. Asia-Pacific Journal of Operational Research, World Scientific Publishing, 2017, 34 (4), pp.1750014-1 - 1750014-34. ⟨10.1142/S0217595917500142⟩. ⟨hal-01695516⟩
Accès au bibtex
BibTex
ref_biblio
Alessandra Bagnato, Andrey Sadovykh, Sarah Dahab, Stephane Maag, Ana Rosa Cavalli, et al.. Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project. Génie logiciel, Génie industriel multimédia, 2017, pp.46 - 52. ⟨hal-01534818⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Adam Ouorou, Guanglei Wang. Convex and concave envelopes: revisited and new perspectives. Operations Research Letters, Elsevier, 2017, 45 (5), pp.421 - 426. ⟨10.1016/j.orl.2017.06.008⟩. ⟨hal-01662836⟩
Accès au bibtex
BibTex
ref_biblio
Longbiao Chen, Jérémie Jakubowicz, Dingqi Yang, Daqing Zhang, Gang Pan. Fine-grained urban event detection and characterization based on tensor cofactorization. IEEE Transactions on Human-Machine Systems, IEEE, 2017, 47 (3), pp.380 - 391. ⟨10.1109/THMS.2016.2596103⟩. ⟨hal-01640060⟩
Accès au bibtex
BibTex
ref_biblio
Ghina Dandachi, Salah-Eddine Elayoubi, Tijani Chahed, Nada Chendeb. Network centric versus user centric multihoming strategies in LTE/WiFi networks. IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2017, 66 (5), pp.4188 - 4199. ⟨10.1109/TVT.2016.2597442⟩. ⟨hal-01534491⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul. Towards correct cloud resource allocation in business processes. IEEE Transactions on Services Computing, IEEE, 2017, 10 (1), pp.23 - 36. ⟨10.1109/TSC.2016.2594062⟩. ⟨hal-01575735⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata. A verification and deployment approach for elastic component-based applications. Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.987 - 1011. ⟨10.1007/s00165-017-0425-3⟩. ⟨hal-01692537⟩
Accès au bibtex
BibTex
ref_biblio
Kawther Hassine, Mounir Frikha, Tijani Chahed. Access point backhaul resource aggregation as a many-to-one matching game in Wireless Local Area Networks. Wireless Communications and Mobile Computing, Hindawi Publishing Corporation, 2017, 2017, pp.3523868-1 - 3523868-11. ⟨10.1155/2017/3523868⟩. ⟨hal-01695652⟩
Accès au bibtex
BibTex
ref_biblio
Aymen Jaziri, Ridha Nasri, Tijani Chahed. Tracking traffic peaks in mobile networks using statistics of performance metrics. International Journal of Wireless Information Networks, Springer Verlag, 2017, 24 (4), pp.389 - 403. ⟨10.1007/s10776-017-0335-6⟩. ⟨hal-01695684⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Thi Mai Nguyen, Régine Laleau. A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Information and Software Technology, Elsevier, 2017, 92, pp.158 - 178. ⟨10.1016/j.infsof.2017.08.001⟩. ⟨hal-01692569⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.167 - 186. ⟨10.1007/s10009-015-0391-0⟩. ⟨hal-01254980⟩
Accès au bibtex
BibTex
ref_biblio
Celia Ouanteur, Djamil Aissani, Louiza Bouallouche-Medjkoune, Mohand Yazid, Hind Castel-Taleb. Modeling and performance evaluation of the IEEE 802.15.4e LLDN mechanism designed for industrial applications in WSNs. Wireless Networks, Springer Verlag, 2017, 23 (5), pp.1343 - 1358. ⟨10.1007/s11276-016-1226-y⟩. ⟨hal-01453252⟩
Accès au bibtex
BibTex
ref_biblio
Husnu Yenigun, Nina Yevtushenko, Natalia Kushik. The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Information Processing Letters, Elsevier, 2017, 127, pp.49 - 53. ⟨10.1016/j.ipl.2017.07.001⟩. ⟨hal-01611545⟩
Accès au bibtex
BibTex
ref_biblio
Wilfried Yoro, Tijani Chahed, Mamdouh Tabach, Taoufik En-Najjary, Azeddine Gati. Service-oriented sharing of energy in wireless access networks using shapley value. Computer Networks, Elsevier, 2017, 113 (February 2017), pp.46-57. ⟨10.1016/j.comnet.2016.11.010⟩. ⟨hal-01423091⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01423091/file/computerNetworks.pdf BibTex

2016

ref_biblio
Amal Abdel Razzac, Salah-Eddine Elayoubi, Tijani Chahed, Bachar El Hassan. Impact of playout buffering on mobile TV performance. IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2016, 15 (2), pp.377 - 391. ⟨10.1109/TMC.2015.2419230⟩. ⟨hal-01255023⟩
Accès au bibtex
BibTex
ref_biblio
Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Performance analysis of a queue by combining stochastic bounds, real traffic traces and histograms. The Computer Journal, Oxford University Press (UK), 2016, 59 (12), pp.1817 - 1830. ⟨10.1093/comjnl/bxw032⟩. ⟨hal-01449268⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01449268/file/Ait-Salaht_2016_Performance%20%281%29.pdf BibTex
ref_biblio
Tulin Atmaca, Thomas Begin, Alexandre Brandwajn, Hind Castel-Taleb. Performance Evaluation of Cloud Computing Centers with General Arrivals and Service. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016, 27 (8), pp.2341 - 2348. ⟨10.1109/TPDS.2015.2499749⟩. ⟨hal-01241713⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241713/file/bare_jrnl_compsoc.pdf BibTex
ref_biblio
Anass Bellachehab, Jérémie Jakubowicz. Random pairwise gossip on CAT(k) metric spaces. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (12), pp.3857 - 3869. ⟨10.1109/TAC.2016.2530691⟩. ⟨hal-01443340⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Mohamed Didi Biha. Extended cuts. Journal of Combinatorial Optimization, Springer Verlag, 2016, 31 (3), pp.1034 - 1044. ⟨10.1007/s10878-014-9808-z⟩. ⟨hal-01449794⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Pascal Bianchi, Jérémie Jakubowicz. Robust distributed consensus using total Variation. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1550 - 1564. ⟨10.1109/TAC.2015.2471755⟩. ⟨hal-01259850⟩
Accès au bibtex
BibTex
ref_biblio
Asma Berriri, Natalia Kushik, Djamal Zeghlache. On using finite state models for optimizing and testing SDN controller components. Izvestiâ vysših učebnyh zavedenij. Fizika, Izdatelʹstvo Tomskogo universiteta, 2016, 59 (8/2), pp.5 - 7. ⟨hal-01453257⟩
Accès au bibtex
BibTex
ref_biblio
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, Elsevier, 2016, 131, pp.76 - 93. ⟨10.1016/j.scico.2016.04.011⟩. ⟨hal-01390991⟩
Accès au bibtex
BibTex
ref_biblio
Aymen Jaziri, Ridha Nasri, Tijani Chahed. System level analysis of heterogeneous networks under imperfect traffic hotspot localization. IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2016, 65 (12), pp.9862 - 9872. ⟨10.1109/TVT.2016.2530844⟩. ⟨hal-01443330⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Jorge Eleazar Lopez Coronado, Nina Yevtushenko. Investigation of correlation of test sequences for reliability testing of digital physical system components. Russian Physics Journal, Springer Verlag, 2016, 59 (8), pp.1274 - 1280. ⟨10.1007/s11182-016-0902-9⟩. ⟨hal-01451031⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Khaled El-Fakhi, Nina Yevtushenko, Ana Rosa Cavalli. On adaptive experiments for nondeterministic finite state machines. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, 18 (3), pp.251 - 264. ⟨10.1007/s10009-014-0357-7⟩. ⟨hal-01354241⟩
Accès au bibtex
BibTex
ref_biblio
Julio Cesar Louzada Pinto, T Chahed, Eitan Altman. A framework for information dissemination in social networks using Hawkes processes. Performance Evaluation, Elsevier, 2016, 103, pp.86 - 107. ⟨10.1016/j.peva.2016.06.004⟩. ⟨hal-01391264⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01391264/file/hf.pdf BibTex
ref_biblio
José Neto. On the diameter of cut polytopes. Discrete Mathematics, Elsevier, 2016, 339 (5), pp.1605 - 1612. ⟨10.1016/j.disc.2016.01.002⟩. ⟨hal-01272340⟩
Accès au bibtex
BibTex
ref_biblio
Diego Arturo Rivera Villagra, Ana Rosa Cavalli. Analysis and influence of economical decisions on the quality of experience of OTT services. IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2016, 14 (6), pp.2773 - 2776. ⟨10.1109/TLA.2016.7555253⟩. ⟨hal-01433979⟩
Accès au bibtex
BibTex
ref_biblio
Adel Mounir Said, Michel Marot, Ashraf William Ibrahim, Hossam Afifi. Modeling interactive real-time applications in VANETs with performance evaluation. Computer Networks, Elsevier, 2016, 104, pp.66 - 78. ⟨10.1016/j.comnet.2016.04.021⟩. ⟨hal-01370160⟩
Accès au bibtex
BibTex
ref_biblio
Marco Antonio To de Leon, Oscar Rolando Rodas Hernandez, Preng Biba, Stephane Maag. A proactive approach for strip interoperability in wireless Ad hoc routing protocols. IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2016, 14 (6), pp.2543 - 2549. ⟨10.1109/TLA.2016.7555216⟩. ⟨hal-01390853⟩
Accès au bibtex
BibTex
ref_biblio
Khalifa Toumi, César AndrÉs, Ana Rosa Cavalli. Formal framework for defining trust in multi-organisation environment. International journal of autonomous and adaptive communications systems, Inderscience Publishers, 2016, 9 (1-2), pp.164 - 178. ⟨10.1504/IJAACS.2016.075389⟩. ⟨hal-01335534⟩
Accès au bibtex
BibTex
ref_biblio
Guanglei Wang, Walid Ben-Ameur, José Neto, Adam Ouorou. Optimal mapping of cloud virtual machines. Electronic Notes in Discrete Mathematics, Elsevier, 2016, 52, pp.93 - 100. ⟨10.1016/j.endm.2016.03.013⟩. ⟨hal-01453255⟩
Accès au bibtex
BibTex
ref_biblio
Dimitri Watel, Marc-Antoine Weisser, Cédric Bentz, Dominique Barth. Directed Steiner trees with diffusion costs. Journal of Combinatorial Optimization, Springer Verlag, 2016, 32 (4), pp.1089 - 1106. ⟨10.1007/s10878-015-9925-3⟩. ⟨hal-01613972⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. An automated approach for merging business process fragments. Computers in Industry, Elsevier, 2016, 82, pp.104 - 118. ⟨10.1016/j.compind.2016.05.002⟩. ⟨hal-01346029⟩
Accès au bibtex
BibTex

2015

ref_biblio
Xiaoping Che, Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. Testing trust properties using a formal distributed network monitoring approach. Annals of Telecommunications - annales des télécommunications, Springer, 2015, 70 (3), pp.95 - 105. ⟨10.1007/s12243-014-0454-3⟩. ⟨hal-01287769⟩
Accès au bibtex
BibTex
ref_biblio
Richard Combes, Salah Eddine Elayoubi, Arshad Ali, Louai Saker, Tijani Chahed. Optimal online control for sleep mode in green base stations. Computer Networks, Elsevier, 2015, 78, pp.140-151. ⟨10.1016/j.comnet.2014.10.031⟩. ⟨hal-01100652⟩
Accès au bibtex
BibTex
ref_biblio
Özgür Can Turna, Muhammed Ali Aydin, Abdul Halim Zaim, Tülin Atmaca. A new dynamic bandwidth allocation algorithm based on online-offline mode for EPON. Optical Switching and Networking, Elsevier, 2015, 15, pp.29 - 43. ⟨10.1016/j.osn.2014.04.003⟩. ⟨hal-01279516⟩
Accès au bibtex
BibTex

2014

ref_biblio
Mohamed Aouadi, Khalifa Toumi, Ana Rosa Cavalli. Testing security policies for distributed systems: vehicular networks as a case study. International Journal of Computer Science Issues, IJCSI Press, 2014, 11 (5), pp.68 - 77. ⟨hal-01331562⟩
Accès au bibtex
BibTex
ref_biblio
Olga Kondratyeva, Nina Yevtushenko, Ana Rosa Cavalli. ПАРАЛЛЕЛЬНАЯ КОМПОЗИЦИЯ КОНЕЧНЫХ АВТОМАТОВ С ТАЙМАУТАМИ. Journal of Control and Computer Science (Tomsk State University), 2014, 2 (27), pp.73 - 81. ⟨hal-01948353⟩
Accès au bibtex
BibTex
ref_biblio
Vinh Hoa La, Ana Rosa Cavalli. Security attacks and solutions in Vehicular Ad Hoc Networks : a survey. International journal on AdHoc networking systems (IJANS), 2014, 4 (2), pp.1 - 20. ⟨10.5121/ijans.2014.4201⟩. ⟨hal-01262473⟩
Accès au bibtex
BibTex
ref_biblio
Damien Mac Namara, Paul Gibson, Ken Oakley. The ideal voting interface: classifying usability. JeDEM - eJournal of eDemocracy and Open Government, Department for E-Governance and Administration - Donau Univ., 2014, 6 (2), pp.182-196. ⟨10.29379/jedem.v6i2.306⟩. ⟨hal-03377805⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03377805/file/Macnamara%20et%20al%20Ken%20Final.pdf BibTex
ref_biblio
Khalifa Toumi, Ana Rosa Cavalli, Cesar Andres Sanchez. Validation of a trust approach in multi-organization environments. International journal of secure software engineering, IGI Global, 2014, 5 (1), pp.1 - 18. ⟨10.4018/ijsse.2014010101⟩. ⟨hal-01262565⟩
Accès au bibtex
BibTex

2013

ref_biblio
Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Using passive testing based on symbolic execution and slicing techniques : application to the validation of communication protocols. Computer Networks, Elsevier, 2013, 57 (15), pp.2992 - 3008. ⟨10.1016/j.comnet.2013.06.019⟩. ⟨hal-01273640⟩
Accès au bibtex
BibTex

2012

ref_biblio
Hwang Iksoon, Mounir Lallali, Ana Rosa Cavalli, Dominique Verchere. Applying formal methods to PCEP: an industrial case study from modeling to test generation.. Journal of : Software Testing, Verification and Reliability, Wiley, 2012, 22 (5), pp.343--361. ⟨10.1002/stvr.445⟩. ⟨hal-00706162⟩
Accès au bibtex
BibTex
ref_biblio
Louai Saker, Salah-Eddine Elayoubi, Richard Combes, Tijani Chahed. Optimal control of wake up mechanisms of femtocells in heterogeneous networks. IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2012, 30 (3), pp.664 - 672. ⟨10.1109/JSAC.2012.120415⟩. ⟨hal-01300128⟩
Accès au bibtex
BibTex
ref_biblio
Ahmed Soua, Walid Ben-Ameur, Hossam Afifi. Enhancing Broadcast Vehicular Communications Using Beamforming Technique. International Workshop on Vehicular Communications and Networking (VECON), 2012, pp.565. ⟨hal-00761075⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761075/file/p565-soua.pdf BibTex

2011

ref_biblio
Ines Houidi, Wajdi Louati, Walid Ben-Ameur, Djamal Zeghlache. Virtual network provisioning across multiple substrate networks. Computer Networks, Elsevier, 2011, 55 (4), pp.1011 - 1023. ⟨10.1016/j.comnet.2010.12.011⟩. ⟨hal-01354751⟩
Accès au bibtex
BibTex

2010

ref_biblio
Muhammed Ali Aydin, Tülin Atmaca, Özgür Can Turna, Abdul Halim Zaim, Thaere Eido. A performance comparison of OPS with variable-size packets and OBS. Optical Switching and Networking, Elsevier, 2010, 7 (2), pp.85 - 94. ⟨10.1016/j.osn.2009.11.001⟩. ⟨hal-01356310⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Makhlouf Hadji. Designing Steiner networks with unicyclic connected components : an easy problem. SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2010, 24 (4), pp.1541 - 1557. ⟨10.1137/090759033⟩. ⟨hal-01308332⟩
Accès au bibtex
BibTex
ref_biblio
Iksoon Hwang, Ana Rosa Cavalli. Testing a probabilistic FSM using interval estimation. Computer Networks, Elsevier, 2010, 54 (7), pp.1108 - 1125 ⟨10.1016/j.comnet.2009.10.014⟩. ⟨hal-00472884⟩
Accès au bibtex
BibTex
ref_biblio
Anderson Morais, Ana Rosa Cavalli, Eliane Martins. Génération de scripts d'attaque pour la validation de la sécurité. Génie logiciel, Génie industriel multimédia, 2010, pp.39 - 44. ⟨hal-01465755⟩
Accès au bibtex
BibTex

2008

ref_biblio
Jalel Ben Othman, Hind Castel-Taleb, Lynda Mokdad. A multi-service MAC protocol in a multi-channel CSMA/CA for IEEE 802.11 networks. Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2008, 10 (3), pp.287 - 296. ⟨10.1109/JCN.2008.6388349⟩. ⟨hal-01326500⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, José Neto. A geometric characterization of "optimality-equivalent" relaxations. Journal of Global Optimization, Springer Verlag, 2008, 42 (4), pp.533 - 547. ⟨10.1007/s10898-007-9275-5⟩. ⟨hal-01372395⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, José Neto. Spectral bounds for the maximum cut problem. Networks, Wiley, 2008, 52 (1), pp.8 - 13. ⟨10.1002/net.20220⟩. ⟨hal-01326524⟩
Accès au bibtex
BibTex
ref_biblio
Tijani Chahed, Eitan Altman, Salah-Eddine Elayoubi. Joint uplink and downlink admission control to both streaming and elastic flows in CDMA/HSDPA systems. Performance Evaluation, Elsevier, 2008, 65 (11-12), pp.869 - 882. ⟨10.1016/j.peva.2008.03.004⟩. ⟨hal-01372587⟩
Accès au bibtex
BibTex
ref_biblio
Stephane Maag, Cyril Grepet, Ana Rosa Cavalli. A formal validation methodology for MANET routing protocols based on nodes' self similarity. Computer Communications, Elsevier, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩. ⟨hal-01354849⟩
Accès au bibtex
BibTex

2007

ref_biblio
Stephane Maag, Fatiha Zaidi. A step-wise validation approach for a wireless routing protocol. Research, Development and Application on Electronics, Telecommunications and Information Technology, 2007, pp.34 - 40. ⟨hal-01328077⟩
Accès au bibtex
BibTex

Conference papers

2022

ref_biblio
Ylene Aboulfath, Dimitri Watel. Maximiser l'intersection de bases de cycles minimum dans un ensemble de graphes dynamiques. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595327⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03595327/file/ROADEF2022_ABOULFATHWATEL.pdf BibTex
ref_biblio
Dominique Barth, Dimitri Watel, Marc-Antoine Weisser. Distance d'édition minimum à un linegraph. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595279⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03595279/file/resume.pdf BibTex
ref_biblio
Ayoub Ben-Ameur, Andrea Araldo, Tijani Chahed. Cache allocation in multi-tenant edge computing via online reinforcement learning. ICC 2022: IEEE International Conference on Communications, May 2022, Seoul, South Korea. ⟨hal-03546931⟩
Accès au bibtex
https://arxiv.org/pdf/2201.09833 BibTex
ref_biblio
Wei Huang, Andrea Araldo, Hind Castel-Taleb, Badii Jouaber. Dimensioning resources of Network Slices for energy-performance trade-off. ISCC 2022 : 27th IEEE Symposium on Computers and Communications, Jun 2022, Rhodes Island, Greece. ⟨hal-03662552⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03662552/file/2022080596%20%282%29.pdf BibTex
ref_biblio
Hyoseok Kim, Dimitri Watel, Alain Faye, Cédric Hervet. On the complexity of the data-driven Wasserstein distributionally robust binary problem. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595342⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03595342/file/kim2022wasserstein.pdf BibTex
ref_biblio
Alessandro Spallina, Andrea Araldo, Tijani Chahed, Hind Castel-Taleb, Antonella Di Stefano, et al.. Energy-efficient resource allocation in multi-tenant edge computing using Markov decision processes. NOMS 2022: IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary. ⟨hal-03524815⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03524815/file/Slicing_DoubleColumn%285%29.pdf BibTex

2021

ref_biblio
Massinissa Ait Aba, Maxime Elkael, Badii Jouaber, Hind Castel-Taleb, Andrea Araldo, et al.. A two-stage algorithm for the Virtual Network Embedding problem. LCN 2021: 46th conference on Local Computer Networks, Oct 2021, Edmonton (online), Canada. pp.395-398, ⟨10.1109/LCN52139.2021.9524968⟩. ⟨hal-03524809⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Lorela Cano, Tijani Chahed. A framework for joint admission control, resource allocation and pricing for network slicing in 5G. GLOBECOM 2021: IEEE Global Communications Conference, Dec 2021, Madrid, Spain. pp.1-6, ⟨10.1109/GLOBECOM46510.2021.9685847⟩. ⟨hal-03546908⟩
Accès au bibtex
BibTex
ref_biblio
Ayoub Ben-Ameur, Andrea Araldo, Francesco Bronzino. On the deployability of augmented reality using embedded edge devices. CCNC 2021: IEEE 18th Consumer Communications & Networking Conference, Jan 2021, Las Vegas (virtual), United States. pp.1-6, ⟨10.1109/CCNC49032.2021.9369590⟩. ⟨hal-02999897v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02999897/file/Paper_Nokia_Bell_Labs_Edgeai4ar.pdf BibTex
ref_biblio
Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, et al.. Preventive model-based verification and repairing for SDN requests. ENASE 2021: 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, Online, France. pp.421-428, ⟨10.5220/0010494504210428⟩. ⟨hal-03549088⟩
Accès au bibtex
BibTex
ref_biblio
Giovanni Calabrò, Andrea Araldo, Simon Oh, Ravi Seshadri, Giuseppe Inturri, et al.. Integrating fixed and demand-responsive transportation for flexible transit network design. TRB 2021: 100th Annual Meeting of the Transportation Research Board, Jan 2021, Washington (Virtual), United States. pp.TRBAM-21-02493. ⟨hal-02999896⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02999896/file/submitted-to-TRB.pdf BibTex
ref_biblio
Yeisson Chicas, Stephane Maag. An automated parallel compatibility testing framework fo web-based systems. ICWI AC 2021: 20th International Conference on WWW/Internet and 18th international conference on Applied Computing, Oct 2021, Online, France. pp.163-174. ⟨hal-03546824⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03546824/file/paperAC2021pdfauthorsversion.pdf BibTex
ref_biblio
Andrea Curley, Damian Gordon, Ioannis Stavrakakis, Anna Becevel, John Paul Gibson, et al.. Adaptable and reusable educational 'bricks' for teaching computer science ethics. EDULEARN 2021: 13th International Conference on Education and New Learning Technologies, Jul 2021, Online, Spain. pp.1991 (abstract only), ⟨10.21125/edulearn.2021.0456⟩. ⟨hal-03377576⟩
Accès au bibtex
BibTex
ref_biblio
Marie-Ange Dahito, Laurent Genest, José Neto, Alessandro Maddaloni. On the performance of the ORTHOMADS algorithm on continuous and mixed-integer optimization problems. OL2A 2021: 1st international conference on Optimization, Learning Algorithms and Applications, Jul 2021, Bragança, Portugal. pp.31-47, ⟨10.1007/978-3-030-91885-9_3⟩. ⟨hal-03589763⟩
Accès au bibtex
BibTex
ref_biblio
Paul Doyle, Cathy Ennis, Anna Becevel, Stephane Maag, Radu Dobrin, et al.. HUBLINKED: a curriculum mapping framework for industry. 2021 Polytechnic Summit, Jun 2021, Dublin (online), Ireland. ⟨10.21427/GT0M-3C42⟩. ⟨hal-03546797⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03546797/file/HUBLINKED_%20A%20Curriculum%20Mapping%20Framework%20for%20Industry.pdf BibTex
ref_biblio
Maxime Elkael, Hind Castel-Taleb, Badii Jouaber, Andrea Araldo, Massinissa Ait Aba. Improved Monte Carlo Tree Search for virtual network embedding. LCN 2021: 46th Conference on Local Computer Networks, Oct 2021, Edmonton (online), Canada. pp.605-612, ⟨10.1109/LCN52139.2021.9524975⟩. ⟨hal-03524805⟩
Accès au bibtex
BibTex
ref_biblio
John Paul Gibson, Yael Jacob, Damian Gordon, Dympna O'Sullivan. Developing an educational brick for digital ethics: a case study-driven approach. ETHICOMP 2021: 19th International Conference on the Ethical and Social Impact of ICT, Jun 2021, Logroño, Spain. pp.29-37. ⟨hal-03377665⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03377665/file/ETHICOMP_2021_paper_36.pdf BibTex
ref_biblio
Vincenzo Iannino, Valentina Colla, Alessandro Maddaloni, Jens Brandenburger, Ahmad Rajabi, et al.. Improving the flexibility of production scheduling in flat steel production through standard and AI-based approaches: challenges and perspectives. AIAI 2021: 17th IFIP International Conference on Artificial Intelligence Applications and Innovations, Jun 2021, Hersonissos, Crete, Greece. pp.619-632, ⟨10.1007/978-3-030-79150-6_49⟩. ⟨hal-03287705⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03287705/file/509922_1_En_49_Chapter.pdf BibTex
ref_biblio
Nathalie Naddeh, Sana Ben Jemaa, Salah Eddine Elayoubi, Tijani Chahed. Proactive RAN resource reservation for URLLC vehicular slice. VTC 2021-Spring: IEEE 93rd Vehicular Technology Conference, Apr 2021, Helsinki (online), Finland. pp.1-5, ⟨10.1109/VTC2021-Spring51267.2021.9448703⟩. ⟨hal-03546881⟩
Accès au bibtex
BibTex
ref_biblio
Tareq Si Salem, Gabriele Castellano, Giovanni Neglia, Fabio Pianese, Andrea Araldo. Towards inference delivery networks: distributing machine learning with optimality guarantees. MEDCOMNET 2021 - 19th Mediterranean Communication and Computer Networking Conference, Jun 2021, Ibiza (virtual), Spain. pp.1-8, ⟨10.1109/MedComNet52149.2021.9501272⟩. ⟨hal-03376168⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03376168/file/sisalem21medcomnet.pdf BibTex
ref_biblio
Ayat Zaki Hindi, Salah Eddine Elayoubi, Tijani Chahed. Transmission policy design for critical services under different objectives. GLOBECOM 2021: IEEE Global Communications Conference, Dec 2021, Madrid, Spain. pp.1-6, ⟨10.1109/GLOBECOM46510.2021.9685443⟩. ⟨hal-03546916⟩
Accès au bibtex
BibTex
ref_biblio
Ayat Zaki Hindi, Salah Eddine Elayoubi, Tijani Chahed. Unlicensed spectrum for ultra-reliable low-latency communication in multi-tenant environment. NETGCOOP 2021: 10th International Conference on International Conference on Network Games, Control and Optimization, Sep 2021, Cargese, France. pp.110-124, ⟨10.1007/978-3-030-87473-5_11⟩. ⟨hal-03547016⟩
Accès au bibtex
BibTex

2020

ref_biblio
Matteo Acclavio, Ross Horne, Lutz Straßburger. Logic beyond formulas: a proof system on graphs. LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.38-52, ⟨10.1145/3373718.3394763⟩. ⟨hal-02560105⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02560105/file/LBF.pdf BibTex
ref_biblio
Matteo Acclavio, Roberto Maieli. Generalized connectives for multiplicative linear logic. CSL 2020 - 28th EACSL annual conference on Computer Science Logic, Jan 2020, Barcelona, Spain. pp.6:1-6:15, ⟨10.4230/LIPIcs.CSL.2020.6⟩. ⟨hal-02492258⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02492258/file/LIPIcs-CSL-2020-6.pdf BibTex
ref_biblio
Meryem Afendi, Régine Laleau, Amel Mammar. Modelling hybrid programs with Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, ULM, Germany. pp.139-154, ⟨10.1007/978-3-030-48077-6_10⟩. ⟨hal-02975782⟩
Accès au bibtex
BibTex
ref_biblio
Youssef Ait El Mahjoub, Jean-Michel Fourneau, Hind Castel-Taleb. Energy Packet Networks with general service time distribution. MASCOTS 2020: 28th international symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2020, Nice (online), France. pp.1-8, ⟨10.1109/MASCOTS50786.2020.9285965⟩. ⟨hal-03116121⟩
Accès au bibtex
BibTex
ref_biblio
Yacine Al-Najjar, Walid Ben-Ameur, Jeremie Leguay. Autour de l'approximabilité du problème de dimensionnement robuste des réseaux. ALGOTEL 2020: 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. ⟨hal-02795754⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02795754/file/algotel.pdf BibTex
ref_biblio
Andrea Araldo, Alessandro Stefano, Antonella Di Stefano. EdgeMORE: improving resource allocation with multiple options from tenants. CCNC 2020: 17th Consumer Communications & Networking Conference, Jan 2020, Las Vegas, United States. pp.1-6, ⟨10.1109/CCNC46108.2020.9045173⟩. ⟨hal-02459433⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02459433/file/_CCNC2020__EdgeMore_mproving_resource_allocation_with_multiple_options_from_tenants.pdf BibTex
ref_biblio
Andrea Araldo, Alessandro Stefano, Antonella Stefano. Resource allocation for edge computing with multiple tenant configurations. SAC 2020: 35th Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. pp.1190-1199, ⟨10.1145/3341105.3374026⟩. ⟨hal-02391242v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02391242/file/_SAC2020__Resource_Allocation_for_Edge_Computing_with_Multiple_Tenant_Configurations.pdf BibTex
ref_biblio
Tülin Atmaca, Amira Kamli, Godlove Suila Kuaban, Tadeusz CzachÓrski. Performance evaluation of the packet aggregation mechanism of an N-GREEN metro network node. MASCOTS 2020: 28th International symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2020, Nice (online), France. pp.62-78, ⟨10.1007/978-3-030-68110-4_4⟩. ⟨hal-03120550⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03120550/file/Mascots%202020_T%C3%BClin.pdf BibTex
ref_biblio
Theo Bouganim, Andrea Araldo, Antoine Lavignotte, Nessim Oussedik, Gabriel Guez. The cost of learning fast with reinforcement learning for edge cache allocation. ITC 2020: 32nd International Teletraffic Congress, PhD Workshop, Sep 2020, Osaka, Japan. ⟨hal-02542133v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02542133/file/1570654680-1.pdf BibTex
ref_biblio
Wael Labidi, Tijani Chahed, Salah Eddine Elayoubi. Optimal battery cycling management for smart grid operated mobile network. CCNC 2020: IEEE 17th Annual Consumer Communications & Networking Conference, Jan 2020, Las Vegas, United States. pp.1-7, ⟨10.1109/CCNC46108.2020.9045151⟩. ⟨hal-03107246⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier. Modeling of a speed control system using Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.367-381, ⟨10.1007/978-3-030-48077-6_29⟩. ⟨hal-02975785⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Régine Laleau. An Event-B model of an automotive adaptive exterior light system. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩. ⟨hal-02975783⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar. Intrusion detection using ASTDs. AINA 2020: 34th international conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1397-1411, ⟨10.1007/978-3-030-44041-1_118⟩. ⟨hal-02975779⟩
Accès au bibtex
BibTex
ref_biblio
Erick Petersen, Jorge Lopez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using SMT-solvers for modeling and verifying dynamic network emulators: (work in progress). NCA 2020: IEEE 19th International Symposium on Network Computing and Applications, Nov 2020, Cambridge (online), United States. pp.1-3, ⟨10.1109/NCA51143.2020.9306731⟩. ⟨hal-03119384⟩
Accès au bibtex
BibTex
ref_biblio
Duyen Phuc Nguyen, Stephane Maag. Codeless web testing using Selenium and machine learning. ICSOFT 2020: 15th International Conference on Software Technologies, Jul 2020, Online, France. pp.51-60, ⟨10.5220/0009885400510060⟩. ⟨hal-02909787⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02909787/file/ICSOFT_2020_76_CR%20%281%29.pdf BibTex
ref_biblio
Fatma Ezzahra Salem, Tijani Chahed, Eitan Altman, Azeddine Gati, Zwi Altman. Scalable Markov decision process model for advanced sleep modes management in 5G networks. VALUETOOLS 2020 - 13th EAI International Conference on Performance Evaluation Methodologies and Tools, May 2020, Tsukuba, Japan. pp.136-141, ⟨10.1145/3388831.3388852⟩. ⟨hal-03107237⟩
Accès au bibtex
BibTex
ref_biblio
Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaquin Garcia-Alfaro. Cyber-resilience evaluation of Cyber-Physical Systems. International Symposium on Network Computing and Applications, Nov 2020, Cambridge, MA (online), United States. pp.1-8, ⟨10.1109/NCA51143.2020.9306741⟩. ⟨hal-03115317⟩
Accès au bibtex
BibTex
ref_biblio
Hadjer Touati, Hind Castel-Taleb, Badii Jouaber, Sarah Akbarzadeh. Split analysis and fronthaul dimensioning in 5G C-RAN to guarantee ultra low latency. CCNC 2020: IEEE 17th Annual Consumer Communications Networking Conference, Jan 2020, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC46108.2020.9045398⟩. ⟨hal-03116035⟩
Accès au bibtex
BibTex
ref_biblio
Hadjer Touati, Hind Castel-Taleb, Badii Jouaber, Sara Akbarzadeh. A new lower cost UL split option for ultra-low latency 5G fronthaul. IWCMC 2020: 16th International Wireless Communications and Mobile Computing, Jun 2020, Limassol (virtual), Cyprus. pp.1872-1878, ⟨10.1109/IWCMC48107.2020.9148420⟩. ⟨hal-03116112⟩
Accès au bibtex
BibTex
ref_biblio
Ayat Zaki Hindi, Salah Eddine Elayoubi, Tijani Chahed. Optimal preemptive retransmission strategy for URLLC in unlicensed spectrum. IWCMC 2020: 16th International Wireless Communications and Mobile Computing, Dec 2020, Taipei, Taiwan. pp.1-6, ⟨10.1109/GLOBECOM42002.2020.9322219⟩. ⟨hal-03122154⟩
Accès au bibtex
BibTex
ref_biblio
Ayat Zaki-Hindi, Salah-Eddine Elayoubi, Tijani Chahed. URLLC and eMBB coexistence in unlicensed spectrum: a preemptive approach. IWCMC 2020: 16th International Wireless Communications and Mobile Computing, Jun 2020, Limassol (virtual), Cyprus. pp.229-234, ⟨10.1109/IWCMC48107.2020.9148222⟩. ⟨hal-03112930⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03112930/file/IWCMC_Ayat2020.pdf BibTex
ref_biblio
Ayat Zaki-Hindi, Salah-Eddine Elayoubi, Tijani Chahed. Model-aided learning for URLLC transmission in unlicensed spectrum. MASCOTS 2020: 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2020, Nice (online), France. pp.1-8, ⟨10.1109/MASCOTS50786.2020.9285938⟩. ⟨hal-03107224⟩
Accès au bibtex
BibTex

2019

ref_biblio
Youssef Ait El Mahjoub, Jean-Michel Fourneau, Hind Castel-Taleb. Analysis of energy consumption in Cloud center with tasks migrations. CN 2019: 26th International Conference on Computer Networks 2019, Jul 2019, Kamien Slaski, Poland. pp.301-315, ⟨10.1007/978-3-030-21952-9_23⟩. ⟨hal-02168212⟩
Accès au bibtex
BibTex
ref_biblio
Yacine Al Najjar, Stefano Paris, Jocelyne Elias, Jeremie Leguay, Walid Ben-Ameur. Optimal routing configuration clustering through dynamic programming. ALGOTEL 2019 : 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. ⟨hal-02125608⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02125608/file/Algotel_2019.pdf BibTex
ref_biblio
Rabéa Ameur Boulifa, Cavalli Ana, Stephane Maag. Verifying complex software control systems from test objectives: application to the ETCS system. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩. ⟨hal-02269604⟩
Accès au bibtex
BibTex
ref_biblio
Rabéa Ameur-Boulifa, Ana Cavalli, Stephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems. ICSOFT 2019 : 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.156-178, ⟨10.1007/978-3-030-52991-8_8⟩. ⟨hal-02904831⟩
Accès au bibtex
BibTex
ref_biblio
Andrea Araldo, Andrea Maria, Antonella Di Stefano, Giovanni Morana. On the importance of demand consolidation in Mobility on Demand. DS-RT 2019: 23rd International Symposium on Distributed Simulation and Real Time Applications, Oct 2019, Consenza, Italy. pp.1-8, ⟨10.1109/DS-RT47707.2019.8958669⟩. ⟨hal-02459444⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02459444/file/1907.02933%281%29.pdf BibTex
ref_biblio
Sarah Dahab, Stephane Maag. Suggesting Software Measurement Plans with unsupervised learning data analysis. ENASE 2019: 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, Greece. ⟨10.5220/0007768101890197⟩. ⟨hal-02143691⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02143691/file/ENASE_2019_97_CR.pdf BibTex
ref_biblio
Stefania Dumbrava, Angela Bonifati, Amaia Nazabal Ruiz Diaz, Romain Vuillemot. Approximate Querying on Property Graphs. SUM 2019 - 13th international conference on Scalable Uncertainty Management, Dec 2019, Compiègne, France. pp.250-265, ⟨10.1007/978-3-030-35514-2_19⟩. ⟨hal-02417259⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02417259/file/main.pdf BibTex
ref_biblio
Mohamed El Haddad, Guillaume Burel, Frédéric Blanqui. Ekstrakto A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). PxTP 2019 - Sixth Workshop on Proof eXchange for Theorem Proving, Aug 2019, Natal, Brazil. pp.27-35, ⟨10.4204/EPTCS.301.5⟩. ⟨hal-02200548⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02200548/file/main.pdf BibTex
ref_biblio
Youssef Ait El Mahjoub, Jean-Michel Fourneau, Hind Castel-Taleb. A numerical approach of the analysis of optical container filling. VALUETOOLS 2019: 12th EAI International Conference on Performance Evaluation Methodologies and Tools, Mar 2019, Palma, Spain. pp.159-162, ⟨10.1145/3306309.3306333⟩. ⟨hal-02168221⟩
Accès au bibtex
BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, et al.. Assessment of a formal requirements modeling approach on a transportation system. ICFEM 2019: 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.470-486, ⟨10.1007/978-3-030-32409-4_29⟩. ⟨hal-02386946⟩
Accès au bibtex
BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, Régine Laleau, Hector Ruiz Barradas, Marc Frappier, Amel Mammar. A formal requirements modeling approach: application to rail communication. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.170-177, ⟨10.5220/0007809701700177⟩. ⟨hal-02403931⟩
Accès au bibtex
BibTex
ref_biblio
Ayat Hindi, Salah Eddine Elayoubi, Tijani Chahed. Performance evaluation of Ultra-Reliable Low-Latency Communication over unlicensed spectrum. ICC 2019 - 2019 IEEE International Conference on Communications (ICC), May 2019, Shanghai, China. pp.1-7, ⟨10.1109/ICC.2019.8761456⟩. ⟨hal-02117089⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02117089/file/AyatICC2019v4.pdf BibTex
ref_biblio
Massinissa Merabet, Sylvain Durand, Miklós Molnár. Un rapport d'approximation pour le problème de recherche de hiérarchie de recouvrement de poids minimum à branchements bornés. ALGOTEL, Jun 2019, Saint Laurent de la Cabrerisse, France. ⟨hal-02127236⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02127236/file/ALGOTEL_2019_paper_43%20%283%29.pdf BibTex
ref_biblio
Mira Morcos, Jocelyne Elias, Fabio Martignon, Lin Chen, Tijani Chahed. A combinatorial auction for joint radio and processing resource allocation in C-RAN. ICC 2019 - 2019 IEEE International Conference on Communications (ICC), May 2019, Shanghai, China. pp.1-7, ⟨10.1109/ICC.2019.8762077⟩. ⟨hal-03107253⟩
Accès au bibtex
BibTex
ref_biblio
Georges Ouffoué, Fatiha Zaïdi, Ana Cavalli. Attack tolerance for services-based applications in the cloud. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩. ⟨hal-02526356⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02526356/file/482770_1_En_15_Chapter.pdf BibTex
ref_biblio
José Reyes, Jorge Lopez, Natalia Kushik, Djamal Zeghlache. On the assessment and debugging of QoE in SDN: work in progress. NCA 2019: 18th International Symposium on Network Computing and Applications, Sep 2019, Cambridge, MA, United States. pp.1-3, ⟨10.1109/NCA.2019.8935029⟩. ⟨hal-02448781⟩
Accès au bibtex
BibTex
ref_biblio
José Reyes, Jorge Lopez, Djamal Zeghlache. Identifying running data-paths in software defined networking driven data-planes. NCA 2019: 18th International Symposium on Network Computing and Applications, Sep 2019, Cambridge, MA, United States. pp.1-8, ⟨10.1109/NCA.2019.8935031⟩. ⟨hal-02425970⟩
Accès au bibtex
BibTex
ref_biblio
Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana Cavalli, Brecht Vermeulen, et al.. Industrial IoT security monitoring and test on Fed4Fire+ platforms. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩. ⟨hal-02526342⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02526342/file/482770_1_En_17_Chapter.pdf BibTex
ref_biblio
Fatma Ezzahra Salem, Tijani Chahed, Zwi Altman, Azeddine Gati. Traffic-aware advanced sleep modes management in 5G networks. WCNC 2019: IEEE Wireless Communications and Networking Conference, Apr 2019, Marrakech, Morocco. pp.1-6, ⟨10.1109/WCNC.2019.8886051⟩. ⟨hal-02294109⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02294109/file/WCNC2019.pdf BibTex
ref_biblio
Fatma Ezzahra Salem, Tijani Chahed, Eitan Altman, Azeddine Gati, Zwi Altman. Optimal policies of advanced sleep modes for energy-efficient 5G networks. NCA 2019: IEEE 18th International Symposium on Network Computing and Applications, Sep 2019, Cambridge, MA, United States. pp.1-7, ⟨10.1109/NCA.2019.8935062⟩. ⟨hal-03107247⟩
Accès au bibtex
BibTex
ref_biblio
Thierno Sambe, Stephane Maag, Ana Cavalli. A methodology for enterprise resource planning automation testing application to the Open Source ERP-ODOO. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩. ⟨hal-02268593⟩
Accès au bibtex
BibTex
ref_biblio
Mariana Segovia, Ana Rosa Cavalli, Nora Cuppens, Jose Rubio-Hernan, Joaquin Garcia-Alfaro. Reflective attenuation of cyber-physical attacks. CyberICPS 2019 : 5th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, Sep 2019, Luxembourg, Luxembourg. pp.19-34, ⟨10.1007/978-3-030-42048-2_2⟩. ⟨hal-02434486⟩
Accès au bibtex
BibTex
ref_biblio
Hadjer Touati, Hind Castel-Taleb, Badii Jouaber, Sarah Akbarzadeh. Model-based optimization for JT CoMP in C-RAN. INFOCOM 2019: IEEE international conference on Computer Communications Workshops, Apr 2019, Paris, France. pp.403-409, ⟨10.1109/INFCOMW.2019.8845102⟩. ⟨hal-02460870⟩
Accès au bibtex
BibTex
ref_biblio
Hadjer Touati, Hind Castel-Taleb, Badii Jouaber, Sara Akbarzadeh. Queue-based model approximation for inter-cell coordination with service differentiation. ISCC 2019: 24th Symposium on Computers and Communications, IEEE, Jun 2019, Barcelona, Spain. pp.1-7, ⟨10.1109/ISCC47284.2019.8969691⟩. ⟨hal-02460827⟩
Accès au bibtex
BibTex
ref_biblio
Thomas Tournaire, Hind Castel-Taleb, Emmanuel Hyon. Comparaisons de méthodes de calcul de seuils pour minimiser la consommation énergétique d’un cloud. ROADEF 2019: 20ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, Association Française de Recherche Opérationnelle et Aide à la Décision, Feb 2019, Le Havre, France. pp.135. ⟨hal-02391828⟩
Accès au bibtex
BibTex
ref_biblio
Thomas Tournaire, Hind Castel-Taleb, Emmanuel Hyon, Toussaint Hoche. Génération de seuils optimaux dans une file hystérésis : application à un modèle de cloud. CORES 2019: Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint Laurent de la Cabrerisse, France. ⟨hal-02126493⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02126493/file/G%C3%A9n%C3%A9ration%20de%20seuils%20optimaux%20dans%20une%20file%20hyst%C3%A9r%C3%A9sis%20%3A%20application%20%C3%A0%20un%20mod%C3%A8le%20de%20cloud.pdf BibTex
ref_biblio
Thomas Tournaire, Hind Castel-Taleb, Emmanuel Hyon, Toussaint Hoche. Generating optimal thresholds in a hysteresis queue: application to a cloud model. MASCOTS 2019: 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.283-294, ⟨10.1109/MASCOTS.2019.00040⟩. ⟨hal-02395100⟩
Accès au bibtex
BibTex
ref_biblio
Evgenii Vinarskii, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. A model checking based approach for detecting SDN races. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩. ⟨hal-02448964⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02448964/file/482770_1_En_12_Chapter.pdf BibTex
ref_biblio
Nina Yevtushenko, Victor Kuliamin, Natalia Kushik. Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩. ⟨hal-02448916⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02448916/file/482770_1_En_6_Chapter.pdf BibTex

2018

ref_biblio
Youssef Ait El Mahjoub, Hind Castel-Taleb, Jean-Michel Fourneau. Performance and energy efficiency analysis in NGREEN optical network. WiMob 2018 : 14th International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2018, Limassol, Cyprus. pp.1 - 9, ⟨10.1109/WiMOB.2018.8589144⟩. ⟨hal-02001298⟩
Accès au bibtex
BibTex
ref_biblio
Abderrahim Ait Wakrime, John Paul Gibson, Jean-Luc Raffy. Formalising the requirements of an e-voting software product line using event-B. WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩. ⟨hal-01914195⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01914195/file/WETICE18.pdf BibTex
ref_biblio
Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩. ⟨hal-01797538⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01797538/file/AmeurACGHKMMSV18-1.pdf BibTex
ref_biblio
Dogukan Aksu, Serpil Ustebay, Muhammed Ali Aydin, Tülin Atmaca. Intrusion detection with comparative analysis of supervised learning techniques and Fisher Score feature selection algorithm. ISCIS 2018 : 32nd International Symposium on Computer and Information Sciences, Sep 2018, Poznan, Poland. pp.141 - 149, ⟨10.1007/978-3-030-00840-6_16⟩. ⟨hal-01884538⟩
Accès au bibtex
BibTex
ref_biblio
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. MANETs interoperability: current trends and open research. WAINA 2018: 32nd International Conference on Advanced Information Networking and Applications Workshops, May 2018, Krakow, Poland. pp.481 - 487, ⟨10.1109/WAINA.2018.00132⟩. ⟨hal-01976999⟩
Accès au bibtex
BibTex
ref_biblio
Vincent Angilella, Matthieu Chardy, Walid Ben-Ameur. Fiber cable network design with operations administration & maintenance constraints. ICORES 2018: 7th International Conference on Operations Research and Enterprise Systems, Jan 2018, Funchal, Portugal. pp.94 - 105, ⟨10.5220/0006621700940105⟩. ⟨hal-01783830⟩
Accès au bibtex
BibTex
ref_biblio
Tülin Atmaca, Amira Kamli, Artur Rataj. Adaptation of N-GREEN architecture for a bursty traffic. CN 2018: 25th International Conference on Computer Networks, Jun 2018, Gliwice, Poland. pp.232 - 244, ⟨10.1007/978-3-319-92459-5_19⟩. ⟨hal-01875171⟩
Accès au bibtex
BibTex
ref_biblio
Asma Berriri, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Towards model based testing for Software Defined Networks. ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Madeira, Portugal. pp.440 - 446, ⟨10.5220/0006805604400446⟩. ⟨hal-01868877⟩
Accès au bibtex
BibTex
ref_biblio
Guillaume Burel. Linking Focusing and Resolution with Selection. 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Aug 2018, Liverpool, United Kingdom. pp.9:1-9:14, ⟨10.4230/LIPIcs.MFCS.2018.9⟩. ⟨hal-01670476v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01670476/file/lipics.pdf BibTex
ref_biblio
Sarah Dahab, Stephane Maag, Wissam Mallouli, Ana Cavalli. Smart measurements and analysis for software quality enhancement. ICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩. ⟨hal-02268574⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. A novel formal approach to automatically suggest metrics in software measurement plans. ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.283 - 290, ⟨10.5220/0006710902830290⟩. ⟨hal-01977158⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Dahab, Erika Fernanda Silva Balocchi, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli. Enhancing software development process quality based on metrics correlation and suggestion. ICSOFT 2018: 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩. ⟨hal-01977133⟩
Accès au bibtex
BibTex
ref_biblio
Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman. Optimal multiphase investment strategies for influencing opinions in a social network. AAMAS 2018: 17th international conference on Autonomous Agents and Multiagent Systems, Jul 2018, Stockholm, Sweden. pp.1927-1929, ⟨10.5555/3237383.3238026⟩. ⟨hal-01716062v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01716062/file/Dhamal_Multiphase_short_HAL.pdf BibTex
ref_biblio
Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman. Manipulating opinion dynamics in social networks in two phases. SocInf+MAISoN 2018: 1st Joint International Workshop on Social Influence Analysis and Mining Actionable Insights from Social Networks, Jul 2018, Stockholm, Sweden. ⟨hal-01800311v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01800311/file/ODSN_Multiphase_SocInf%2BMAISoN_HAL.pdf BibTex
ref_biblio
Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman. Resource allocation polytope games: uniqueness of equilibrium, price of stability, and price of anarchy. AAAI 2018: 32nd Conference on Artificial Intelligence, Feb 2018, New Orleans, United States. pp.997-1006. ⟨hal-01712284v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01712284/file/ODSN_nash_HAL.pdf BibTex
ref_biblio
Andrea Di Maria, Antonella Di Stefano, Andrea Maria, Andrea Araldo, Giovanni Morana, et al.. AMoDSim: An Efficient and Modular Simulation Framework for Autonomous Mobility on Demand. IOV 2018: International Conference on Internet of Vehicles, Nov 2018, Paris, France. pp.165-178, ⟨10.1007/978-3-030-05081-8_12⟩. ⟨hal-02150835⟩
Accès au bibtex
https://arxiv.org/pdf/1808.04813 BibTex
ref_biblio
Jocelyne Elias, Fabio Martignon, Morcos Mira, Lin Chen, Tijani Chahed. Radio resource calendaring in cloud-based Radio Access Networks. 10th Wireless Days Conference, Apr 2018, Dubai, United Arab Emirates. ⟨hal-01700563⟩
Accès au bibtex
BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.262-276, ⟨10.1007/978-3-319-91271-4_18⟩. ⟨hal-01797811⟩
Accès au bibtex
BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications. ABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70, ⟨10.1007/978-3-319-91271-4_5⟩. ⟨hal-01797812⟩
Accès au bibtex
BibTex
ref_biblio
John Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock. Cyber-physical systems engineering: an introduction. ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩. ⟨hal-01914210⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01914210/file/Isola2018-TrackIntroduction.pdf BibTex
ref_biblio
Md Umar Hashmi, Wael Labidi, Ana Bušić, Salah-Eddine Elayoubi, Tijani Chahed. Long-term revenue estimation for battery performing arbitrage and ancillary services. SMARTGRIDCOMM 2018: International Conference Communications, Control, and Computing Technologies for Smart Grids, IEEE, Oct 2018, Aalborg, Denmark. pp.1-7, ⟨10.1109/SmartGridComm.2018.8587562⟩. ⟨hal-01867341⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01867341/file/valuation_storage_regulation_vs_arbitrage_SmartGridComm.pdf BibTex
ref_biblio
Amira Kamli, Tülin Atmaca, Catherine Lepers, Artur Rataj, Djamel Amar. Performance improvement of colored optical packet switching thanks to time slot sharing. AICT 2018 : 14th Advanced International Conference on Telecommunications, Jun 2018, Barcelonna, Spain. pp.28 - 31. ⟨hal-01868558⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav Torgaev. Scalable supervised machine learning apparatus for computationally constrained devices. ICSOFT 2018: 13th International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.518 - 528, ⟨10.5220/0006908905520562⟩. ⟨hal-01990698⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache. Test derivation for SDN-enabled switches: a logic circuit based approach. ICTSS 2018: IFIP International Conference on Testing Software and Systems, Oct 2018, Cádiz, Spain. pp.69 - 84, ⟨10.1007/978-3-319-99927-2_7⟩. ⟨hal-01990709⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. An Event-B model of the hybrid ERTMS/ETCS level 3 standard. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.353-366, ⟨10.1007/978-3-319-91271-4_24⟩. ⟨hal-01797810⟩
Accès au bibtex
BibTex
ref_biblio
Alberto José Fernando Marroquín Piloña, Vencent Martinez, Jose Solares, Stephane Maag. A distributed test-cases dependencies framework : application to the SIP protocol. CONCAPAN 2018: 38th Central America and Panama Convention, Nov 2018, San Salvador, El Salvador. pp.1 - 6, ⟨10.1109/CONCAPAN.2018.8596359⟩. ⟨hal-01975946⟩
Accès au bibtex
BibTex
ref_biblio
José Neto. A polyhedral view to generalized multiple domination and limited packing. ISCO 2018 : International Symposium on Combinatorial Optimization, Apr 2018, Marrakesh, Morocco. pp.352 - 363, ⟨10.1007/978-3-319-96151-4_30⟩. ⟨hal-01849679⟩
Accès au bibtex
BibTex
ref_biblio
Erick Petersen, Marco Antonio To de Leon, Stephane Maag, Thierry Yamga. An unsupervised rule generation approach for online Complex Event Processing. NCA 2018: 17th IEEE International Symposium on Network Computing and Applications, Nov 2018, Cambridge, Ma, United States. pp.1 - 8, ⟨10.1109/NCA.2018.8548210⟩. ⟨hal-01977034⟩
Accès au bibtex
BibTex
ref_biblio
Fatma Ezzahra Salem, Zwi Altman, Azeddine Gati, Tijani Chahed, Eitan Altman. Reinforcement learning approach for Advanced Sleep Modes management in 5G networks. VTC-FALL 2018 : 88th Vehicular Technology Conference, Aug 2018, Chicago, United States. pp.1 - 5, ⟨10.1109/VTCFall.2018.8690555⟩. ⟨hal-02100053⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar. Extended algebraic state-transition diagrams. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.146 - 155, ⟨10.1109/ICECCS2018.2018.00023⟩. ⟨hal-01963140⟩
Accès au bibtex
BibTex
ref_biblio
Hadjer Touati, Hind Castel-Taleb, Badii Jouaber, Sara Akbarzadeh, Ahlem Khlass. Modeling and performance evaluation of the eICIC/ABS in H-CRAN. Rencontres Francophones sur la Conception de Protocoles, l'Evaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2018, Roscoff, France. ⟨hal-01785229⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01785229/file/cores2018__TOUATI.pdf BibTex
ref_biblio
Hadjer Touati, Hind Castel-Taleb, Badii Jouaber, Sarah Akbarzadeh, Ahlem Khlass. Simulation, modeling and analysis of the eICIC/ABS in H-CRAN. PEMWN 2018 : IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Sep 2018, Toulouse, France. pp.1 - 6, ⟨10.23919/PEMWN.2018.8548938⟩. ⟨hal-01994633⟩
Accès au bibtex
BibTex
ref_biblio
Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar. Back propagating B system updates on SysML/KAOS domain models. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.160 - 169, ⟨10.1109/ICECCS2018.2018.00025⟩. ⟨hal-01963152⟩
Accès au bibtex
BibTex
ref_biblio
Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel. Formalisation of SysML/KAOS goal assignments with B system component decompositions. IFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.377 - 397, ⟨10.1007/978-3-319-98938-9_22⟩. ⟨hal-01885098⟩
Accès au bibtex
BibTex
ref_biblio
Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev, Jorge Eleazar Lopez Coronado, Natalia Kushik, et al.. Test derivation for the Software Defined Networking platforms: novel fault models and test completeness. EWDTS 2018: IEEE East-West Design & Test Symposium, Sep 2018, Kazan, Russia. pp.1 - 6, ⟨10.1109/EWDTS.2018.8524712⟩. ⟨hal-01990717⟩
Accès au bibtex
BibTex
ref_biblio
Wilfried Yoro, Mamdouh El Tabach, Taoufik En-Najjary, Azeddine Gati, Tijani Chahed. Energy efficiency of a network equipment per service category. ICC 2018 : IEEE International Conference on Communications, May 2018, Kansas City, United States. pp.1 - 6, ⟨10.1109/ICC.2018.8422369⟩. ⟨hal-01870240⟩
Accès au bibtex
BibTex
ref_biblio
Wilfried Yoro, Mamdouh El Tabach, Taoufik En-Najjary, Azeddine Gati, Tijani Chahed. Sharing the network end-to-end energy consumption among service categories. VTC-Spring 2018 : 87th Vehicular Technology Conference, Jun 2018, Porto, Portugal. pp.1 - 7, ⟨10.1109/VTCSpring.2018.8417651⟩. ⟨hal-01870217⟩
Accès au bibtex
BibTex

2017

ref_biblio
Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds for switched Bernoulli batch arrivals observed through measurements. ASMTA 2017 : international conference on Analytical and Stochastic Modeling Techniques and Applications, Jul 2017, Newcastle-Upon-Tyne, United Kingdom. pp.1 - 15, ⟨10.1007/978-3-319-61428-1_1⟩. ⟨hal-01685254⟩
Accès au bibtex
BibTex
ref_biblio
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. Monitoring dynamic mobile ad-hoc networks: a fully distributed hybrid architecture. AINA 2017: 31st IEEE International Conference on Advanced Information Networking and Applications, Mar 2017, Taipei, Taiwan. pp.407 - 414, ⟨10.1109/AINA.2017.74⟩. ⟨hal-01653375⟩
Accès au bibtex
BibTex
ref_biblio
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala. ⟨hal-01799804⟩
Accès au bibtex
BibTex
ref_biblio
Pamela Carvallo, Ana Rosa Cavalli, Natalia Kushik. A study of threat detection systems and techniques in the cloud. CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140 - 155, ⟨10.1007/978-3-319-76687-4_10⟩. ⟨hal-01745762⟩
Accès au bibtex
BibTex
ref_biblio
Pamela Carvallo, Ana Rosa Cavalli, Wissam Mallouli, Erkuden Rios. Multi-cloud applications security monitoring. GPC 2017 : 12th International Conference on Green, Pervasive, and Cloud Computing, May 2017, Cetara, Italy. pp.748 - 758, ⟨10.1007/978-3-319-57186-7_54⟩. ⟨hal-01583350⟩
Accès au bibtex
BibTex
ref_biblio
Pamela Carvallo, Ana Rosa Cavalli, Wissam Mallouli. A platform for security monitoring of multi-cloud applications. PSI 2017 : 11th International Adrei Ershov Informatics Conference, Jun 2017, Moscou, Russia. pp.59 - 71, ⟨10.1007/978-3-319-74313-4_5⟩. ⟨hal-01695148⟩
Accès au bibtex
BibTex
ref_biblio
Pamela Carvallo, Ana Rosa Cavalli, Natalia Kushik. Automatic derivation and validation of a cloud dataset for insider threat detection. ICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.480 - 487, ⟨10.5220/0006480904800487⟩. ⟨hal-01583232⟩
Accès au bibtex
BibTex
ref_biblio
Raphaël Cauderlier, Catherine Dubois. FoCaLiZe and Dedukti to the rescue for proof interoperability. ITP 2017: International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.532, ⟨10.1007/978-3-319-66107-0_9⟩. ⟨hal-01592243v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01592243/file/article%20%281%29.pdf BibTex
ref_biblio
Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. Automated suggesting software metrics framework. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala. ⟨hal-01799805⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Dahab, Stephane Maag, Xiaoping Che. A software measurement framework guided by Support Vector Machines. 31st International Conference on Advanced Information Networking and Applications Workshops, Mar 2017, Taipei, Taiwan. pp.397 - 402, ⟨10.1109/WAINA.2017.66⟩. ⟨hal-01575616⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Dahab, Juan Jose Hernandez Porras, Stephane Maag. A software measurement plan management guided by an automated metrics suggestion framework. EECS 2017: European Conference on Electrical Engineering & Computer Science, Nov 2017, Bern, Switzerland. pp.9 - 16, ⟨10.1109/EECS.2017.11⟩. ⟨hal-01847908⟩
Accès au bibtex
BibTex
ref_biblio
Ghina Dandachi, Tijani Chahed, Salah-Eddine Elayoubi, Nada Chendeb, Ziad Fawal. Joint allocation strategies for radio and processing resources in Virtual Radio Access Networks (V-RAN). PIMRC 2017 : 28th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications, Oct 2017, Montreal, Canada. pp.1 - 6, ⟨10.1109/PIMRC.2017.8292512⟩. ⟨hal-01711987⟩
Accès au bibtex
BibTex
ref_biblio
Paul Gibson, Souad Kherroubi, Dominique Méry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩. ⟨hal-01658423⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658423/file/446833_1_En_9_Chapter.pdf BibTex
ref_biblio
John Paul Gibson, Dominique Méry. Explicit modelling of physical measures: from Event-B to Java. IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩. ⟨hal-01798224⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01798224/file/GibsonMery18.pdf BibTex
ref_biblio
Mohamed Kandi, Farah Ait Salaht, Hind Castel-Taleb, Emmanuel Hyon. Compromis entre énergie et performance dans le cloud. Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France. ⟨hal-01517666⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01517666/file/Cores2017.pdf BibTex
ref_biblio
Mohamed Mehdi Kandi, Farah Ait Salaht, Hind Castel-Taleb, Emmanuel Hyon. Analysis of performance and energy consumption in the cloud. EPEW2017 : European Workshop on Performance Engineering, Sep 2017, Berlin, Germany. pp.199 - 213, ⟨10.1007/978-3-319-66583-2_13⟩. ⟨hal-01685273⟩
Accès au bibtex
BibTex
ref_biblio
Hatem Khedher, Emad Abd-Elrahman, Hossam Afifi, Michel Marot. Optimal and cost efficient algorithm for virtual CDN orchestration. LCN 2017 : 42nd IEEE Conference on Local Computer Networks, Oct 2017, Singapore, Singapore. pp.61 - 69, ⟨10.1109/LCN.2017.115⟩. ⟨hal-01664049⟩
Accès au bibtex
BibTex
ref_biblio
Wael Labidi, Tijani Chahed, Salah-Eddine Elayoubi. Optimal energy management strategies in mobile networks powered by a smart grid. ICC 2017 : IEEE International Conference on Communications, May 2017, Paris, France. pp.1 - 6, ⟨10.1109/ICC.2017.7997009⟩. ⟨hal-01695709⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Lopez, Natalia Kushik, Djamal Zeghlache. Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩. ⟨hal-01678958⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678958/file/449632_1_En_13_Chapter.pdf BibTex
ref_biblio
Jorge Lopez, Natalia Kushik, Nina Yevtushenko. Proactive trust assessment of systems as services. ENASE 2017 : 12th international conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.271 - 276, ⟨10.5220/0006354502710276⟩. ⟨hal-01611556⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Analyzing and validating virtual network requests. ICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.441 - 446, ⟨10.5220/0006472304410446⟩. ⟨hal-01686297⟩
Accès au bibtex
BibTex
ref_biblio
Alberto José Fernando Marroquín Piloña, Jose Solares, Stephane Maag. A distributed test case dependencies architecture : application to the SIP protocol. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala. ⟨hal-01799806⟩
Accès au bibtex
BibTex
ref_biblio
Morcos Mira, Tijani Chahed, Lin Chen, Jocelyne Elias, Fabio Martignon. A two-level auction for C-RAN resource allocation. ICC 2017 Workshops - International workshop on the main trends in 5G networks (MT5Gnet), May 2017, Paris, France. pp.1-6, ⟨10.1109/ICCW.2017.7962710⟩. ⟨hal-01545749⟩
Accès au bibtex
BibTex
ref_biblio
Kate Monteiro, Michel Marot, Hatem Ibn-Khedher. Review on microgrid communications solutions: a named data networking: fog approach. MED-HOC-NET 2017 : 16th Annual Mediterranean Ad Hoc Networking Workshop, Jun 2017, Budva, Montenegro. pp.1 - 8, ⟨10.1109/MedHocNet.2017.8001656⟩. ⟨hal-01664013⟩
Accès au bibtex
BibTex
ref_biblio
Georges Ouffoué, Fatiha Zaidi, Ana Rosa Cavalli, Mounir Lallali. An attack-tolerant framework for web services. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.503 - 506, ⟨10.1109/SCC.2017.75⟩. ⟨hal-01695155⟩
Accès au bibtex
BibTex
ref_biblio
Georges Ouffoué, Fatiha Zaidi, Ana Rosa Cavalli, Mounir Lallali. Model-based attack tolerance. FINA 2017 : 13th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2017, Taipei, Taiwan. pp.68 - 73, ⟨10.1109/WAINA.2017.88⟩. ⟨hal-01583439⟩
Accès au bibtex
BibTex
ref_biblio
Georges Ouffoué, Fatiha Zaidi, Ana Rosa Cavalli, Mounir Lallali. How web services can be tolerant to intruders through diversification. ICWS 2017 : 24th IEEE International Conference on Web Services, Jun 2017, Honolulu, United States. pp.436 - 443, ⟨10.1109/ICWS.2017.50⟩. ⟨hal-01592719⟩
Accès au bibtex
BibTex
ref_biblio
Erick Petersen, Marco Antonio To de Leon, Stephane Maag. A novel online CEP learning engine for MANET IDS. LATINCOM 2017 : 9th IEEE Latin-American Conference on Communications, Nov 2017, Guatemala City, Guatemala. pp.1 - 6, ⟨10.1109/LATINCOM.2017.8240196⟩. ⟨hal-01681466⟩
Accès au bibtex
BibTex
ref_biblio
Fatma Ezzahra Salem, Azeddine Gati, Zwi Altman, Tijani Chahed. Advanced sleep modes and their impact on flow-level performance of 5G networks. VTC-FALL 2017 : 86th Vehicular Technology Conference, Sep 2017, Toronto, Canada. pp.1 - 7, ⟨10.1109/VTCFall.2017.8288125⟩. ⟨hal-01711991⟩
Accès au bibtex
BibTex
ref_biblio
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier. Towards using ontologies for domain modeling within the SysML/KAOS approach. REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. pp.1 - 5, ⟨10.1109/REW.2017.22⟩. ⟨hal-01692857⟩
Accès au bibtex
BibTex
ref_biblio
Serpil Ustebay, Zuleyha Yiner, M. Ali Aydin, Ahmet Sertbas, Tülin Atmaca. An approach for evaluating performance of magnetic-field based indoor positioning system: neural network. CN 2017 : 24th international conference on Computer Networks, Jun 2017, Lądek Zdrój, Poland. pp.412 - 421, ⟨10.1007/978-3-319-59767-6_32⟩. ⟨hal-01691766⟩
Accès au bibtex
BibTex
ref_biblio
Serpil Ustebay, M. Ali Aydin, Ahmet Sertbas, Tülin Atmaca. A comparative analysis of N-Nearest Neighbors (N3) and Binned Nearest Neighbors (BNN) algorithms for indoor localization. CN 2017 : 24th international conference on Computer Networks, Jun 2017, Lądek Zdrój, Poland. pp.81 - 90, ⟨10.1007/978-3-319-59767-6_7⟩. ⟨hal-01691760⟩
Accès au bibtex
BibTex
ref_biblio
Hung-En Wang, Kuan-Hua Tu, Jie-Hong Jiang, Natalia Kushik. Homing Sequence Derivation with Quantified Boolean Satisfiability. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩. ⟨hal-01678974⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678974/file/449632_1_En_14_Chapter.pdf BibTex
ref_biblio
Husnu Yenigun, Natalia Kushik, Jorge Lopez, Nina Yevtushenko, Ana Rosa Cavalli. Decreasing the complexity of deriving test suites against nondeterministic Finite State Machines. EWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1 - 4, ⟨10.1109/EWDTS.2017.8110091⟩. ⟨hal-01669274⟩
Accès au bibtex
BibTex
ref_biblio
Wilfried Yoro, Mamdouh El Tabach, Taoufik En-Najjary, Azeddine Gati, Tijani Chahed. Energy-efficiency-aware upgrade of network capacity. IEEE WCNC, Mar 2017, San Francisco, United States. pp.1 - 6, ⟨10.1109/WCNC.2017.7925952⟩. ⟨hal-01528461⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01528461/file/WCNC.pdf BibTex
ref_biblio
Wilfried Yoro, Mamdouh El Tabach, Taoufik En-Najjary, Azeddine Gati, Tijani Chahed. Energy efficiency of a network per service. WIOPT 2017 : 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, May 2017, PARIS, France. pp.1-5, ⟨10.23919/WIOPT.2017.7959934⟩. ⟨hal-01592839⟩
Accès au bibtex
BibTex

2016

ref_biblio
Amal Abdel Razzac, Linda Salahaldin, Tijani Chahed, Salah-Eddine Elayoubi, Yezekael Hayel. Real options for investment decisions in mobile TV infrastructure. REAL OPTIONS 2016 : 20th Annual International Conference, Jun 2016, Oslo, Trondheim, Norway. pp.1 - 12. ⟨hal-01357324⟩
Accès au bibtex
BibTex
ref_biblio
Amal Abdel Razzac, Tijani Chahed, Salah-Eddine Elayoubi. Control of performance in mobile networks in the presence of user impatience. VTC FALL 2016 : 84th Vehicular Technology Conference, Sep 2016, Montreal, Canada. pp.1 - 7, ⟨10.1109/VTCFall.2016.7880939⟩. ⟨hal-01493179⟩
Accès au bibtex
BibTex
ref_biblio
Rui Abreu, César AndrÉs, Ana Rosa Cavalli. A framework to reduce the cost of monitoring and diagnosis using game theory. CRISIS 2016 : 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France. pp.169 - 182, ⟨10.1007/978-3-319-54876-0_14⟩. ⟨hal-01487740⟩
Accès au bibtex
BibTex
ref_biblio
Farah Ait Salaht, Emmanuel Hyon, Hind Castel-Taleb. Politique optimale d'activation et désactivation des serveurs dans un modèle de cloud computing.. 17ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision (ROADEF), Feb 2016, Compiègne, France. ⟨hal-01361952⟩
Accès au bibtex
BibTex
ref_biblio
Farah Ait Salaht, Hind Castel-Taleb. Performance analysis of clouds with phase-type arrivals. 1ères Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication (CoRes 2016)CoRes 2016, May 2016, Bayonne, France. ⟨hal-01310845⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01310845/file/CoRes.pdf BibTex
ref_biblio
Farah Ait Salaht, Hind Castel-Taleb. Bounding aggregations on phase-type arrivals for performance analysis of clouds. MASCOTS 2016 : 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Sep 2016, London United Kingdom. pp.319 - 324, ⟨10.1109/MASCOTS.2016.38⟩. ⟨hal-01449251⟩
Accès au bibtex
BibTex
ref_biblio
Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds and histograms for active queues management and networks analysis. ASMTA 2016 : 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, Aug 2016, Cardiff United Kingdom. pp.1 - 16, ⟨10.1007/978-3-319-43904-4_1⟩. ⟨hal-01449260⟩
Accès au bibtex
BibTex
ref_biblio
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi. MANETs monitoring with a distributed hybrid architecture. NCA 2016 : 15th IEEE International Symposium on Network Computing and Applications, Oct 2016, Cambridge, Ma, United States. pp.388 - 391, ⟨10.1109/NCA.2016.7778646⟩. ⟨hal-01462909⟩
Accès au bibtex
BibTex
ref_biblio
Vincent Angilella, Matthieu Chardy, Walid Ben-Ameur. Cables network design optimization for the Fiber To The Home. DRCN 2016 : 12th International Conference on the Design of Reliable Communication Networks , Mar 2016, Paris, France. pp.87 - 94, ⟨10.1109/DRCN.2016.7470839⟩. ⟨hal-01450509⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Antoine Glorieux, José Neto. A full description of polytopes related to the index of the lowest nonzero row of an assignment matrix. ISCO 2016 : 4th International Symposium on Combinatorial Optimization, May 2016, Vietri Sul Mare, Italy. pp.13-25, ⟨10.1007/978-3-319-45587-7_2⟩. ⟨hal-01497880⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01497880/file/polyhedral_study-v4.pdf BibTex
ref_biblio
Walid Ben-Ameur, Antoine Glorieux, José Neto. From graph orientation to the unweighted maximum cut. COCOON 2016 : 22nd International Conference on Computing and Combinatorics, Aug 2016, Ho Chi Minh Ville, Vietnam. pp.370-384, ⟨10.1007/978-3-319-42634-1_30⟩. ⟨hal-01497887⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01497887/file/from_graph_orientation_to_the_unweighted_maximum%20cut_problem_v2.pdf BibTex
ref_biblio
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. An event-B based approach for ensuring correct configurable business processes. ICWS 2016 : 23rd IEEE International Conference on Web Services, Jun 2016, San Francisco, United States. pp.460 - 467, ⟨10.1109/ICWS.2016.66⟩. ⟨hal-01359893⟩
Accès au bibtex
BibTex
ref_biblio
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. A formal guidance approach for correct process configuration. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 - 498, ⟨10.1007/978-3-319-46295-0_30⟩. ⟨hal-01425991⟩
Accès au bibtex
BibTex
ref_biblio
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. Formal verification of cloud resource allocation in business processes using Event-B. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 - 753, ⟨10.1109/AINA.2016.126⟩. ⟨hal-01341653⟩
Accès au bibtex
BibTex
ref_biblio
Ana Rosa Cavalli, Wissam Mallouli. Monitoring techniques in practice: experiences and lessons learned. SAM 2016: 9th System Analysis and Modelling Conference , Oct 2016, Saint Malo, France. ⟨hal-01586259⟩
Accès au bibtex
BibTex
ref_biblio
Longbiao Chen, Daqing Zhang, Leye Wang, Dingqi Yang, Xiaojuan Ma, et al.. Dynamic cluster-based over-demand prediction in bike sharing systems. UBICOMP 2016 : ACM International Joint Conference on Pervasive and Ubiquitous Computing, Sep 2016, Heidelberg, Germany. pp.841 - 852, ⟨10.1145/2971648.2971652⟩. ⟨hal-01404490⟩
Accès au bibtex
BibTex
ref_biblio
Sarah Dahab, Stephane Maag, Alessandra Bagnato, Marcos Aurelio Almeida da Silva. A learning based approach for green software measurements. MEGSUS 2016 : 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, Sep 2016, Ciudad Real, Spain. pp.13 - 22. ⟨hal-01387475⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387475/file/Camera-ready_Megsus16_Dahab_Maag_Bagnato_Almeida.pdf BibTex
ref_biblio
Ghina Dandachi, Salah-Eddine Elayoubi, Tijani Chahed, Nada Chendeb. Performance evaluation of user centric multihoming strategies in LTE/WiFi networks. WCNC 2016 : Wireless Communications and Networking Conference , Apr 2016, Doha, Qatar. pp.1 - 6, ⟨10.1109/WCNC.2016.7565013⟩. ⟨hal-01369495⟩
Accès au bibtex
BibTex
ref_biblio
Raul Armando Fuentes Samaniego, Ana Rosa Cavalli, Juan Arturo Nolazco-Flores. An analysis of secure M2M communication in WSNs using DTLS. STAM 2016 : 2nd IEEE International Workshop on Security Testing and Monitoring, Jun 2016, Nara, Japan. pp.78 - 83, ⟨10.1109/ICDCSW.2016.13⟩. ⟨hal-01416148⟩
Accès au bibtex
BibTex
ref_biblio
Nicolas Gensollen, Vincent Gauthier, Michel Marot, Monique Becker. Submodular optimization for control of prosumer networks. SMARTGRIDCOMM 2016 : 7th IEEE International Conference on Smart Grid Communications, Nov 2016, Sydney, Australia. pp.1 - 6, ⟨10.1109/SmartGridComm.2016.7778758⟩. ⟨hal-01663977⟩
Accès au bibtex
BibTex
ref_biblio
Seif Eddine Hammami, Hossam Afifi, Michel Marot, Vincent Gauthier. Network planning tool based on network classification and load prediction. WCNC 2016 : IEEE Wireless Communications and Networking Conference, Apr 2016, Doha, Qatar. pp.1 - 6, ⟨10.1109/WCNC.2016.7565166⟩. ⟨hal-01370148⟩
Accès au bibtex
BibTex
ref_biblio
Kawther Hassine, Mounir Frikha, Tijani Chahed. Greedy versus limited access point backhaul resource aggregation in wireless local area networks. AINA 2016 : 30th International Conference on. Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.166 - 173, ⟨10.1109/AINA.2016.60⟩. ⟨hal-01341611⟩
Accès au bibtex
BibTex
ref_biblio
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau. SGAC: a patient-centered access control method. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549286⟩. ⟨hal-01359877⟩
Accès au bibtex
BibTex
ref_biblio
Aymen Jaziri, Ridha Nasri, Tijani Chahed. Offloading traffic hotspots using moving small cells. ICC 2016 : International Conference on Internet of things and Cloud Computing, May 2016, Kuala Lumpur, Malaysia. pp.1 - 6, ⟨10.1109/ICC.2016.7511566⟩. ⟨hal-01348003⟩
Accès au bibtex
BibTex
ref_biblio
Aymen Jaziri, Ridha Nasri, Tijani Chahed. Congestion mitigation in 5G networks using drone relays. IWCMC 2016 : 12th International Wireless Communication and Mobile Computing Conference, Sep 2016, Paphos, Cyprus. pp.233 - 238, ⟨10.1109/IWCMC.2016.7577063⟩. ⟨hal-01391265⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Nina Yevtushenko, Husnu Yenigun. Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs. AMARETTO 2016 : 4th International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, Feb 2016, Rome, Italy. pp.83 - 90, ⟨10.5220/0005854500830090⟩. ⟨hal-01332386⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines. QRS 2016 : International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria. pp.315 - 322, ⟨10.1109/QRS.2016.43⟩. ⟨hal-01432412⟩
Accès au bibtex
BibTex
ref_biblio
Vinh Hoa La, Ana Rosa Cavalli. A misbehavior node detection algorithm for 6LoWPAN Wireless Sensor Networks. STAM 2016: 2nd IEEE International Workshop on Security Testing And Monitoring, Jun 2016, Nara, Japan. pp.49 - 54, ⟨10.1109/ICDCSW.2016.11⟩. ⟨hal-01415351⟩
Accès au bibtex
BibTex
ref_biblio
Vinh Hoa La, Raul Armando Fuentes Samaniego, Ana Rosa Cavalli. A novel monitoring solution for 6LoWPAN-based Wireless Sensor Networks. APCC 2016 : 22nd Asia-Pacific Conference on Communications, Aug 2016, Yogyakarta, Indonesia. pp.230 - 237, ⟨10.1109/APCC.2016.7581493⟩. ⟨hal-01391251⟩
Accès au bibtex
BibTex
ref_biblio
Vinh Hoa La, Raul Armando Fuentes Samaniego, Ana Rosa Cavalli. Network monitoring using MMT: an application based on the user-agent field in HTTP headers. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.147 - 154, ⟨10.1109/AINA.2016.41⟩. ⟨hal-01335530⟩
Accès au bibtex
BibTex
ref_biblio
Thi Hien Le, Stephane Maag. Ads network monitoring integrating realistic urban mobility patterns. WAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops, Mar 2016, Crans Montana, Switzerland. pp.737 - 742, ⟨10.1109/WAINA.2016.99⟩. ⟨hal-01390840⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. On source code optimization for interpreted languages using state models. ENASE 2016 : 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.282 - 287, ⟨10.5220/0005917802820287⟩. ⟨hal-01450658⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing network utilization through source code state model representation. EWDTS 2016 : 14th East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807732⟩. ⟨hal-01433929⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Régine Laleau. On the use of domain and system knowledge modeling in goal-based Event-B specifications. ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, Oct 2016, Corfu, Greece. pp.325 - 339, ⟨10.1007/978-3-319-47166-2_23⟩. ⟨hal-01425977⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Thi Mai Nguyen, Régine Laleau. Formal development of a secure access control filter. HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩. ⟨hal-01298113⟩
Accès au bibtex
BibTex
ref_biblio
Huu Nghia Nguyen, Fatiha Zaidi, Ana Rosa Cavalli. Effectively testing of timed composite systems using test case prioritization. SEKE 2016 : 28th International Conference on Software Engineering and Knowledge Engineering, Jul 2016, San Francisco, United States. pp.1 - 6, ⟨10.18293/SEKE2016-153⟩. ⟨hal-01358350⟩
Accès au bibtex
BibTex
ref_biblio
Thi Mai Nguyen, Amel Mammar, Régine Laleau, Samir Hameg. A tool for the generation of a secure access control filter. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549285⟩. ⟨hal-01359879⟩
Accès au bibtex
BibTex
ref_biblio
Samet Oztoprak, Muhammed Ali Aydin, Tülin Atmaca. Energy-efficiency for heterogenous wireless networks by using hand-off approach. AICT 2016 : 12th Advanced International Conference on Telecommunications, May 2016, Valencia, Spain. pp.40 - 44. ⟨hal-01343364⟩
Accès au bibtex
BibTex
ref_biblio
Erick Petersen, Marco Antonio To de Leon, Stephane Maag. An online learning based approach for CEP rule generation. LATINCOM 2016 : 8th IEEE Latin-American Conference on Communications, Nov 2016, Medellin, Colombia. pp.1 - 6, ⟨10.1109/LATINCOM.2016.7811563⟩. ⟨hal-01462912⟩
Accès au bibtex
BibTex
ref_biblio
Diego Arturo Rivera Villagra, Ana Rosa Cavalli. QoE-driven service optimization aware of the business model. WAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops , Mar 2016, Crans-Montana, Switzerland. pp.725 - 730, ⟨10.1109/WAINA.2016.105⟩. ⟨hal-01335539⟩
Accès au bibtex
BibTex
ref_biblio
Diego Arturo Rivera Villagra, Ana Rosa Cavalli, Natalia Kushik, Wissam Mallouli. An implementation of a QoE evaluation technique including business model parameters. ICSOFT-PT 2016 : 11th International Conference on Software Paradigm Trends, Aug 2016, Lisbon, Portugal. pp.138 - 145, ⟨10.5220/0006005001380145⟩. ⟨hal-01369532⟩
Accès au bibtex
BibTex
ref_biblio
Sergey Smolov, Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko, Alexander Kamkin, et al.. Testing logic circuits at different abstraction levels : an experimental evaluation. EWDTS 2016 : IEEE East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807687⟩. ⟨hal-01450771⟩
Accès au bibtex
BibTex
ref_biblio
Abdallah Sobehy, Walid Ben-Ameur, Hossam Afifi, Amira Bradai. How to win elections. COLLABORATECOM 2016 : 12th International Conference on Collaborative Computing: Networking, Applications and Worksharing, Nov 2016, Beijing, China. pp.221 - 230, ⟨10.1007/978-3-319-59288-6_20⟩. ⟨hal-01710851⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Visca, Raul Armando Fuentes Samaniego, Ana Rosa Cavalli, Javier Ernesto Baliosian. Opportunistic media sharing for mobile networks. NOMS 2016 : IEEE/IFIP Network Operations and Management Symposium, Apr 2016, Istanbul, Turkey. pp.799 - 803, ⟨10.1109/NOMS.2016.7502902⟩. ⟨hal-01348024⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Visca, Javier Ernesto Baliosian, Raul Armando Fuentes Samaniego, Ana Rosa Cavalli. Path sampling : a robust alternative to gossiping for opportunistic network routing. WIMOB 2016 : 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2016, New York, United States. pp.1 - 8, ⟨10.1109/WiMOB.2016.7763244⟩. ⟨hal-01433849⟩
Accès au bibtex
BibTex
ref_biblio
Husnu Yenigun, Nina Yevtushenko, Natalia Kushik. Some classes of Finite State Machines with polynomial length of distinguishing test cases. SAC 2016 : 31st ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. pp.1680 - 1685, ⟨10.1145/2851613.2851835⟩. ⟨hal-01332390⟩
Accès au bibtex
BibTex
ref_biblio
Wilfried Yoro, Tijani Chahed, Mamdouh Tabach, Taoufik En-Najjary, Azeddine Gati. Sharing of energy among service categories in wireless access networks using Shapley value. International Wireless Communications & Mobile Computing Conference (IWCMC 2016) , Sep 2016, Paphos, Cyprus. pp.422 - 429, ⟨10.1109/IWCMC.2016.7577095⟩. ⟨hal-01375899⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01375899/file/IWCMC2016.pdf BibTex
ref_biblio
Alexandre Zaytsev, Maxim Trigub, Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Self-adaptive models for laser monitor image processing. EDM 2016 : 17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Jun 2016, Altay Mountains, Russia. pp.300 - 303, ⟨10.1109/EDM.2016.7538745⟩. ⟨hal-01450678⟩
Accès au bibtex
BibTex

2015

ref_biblio
Farah Ait Salaht, Hind Castel-Taleb. Bounding aggregations on bulk arrivals for performance analysis of clouds. AICCSA 2015 : 12th International Conference on Computer Systems and Applications , Nov 2015, Marrakech, Morocco. pp.1 - 8, ⟨10.1109/AICCSA.2015.7507120⟩. ⟨hal-01348014⟩
Accès au bibtex
BibTex
ref_biblio
Anass Bellachehab, Jérémie Jakubowicz. Random pairwise gossip on CAT(k) metric spaces. GSI 2015 : 2nd conference on Geometric Science of Information, Oct 2015, Palaiseau, France. pp.702 - 709, ⟨10.1007/978-3-319-25040-3_75⟩. ⟨hal-01270550⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Antoine Glorieux, José Neto. On the most imbalanced orientation of a graph. COCOON 2015 : 21st International Conference on Computing and Combinatorics, Aug 2015, Beijing, China. pp.16 - 29, ⟨10.1007/978-3-319-21398-9_2⟩. ⟨hal-01497825⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01497825/file/on_the_most_imbalanced_orientation_of_a_graph.pdf BibTex
ref_biblio
Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan. Passively testing routing protocols in Wireless Sensor Networks. UIC 2015 : 12th IEEE International Conference on Ubiquitous Intelligence and Computing, Aug 2015, Pekin, China. pp.270 - 277, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.59⟩. ⟨hal-01348000⟩
Accès au bibtex
BibTex
ref_biblio
Longbiao Chen, Dingqi Yang, Jérémie Jakubowicz, Gang Pan, Daqing Zhang, et al.. Sensing the pulse of urban activity centers leveraging bike sharing open data. UIC 2015 : 12th IEEE International Conference on Ubiquitous Intelligence and Computing, Aug 2015, Beijing, China. pp.135 - 142, ⟨10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.43⟩. ⟨hal-01348010⟩
Accès au bibtex
BibTex
ref_biblio
Ghina Dandachi, Salah-Eddine Elayoubi, Tijani Chahed, Nada Chendeb, Hatem Jebalia. Comparing resource allocation schemes in multi-homed LTE/WiFi access networks. VTC FALL 2015 : 82nd Vehicular Technology Conference, Sep 2015, Boston, United States. pp.1 - 6, ⟨10.1109/VTCFall.2015.7390872⟩. ⟨hal-01282713⟩
Accès au bibtex
BibTex
ref_biblio
Raul Fuentes-Samaniego, Ana Cavalli, Juan Nolazco-Flores, Javier Baliosian. A Survey on Wireless Sensors Networks Security Based on a Layered Approach. 13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.77-93, ⟨10.1007/978-3-319-22572-2_6⟩. ⟨hal-01728805⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01728805/file/346846_1_En_6_Chapter.pdf BibTex
ref_biblio
Kawther Hassine, Mounir Frikha, Tijani Chahed. Proposal for access point backhaul resource aggregation and its modeling using one-to-one matching game. MOMM 2015 : 13th International Conference on Advances in Mobile Computing and Multimedia, Dec 2015, Bruxelles, Belgium. pp.285 - 292, ⟨10.1145/2837126.2837134⟩. ⟨hal-01304429⟩
Accès au bibtex
BibTex
ref_biblio
Aymen Jaziri, Ridha Nasri, Tijani Chahed. Performance analysis of small cells' deployment under imperfect traffic hotspot localization. GLOBECOM 2015 : IEEE Global Communications Conference, Dec 2015, San Diego, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2014.7417356⟩. ⟨hal-01282716⟩
Accès au bibtex
BibTex
ref_biblio
Vinh Hoa La, Ana Rosa Cavalli. A comparative evaluation of two intrusion-tolerant routing protocols for Wireless Sensor Networks. BWCCA 2015: 10th International Conference on Broadband and Wireless Computing, Communication and Applications, Nov 2015, Krakow, Poland. pp.6 - 12, ⟨10.1109/BWCCA.2015.104⟩. ⟨hal-01341539⟩
Accès au bibtex
BibTex
ref_biblio
Julio Cesar Louzada Pinto, Tijani Chahed, Eitan Altman. Trend detection in social networks using Hawkes processes. 6th International Workshop on Mining and Analyzing Social Networks for Decision Support (MSNDS 2015) in conjunction with IEEE/ACM ASONAM 2015, Aug 2015, Paris, France. pp.1441-1448, ⟨10.1145/2808797.2814178⟩. ⟨hal-01171581⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01171581/file/trend_detection_ASONAM_2015_v5-2.pdf BibTex
ref_biblio
Stephane Maag, Alberto José Fernando Marroquín Piloña. Testing communication protocols within test cases dependencies framework. AC 2015 : 12th International Conference Applied Computing, Oct 2015, Maynooth, Ireland. pp.80 - 88. ⟨hal-01304434⟩
Accès au bibtex
BibTex
ref_biblio
Alberto José Fernando Marroquín Piloña, Douglas Gonzalez, Stephane Maag. Testing distributed systems with test cases dependencies architecture. LATINCOM 2015 : 7th Latin-American Conference on Communications, Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430116⟩. ⟨hal-01298024⟩
Accès au bibtex
BibTex
ref_biblio
Diego Arturo Rivera Villagra, Natalia Kushik, Camila Fuenzalida Nunez, Ana Rosa Cavalli, Nina Yevtushenko. QoE evaluation based on QoS and QoBiz parameters applied to an OTT service. ICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.607 - 614, ⟨10.1109/ICWS.2015.86⟩. ⟨hal-01269646⟩
Accès au bibtex
BibTex
ref_biblio
Oscar Rolando Rodas Hernandez, Marco Antonio To de Leon, Jose Alfredo Alvarez Aldana, Stephane Maag. Protecting Wireless Mesh Networks through a distributed intrusion prevention framework. LATINCOM 2015 : 7th Latin-American Conference on Communications, Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430126⟩. ⟨hal-01298022⟩
Accès au bibtex
BibTex
ref_biblio
Eric Sibony, Stéphan Clémençon, Jérémie Jakubowicz. MRA-based statistical learning from incomplete rankings. ICML 2015 : 32nd International Conference on Machine Learning, Jul 2015, Lille, France. pp.1432 - 1441. ⟨hal-01270543⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01270543/file/sibony15.pdf BibTex
ref_biblio
Marco Antonio To de Leon, Oscar Rolando Rodas Hernandez, Preng Biba, Stephane Maag. A proactive approach for strip interoperability in wireless Ad hoc routing protocols. LATINCOM 2015 : 7th Latin-American Conference on Communications , Nov 2015, Arequipa, Peru. pp.1 - 6, ⟨10.1109/LATINCOM.2015.7430121⟩. ⟨hal-01298023⟩
Accès au bibtex
BibTex

2014

ref_biblio
Mohamed Aouadi, Khalifa Toumi, Ana Rosa Cavalli. On modeling and testing security properties of vehicular networks. ICSTW 2014 : 7th International Conference on Software Testing, Verification and Validation Workshops, Mar 2014, Cleveland, United States. pp.42 - 50, ⟨10.1109/ICSTW.2014.56⟩. ⟨hal-01285747⟩
Accès au bibtex
BibTex
ref_biblio
Anass Bellachehab, Jérémie Jakubowicz. Random pairwise gossip on CAT(0) metric spaces. CDC 2014 : 53rd IEEE Conference on Decision and Control , Dec 2014, Los Angeles, United States. pp.5593 - 5598 ⟨10.1109/CDC.2014.7040264⟩. ⟨hal-01257891⟩
Accès au bibtex
BibTex
ref_biblio
Cesar Andres Sanchez, Ana Rosa Cavalli, Nina Yevtushenko, João Santos, Rui Abreu. On modeling and testing components of the European Train Control System. IPCT 2014 : International Conference on Advances in Information Processing And Communication Technology, Jun 2014, Rome, Italy. pp.31 - 35, ⟨10.15224/978-1-63248-021-7-72⟩. ⟨hal-01262564⟩
Accès au bibtex
BibTex
ref_biblio
Eric Sibony, Stéphan Clémençon, Jérémie Jakubowicz. Multiresolution analysis of incomplete rankings with applications to prediction. BIGDATA 2014 : International Conference on Big Data, Oct 2014, Washington, United States. pp.88 - 95, ⟨10.1109/BigData.2014.7004361⟩. ⟨hal-01285707⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. Formal approach for generating privacy preserving user requirements-based business process fragments. ACSC 2014 : 37th Australasian Computer Science Conference , Jan 2014, Auckland, New Zealand. pp.89 - 98. ⟨hal-01290711⟩
Accès au bibtex
BibTex

2013

ref_biblio
Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. A bounding histogram approach for network performance analysis. HPCC 2013 : 15th IEEE International Conference on High Performance Computing and Communications, Nov 2013, Zhangjiajie, China. pp.458 - 465, ⟨10.1109/HPCC.and.EUC.2013.72⟩. ⟨hal-01269777⟩
Accès au bibtex
BibTex
ref_biblio
Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Une approche combinant bornes stochastiques, traces et histogrammes pour l'analyse de performance des réseaux. MSR 2013 : Modélisation des Systèmes Réactifs, Nov 2013, Rennes, France. pp.165 - 179, ⟨10.3166/jesa.47.165-179⟩. ⟨hal-01269928⟩
Accès au bibtex
BibTex
ref_biblio
Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Modeling networks and active queues management with stochastic bounds and histograms. VECoS 2013 : 7th International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy. ⟨hal-01335668⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Pascal Bianchi, Jérémie Jakubowicz. A total variation based approach for robust consensus in distributed networks. CDC 2013 : 52nd IEEE Conference on Decision and Control, Dec 2013, Firenze, Italy. pp.1690 - 1695, ⟨10.1109/CDC.2013.6760125⟩. ⟨hal-01269693⟩
Accès au bibtex
BibTex
ref_biblio
Xiaoping Che, Stephane Maag. A passive testing approach for protocols in internet of things. iThings 2013 : IEEE International Conference on Internet of Things, Aug 2013, Beijing, China. pp.678 - 684, ⟨10.1109/GreenCom-iThings-CPSCom.2013.124⟩. ⟨hal-01273641⟩
Accès au bibtex
BibTex
ref_biblio
Xiaoping Che, Stephane Maag. Passive testing on performance requirements of network protocols. NETMM2013 : International Workshop on Network Management and Monitoring, Mar 2013, Barcelona, Spain. pp.1439 - 1444, ⟨10.1109/WAINA.2013.12⟩. ⟨hal-00842773⟩
Accès au bibtex
BibTex
ref_biblio
Xiaoping Che, Stephane Maag. A formal passive performance testing approach for distributed communication systems. ENASE 2013 : 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Jul 2013, Angers, France. pp.74 - 84, ⟨10.5220/0004444000740084⟩. ⟨hal-01275092⟩
Accès au bibtex
BibTex
ref_biblio
Stéphan Clémençon, Jérémie Jakubowicz. Scoring anomalies: a M-estimation formulation. AISTATS 2013: 16th International Conference on Artificial Intelligence and Statistics, Apr 2013, Scottsdale, AZ, United States. ⟨hal-02107392⟩
Accès au texte intégral et bibtex
https://hal.telecom-paris.fr/hal-02107392/file/clemencon13a.pdf BibTex
ref_biblio
Stéphan Clémençon, Jérémie Jakubowicz. Scoring anomalies : a M-estimation formulation. AISTATS 2013 : 16th international conference on Artificial Intelligence and Statistics, Apr 2013, Scottsdale, Az, United States. pp.659 - 667. ⟨hal-00839254⟩
Accès au bibtex
BibTex
ref_biblio
Glenda Gonzalez, Tülin Atmaca. An integrated bandwidth allocation for energy saving in fixed-mobile networks. CAMAD 2013 : 18th IEEE International Workshop on Computer Aided Modeling Analysis and Design of Communication Links and Networks, Sep 2013, Berlin, Germany. pp.73 - 78, ⟨10.1109/CAMAD.2013.6708092⟩. ⟨hal-01298133⟩
Accès au bibtex
BibTex
ref_biblio
Olga Kondratyeva, Ana Rosa Cavalli, Natalia Kushik, Nina Yevtushenko. Evaluating quality of web services: a short survey. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.587 - 594, ⟨10.1109/ICWS.2013.83⟩. ⟨hal-01274984⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Lopez, Stephane Maag, Gerardo Morales. A formal distributed network monitoring approach for enhancing trust management systems. MEDES 2013 : International ACM Conference on Management of Emergent Digital EcoSystems, Oct 2013, Neumünster Abbey, Luxembourg. pp.76 - 83, ⟨10.1145/2536146.2536160⟩. ⟨hal-01274260⟩
Accès au bibtex
BibTex
ref_biblio
Julio Cesar Louzada Pinto, Tijani Chahed, Jérémie Jakubowicz. A stochastic opinion dynamics model with multiple contents. CDC 2013 : 52nd IEEE Conference on Decision and Control, Dec 2013, Firenze, Italy. pp.612 - 617, ⟨10.1109/CDC.2013.6759949⟩. ⟨hal-01269688⟩
Accès au bibtex
BibTex
ref_biblio
Pramila Mouttappa, Stephane Maag, Ana Rosa Cavalli. Monitoring based on IOSTS for testing functional and security properties: application to an automotive case study. COMPSAC 2013 : 37th Annual International Computer Software & Applications Conference, Jul 2013, Kyoto, Japan. pp.1 - 10, ⟨10.1109/COMPSAC.2013.5⟩. ⟨hal-01275006⟩
Accès au bibtex
BibTex

2012

ref_biblio
Akhan Akbulut, Muhammed Ali Aydin, Tülin Atmaca, Abdul Halim Zaim. Accessing to data in WSNs. ICNFI 2012 : International Conference on Networking and Future Internet, Apr 2012, Istanbul, Turkey. pp.70 - 73. ⟨hal-01300693⟩
Accès au bibtex
BibTex

2011

ref_biblio
Rachit Agarwal, Abhik Banerjee, Vincent Gauthier, Monique Becker, Chai Kiat Yeo, et al.. Self-organization of nodes using bio-inspired techniques for achieving small world properties. CCNet 2011 : IEEE GLOBECOM Workshop on Complex Communication Networks, Dec 2011, Houston United States. pp.89 - 94, ⟨10.1109/GLOCOMW.2011.6162587⟩. ⟨hal-01301912⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01301912/file/biobeamform.pdf BibTex
ref_biblio
Tülin Atmaca, van Thiep Nguyen, Tuan Dung Nguyen. Performance evaluation of the access and metropolitan optical packet switching networks and their interconnection. ICNFI 2011 : 1st International Conference on Networking and Future Internet, Apr 2011, Paris, France. ⟨hal-01332952⟩
Accès au bibtex
BibTex
ref_biblio
Tülin Atmaca. Towards optical networks. FIE 2011 : Workshop WS-8 : Future Internet Engineering, Jul 2011, Munich, Germany. ⟨hal-01345029⟩
Accès au bibtex
BibTex
ref_biblio
Tülin Atmaca, van Thiep Nguyen, Tuan Dung Nguyen, Glenda Gonzalez, Joel Rodrigues. A solution for synchronization problem of interconnected metro access and metro core ring networks. EuroView 2011 : 11th Würzburg Workshop on IP : Joint ITG and Euro-NF Workshop "Visions of Future Generation Networks", Aug 2011, Würzburg, Germany. pp.51 - 52. ⟨hal-01303397⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb, Idriss Ismael Aouled, Nihal Pekergin. Bounding techniques for transient analysis of G-networks with catastrophes. VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris France. pp.197 - 206. ⟨hal-01301868⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb, Idriss Ismael Aouled. Stochastic comparison of Markov processes through coupling by mapping functions. QEST 2011 : 8th International Conference on Quantitative Evaluation of Systems, Sep 2011, Aachen Germany. ⟨hal-01303048⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb, Nihal Pekergin. Strong and weak orderings for an accurate resource dimensioning. VECoS 2011 : 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia. pp.1 - 12. ⟨hal-01303049⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb, Nihal Pekergin. On the choice of the stochastic comparison method for multidimensional Markov chains analysis. VALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris, France. pp.418 - 424. ⟨hal-01301870⟩
Accès au bibtex
BibTex
ref_biblio
Salah-Eddine Elayoubi, Louai Saker, Tijani Chahed. Optimal control for base station sleep mode in energy efficient radio access networks. INFOCOM 2011 : 30th IEEE International Conference on Computer Communications, Apr 2011, Shanghai, China. pp.106 - 110, ⟨10.1109/INFCOM.2011.5934881⟩. ⟨hal-01304059⟩
Accès au bibtex
BibTex
ref_biblio
Marc Frappier, Amel Mammar. Proving non-interference on reachability properties : a refinement approach. APSEC 2011 : 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.25 - 32, ⟨10.1109/APSEC.2011.35⟩. ⟨hal-01302414⟩
Accès au bibtex
BibTex
ref_biblio
Mathew Pradeep Goonewardena, Nandana Rajatheva, Tijani Chahed, Djamal Zeghlache. ENPA and EBPA models for primary user activity based power allocation in cognitive systems. PIMRC 2011 : 22nd Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2011, Toronto, Canada. pp.671 - 675, ⟨10.1109/PIMRC.2011.6140048⟩. ⟨hal-01302213⟩
Accès au bibtex
BibTex
ref_biblio
Zeynep Gurkas Aydin, Abdul Halim Zaim, Hakima Chaouchi, Tülin Atmaca. Extended early update for host identity protocol with movement prediction. ICNFI 2011 : 1st International Conference on Networking and Future Internet, Apr 2011, Paris, France. ⟨hal-01354611⟩
Accès au bibtex
BibTex
ref_biblio
Zeynep Gurkas Aydin, Abdul Halim Zaim, Hakima Chaouchi, Tülin Atmaca. A prediction based mobility extension for eHIP protocol. ISCIS 2011 : 26th International Symposium on Computer and Information Sciences, Sep 2011, London, United Kingdom. pp.209 - 213, ⟨10.1007/978-1-4471-2155-8_26⟩. ⟨hal-01302447⟩
Accès au bibtex
BibTex
ref_biblio
Anis Jdidi, Tijani Chahed. Joint use of hierarchical modulation and relays in OFDMA networks. VTC FALL 2011 : 74th Vehicular Technology Conference, Sep 2011, San Francisco, United States. pp.1 - 6, ⟨10.1109/VETECF.2011.6093016⟩. ⟨hal-01303020⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Edgardo Montes de Oca. A SPIN-based approach for detecting vulnerabilities in C programs. PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143. ⟨hal-01465027⟩
Accès au bibtex
BibTex
ref_biblio
Felipe Lalanne Rojas, Xiaoping Che, Stephane Maag. Data-centric property formulation for passive testing of communication protocols. ACC 2011 : 4th Applied Computing Conference, Nov 2011, Angers, France. pp.176 - 181. ⟨hal-01303064⟩
Accès au bibtex
BibTex
ref_biblio
Felipe Lalanne Rojas, Stephane Maag. An invariant based passive testing approach for protocol data parts. AICT 2011 : 7th Advanced International Conference on Telecommunications, Mar 2011, St. Maarten, Netherlands Antilles. pp.94 - 101. ⟨hal-01303547⟩
Accès au bibtex
BibTex
ref_biblio
Felipe Lalanne Rojas, Stephane Maag. Protocol data parts inclusion in a formal passive testing approach. FINA 2011 : 7th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2011, Singapore, Singapore. pp.569 - 573, ⟨10.1109/WAINA.2011.21⟩. ⟨hal-01303598⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Fama Diagne. A proof-based approach to verifying reachability properties. SAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1651 - 1657, ⟨10.1145/1982185.1982531⟩. ⟨hal-01303017⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar. An overview of a proof-based approach to detecting C vulnerabilities. SAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1343 - 1344, ⟨10.1145/1982185.1982476⟩. ⟨hal-01303015⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Ana Rosa Cavalli, Willy Ronald Jimenez Freitez, Wissam Mallouli, Edgardo Montes de Oca. Using testing techniques for vulnerability detection in C programs. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩. ⟨hal-01303013⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01303013/file/978-3-642-24580-0_7_Chapter.pdf BibTex
ref_biblio
Amel Mammar, Pengfei Liu. A proof-based approach to detect vulnerabilities in C programs. SERP 2011 : International Conference on Software Engineering Research and Practice, Jul 2011, Las Vegas, United States. pp.464 - 470. ⟨hal-01302477⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01302477/file/Mammar2011.pdf BibTex
ref_biblio
Anderson Morais, Ana Rosa Cavalli. Route manipulation attack in wireless mesh networks. AINA 2011 : 25th International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.501 - 508, ⟨10.1109/AINA.2011.11⟩. ⟨hal-01465746⟩
Accès au bibtex
BibTex
ref_biblio
Anderson Morais, Ana Rosa Cavalli. Detection of attacks in wireless mesh networks. LADC 2011 : 5th Latin-American Symposium on Dependable Computing, Apr 2011, Sao Jose Dos Campos, Brazil. pp.45 - 54, ⟨10.1109/LADC.2011.13⟩. ⟨hal-01301634⟩
Accès au bibtex
BibTex
ref_biblio
Anderson Morais, Ana Rosa Cavalli. A quality of experience based approach for wireless mesh networks. 9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova I La Geltrú, Spain. pp.162-173, ⟨10.1007/978-3-642-21560-5_14⟩. ⟨hal-01301638⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01301638/file/978-3-642-21560-5_14_Chapter.pdf BibTex
ref_biblio
van Thiep Nguyen, Tülin Atmaca, Glenda Gonzalez, Joel Rodrigues. Performance study of interconnected metro ring networks. EMERGING 2011 : 3rd International Conference on Emerging Network Intelligence, Nov 2011, Lisbon, Portugal. pp.82 - 87. ⟨hal-01354613⟩
Accès au bibtex
BibTex
ref_biblio
Marcelo Odin, Jose Pablo Escobedo, Ana Rosa Cavalli, Stephane Maag, Ariel Sabiguero. Cost effective cross-layer protocol testing : a case study. CASE 2011 : Congreso Argentino de Sistemas Embebidos, Mar 2011, Buenos Aires, Argentina. pp.103 - 108. ⟨hal-01303607⟩
Accès au bibtex
BibTex
ref_biblio
Louai Saker, Salah-Eddine Elayoubi, Tijani Chahed. How femtocells impact the capacity and the energy efficiency of LTE-Advanced networks. PIMRC 2011 : 22nd Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2011, Toronto, Canada. pp.177 - 181, ⟨10.1109/PIMRC.2011.6139814⟩. ⟨hal-01301933⟩
Accès au bibtex
BibTex
ref_biblio
Louai Saker, Salah-Eddine Elayoubi, Rong Letian, Tijani Chahed. Capacity and energy efficiency of picocell deployment in LTE-A networks. VTC SPRING 2011 : IEEE 73rd Vehicular Technology Conference, May 2011, Budapest, Hungary. pp.1 - 5, ⟨10.1109/VETECS.2011.5956501⟩. ⟨hal-01304064⟩
Accès au bibtex
BibTex
ref_biblio
Özgür Can Turna, Muhammed Ali Aydin, Tülin Atmaca, Abdul Halim Zaim. What is the traffic characterisation on EPON's upstream channel ?. ICNFI 2011 : 1st International Conference on Networking and Future Internet, Apr 2011, Paris, France. ⟨hal-01344538⟩
Accès au bibtex
BibTex
ref_biblio
Özgür Can Turna, Muhammed Ali Aydin, Tülin Atmaca, Abdul Halim Zaim. A prediction extension for half cycling dynamic bandwidth allocation on EPON. EuroNF-TCCFI 2011 : Euro-NF International Workshop on Traffic and Congestion Control for the Future Internet, Mar 2011, Volos, Greece. ⟨hal-01464977⟩
Accès au bibtex
BibTex
ref_biblio
Özgür Can Turna, Muhammed Ali Aydin, Tülin Atmaca, Abdul Halim Zaim, Tuan Dung Nguyen. Traffic characterization study on EPON upstream channel. TRAC 2011 : 2nd International Workshop on TRaffic Analysis and Classification, Jul 2011, Istanbul, Turkey. pp.1601 - 1606, ⟨10.1109/IWCMC.2011.5982670⟩. ⟨hal-01303361⟩
Accès au bibtex
BibTex
ref_biblio
Maxim Zhigulin, Stephane Maag, Ana Rosa Cavalli, Nina Yevtushenko. FSM-based test derivation strategies for systems with time-outs. QSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩. ⟨hal-01303601⟩
Accès au bibtex
BibTex

2010

ref_biblio
Mouna Abdelmoumen, Eya Dhib, Mounir Frikha, Tijani Chahed. Impact des modèles de mobilité sur les protocoles de routage dans les réseaux tolérants aux délais. GRES 2010 : 9e Colloque francophone sur la Gestion de Réseaux Et de Services, Oct 2010, Montréal, Canada. ⟨hal-01355068⟩
Accès au bibtex
BibTex
ref_biblio
Mouna Abdelmoumen, Eya Dhib, Mounir Frikha, Tijani Chahed. How to improve the performance in delay tolerant networks under Manhattan mobility model. PIMRC 2010 : 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2010, Istanbul, Turkey. pp.2008 - 2013, ⟨10.1109/PIMRC.2010.5671593⟩. ⟨hal-01355070⟩
Accès au bibtex
BibTex
ref_biblio
Abdel-Mehsen Ahmad, Mahmoud Doughan, Vincent Gauthier, Imad Mougharbel, Michel Marot. Hybrid multi-channel multi-hop MAC in VANETs. MoMM 2010 : 8th International Conference on Advances in Mobile Computing & Multimedia, Nov 2010, Paris, France. ⟨hal-01355166⟩
Accès au bibtex
BibTex
ref_biblio
Tülin Atmaca, Tuan Dung Nguyen. Delay analysis and queue-length distribution of a slotted metro network using embedded DTMC. GLOBECOM 2010 : Global Communication Conference, Dec 2010, Miami, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2010.5684317⟩. ⟨hal-01308285⟩
Accès au bibtex
BibTex
ref_biblio
Monique Becker, Ashish Gupta, Michel Marot, Harmeet Singh. Improving clustering techniques in wireless sensor networks using thinning process. Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienne, Austria. pp.203-214, ⟨10.1007/978-3-642-25575-5_17⟩. ⟨hal-01347786⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01347786/file/978-3-642-25575-5_17_Chapter.pdf BibTex
ref_biblio
Walid Ben-Ameur, Pablo Pavón Mariño, Michal Pioro. On traffic domination in communication networks. Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienne, Austria. pp.191-202, ⟨10.1007/978-3-642-25575-5_16⟩. ⟨hal-01301879⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01301879/file/978-3-642-25575-5_16_Chapter.pdf BibTex
ref_biblio
Fayçal Bessayah, Ana Rosa Cavalli. A formal passive testing approach for checking real time constraints. QUATIC 2010 : 7th International Conference on the Quality of Information and Communications Technology, Sep 2010, Porto, Portugal. pp.274 - 279, ⟨10.1109/QUATIC.2010.55⟩. ⟨hal-01306297⟩
Accès au bibtex
BibTex
ref_biblio
Fayçal Bessayah, Ana Rosa Cavalli, William Maja, Eliane Martins, Andre Willik Valenti. A fault injection tool for testing web services composition. TAIC PART 2010 : Testing: Academic & Industrial Conference Practice and Research Techniques, Sep 2010, Windsor, United Kingdom. pp.137 - 146, ⟨10.1007/978-3-642-15585-7_13⟩. ⟨hal-01306763⟩
Accès au bibtex
BibTex
ref_biblio
Andreas Bley, José Neto. Approximability of 3- and 4-hop bounded disjoint paths problems. IPCO 2010 : 14th Conference on Integer Programming and Combinatorial Optimization, Jun 2010, Lausanne, Switzerland. pp.205 - 218, ⟨10.1007/978-3-642-13036-6_16⟩. ⟨hal-01306851⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01306851/file/Report-024-2009.pdf BibTex
ref_biblio
Ana Rosa Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, et al.. Webmov : a dedicated framework for the modelling and testing of web services composition. ICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.377 - 384, ⟨10.1109/ICWS.2010.24⟩. ⟨hal-01306746⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. Single-node cluster reduction in WSN and energy-efficiency during cluster formation. Med-Hoc-Net 2010 : 9th IFIP Annual Mediterranean Ad Hoc Networking Worshop, Jun 2010, Juan-Les-Pins, France. pp.1 - 10, ⟨10.1109/MEDHOCNET.2010.5546881⟩. ⟨hal-01355177⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. A distributed link quality based d-clustering protocol for dense ZigBee sensor networks. WD 2010 : IFIP Wireless Days, Oct 2010, Venice, Italy. pp.1 - 6, ⟨10.1109/WD.2010.5657750⟩. ⟨hal-01355190⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. Using LQI to improve clusterhead locations in dense zigbee based wireless sensor networks. WiMob 2010 : IEEE 6th International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2010, Niagara Falls, Canada. pp.137 - 143, ⟨10.1109/WIMOB.2010.5644979⟩. ⟨hal-01355191⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. Link quality and local load balancing routing mechanisms in wireless sensor networks. AICT 2010 : 6th Advanced International Conference on Telecommunications, May 2010, Barcelone, Spain. pp.306 - 315, ⟨10.1109/AICT.2010.27⟩. ⟨hal-01355220⟩
Accès au bibtex
BibTex
ref_biblio
Mazen El Maarabani, Iksoon Hwang, Ana Rosa Cavalli. A formal approach for interoperability testing of security rules. SITIS 2010 : 6th International Conference on Signal-Image Technology & Internet-Based Systems, Dec 2010, Kuala Lumpur, Malaysia. pp.277 - 284, ⟨10.1109/SITIS.2010.53⟩. ⟨hal-01305099⟩
Accès au bibtex
BibTex
ref_biblio
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Testing web service orchestrators in context : a symbolic approach. SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩. ⟨hal-01306744⟩
Accès au bibtex
BibTex
ref_biblio
Marc Frappier, Fama Diagne, Amel Mammar. Proving reachability in B using substitution refinement. WOBD 2010 : Workshop on B Dissemination, Nov 2010, Natal, Brazil. ⟨hal-01306195⟩
Accès au bibtex
BibTex
ref_biblio
Ashish Gupta, Cherif Diallo, Michel Marot, Monique Becker. Understanding topology challenges in the implementation of wireless sensor network for cold chain. RWS 2010 : IEEE Radio & Wireless Symposium, Jan 2010, New Orleans, La, United States. pp.376 - 379, ⟨10.1109/RWS.2010.5434224⟩. ⟨hal-01356711⟩
Accès au bibtex
BibTex
ref_biblio
Ashish Gupta, Alexandre Delye de Clauzade de Mazieux, Michel Marot, Monique Becker. Cold chain automation. 4th European ZigBee Developers' Conference, Apr 2010, Munich, Germany. ⟨hal-01355194⟩
Accès au bibtex
BibTex
ref_biblio
Ashish Gupta, Mohit Sharma, Michel Marot, Monique Becker. HybridLQI : hybrid multihopLQI for improving asymmetric links in wireless sensor networks. AICT 2010 : 6th Advanced International Conference on Telecommunications, May 2010, Barcelone, Spain. pp.298 - 305, ⟨10.1109/AICT.2010.58⟩. ⟨hal-01355183⟩
Accès au bibtex
BibTex
ref_biblio
Anis Jdidi, Tijani Chahed. Impact of hierarchical modulation on proportional fair in OFDMA-based networks. ComNet 2010 : 2nd International Conference on Communications and Networking, Nov 2010, Tozeur, Tunisia. pp.1 - 6, ⟨10.1109/COMNET.2010.5699815⟩. ⟨hal-01355058⟩
Accès au bibtex
BibTex
ref_biblio
Anis Jdidi, Tijani Chahed, Salah-Eddine Elayoubi, Hichem Besbes. On hierarchical modulation to increase flow-level capacity in OFDMA-based networks. ICC 2010 : IEEE International Conference on Communications, May 2010, Cape Town, South Africa. pp.1 - 6, ⟨10.1109/ICC.2010.5501768⟩. ⟨hal-01356828⟩
Accès au bibtex
BibTex
ref_biblio
Bentakouk Lina, Bessayah Faycal, Mounir Lallali, Mallouli Wissam, Sadovykh Andrey. A Framework for Modeling and Testing of Web Services Orchestration.. The fourth workshop on Modeling, Design, and Analysis for the Service Cloud (MDA4ServiceCloud 2010), Jun 2010, Paris, France. pp.34-36. ⟨hal-00706086⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Fama Diagne, Marc Frappier. A proof-based approach to verifying reachability properties. WOBD 2010 : Workshop on B Dissemination, Nov 2010, Natal, Brazil. ⟨hal-01306183⟩
Accès au bibtex
BibTex
ref_biblio
Michel Marot, Vincent Gauthier. Reducing collision probability on a shared medium using a variational method. MAMA 2010 : 12th Workshop on MAthematical Performance Modeling and Analysis, Jun 2010, New York United States. ⟨hal-01354822⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01354822/file/MAMA2010-Marot-Gauthier.pdf BibTex
ref_biblio
Gerardo Morales, Stephane Maag, Ana Rosa Cavalli, Wissam Mallouli, Edgardo Montes de Oca, et al.. Timed extended invariants for the passive testing of Web services. ICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.592 - 599, ⟨10.1109/ICWS.2010.17⟩. ⟨hal-01309503⟩
Accès au bibtex
BibTex
ref_biblio
Louai Saker, Salah-Eddine Elayoubi, Tijani Chahed. Minimizing energy consumption via sleep mode in green base station. WCNC 2010 : IEEE Wireless Communications and Networking Conference, Apr 2010, Sydney, Australia. pp.1 - 6, ⟨10.1109/WCNC.2010.5506413⟩. ⟨hal-01306040⟩
Accès au bibtex
BibTex
ref_biblio
Bakr Sarakbi, Stephane Maag. Partial complete iBGP. ICC 2010 : IEEE International Conference on Communications, May 2010, Cape Town, South Africa. pp.1 - 5, ⟨10.1109/ICC.2010.5502388⟩. ⟨hal-01309497⟩
Accès au bibtex
BibTex
ref_biblio
Bakr Sarakbi, Stephane Maag. BGP skeleton : an alternative to iBGP route reflection. INFOCOM 2010 : 29th Conference on Computer Communications, Mar 2010, San Diego, Ca, United States. pp.1 - 5, ⟨10.1109/INFCOM.2010.5462223⟩. ⟨hal-01309502⟩
Accès au bibtex
BibTex
ref_biblio
Moazzam Islam Tiwana, Berna Sayrac, Zwi Altman, Tijani Chahed. Statistical learning-based automated healing : application to mobility in 3G LTE networks. PIMRC 2010 : 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2010, Istanbul, Turkey. pp.1746 - 1751, ⟨10.1109/PIMRC.2010.5671912⟩. ⟨hal-01306874⟩
Accès au bibtex
BibTex
ref_biblio
Özgür Can Turna, Muhammed Ali Aydin, Tülin Atmaca, Abdul Halim Zaim. A novel dynamic bandwidth allocation algorithm based on half cycling for EPON. EMERGING 2010 : 2nd International Conference on Emerging Network Intelligence, Oct 2010, Florence, Italy. pp.38 - 43. ⟨hal-01309274⟩
Accès au bibtex
BibTex
ref_biblio
Bachar Wehbi, Anis Laouiti, Ana Rosa Cavalli. Transmit and reserve (tar) : a coordinated channel access for IEEE 802.11 networks. WCNC 2010 : IEEE Wireless Communications and Networking Conference, Apr 2010, Sidney, Australia. pp.1 - 6, ⟨10.1109/WCNC.2010.5506240⟩. ⟨hal-01306741⟩
Accès au bibtex
BibTex
ref_biblio
Saleh Yousefi, Tijani Chahed, Seyed Masoud Mousavi Langari, Keyvan Zayer. Comfort applications in vehicular ad hoc networks based on fountain coding. WiVec 2010 : 3rd IEEE International Symposium on Wireless Vehicular Communications, May 2010, Taipei, Taiwan. pp.1 - 5, ⟨10.1109/VETECS.2010.5494176⟩. ⟨hal-01356674⟩
Accès au bibtex
BibTex
ref_biblio
Fatiha Zaïdi, Mounir Lallali, Stephane Maag. A Component based Testing Technique for a MANET Routing Protocol.. The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), May 2010, Hammamet, Tunisia. pp.1-7, ⟨10.1109/AICCSA.2010.5587040⟩. ⟨hal-00706005⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00706005/file/A_Component_based_Testing_Technique_AICCSA2010.pdf BibTex

2009

ref_biblio
César AndrÉs, Stephane Maag, Ana Rosa Cavalli, Mercedes Merayo, Manuel Nunez. Analysis of the OLSR protocol by using formal passive testing. APSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩. ⟨hal-01366249⟩
Accès au bibtex
BibTex
ref_biblio
Tülin Atmaca, Thaere Eido, Tuan Dung Nguyen, Dominique Chiaroni, Gema Buforn. Aggregation issues in time slotted packet ring networks. PS 2009 : International Conference on Photonics in Switching, Sep 2009, Pisa, Italy. pp.1 - 2, ⟨10.1109/PS.2009.5307813⟩. ⟨hal-00436668⟩
Accès au bibtex
BibTex
ref_biblio
Muhammed Ali Aydin, Tülin Atmaca, Özgür Can Turna, Abdul Halim Zaim, Thaere Eido. Regulative Wavelength Grouping approach for QoS in OBS networks. AICT 2009 : 5th Advanced International Conference on Telecommunications, May 2009, Venice / Mestre, Italy. pp.254 - 260, ⟨10.1109/AICT.2009.50⟩. ⟨hal-01364282⟩
Accès au bibtex
BibTex
ref_biblio
Muhammed Ali Aydin, Özgür Can Turna, Abdul Halim Zaim, Tülin Atmaca. A performance comparison according to number of wavelengths and topologies on PCSA reservation mechanism for OBS. ELECO 2009 : 6th International Conference on Electrical and Electronics Engineering, Nov 2009, Bursa, Turkey. pp.186 - 190, ⟨10.1109/ELECO.2009.5355367⟩. ⟨hal-01366534⟩
Accès au bibtex
BibTex
ref_biblio
Muhammed Ali Aydin, Tülin Atmaca, Özgür Can Turna, Abdul Halim Zaim. Performance study of new OBS channel scheduling algorithms in a multiservice network. INCS 2009 : 5th International Conference on Networking and Services, Apr 2009, Valencia, Spain. pp.242 - 248, ⟨10.1109/ICNS.2009.27⟩. ⟨hal-01369586⟩
Accès au bibtex
BibTex
ref_biblio
Monique Becker, André-Luc Beylot, Riadh Dhaou, Ashish Gupta, Rahim Kacimi, et al.. Experimental study : link quality and deployment issues in wireless sensor networks. IFIP Networking 2009 : 8th International IFIP-TC 6 Networking Conference, May 2009, Aachen, Germany. pp.14 - 25, ⟨10.1007/978-3-642-01399-7_2⟩. ⟨hal-01369590⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Makhlouf Hadji, Adam Ouorou. Networks with unicyclic connected components. INOC 2009 : International Network Optimization Conference, Apr 2009, Pisa, Italy. ⟨hal-01369244⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Mohamed Didi Biha. The cut separator problem. INOC 2009 : International Network Optimization Conference, Apr 2009, Pisa, Italy. pp.1 - 5. ⟨hal-01367479⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, José Neto. A polynomial-time recursive algorithm for some unconstrained quadratic optimization problems. CTW 2009 : 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, Jun 2009, Paris, France. pp.105 - 108. ⟨hal-01368385⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01368385/file/ctw09-proceedings-1.pdf BibTex
ref_biblio
Hind Castel-Taleb, Nihal Pekergin. Weak stochastic comparisons for performability verification. ASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications , Jun 2009, Madrid, Spain. pp.294 - 308, ⟨10.1007/978-3-642-02205-0_21⟩. ⟨hal-01369734⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb, Nihal Pekergin. Stochastic monotonicity in queueing networks. EPEW 2009 : 6th European Performance Engineering Workshop, Jul 2009, Imperial College London United Kingdom. pp.116 - 130, ⟨10.1007/978-3-642-02924-0_10⟩. ⟨hal-01366211⟩
Accès au bibtex
BibTex
ref_biblio
Ana Rosa Cavalli, Stephane Maag, Edgardo Montes de Oca, Fatiha Zaidi. A formal passive testing approach to test a MANET routing protocol. PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩. ⟨hal-01369686⟩
Accès au bibtex
BibTex
ref_biblio
Ana Rosa Cavalli, Azzedine Benameur, Wissam Mallouli, Keqin Li. A passive testing approach for security checking and its practical usage for web services monitoring. NOTERE 2009 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition, Jun 2009, Montréal, Canada. ⟨hal-01360187⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01360187/file/notere09.pdf BibTex
ref_biblio
Pierre Delannoy, Michel Marot, Monique Becker. WiMax quality-of-service estimations and measurement. VITAE 2009 : 1st International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace & Electronic Systems Technology, May 2009, Aalborg, Denmark. pp.503 - 509, ⟨10.1109/WIRELESSVITAE.2009.5172496⟩. ⟨hal-01367806⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Ashish Gupta, Monique Becker, Michel Marot. Energy aware database updating protocols for autoconfigurable sensor networks. ICN 2009 : 8th International Conference on Networks, Mar 2009, Cancun, Mexico. pp.138 - 143, ⟨10.1109/ICN.2009.36⟩. ⟨hal-01367446⟩
Accès au bibtex
BibTex
ref_biblio
Thaere Eido, Abdessalem Mribah, Tülin Atmaca. Novel constrained-path computation algorithm for failure recovery and CAC in GMPLS optical networks. ISCIS 2008 : 23rd International Symposium on Computer and Information Sciences, Oct 2009, Istanbul, Turkey. pp.1 - 6, ⟨10.1109/ISCIS.2008.4717858⟩. ⟨hal-01327398⟩
Accès au bibtex
BibTex
ref_biblio
Thaere Eido, Ferhan Pekergin, Tülin Atmaca. Modelling and performance evaluation of improved access mechanisms in a novel multiservice OPS architecture. NETWORKING 2009 : 8th International IFIP-TC 6 Networking Conference, May 2009, Aachen, Germany. pp.821 - 834, ⟨10.1007/978-3-642-01399-7_64⟩. ⟨hal-00441891⟩
Accès au bibtex
BibTex
ref_biblio
Thaere Eido, Ferhan Pekergin, Michel Marot, Tülin Atmaca. Multiservice optical packet switched networks : modeling, performance evaluation and QoS mechanisms in a mesh slotted architecture. ICNS 2009 : 5th International Conference on Networking and Services, Apr 2009, Valencia, Spain. pp.288 - 295, ⟨10.1109/ICNS.2009.43⟩. ⟨hal-01317609⟩
Accès au bibtex
BibTex
ref_biblio
Thaere Eido, Ferhan Pekergin, Tülin Atmaca. Performance analysis of an enhanced distributed access mechanism in a novel multiservice OPS architecture. NGI '09 : 5th Euro-NGI Conference on Next Generation Internet Networks, Jul 2009, Aveiro, Portugal. pp.1 - 7, ⟨10.1109/NGI.2009.5175774⟩. ⟨hal-01364278⟩
Accès au bibtex
BibTex
ref_biblio
Mazen El Maarabani, Asma Adala, Iksoon Hwang, Ana Rosa Cavalli. Interoperability testing of presence service on IMS platform. TridentCom 2009 : 5th International Conference onTestbeds and Research Infrastructures for the Development of Networks & Communities and Workshops, Apr 2009, Washington, United States. ⟨10.1109/TRIDENTCOM.2009.4976260⟩. ⟨hal-00442192⟩
Accès au bibtex
BibTex
ref_biblio
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Observability and controllability issues in conformance testing of Web service compositions. TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩. ⟨hal-01360755⟩
Accès au bibtex
BibTex
ref_biblio
Armando Garcia Berumen, Michel Marot. BoD algorithm for TCP and multimedia applications in a DVB-S2/RCS system. IWSSC 2009 : International workshop on satellites and space communications, Sep 2009, Sienna, Italy. pp.215 - 219, ⟨10.1109/IWSSC.2009.5286397⟩. ⟨hal-01361023⟩
Accès au bibtex
BibTex
ref_biblio
Iksoon Hwang, Mounir Lallali, Ana Rosa Cavalli, Dominique Verchère. Modeling, validation, and verification of PCEP using the IF language. FMOODS/FORTE 2009 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Jun 2009, Lisboa, Portugal. pp.122 - 136, ⟨10.1007/978-3-642-02138-1_8⟩. ⟨hal-00446605⟩
Accès au bibtex
BibTex
ref_biblio
Willy Ronald Jimenez Freitez, Amel Mammar, Ana Rosa Cavalli. Software vulnerabilities, prevention and detection methods : a review. SEC-MDA 2009 : Security in Model Driven Architecture , Jun 2009, Enschede, Netherlands. pp.1 - 11. ⟨hal-01367445⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01367445/file/GET_sec-mda09.pdf BibTex
ref_biblio
Amel Ksentini, Tijani Chahed. Extending the ad hoc horizon in dense 802.11 networks using fountain codes. ICSNC 2009 : 4th International Conference on Systems and Networks Communications, Sep 2009, Porto, Portugal. pp.63 - 67, ⟨10.1109/ICSNC.2009.88⟩. ⟨hal-01355072⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01355072/file/ksentini_icsnc2009.pdf BibTex
ref_biblio
Dinesh Kumar, Tijani Chahed, Eitan Altman. Analysis of a fountain codes based transport in an 802.11 WLAN cell. ITC 21 2009 : 21st International Teletraffic Congress, Sep 2009, Paris, France. pp.1 - 8. ⟨hal-01368552⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01368552/file/fountain_itc21.pdf BibTex
ref_biblio
Felipe Lalanne Rojas, Stephane Maag, Edgardo Montes de Oca, Ana Rosa Cavalli, Wissam Mallouli, et al.. An automated passive testing approach for the IMS PoC service. ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩. ⟨hal-01316417⟩
Accès au bibtex
BibTex
ref_biblio
Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. A formal framework to integrate timed security rules within a TEFSM-based system specification. APSEC 2009 : 16th AsiaPacific Software Engineering Conference, Dec 2009, Batu Ferringhi, Malaysia. pp.489 - 496, ⟨10.1109/APSEC.2009.52⟩. ⟨hal-00444089⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00444089/file/mallouli2009.pdf BibTex
ref_biblio
Amel Mammar, Ana Rosa Cavalli, Edgardo Montes de Oca, Shanai Ardi, David Byers, et al.. Modélisation et détection formelles de vulnérabilités logicielles par le test passif. SAR-SSI 2009 : 4eme Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information , Jun 2009, Luchon, France. ⟨hal-00444066⟩
Accès au bibtex
BibTex
ref_biblio
Mercedes Merayo, Iksoon Hwang, Manuel Nunez, Ana Rosa Cavalli. A statistical approach to test stochastic and probabilistic systems. ICFEM 2009 : 11th International Conference on Formal Engineering Methods, Dec 2009, Rio De Janeiro, Brazil. pp.186 - 205, ⟨10.1007/978-3-642-10373-5_10⟩. ⟨hal-01360751⟩
Accès au bibtex
BibTex
ref_biblio
Tuan Dung Nguyen, Thaere Eido, Tülin Atmaca. DCUM : dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks. QoSim 2009 : 2nd International Workshop on the Evaluation of Quality of Service through Simulation in the Future Internet, Mar 2009, Rome, Italy. ⟨10.4108/ICST.SIMUTOOLS2009.5796⟩. ⟨hal-01360918⟩
Accès au bibtex
BibTex
ref_biblio
Tuan Dung Nguyen, Thaere Eido, Tülin Atmaca. Performance of a virtual synchronization mechanism in an asynchronous optical network. AICT 2009 : 5th Advanced International Conference on Telecommunications, May 2009, Venice / Mestre, Italy. pp.39 - 43, ⟨10.1109/AICT.2009.13⟩. ⟨hal-01369601⟩
Accès au bibtex
BibTex
ref_biblio
Tuan Dung Nguyen, Thaere Eido, Tülin Atmaca. An enhanced QoS-enabled dynamic bandwidth allocation mechanism for ethernet PON. ECUMN 2009 : 5th European Conference on Universal Multiservice Networks, Oct 2009, Sliema, Malta. pp.135 - 140, ⟨10.1109/EMERGING.2009.20⟩. ⟨hal-00436665⟩
Accès au bibtex
BibTex
ref_biblio
Bakr Sarakbi, Stephane Maag. BGP convergence time : a step towards continuous connectivity. ITA 2009 : 3rd International Conference on Internet Technologies and Applications, Sep 2009, Wrexham, North Wales, United Kingdom. ⟨hal-00434467⟩
Accès au bibtex
BibTex
ref_biblio
Moazzam Islam Tiwana, Berna Sayrac, Zwi Altman, Tijani Chahed. Troubleshooting of 3G LTE mobility parameters using iterative statistical model refinement. WD 2009 : 2nd IFIP Wireless Days, Dec 2009, Paris, France. pp.1 - 5, ⟨10.1109/WD.2009.5449704⟩. ⟨hal-01360951⟩
Accès au bibtex
BibTex
ref_biblio
Fatiha Zaidi, Emmanuel Bayse, Ana Rosa Cavalli. Network protocol interoperability testing based on contextual signatures and passive testing. SAC 2009 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu (Hawaii), United States. pp.2 - 7, ⟨10.1145/1529282.1529284⟩. ⟨hal-01316444⟩
Accès au bibtex
BibTex
ref_biblio
Mateusz Zotkiewicz, Walid Ben-Ameur. More adaptive robust stable routing. GLOBECOM 2009 : IEEE Global Communications Conference, Nov 2009, Hawaii, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2009.5425958⟩. ⟨hal-01368408⟩
Accès au bibtex
BibTex
ref_biblio
Mateusz Zotkiewicz, Walid Ben-Ameur. Adding dynamism to robust stable routing. PTS 2009 : 16th Polish Teletraffic Symposium 2009 , Sep 2009, Łódź, Poland. ⟨hal-01360280⟩
Accès au bibtex
BibTex

2008

ref_biblio
Cavalli Ana, de Oca Edgardo Montes, Mallouli Wissam, Mounir Lallali. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. The 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'08), Oct 2008, Vancouver, Canada. pp.315 - 318, ⟨10.1109/DS-RT.2008.43⟩. ⟨hal-00865998⟩
Accès au bibtex
BibTex
ref_biblio
Muhammed Ali Aydin, Tülin Atmaca, Abdul Halim Zaim, Özgür Can Turna, Viet Hung Nguyen. Performance study of OBS reservation protocols. AICT 2008 : 4th Advanced International Conference on Telecommunications, Jun 2008, Athens, Greece. pp.428 - 433, ⟨10.1109/AICT.2008.70⟩. ⟨hal-01375550⟩
Accès au bibtex
BibTex
ref_biblio
Sandoche Balakrichenan, Monique Becker. An autonomic ENUM implementation in network simulator-2. SIMUTools 2008 : 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, Mar 2008, Marseille, France. pp.No. 69. ⟨hal-01394737⟩
Accès au bibtex
BibTex
ref_biblio
Monique Becker, Michel Marot, Pierre Delannoy. Improving multicast diffusion: lightweight distributed loss estimation and adaptive forward error coding. ICAMC 2008 : 5th International Conference of Applied Mathematics and Computing, Aug 2008, Plovdiv, Bulgaria. ⟨hal-01394754⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Makhlouf Hadji, Adam Ouorou. Sur le partitionnement des graphes en composantes unicycliques avec contraintes. JPOC5 : Journées Polyèdres et Optimisation Combinatoire, Jun 2008, Rouen, Paris, France. pp.50 - 51. ⟨hal-01374120⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Makhlouf Hadji, Adam Ouorou. Résultats préliminaires sur les graphes à composantes connexes unicycliques. Roadef 2008 : 9ème congrés de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2008, Clermont-Ferrand, France. ⟨hal-01380276⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Makhlouf Hadji, Adam Ouorou. On unicyclic graphs with a lower bounded girth. ECCO XXI : European Chapter on Combinatorial Optimization, May 2008, Dubrovnik, Croatia. ⟨hal-01378749⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin. Model checking of performance measures using bounding aggregations. SPECTS 2008 : International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Jun 2008, Edinburgh, United Kingdom. pp.98 - 104. ⟨hal-01342661⟩
Accès au bibtex
BibTex
ref_biblio
Hind Castel-Taleb. Bornes de formules d'états non croissantes. ROADEF 2008 : 9ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2008, Clermont-Ferrand, France. ⟨hal-01373704⟩
Accès au bibtex
BibTex
ref_biblio
Ana Rosa Cavalli, Eliane Martins, Anderson Morais. Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. ICSTW 2008 : 1st International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.21 - 30, ⟨10.1109/ICSTW.2008.51⟩. ⟨hal-01326406⟩
Accès au bibtex
BibTex
ref_biblio
Tijani Chahed, Chadi Tarhini. Impact of mobility on the performance of data flows in OFDMA-based IEEE802.16e systems. ISWCS 2008 : IEEE International Symposium on Wireless Communication Systems, Oct 2008, Reykjavik, Iceland. pp.648 - 652, ⟨10.1109/ISWCS.2008.4726136⟩. ⟨hal-01378768⟩
Accès au bibtex
BibTex
ref_biblio
Tijani Chahed, Salah-Eddine Elayoubi, Eitan Altman. On design of TDD for joint uplink and downlink resource allocation in OFDMA-based WiMax. VTC FALL 2008 : 68th IEEE Vehicular Technology Conference, Sep 2008, Calgary, Alberta, Canada. pp.1 - 5, ⟨10.1109/VETECF.2008.305⟩. ⟨hal-01394092⟩
Accès au bibtex
BibTex
ref_biblio
Pierre Delannoy, Monique Becker. Peer-to-peer communications to provide a QoS aware system for multicast. PDP 2008 : 16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Feb 2008, Toulouse, France. pp.218 - 228, ⟨10.1109/PDP.2008.90⟩. ⟨hal-01379570⟩
Accès au bibtex
BibTex
ref_biblio
Alexandre Delye de Clauzade de Mazieux, Michel Marot, Monique Becker. On multihop clusters in wireless sensor networks. ASN 2008 : Autonomous and Spontaneous Networks Symposium, Nov 2008, Paris, France. pp.1 - 5. ⟨hal-01394357⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Ashish Gupta, Michel Marot, Monique Becker. Election de station de base virtuelle dans un réseau de capteurs sans fils. CDUR 2008 : 2nd Workshop sur la Cohérence Des Données en Univers Réparti, Jun 2008, Lyon, France. ⟨hal-01395315⟩
Accès au bibtex
BibTex
ref_biblio
Thaere Eido, Tuan Dung Nguyen, Tülin Atmaca. Packet filling optimization in multiservice slotted optical packet switching MAN networks. AICT 2008 : 4th Advanced International Conference on Telecommunications, Jun 2008, Athens, Greece. pp.221 - 226, ⟨10.1109/AICT.2008.63⟩. ⟨hal-01327401⟩
Accès au bibtex
BibTex
ref_biblio
Thaere Eido, Tülin Atmaca, Tuan Dung Nguyen, Dominique Chiaroni. Performance of optical ring architectures with variable-size packets : in-line buffers Vs semi-synchronous and asynchronous transparent MAC protocols. FITraMEn 2008 : International Workshop on Traffic Management and Traffic Engineering for the Future Internet, Dec 2008, Porto, Portugal. pp.169 - 184, ⟨10.1007/978-3-642-04576-9_12⟩. ⟨hal-00441883⟩
Accès au bibtex
BibTex
ref_biblio
Armando Garcia Berumen, Michel Marot. Analysis of the influence of the transmission delay on the competition between TCP and TFRC. ICLAN 2008 : International Conference on the Latest Advances in Networks, Dec 2008, Toulouse, France. pp.1 - 8. ⟨hal-01374086⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed Chedly Ghedira, Walid Ben-Ameur, Hossam Afifi. A novel route guidance algorithm with maximum coverage and minimum handover for vehicular networks. ICN 2008 : 7th International Conference on Networking, Apr 2008, Cancun, Mexico. pp.692 - 697, ⟨10.1109/ICN.2008.31⟩. ⟨hal-01373696⟩
Accès au bibtex
BibTex
ref_biblio
Mounir Lallali, Zaidi Fatiha, Cavalli Ana. Transforming BPEL into Intermediate Format Language for Web Services Composition Testing. The 4th International Conference on Next Generation Web Services Practices (NWESP'08), Oct 2008, Séoul, South Korea. pp.191 - 197, ⟨10.1109/NWeSP.2008.14⟩. ⟨hal-00866002⟩
Accès au bibtex
BibTex
ref_biblio
Mounir Lallali, Zaidi Fatiha, Cavalli Ana, Hwang Iksoon. Automatic Timed Test Case Generation for Web Services Composition. The IEEE Sixth European Conference on Web Services (ECOWS'08), Nov 2008, Dublin, Ireland. pp.53-62, ⟨10.1109/ECOWS.2008.14⟩. ⟨hal-00865982⟩
Accès au bibtex
BibTex
ref_biblio
Maode Ma, Pengfei Xie, Sanjay Kumar Bose, Stephane Maag. An efficient scheduling algorithm for QoS provisioning in WiMAX networks. ITST 2008 : 8th International Conference on Intelligent Transport System Telecommunications, Oct 2008, Phuket, Thailand. pp.240 - 245, ⟨10.1109/ITST.2008.4740264⟩. ⟨hal-01327403⟩
Accès au bibtex
BibTex
ref_biblio
Stephane Maag, Cyril Grepet. A node self similarity approach for interoperability testing of Ad Hoc routing protocols. HWISE2008 : 4th IEEE International Workshop on Heterogeneous Wireless Networks, Mar 2008, Ginowan, Japan. pp.983 - 988, ⟨10.1109/WAINA.2008.61⟩. ⟨hal-01380262⟩
Accès au bibtex
BibTex
ref_biblio
Stephane Maag, Cyril Grepet. Interoperability testing of a MANET routing protocol using a node self-similarity approach. SAC 2008 : 23rd Annual ACM Symposium on Applied Computing, Mar 2008, Fortaleza, Ceará, Brazil. pp.1908 - 1912, ⟨10.1145/1363686.1364148⟩. ⟨hal-01392800⟩
Accès au bibtex
BibTex
ref_biblio
Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. Modeling system security rules with time constraints using timed extended finite state machines. DS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩. ⟨hal-01380237⟩
Accès au bibtex
BibTex
ref_biblio
Wissam Mallouli, Fayçal Bessayah, Ana Rosa Cavalli, Azzedine Benameur. Security rules specification and analysis based on passive testing. GLOBECOM 2008 : IEEE Global Telecommunications Conference, Nov 2008, New Orleans, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2008.ECP.400⟩. ⟨hal-01378696⟩
Accès au bibtex
BibTex
ref_biblio
Wissam Mallouli, Bachar Wehbi, Ana Rosa Cavalli. Distributed monitoring in Ad Hoc networks : conformance and security checking. AdHoc-NOW 2008 : 7th International Conference on Ad Hoc Networks and Wireless, Sep 2008, Sophia-Antipolis, France. pp.345 - 356, ⟨10.1007/978-3-540-85209-4_27⟩. ⟨hal-01327393⟩
Accès au bibtex
BibTex
ref_biblio
Carlos Moreno Negrin, Monique Becker, Pierre Vincent. A new multicast architecture based on SIP extensions and group management. ICLAN 2008 : International Conference on the Latest Advances in Networks, Dec 2008, Toulouse, France. ⟨hal-01373370⟩
Accès au bibtex
BibTex
ref_biblio
Carlos Moreno Negrin, Monique Becker, Pierre Vincent. A multicast architecture for audioconferences made with SIP extensions and conference servers. EuroView2008 : 8th Würzburg Workshop on IP : Joint EuroNF, ITC, and ITG Workshop on "Visions on Future Generation Networks", Jul 2008, Würzburg, Germany. ⟨hal-01378635⟩
Accès au bibtex
BibTex
ref_biblio
Tuan Dung Nguyen, Thaere Eido, Viet Hung Nguyen, Tülin Atmaca. Impact of fixed-size packet creation timer and packet format on the performance of slotted and unslotted bus-based optical MAN. ICDT 2008 : 3rd International Conference on Digital Telecommunications , Jun 2008, Bucharest, Romania. pp.99 - 104, ⟨10.1109/ICDT.2008.35⟩. ⟨hal-01394351⟩
Accès au bibtex
BibTex
ref_biblio
Chadi Tarhini, Tijani Chahed. On mobility of voice-like and data traffic in IEEE802.16e. GLOBECOM 2008 : IEEE Global Telecommunications Conference, Nov 2008, New Orleans, United States. pp.1 - 5, ⟨10.1109/GLOCOM.2008.ECP.1030⟩. ⟨hal-01379532⟩
Accès au bibtex
BibTex
ref_biblio
Chadi Tarhini, Tijani Chahed. Density-based admission control in IEEE802.16e Mobile WiMAX. IFIP 2008 : 1st Wireless Days Conference, Nov 2008, Dubai, United Arab Emirates. pp.1 - 5, ⟨10.1109/WD.2008.4812878⟩. ⟨hal-01393876⟩
Accès au bibtex
BibTex
ref_biblio
Bachar Wehbi, Anis Laouiti, Ana Rosa Cavalli. ReDEx : Receiver Diversity Exploitation mechanism for 802.11 wireless networks. ICLAN 2008 : International Conference on the Latest Advances in Networks, Dec 2008, Toulouse, France. pp.1 - 6. ⟨hal-01394732⟩
Accès au bibtex
BibTex
ref_biblio
Bachar Wehbi, Anis Laouiti, Ana Rosa Cavalli. Efficient time synchronization mechanism for wireless multi hop networks. PIMRC 2008 : IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2008, Cannes, France. pp.1 - 6, ⟨10.1109/PIMRC.2008.4699638⟩. ⟨hal-01379599⟩
Accès au bibtex
BibTex
ref_biblio
Bachar Wehbi, Anis Laouiti, Ana Rosa Cavalli. A reactive wireless mesh network architecture. Med-Hoc-Net 2008 : Seventh Annual Mediterranean Ad Hoc Networking Workshop : Advances in Ad Hoc Networking, Jun 2008, Palma De Mallorca, Spain. pp.203 - 214, ⟨10.1007/978-0-387-09490-8_18⟩. ⟨hal-01373149⟩
Accès au bibtex
BibTex

2007

ref_biblio
Ana Rosa Cavalli, Stephane Maag, Gerardo Morales. Regression and performance testing of an e-learning Web application : dotLRN. SITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems, Dec 2007, Shangai, China. pp.369 - 376, ⟨10.1109/SITIS.2007.129⟩. ⟨hal-01328016⟩
Accès au bibtex
BibTex
ref_biblio
Mounir Lallali, Zaidi Fatiha, Cavalli Ana. Timed Modeling of Web Services Composition for Automatic Testing. he Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (SITIS'07), Dec 2007, Shanghai, China. pp.417 - 426, ⟨10.1109/SITIS.2007.110⟩. ⟨hal-00866006⟩
Accès au bibtex
BibTex

2006

ref_biblio
Thaere Eido, Daniel Popa, Tülin Atmaca. Burst mode study and packet scheduling algorithm in optical packet-switched networks. AICT-ICIW 2006 : Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, Feb 2006, Guadeloupe, France. pp.50 - 55, ⟨10.1109/AICT-ICIW.2006.58⟩. ⟨hal-01327411⟩
Accès au bibtex
BibTex

2005

ref_biblio
Thaere Eido, Viet Hung Nguyen, Tülin Atmaca. Dynamic resource allocation algorithm for metropolitan optical packet-switched ring networks. AICT 2005 : Advanced Industrial Conference on Telecommunications, Jul 2005, Lisbon, Portugal. pp.39 - 44, ⟨10.1109/AICT.2005.39⟩. ⟨hal-01329865⟩
Accès au bibtex
BibTex

2004

ref_biblio
André-Luc Beylot, Riadh Dhaou, Vincent Gauthier, Monique Becker. Cross-layer simulation and optimization for mobile ad-hoc networks. MWCN 2004 : IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communications Networks, Oct 2004, Paris, France. pp.13 - 22, ⟨10.1007/0-387-23150-1_2⟩. ⟨hal-01355077⟩
Accès au bibtex
BibTex

Book sections

2021

ref_biblio
Steve Jeffrey Tueno Fotso, Régine Laleau, Amel Mammar, Marc Frappier. Integrating domain modeling within a formal requirements engineering method. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.39-58, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_3⟩. ⟨hal-03545897⟩
Accès au bibtex
BibTex
ref_biblio
John Paul Gibson, Jean-Luc Raffy. Modelling an e-voting domain for the formal development of a Software Product Line: when the implicit should be made explicit. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩. ⟨hal-02941575⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02941575/file/GibsonRaffy20.pdf BibTex
ref_biblio
Damian Gordon, John Paul Gibson, Brendan Tierney, Dympna O'Sullivan, Ioannis Stavrakakis. You must have your webcam on for the entire duration of the examination: the trade-off between the integrity of on-line assessments and the privacy rights of students. Moving technology ethics at the forefront of society, organisations and governments, Universidad de La Rioja, pp.65-75, 2021, 978-84-09-28672-0. ⟨hal-03377716⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03377716/file/GordonGTOSSC21.pdf BibTex

2015

ref_biblio
Jeevan Pokhrel, Natalia Kushik, Bachar Wehbi, Nina Yevtushenko, Ana Rosa Cavalli. Multimedia Quality of Experience. Emerging research on networked multimedia communication systems, Information Science Reference, pp.250 - 284, 2015, Advances in multimedia and interactive technologies book series, 978-1-466-68850-6. ⟨10.4018/978-1-4666-8850-6.ch008⟩. ⟨hal-01263826⟩
Accès au bibtex
BibTex

2014

ref_biblio
Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Nicolas Breton, et al.. Safety demonstration for a rail signaling application in nominal and degraded modes using formal proof. Formal methods applied to complex systems, ISTE-Wiley, pp.71 - 113, 2014, Computer Engineering Series, 978-1-84821-632-7. ⟨10.1002/9781119004707.ch4⟩. ⟨hal-01464432⟩
Accès au bibtex
BibTex

2011

ref_biblio
Tülin Atmaca, Viet Hung Nguyen. Optical metropolitan networks : packet format, MAC protocols and quality of service. Network performance engineering : a handbook on convergent multi-service networks and next generation internet, 5233, Springer-Verlag, pp.808 - 834, 2011, Lecture Notes in Computer Science, 978-3-642-02741-3. ⟨10.1007/978-3-642-02742-0_35⟩. ⟨hal-01303065⟩
Accès au bibtex
BibTex
ref_biblio
Walid Ben-Ameur, Adam Ouorou, Mateusz Zotkiewicz. Robust routing in communication networks. Progress in combinatorial optimization, Iste; Wiley, pp.353 - 390, 2011, 978-1-848-21206-0. ⟨hal-01279133⟩
Accès au bibtex
BibTex
ref_biblio
Riadh Dhaou, Vincent Gauthier, Mahmadou Issoufou Tiado, Monique Becker, André-Luc Beylot. Cross layer simulation : application to performance modelling of networks composed of MANETs and satellites. Network performance engineering : a handbook on convergent multi-service networks and next generation internet, 5233, Springer, pp.477 - 508, 2011, Lecture Notes in Computer Science, 978-3-642-02741-3. ⟨10.1007/978-3-642-02742-0_21⟩. ⟨hal-01303356⟩
Accès au bibtex
BibTex

2010

ref_biblio
Walid Ben-Ameur, Ali Ridha Mahjoub, José Neto. The maximum cut problem. Paradigms of combinatorial optimization : problems and new approaches, volume 2, Iste; Wiley, pp.131 - 172, 2010, 978-1-84821-148-3. ⟨10.1002/9781118600207.ch6⟩. ⟨hal-01314806⟩
Accès au bibtex
BibTex
ref_biblio
Ana Cavalli, Mounir Lallali, Stephane Maag, Gerardo Morales, Fatiha Zaidi. Modeling and Testing of Web Based Systems. Springer. EMERGENT WEB INTELLIGENCE: ADVANCED SEMANTIC TECHNOLOGIES, Springer London, pp.355-394, 2010, Advanced Information and Knowledge Processing, ⟨10.1007/978-1-84996-077-9_14⟩. ⟨hal-00706157⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00706157/file/lallali-chapter-book-2009.pdf BibTex

2009

ref_biblio
Alexandre Brandwajn, Viet Hung Nguyen, Tülin Atmaca. A conditional probability approach to performance analysis of optical unslotted bus-based networks. Current research progress of optical networks, Springer Netherlands, pp.65 - 94, 2009, 978-1-4020-9888-8. ⟨10.1007/978-1-4020-9889-5_4⟩. ⟨hal-00473140⟩
Accès au bibtex
BibTex
ref_biblio
Tijani Chahed, Laura Cottatellucci, Rachid Elazouzi, Sophie Gault, Gaoning He. Information theoretic capacity of WIMAX. Radio resources management in WiMAX : from theoretical capacity to system simulations, ISTE Ltd & John Wiley & Sons Inc, pp.1 - 49, 2009, 978-1-84821-069-1. ⟨hal-00473078⟩
Accès au bibtex
BibTex
ref_biblio
Tijani Chahed, Ikbal Chammakhi Msadaa, Rachid Elazouzi, Fethi Filali, Salah-Eddine Elayoubi, et al.. WiMAX network capacity and radio resource management. Radio resources management in WiMAX : from theoretical capacity to system simulations, Wiley, ISTE pp.49 - 104, 2009, 978-1-84821-069-1. ⟨hal-01359057⟩
Accès au bibtex
BibTex
ref_biblio
Mohamad Chaitou, Gérard Hebuterne, Hind Castel-Taleb. A novel issue for the design of access interfaces in all optical slotted networks. Performance Modelling and Analysis of Heterogeneous Networks, River Publishers pp.389 - 415, 2009, 978-87-92329-18-9. ⟨hal-01359069⟩
Accès au bibtex
BibTex
ref_biblio
Alexandre Delye de Clauzade de Mazieux, Vincent Gauthier, Michel Marot, Monique Becker. CAAC mechanism : a Cluster Address Auto-Configuration mechanism. Performance modelling and analysis of heterogeneous networks, 2, River Publishers, pp.135 - 152, 2009, Rivers publishers series in information science and technology, 978-87-92329-18-9. ⟨hal-00473079⟩
Accès au bibtex
BibTex
ref_biblio
Viet Hung Nguyen, Tülin Atmaca. Circuit emulation service technologies and modified packet bursting in metropolitan optical networks. Performance modelling and analysis of heterogeneous networks, River Publishers, pp.339 - 370, 2009, Information science and technology, 978-87-92329-18-9. ⟨hal-00473071⟩
Accès au bibtex
BibTex

2008

ref_biblio
Amel Mammar, Régine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. Advanced principles for improving database design, systems modeling, and software development, Information Science Publishing, pp.111 - 131, 2008, Advances in Database Research, 978-1-60566-172-8. ⟨10.4018/978-1-60566-172-8.ch007⟩. ⟨hal-01326381⟩
Accès au bibtex
BibTex
ref_biblio
Viet Hung Nguyen, Tülin Atmaca. Transporting TDM service on metropolitan bus-based optical packet switching networks. Encyclopedia of Internet technologies and applications, Information Science Reference, pp.653 - 662, 2008, 978-1-591-40993-9. ⟨10.4018/978-1-59140-993-9.ch092⟩. ⟨hal-01373124⟩
Accès au bibtex
BibTex

2007

ref_biblio
Vincent Gauthier, Michel Marot, Monique Becker. Cross-layer interaction in wireless ad-hoc networks : a practical example. Recent advances in modeling and simulation tools for communication networks and services, Springer, pp.105 - 120, 2007, Advanced information and knowledge processing, 978-0-387-73907-6. ⟨10.1007/978-0-387-73908-3_5⟩. ⟨hal-01328170⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01328170/file/article.pdf BibTex

Directions of work or proceedings

2018

ref_biblio
Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke. Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings. Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩. ⟨hal-02014749⟩
Accès au bibtex
BibTex

Books

2017

ref_biblio
Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun. Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Springer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩. ⟨hal-01678967⟩
Accès au bibtex
BibTex

2016

ref_biblio
Franz Wotawa, Mihai Nica, Natalia Kushik. Testing Software and Systems: 28th IFIP WG 6.11 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Springer International Publishing, LNCS-9976, pp.257, 2016, Lecture Notes in Computer Science, Lecture notes in computer science, 978-3-319-47442-7. ⟨10.1007/978-3-319-47443-4⟩. ⟨hal-01643721⟩
Accès au bibtex
BibTex

2011

ref_biblio
Armando Garcia Berumen, Michel Marot. Apport des techniques multi-niveaux dans une architecture DVB-S2/RCS : les techniques multi-niveaux dans une architecture de satellites géostationnaires. Editions Universitaires Européennes, pp.172, 2011, 978-613-1-57087-2. ⟨hal-01342649⟩
Accès au bibtex
BibTex

Poster communications

2015

ref_biblio
Longbiao Chen, Jérémie Jakubowicz. Inferring bike trip patterns from bike sharing system open data. BIGDATA 2015 : International Conference on Big Data, Oct 2015, Santa Clara, États-Unis. IEEE, pp.2898 - 2900 2015, ⟨10.1109/BigData.2015.7364115⟩. ⟨hal-01270577⟩
Accès au bibtex
BibTex

Reports

2019

ref_biblio
Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Formal representation of SysML/KAOS domain model. [Research Report] LACL, Université Paris-Est/Créteil. 2019. ⟨hal-02874826⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02874826/file/Domain_Model_Formalization-formal_syntax_for_rules-Mars2019.pdf BibTex

2013

ref_biblio
José Neto. On the diameter of cut polytopes. [Research Report] Dépt. Réseaux et Service Multimédia Mobiles (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2013, pp.20. ⟨hal-01335919⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01335919/file/manuscript.pdf BibTex

2010

ref_biblio
Abdel-Mehsen Ahmad, Mahmoud Doughan, Vincent Gauthier, Imad Mougharbel, Michel Marot. Hybrid multi-channel multi-hop MAC in VANETs. [Research Report] Dépt. Réseaux et Service de Télécom (Institut Mines-Télécom-Télécom SudParis); Faculté de Génie / Faculty of Engineering (Université Libanaise); Dépt. Réseaux et Service Multimédia Mobiles (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2010, pp.5. ⟨hal-01355164⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. LQI-DCP : a LQI based multihop clustering protocol for wireless sensor networks. [Research Report] Dépt. Réseaux et Service de Télécom (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2010, pp.13. ⟨hal-01355172⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. Single-node cluster reduction in WSN and energy-efficiency during cluster formation. [Research Report] Dépt. Réseaux et Service de Télécom (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2010, pp.12. ⟨hal-01355169⟩
Accès au bibtex
BibTex
ref_biblio
Cherif Diallo, Michel Marot, Monique Becker. Using LQI to improve ClusterHead locations in dense ZigBee based wireless sensor networks. [Research Report] Dépt. Réseaux et Service de Télécom (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2010, pp.7. ⟨hal-01355167⟩
Accès au bibtex
BibTex

2009

ref_biblio
Andreas Bley, José Neto. Approximability of 3- and 4-hop bounded disjoint paths problems. [Research Report] Institut fuer Mathematik - TU Berlin - Fakultät II (Technische Universität Berlin); Dépt. Réseaux et Service Multimédia Mobiles (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2009, pp.10. ⟨hal-01370529⟩
Accès au bibtex
BibTex
ref_biblio
José Neto. From equipartition to uniform cut polytopes : polyhedral results extended. [Research Report] Dépt. Réseaux et Service Multimédia Mobiles (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS). 2009, pp.16. ⟨hal-01360041⟩
Accès au bibtex
BibTex

Theses

2020

ref_biblio
Hadjer Touati. Allocation de ressources et partage de charge adaptés aux architectures de réseaux d'accès basées sur le cloud. Réseaux et télécommunications [cs.NI]. Institut Polytechnique de Paris, 2020. Français. ⟨NNT : 2020IPPAS009⟩. ⟨tel-02905421⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02905421/file/85954_TOUATI_2020.pdf BibTex
ref_biblio
Ayat Zaki Hindi. Transport of critical services over unlicensed spectrum in 5G networks. Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAS022⟩. ⟨tel-03118924⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03118924/file/92402_ZAKI_HINDI_2020.pdf BibTex

2019

ref_biblio
Asma Berriri. Model based testing techniques for software defined networks. Networking and Internet Architecture [cs.NI]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLL017⟩. ⟨tel-02374706v3⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02374706/file/85583_BERRIRI_2019_archivage.pdf BibTex
ref_biblio
Sarah Dahab. An approach to measuring software systems using new combined metrics of complex test. Networking and Internet Architecture [cs.NI]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLL015⟩. ⟨tel-02374756⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02374756/file/78537_DAHAB_2019_archivage-2.pdf BibTex

2009

ref_biblio
Mounir Lallali. Modélisation et Test Fonctionnel de l'Orchestration de Services Web. Génie logiciel [cs.SE]. Institut National des Télécommunications, 2009. Français. ⟨NNT : 2009TELE0013⟩. ⟨tel-00732511⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00732511/file/manuscrit_these_lallali_mounir_version_02_2010.pdf BibTex

Preprints, Working Papers, ...

2021

ref_biblio
Mathieu Simon, Alessandro Spallina, Loic Dubocquet, Andrea Araldo. Parsimonious edge computing to reduce microservice resource usage. 2021. ⟨hal-03337356⟩
Accès au bibtex
https://arxiv.org/pdf/2109.02514 BibTex

2020

ref_biblio
Dominique Barth, Thierry Mautor, Dimitri Watel, Marc-Antoine Weisser. Configuration of planar electrical networks with and without double adduction. 2020. ⟨hal-02503854⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02503854/file/HAL_configuration_of_planar_electrical_networks.pdf BibTex
ref_biblio
Thomas Ridremont, Dimitri Watel, Pierre-Louis Poirion, Christophe Picouleau. Adaptive network flow with $k$-Arc Destruction. 2020. ⟨hal-02440948⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02440948/file/1711.00831.pdf BibTex
ref_biblio
Dimitri Watel. An FPT Algorithm for Spanning, Steiner and Other subTree Problems Parameterized with the Treewidth.. 2020. ⟨hal-02610732⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02610732/file/ICALP-2020.pdf BibTex

2019

ref_biblio
Dominique Barth, Thierry Mautor, Arnaud de Moissac, Dimitri Watel, Marc-Antoine Weisser. Optimisation of electrical network configuration: complexity and algorithms for ring topologies. 2019. ⟨hal-02018217⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02018217/file/TCS-2019.pdf BibTex
ref_biblio
Asma Berriri, Natalia Kushik, Djamal Zeghlache. Extended Finite State Machine based test generation for an OpenFlow switch. 2019. ⟨hal-02263575⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02263575/file/EFSMBasedApproach.pdf BibTex
ref_biblio
Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman, Albert Sunny, et al.. A stochastic game framework for analyzing computational investment strategies in distributed computing. 2019. ⟨hal-01870871v5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01870871/file/Blockchain_HAL.pdf BibTex