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

2023

ref_biblio: Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, et al.. GPC: a pattern calculus for property graphs. Proceedings of the ACM on Management of Data, 2023, 1 (2), pp.241-250. ⟨10.1145/3584372.3588662⟩. ⟨hal-03836782⟩
Accès au bibtex

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, 2022, 15 (5), pp.2511 - 2525. ⟨10.1109/TSC.2021.3072327⟩. ⟨hal-03545911⟩
Accès au bibtex

ref_biblio: Yacine Al‐najjar, Walid Ben-Ameur, Jérémie Leguay, Jocelyne Elias. Affine routing for robust network design. Networks, 2022, 79 (4), pp.557-579. ⟨10.1002/net.22070⟩. ⟨hal-03557367⟩
Accès au bibtex

ref_biblio: Dominique Barth, Thierry Mautor, Dimitri Watel, Marc-Antoine Weisser. A polynomial algorithm for deciding the validity of an electrical distribution tree. Information Processing Letters, 2022, 176, pp.106249. ⟨10.1016/j.ipl.2022.106249⟩. ⟨hal-04113551⟩
Accès au texte intégral et bibtex

ref_biblio: Walid Ben-Ameur, José Neto. New bounds for subset selection from conic relaxations. European Journal of Operational Research, 2022, 298 (2), pp.425-438. ⟨10.1016/j.ejor.2021.07.011⟩. ⟨hal-03557321⟩
Accès au texte intégral et bibtex

ref_biblio: Siyu Chen, Ravi Seshadri, Carlos Lima Azevedo, Arun P. Akkinepally, Renming Liu, et al.. Market design for tradable mobility credits. Transportation research. Part C, Emerging technologies, 2022, pp.1-67. ⟨hal-04063055⟩
Accès au bibtex

ref_biblio: Swapnil Dhamal, Walid Ben-Ameur, Tijani Chahed, Eitan Altman, Albert Sunny, et al.. Strategic investments in distributed computing: A stochastic game perspective. Journal of Parallel and Distributed Computing, 2022, 169, pp.317-333. ⟨10.1016/j.jpdc.2022.07.012⟩. ⟨hal-03767272⟩
Accès au texte intégral et bibtex

ref_biblio: Sophie Dramé-Maigné, Hervé Ganem, Maryline Laurent, Laurent Castillo. Centralized, Distributed, and Everything in between. ACM Computing Surveys, 2022, 54 (7), pp.1-34. ⟨10.1145/3465170⟩. ⟨hal-03754002⟩
Accès au bibtex

ref_biblio: Maxime Elkael, Massinissa Ait Aba, Andrea Araldo, Hind Castel-Taleb, Badii Jouaber. Monkey business: reinforcement learning meets neighborhood search for virtual network embedding.. Computer Networks, 2022, 216 (109204), ⟨10.1016/j.comnet.2022.109204⟩. ⟨hal-03876945⟩
Accès au texte intégral et 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, 2022, 20 (1), pp.72-90. ⟨10.1108/jices-12-2020-0127⟩. ⟨hal-03377560⟩
Accès au texte intégral et bibtex

ref_biblio: Amel Mammar, Meryem Afendi, Régine Laleau. Modeling and proving hybrid programs with event-B: an approach by generalization and instantiation. Science of Computer Programming, 2022, 222 (102856), ⟨10.1016/j.scico.2022.102856⟩. ⟨hal-03916799⟩
Accès au bibtex

ref_biblio: José Neto. A polyhedral view to a generalization of multiple domination. Discrete Applied Mathematics, 2022, 313, pp.1-17. ⟨10.1016/j.dam.2022.01.011⟩. ⟨hal-03579253⟩
Accès au texte intégral et 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, 2022, 7 (1), pp.101-129. ⟨10.1007/s40889-021-00135-1⟩. ⟨hal-03377525⟩
Accès au texte intégral et 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, 2022, 71 (3), pp.696-711. ⟨10.1109/TC.2021.3058302⟩. ⟨hal-03549138⟩
Accès au 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, 2022, 30 (1), pp.161-180. ⟨10.1007/s11219-021-09548-z⟩. ⟨hal-03549204⟩
Accès au bibtex

2021

ref_biblio: Yacine Al-Najjar, Walid Ben-Ameur, Jérémie Leguay. On the approximability of robust network design. Theoretical Computer Science, 2021, 860, pp.41-50. ⟨10.1016/j.tcs.2021.01.026⟩. ⟨hal-03557332⟩
Accès au texte intégral et 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, 2021, 16 (1), pp.e0244409:1-e0244409:23. ⟨10.1371/journal.pone.0244409⟩. ⟨hal-03141616⟩
Accès au bibtex

ref_biblio: Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi. A formal consensus-based distributed monitoring approach for mobile IoT networks. Internet of Things, 2021, 13, pp.100352. ⟨10.1016/j.iot.2020.100352⟩. ⟨hal-03546760⟩
Accès au texte intégral et bibtex

ref_biblio: Stefano Dettori, Alessandro Maddaloni, Filippo Galli, Valentina Colla, Federico Bucciarelli, et al.. Steam turbine rotor stress control through nonlinear model predictive control. Energies, 2021, la conception et la mise en œuvre du système de contrôle prédictif du modèle ), 14 (13), pp.3998. ⟨10.3390/en14133998⟩. ⟨hal-03955937⟩
Accès au texte intégral et 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, 2021, 21 (11), pp.3898:1-3898:33. ⟨10.3390/s21113898⟩. ⟨hal-03252911⟩
Accès au 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, 2021, 65 (10), pp.2780-2800. ⟨10.1093/comjnl/bxab115⟩. ⟨hal-03545928⟩
Accès au bibtex

2020

ref_biblio: Miguel F Anjos, José Neto. A class of spectral bounds for Max k-Cut. Discrete Applied Mathematics, 2020, 279, pp.12-24. ⟨10.1016/j.dam.2019.10.002⟩. ⟨hal-02379981⟩
Accès au 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 and Management, 2020, 57 (2), pp.102064:1-20. ⟨10.1016/j.ipm.2019.102064⟩. ⟨hal-01924838v3⟩
Accès au texte intégral et 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, 2020, 22 (3), pp.349-363. ⟨10.1007/s10009-019-00542-2⟩. ⟨hal-02975778⟩
Accès au bibtex

ref_biblio: Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Novel machine learning technique for predicting teaching strategy effectiveness. International Journal of Information Management, 2020, 53, pp.101488:1-101488:10. ⟨10.1016/j.ijinfomgt.2016.02.006⟩. ⟨hal-03124461⟩
Accès au texte intégral et 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, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩. ⟨hal-02975774⟩
Accès au bibtex

ref_biblio: Ayat Zaki-Hindi, Salah-Eddine Elayoubi, Tijani Chahed. Multi-tenancy and URLLC on unlicensed spectrum. Computer Networks, 2020, 177, pp.107311:1-107311:10. ⟨10.1016/j.comnet.2020.107311⟩. ⟨hal-03107199⟩
Accès au texte intégral et bibtex

2019

ref_biblio: Miguel F Anjos, José Neto. Spectral bounds for graph partitioning with prescribed partition sizes. Discrete Applied Mathematics, 2019, 269, pp.200-210. ⟨10.1016/j.dam.2019.06.007⟩. ⟨hal-02193294⟩
Accès au texte intégral et 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, 2019, 2673 (12), pp.425-438. ⟨10.1177/0361198119864906⟩. ⟨hal-02190146⟩
Accès au texte intégral et bibtex

ref_biblio: Mauro Dell'Amico, José Neto. On total f-domination: polyhedral and algorithmic results. Discrete Applied Mathematics, 2019, 258, pp.97 - 104. ⟨10.1016/j.dam.2018.11.021⟩. ⟨hal-01975659⟩
Accès au texte intégral et bibtex

ref_biblio: Mauro Dell'Amico, José Neto. On f-domination: polyhedral and algorithmic results. Mathematical Methods of Operations Research, 2019, 90 (1), pp.1 - 22. ⟨10.1007/s00186-018-0650-4⟩. ⟨hal-01911161⟩
Accès au 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, 2019, 6 (4), pp.628-645. ⟨10.1109/TNSE.2018.2864575⟩. ⟨hal-01712288v3⟩
Accès au texte intégral et 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, 2019, 12 (3), pp.218-243. ⟨10.1504/IJAACS.2019.10022471⟩. ⟨hal-02184618⟩
Accès au texte intégral et 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, 2019, 62 (12), pp.1707-1733. ⟨10.1093/comjnl/bxz039⟩. ⟨hal-02403976⟩
Accès au 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, 2019, 7, pp.107270-107299. ⟨10.1109/ACCESS.2019.2932777⟩. ⟨hal-03107206⟩
Accès au texte intégral et 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, 2019, 162, pp.106862:1-106862:13. ⟨10.1016/j.comnet.2019.106862⟩. ⟨hal-03107202⟩
Accès au 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, 2019, 2673 (12), pp.15-29. ⟨10.1177/0361198119853553⟩. ⟨hal-02459410⟩
Accès au texte intégral et bibtex

ref_biblio: José Neto, Walid Ben-Ameur. On fractional cut covers. Discrete Applied Mathematics, 2019, 265, pp.168 - 181. ⟨10.1016/j.dam.2019.03.020⟩. ⟨hal-02125083⟩
Accès au texte intégral et bibtex

ref_biblio: Stefi Nouleho Ilemo, Dominique Barth, Olivier David, Franck Quessette, Marc-Antoine Weisser, et al.. Improving graphs of cycles approach to structural similarity of molecules. PLoS ONE, 2019, 14 (12), pp.e0226680. ⟨10.1371/journal.pone.0226680⟩. ⟨hal-04113953⟩
Accès au texte intégral et 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, 2019, 58 (01), pp.031-041. ⟨10.1055/s-0039-1677692⟩. ⟨hal-02410077⟩
Accès au bibtex

ref_biblio: Jlassi Sindyana, Amel Mammar, Imed Abbassi, Mohamed Graiet. Towards correct cloud resource allocation in FOSS applications. Future Generation Computer Systems, 2019, 91 (392-406), ⟨10.1016/j.future.2018.08.030⟩. ⟨hal-02403919⟩
Accès au bibtex

ref_biblio: Lionel Tidjon, Marc Frappier, Amel Mammar. Intrusion detection systems: a cross-domain overview. Communications Surveys and Tutorials, IEEE Communications Society, 2019, 21 (4), pp.3639 - 3681. ⟨10.1109/COMST.2019.2922584⟩. ⟨hal-02403911⟩
Accès au 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, 2019, 276 (1), pp.28-39. ⟨10.1016/j.ejor.2018.12.037⟩. ⟨hal-02440722⟩
Accès au bibtex

ref_biblio: Husnu Yenigun, Nina Yevtushenko, Ana Rosa Cavalli. Guest editorial: special issue on testing software and systems. Software Quality Journal, 2019, 27 (2), pp.497-499. ⟨10.1007/s11219-019-09447-4⟩. ⟨hal-02481420⟩
Accès au bibtex

2018

ref_biblio: Vincent Angilella, Matthieu Chardy, Walid Ben-Ameur. Fiber cable network design in tree networks. European Journal of Operational Research, 2018, 269 (3), pp.1086 - 1106. ⟨10.1016/j.ejor.2018.02.034⟩. ⟨hal-01791553⟩
Accès au bibtex

ref_biblio: Vincent Angilella, Walid Ben-Ameur, Matthieu Chardy. Design of fiber cable tree FTTH networks. Electronic Notes in Discrete Mathematics, 2018, 64, pp.235 - 244. ⟨10.1016/j.endm.2018.01.025⟩. ⟨hal-01783787⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Adam Ouorou, Guanglei Wang, Mateusz Zotkiewicz. Multipolar robust optimization. EURO Journal on Computational Optimization, 2018, 6 (4), pp.395 - 434. ⟨10.1007/s13675-017-0092-4⟩. ⟨hal-01823640⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Antoine Glorieux, José Neto. Complete formulations of polytopes related to extensions of assignment matrices. Discrete Optimization, 2018, 29, pp.133 - 147. ⟨10.1016/j.disopt.2018.04.002⟩. ⟨hal-01824469⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Antoine Glorieux, José Neto. On the most imbalanced orientation of a graph. Journal of Combinatorial Optimization, 2018, 36 (2), pp.637-669. ⟨10.1007/s10878-017-0117-1⟩. ⟨hal-01497902⟩
Accès au texte intégral et 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, 2018, 46, pp.335 - 338. ⟨10.1016/j.orl.2018.03.003⟩. ⟨hal-01783782⟩
Accès au 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, 2018, 29 (4), pp.748-757. ⟨10.1109/TPDS.2017.2773496⟩. ⟨hal-01670974⟩
Accès au texte intégral et bibtex

ref_biblio: Raphael Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel. Parameterized verification of monotone information systems. Formal Aspects of Computing, 2018, 30 (3-4), pp.463 - 489. ⟨10.1007/s00165-018-0460-8⟩. ⟨hal-01847131⟩
Accès au texte intégral et 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, 2018, 9 (2), pp.963 - 970. ⟨10.1109/TSG.2016.2572302⟩. ⟨hal-01729373⟩
Accès au texte intégral et 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, 2018, 139, pp.92 - 108. ⟨10.1016/j.comnet.2018.04.010⟩. ⟨hal-01784537⟩
Accès au 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, 2018, 2 (3), pp.859 - 867. ⟨10.1109/TGCN.2018.2806299⟩. ⟨hal-01812472⟩
Accès au 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, 2018, pp.240-252. ⟨10.1016/j.comnet.2018.02.005⟩. ⟨hal-01701702⟩
Accès au 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, 2017, 34 (4), pp.1750014-1 - 1750014-34. ⟨10.1142/S0217595917500142⟩. ⟨hal-01695516⟩
Accès au 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 : le magazine de l'ingénierie du logiciel et des systèmes, 2017, 120, pp.46 - 52. ⟨hal-01534818⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Adam Ouorou, Guanglei Wang. Convex and concave envelopes: revisited and new perspectives. Operations Research Letters, 2017, 45 (5), pp.421 - 426. ⟨10.1016/j.orl.2017.06.008⟩. ⟨hal-01662836⟩
Accès au 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, 2017, 47 (3), pp.380 - 391. ⟨10.1109/THMS.2016.2596103⟩. ⟨hal-01640060⟩
Accès au 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, 2017, 66 (5), pp.4188 - 4199. ⟨10.1109/TVT.2016.2597442⟩. ⟨hal-01534491⟩
Accès au 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, 2017, 29 (6), pp.987 - 1011. ⟨10.1007/s00165-017-0425-3⟩. ⟨hal-01692537⟩
Accès au bibtex

ref_biblio: Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul. Towards correct cloud resource allocation in business processes. IEEE Transactions on Services Computing, 2017, 10 (1), pp.23 - 36. ⟨10.1109/TSC.2016.2594062⟩. ⟨hal-01575735⟩
Accès au 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, 2017, 2017, pp.3523868-1 - 3523868-11. ⟨10.1155/2017/3523868⟩. ⟨hal-01695652⟩
Accès au 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, 2017, 24 (4), pp.389 - 403. ⟨10.1007/s10776-017-0335-6⟩. ⟨hal-01695684⟩
Accès au bibtex

ref_biblio: Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.167 - 186. ⟨10.1007/s10009-015-0391-0⟩. ⟨hal-01254980⟩
Accès au 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, 2017, 92, pp.158 - 178. ⟨10.1016/j.infsof.2017.08.001⟩. ⟨hal-01692569⟩
Accès au 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, 2017, 23 (5), pp.1343 - 1358. ⟨10.1007/s11276-016-1226-y⟩. ⟨hal-01453252⟩
Accès au 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, 2017, 127, pp.49 - 53. ⟨10.1016/j.ipl.2017.07.001⟩. ⟨hal-01611545⟩
Accès au bibtex

ref_biblio: Wilfried Yoro, Tijani Chahed, Mamdouh El Tabach, Taoufik En-Najjary, Azeddine Gati. Service-oriented sharing of energy in wireless access networks using shapley value. Computer Networks, 2017, 113 (February 2017), pp.46-57. ⟨10.1016/j.comnet.2016.11.010⟩. ⟨hal-01423091⟩
Accès au texte intégral et 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, 2016, 15 (2), pp.377 - 391. ⟨10.1109/TMC.2015.2419230⟩. ⟨hal-01255023⟩
Accès au 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, 2016, 59 (12), pp.1817 - 1830. ⟨10.1093/comjnl/bxw032⟩. ⟨hal-01449268⟩
Accès au texte intégral et 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, 2016, 27 (8), pp.2341 - 2348. ⟨10.1109/TPDS.2015.2499749⟩. ⟨hal-01241713⟩
Accès au texte intégral et bibtex

ref_biblio: Anass Bellachehab, Jérémie Jakubowicz. Random pairwise gossip on CAT(k) metric spaces. IEEE Transactions on Automatic Control, 2016, 61 (12), pp.3857 - 3869. ⟨10.1109/TAC.2016.2530691⟩. ⟨hal-01443340⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Mohamed Didi Biha. Extended cuts. Journal of Combinatorial Optimization, 2016, 31 (3), pp.1034 - 1044. ⟨10.1007/s10878-014-9808-z⟩. ⟨hal-01449794⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Pascal Bianchi, Jérémie Jakubowicz. Robust distributed consensus using total Variation. IEEE Transactions on Automatic Control, 2016, 61 (6), pp.1550 - 1564. ⟨10.1109/TAC.2015.2471755⟩. ⟨hal-01259850⟩
Accès au 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, 2016, 59 (8/2), pp.5 - 7. ⟨hal-01453257⟩
Accès au 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, 2016, 131, pp.76 - 93. ⟨10.1016/j.scico.2016.04.011⟩. ⟨hal-01390991⟩
Accès au 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, 2016, 65 (12), pp.9862 - 9872. ⟨10.1109/TVT.2016.2530844⟩. ⟨hal-01443330⟩
Accès au 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, 2016, 18 (3), pp.251 - 264. ⟨10.1007/s10009-014-0357-7⟩. ⟨hal-01354241⟩
Accès au 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, 2016, 59 (8), pp.1274 - 1280. ⟨10.1007/s11182-016-0902-9⟩. ⟨hal-01451031⟩
Accès au bibtex

ref_biblio: Julio Cesar Louzada Pinto, Tijani Chahed, Eitan C Altman. A framework for information dissemination in social networks using Hawkes processes. Performance Evaluation, 2016, 103, pp.86 - 107. ⟨10.1016/j.peva.2016.06.004⟩. ⟨hal-01391264⟩
Accès au texte intégral et bibtex

ref_biblio: José Neto. On the diameter of cut polytopes. Discrete Mathematics, 2016, 339 (5), pp.1605 - 1612. ⟨10.1016/j.disc.2016.01.002⟩. ⟨hal-01272340⟩
Accès au 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, 2016, 14 (6), pp.2773 - 2776. ⟨10.1109/TLA.2016.7555253⟩. ⟨hal-01433979⟩
Accès au 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, 2016, 104, pp.66 - 78. ⟨10.1016/j.comnet.2016.04.021⟩. ⟨hal-01370160⟩
Accès au 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, 2016, 14 (6), pp.2543 - 2549. ⟨10.1109/TLA.2016.7555216⟩. ⟨hal-01390853⟩
Accès au 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, 2016, 9 (1-2), pp.164 - 178. ⟨10.1504/IJAACS.2016.075389⟩. ⟨hal-01335534⟩
Accès au bibtex

ref_biblio: Guanglei Wang, Walid Ben-Ameur, José Neto, Adam Ouorou. Optimal mapping of cloud virtual machines. Electronic Notes in Discrete Mathematics, 2016, 52, pp.93 - 100. ⟨10.1016/j.endm.2016.03.013⟩. ⟨hal-01453255⟩
Accès au bibtex

ref_biblio: Dimitri Watel, Marc-Antoine Weisser, Cédric Bentz, Dominique Barth. Directed Steiner trees with diffusion costs. Journal of Combinatorial Optimization, 2016, 32 (4), pp.1089 - 1106. ⟨10.1007/s10878-015-9925-3⟩. ⟨hal-01613972⟩
Accès au bibtex

ref_biblio: Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. An automated approach for merging business process fragments. Computers in Industry, 2016, 82, pp.104 - 118. ⟨10.1016/j.compind.2016.05.002⟩. ⟨hal-01346029⟩
Accès au 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, 2015, 70 (3), pp.95 - 105. ⟨10.1007/s12243-014-0454-3⟩. ⟨hal-01287769⟩
Accès au 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, 2015, 78, pp.140-151. ⟨10.1016/j.comnet.2014.10.031⟩. ⟨hal-01100652⟩
Accès au 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, 2015, 15, pp.29 - 43. ⟨10.1016/j.osn.2014.04.003⟩. ⟨hal-01279516⟩
Accès au 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, 2014, 11 (5), pp.68 - 77. ⟨hal-01331562⟩
Accès au 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

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

ref_biblio: Damien Mac Namara, John Paul Gibson, Ken Oakley. The ideal voting interface: classifying usability. JeDEM - eJournal of eDemocracy and Open Government, 2014, 6 (2), pp.182-196. ⟨10.29379/jedem.v6i2.306⟩. ⟨hal-03377805⟩
Accès au texte intégral et 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, 2014, 5 (1), pp.1 - 18. ⟨10.4018/ijsse.2014010101⟩. ⟨hal-01262565⟩
Accès au 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, 2013, 57 (15), pp.2992 - 3008. ⟨10.1016/j.comnet.2013.06.019⟩. ⟨hal-01273640⟩
Accès au 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, 2012, 22 (5), pp.343--361. ⟨10.1002/stvr.445⟩. ⟨hal-00706162⟩
Accès au 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, 2012, 30 (3), pp.664 - 672. ⟨10.1109/JSAC.2012.120415⟩. ⟨hal-01300128⟩
Accès au 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

2011

ref_biblio: Ines Houidi, Wajdi Louati, Walid Ben-Ameur, Djamal Zeghlache. Virtual network provisioning across multiple substrate networks. Computer Networks, 2011, 55 (4), pp.1011 - 1023. ⟨10.1016/j.comnet.2010.12.011⟩. ⟨hal-01354751⟩
Accès au 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, 2010, 7 (2), pp.85 - 94. ⟨10.1016/j.osn.2009.11.001⟩. ⟨hal-01356310⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, Makhlouf Hadji. Designing Steiner networks with unicyclic connected components : an easy problem. SIAM Journal on Discrete Mathematics, 2010, 24 (4), pp.1541 - 1557. ⟨10.1137/090759033⟩. ⟨hal-01308332⟩
Accès au bibtex

ref_biblio: Iksoon Hwang, Ana Rosa Cavalli. Testing a probabilistic FSM using interval estimation. Computer Networks, 2010, 54 (7), pp.1108 - 1125 ⟨10.1016/j.comnet.2009.10.014⟩. ⟨hal-00472884⟩
Accès au 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 : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 94, pp.39 - 44. ⟨hal-01465755⟩
Accès au 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, 2008, 10 (3), pp.287 - 296. ⟨10.1109/JCN.2008.6388349⟩. ⟨hal-01326500⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, José Neto. A geometric characterization of "optimality-equivalent" relaxations. Journal of Global Optimization, 2008, 42 (4), pp.533 - 547. ⟨10.1007/s10898-007-9275-5⟩. ⟨hal-01372395⟩
Accès au bibtex

ref_biblio: Walid Ben-Ameur, José Neto. Spectral bounds for the maximum cut problem. Networks, 2008, 52 (1), pp.8 - 13. ⟨10.1002/net.20220⟩. ⟨hal-01326524⟩
Accès au 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, 2008, 65 (11-12), pp.869 - 882. ⟨10.1016/j.peva.2008.03.004⟩. ⟨hal-01372587⟩
Accès au 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, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩. ⟨hal-01354849⟩
Accès au bibtex

ref_biblio: Lynda Mokdad, Hind Castel-Taleb. Stochastic comparisons: A methodology for the performance evaluation of fixed and mobile networks. Computer Communications, 2008, 31 (17), pp.3894-3904. ⟨10.1016/j.comcom.2008.06.025⟩. ⟨hal-04074394⟩
Accès au 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, 1, pp.34 - 40. ⟨hal-01328077⟩
Accès au bibtex

2000

ref_biblio: André-Luc Beylot, Monique Becker, Riadh Dhaou, Michel Marot, Philippe Mussi. The ASIMUT Simulation Workshop. Networking and Information Systems Journal, 2000, 3 (2), pp.335-348. ⟨hal-03922159⟩
Accès au bibtex

Conference papers

2023

ref_biblio: Amirhesam Badeanlou, Andrea Araldo, Marco Diana, Vincent Gauthier. Equity Scores for Public Transit Lines from Open-Data and Accessibility Measures. Transportation Research Board (TRB) 102nd Annual Meeting, TRB, Jan 2023, Washington, United States. ⟨hal-03803816⟩
Accès au bibtex

ref_biblio: Ayoub Ben-Ameur, Andrea Araldo, Tijani Chahed. Multiple resource allocation in multi-tenant edge computing via sub-modular optimization. IEEE International Conference on Communications (ICC), IEEE, May 2023, Rome, Italy. pp.3738-3743, ⟨10.48550/arXiv.2302.09888⟩. ⟨hal-04009368⟩
Accès au texte intégral et bibtex

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

ref_biblio: Meryem Afendi, Amel Mammar, Régine Laleau. Building correct hybrid systems using Event-B and sagemath: Illustration by the hybrid smart heating system case study. 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. ⟨10.1109/ICECCS54210.2022.00019⟩. ⟨hal-03916803⟩
Accès au bibtex

ref_biblio: Andrea Araldo, André Depalma, Souhila Arib, Vincent Gauthier, Romain Sere, et al.. Pooling for first and last mile: integrating carpooling and transit. hEART 2022: 10th symposium of the European Association for Research in Transportation, Jun 2022, Leuven, Belgium. ⟨hal-03698443⟩
Accès au texte intégral et bibtex

ref_biblio: Fetia Bannour, Stefania Dumbrava, Damien Lu. A flexible GraphQL northbound API for intent-based SDN applications. 2022 IEEE/IFIP Network Operations and Management Symposium(NOMS), Apr 2022, Budapest, Hungary. pp.1-5, ⟨10.1109/NOMS54207.2022.9789785⟩. ⟨hal-03801341⟩
Accès au bibtex

ref_biblio: Fetia Bannour, Stefania Dumbrava, Alex Danduran--Lembezat. GOX: towards a scalable graph database-driven SDN controller. 2022 IEEE 8th International Conference on Network Softwarization (NetSoft), Politecnico di Milano, Jun 2022, Milan, Italy. pp.278-280, ⟨10.1109/NetSoft54395.2022.9844075⟩. ⟨hal-03801233⟩
Accès au 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

ref_biblio: Julien Baste, Dimitri Watel. An FPT algorithm for node-disjoint subtrees problems parameterized by treewidth. The 11th International Colloquium on Graph Theory and combinatorics, Jul 2022, Montpellier, France. pp.1-30, ⟨10.2139/ssrn.4197048⟩. ⟨hal-03790659⟩
Accès au bibtex

ref_biblio: Ayoub Ben-Ameur, Andrea Araldo, Tijani Chahed. Cache allocation in multi-tenant edge computing via online reinforcement learning. IEEE International Conference on Communications(ICC 2022), May 2022, Seoul, South Korea. pp.1-6, ⟨10.1109/ICC45855.2022.9838489⟩. ⟨hal-03546931⟩
Accès au texte intégral et bibtex

ref_biblio: Antoine Bernard, Mohammed Laroui, Michel Marot, Sandoche Balakrichenan, Hassine Moungla, et al.. Prefetching of mobile devices information: a DNS perspective. ICC2022: IEEE International Conference on Communications, IEEE, May 2022, Seoul, South Korea. pp.1-7, ⟨10.1109/ICC45855.2022.9838564⟩. ⟨hal-03431410v2⟩
Accès au texte intégral et bibtex

ref_biblio: Angela Bonifati, Stefania Dumbrava, Emile Martinez, Fatemeh Ghasemi, Malo Jaffré, et al.. DiscoPG: property graph schema discovery and exploration. 48th International Conference on Very Large Data Bases(VLDB 2022), Sep 2022, Sydney, Australia. pp.3654-3657, ⟨10.14778/3554821.3554867⟩. ⟨hal-03771388⟩
Accès au texte intégral et bibtex

ref_biblio: Alexandre Brandwjan, Thomas Begin, Hind Castel-Taleb, Tülin Atmaca. A study of live VM migration for server consolidation in Data centers. FiCloud 2022 - IEEE 9th International Conference on Future Internet of Things and Cloud, Aug 2022, Rome / Online, Italy. pp.75-82, ⟨10.1109/FiCloud57274.2022.00018⟩. ⟨hal-03822518⟩
Accès au texte intégral et bibtex

ref_biblio: Youssef Chaabouni, Andrea Araldo, André de Palma, Souhila Arib. PoolLines: modeling carpooling as ephemeral lines in GTFS for effective integration with public transit. The 15th International Workshop on Computational Transportation Science (IWCTS 2022), Groupe des sciences urbaines computationnelles (CUSG), Nov 2022, Seattle Washington, United States. pp.1-4, ⟨10.1145/3557991.3567795⟩. ⟨hal-03886819⟩
Accès au texte intégral et bibtex

ref_biblio: John Paul Gibson, Massamaesso Narouwa, Damian Gordon, Dympna O'Sullivan, Jonathan Turner, et al.. Technical debt is an ethical issue. ETHICOMP 2022: Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?, Jul 2022, Turku, Finland. pp.258-266, ⟨10.21427/Y73Z-6P82⟩. ⟨hal-03782691⟩
Accès au texte intégral et bibtex

ref_biblio: Damian Gordon, Michael Collins, John Paul Gibson, Dympna O'Sullivan. Measuring the longitudinal impact of teaching programming ethics to first years students. 16th International Technology, Education and Development Conference(INTED2022), IATED, Mar 2022, Online Conference, France. pp.844-847, ⟨10.21125/inted.2022.0273⟩. ⟨hal-03782518⟩
Accès au bibtex

ref_biblio: Wei Huang, Richard Combes, Cindy Trinh. Towards optimal algorithms for multi-player bandits without collision sensing information. COLT 2022: 35th Conference on Learning Theory, Jul 2022, London, United Kingdom. pp.1990-2012. ⟨hal-03942518⟩
Accès au texte intégral et 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. ⟨10.1109/ISCC55528.2022.9912821⟩. ⟨hal-03662552v2⟩
Accès au texte intégral et bibtex

ref_biblio: Lucas Javaudin, Andre de Palma, Andrea Araldo. Large-scale allocation of personalized incentives. 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), Sep 2022, Macau, China. pp.4151-4156, ⟨10.1109/ITSC55140.2022.9922143⟩. ⟨hal-03839571⟩
Accès au texte intégral et bibtex

ref_biblio: Maya Kassis, Massinissa Ait Aba, Hind Castel-Taleb, Maxime Elkael, Andrea Araldo, et al.. Integrated deployment prototype for virtual network orchestration solution. NOMS 2022: IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary. pp.1-3, ⟨10.1109/NOMS54207.2022.9789812⟩. ⟨hal-03695139⟩
Accès au texte intégral et 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

ref_biblio: Luong Nguyen, Mariana Segovia, Wissam Mallouli, Edgardo Montes de Oca, Ana R Cavalli. Digital twin for IoT environments : a testing and simulation tool. 15th International Conference on the Quality of Information and Communications Technology(QUATIC) ·, University of Castilla-La Mancha, Sep 2022, Talavera de la Reina, Spain. pp.205-219, ⟨10.1007/978-3-031-14179-9_14⟩. ⟨hal-04039592⟩
Accès au texte intégral et bibtex

ref_biblio: Zeynep İnel Özkiper, Zeynep Turgut, Tülin Atmaca, Muhammed Ali Aydin. Fingerprint liveness detection using deep learning. FICLOUD 2022: 9th International Conference on Future Internet of Things and Cloud, Aug 2022, Roma, Italy. pp.1-7, ⟨10.1109/FiCloud57274.2022.00025⟩. ⟨hal-03792543⟩
Accès au texte intégral et bibtex

ref_biblio: Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache. Dynamic link network emulation: a model-based design. 17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, France. pp.536-543, ⟨10.5220/0011091100003176⟩. ⟨hal-03953769⟩
Accès au texte intégral et bibtex

ref_biblio: Erick Petersen, Jorge Lopez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using cellular automata for modeling the evolution of dynamic-link network parameters. 2022 IEEE 21st International Symposium on Network Computing and Applications (NCA), Dec 2022, Boston, United States. pp.297-301, ⟨10.1109/NCA57778.2022.10013557⟩. ⟨hal-03953846⟩
Accès au texte intégral et 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. pp.1-5, ⟨10.1109/NOMS54207.2022.9789942⟩. ⟨hal-03524815⟩
Accès au texte intégral et bibtex

ref_biblio: Ioannis Stavrakakis, Damian Gordon, John Paul Gibson, Dympna O’sullivan, Anna Becevel. Minding the gap: computing ethics and the political economy of big tech. ETHICOMP2022: "Effectiveness of ICT ethics – How do we help solve ethical problems in the field of ICT?", Jul 2022, Turku, Finland. pp.546-550, ⟨10.21427/T0YQ-VP49⟩. ⟨hal-03787335⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Tournaire, Yue Jin, Armen Aghasaryan, Hind Castel-Taleb, Emmanuel Hyon. Factored Reinforcement Learning for Auto-scaling in Tandem Queues. NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary. pp.1-7, ⟨10.1109/NOMS54207.2022.9789809⟩. ⟨hal-03811176⟩
Accès au texte intégral et bibtex

ref_biblio: Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, et al.. Automatic synthesis of random generators for numerically constrained algebraic recursive types. 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia. ⟨10.48550/arXiv.2208.12747⟩. ⟨hal-04551862⟩
Accès au bibtex

2021

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

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

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

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

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

ref_biblio: Andrea Curley, Damian Gordon, Ioannis Stavrakakis, Anna J 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

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 texte intégral et 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

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

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

ref_biblio: Nathalie Naddeh, Sana Ben Jemaa, Salah Eddine Elayoubi, Tijani Chahed. Proactive RAN resource reservation for URLLC vehicular slice. 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring), Apr 2021, Helsinki (online), Finland. pp.1-5, ⟨10.1109/VTC2021-Spring51267.2021.9448703⟩. ⟨hal-03546881⟩
Accès au 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

ref_biblio: Thomas Tournaire, Jeanne Barthélemy, Hind Castel-Taleb, Emmanuel Hyon. Reinforcement learning with model-based approaches for dynamic resource allocation in a tandem queue. ASMTA: International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.243-263, ⟨10.1007/978-3-030-91825-5_15⟩. ⟨hal-03781620⟩
Accès au 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

ref_biblio: Ayat Zaki Hindi, Salah Eddine Elayoubi, Tijani Chahed. Transmission policy design for critical services under different objectives. 2021 IEEE Global Communications Conference (GLOBECOM 2021), Dec 2021, Madrid, Spain. pp.1-6, ⟨10.1109/GLOBECOM46510.2021.9685443⟩. ⟨hal-03546916⟩
Accès au bibtex

2020

ref_biblio: Matteo Acclavio, Ross Horne, Lutz Strassburger. 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

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

ref_biblio: Meryem Afendi, Régine Laleau, Amel Mammar. Modelling Hybrid Programs with Event-B. Rigorous State-Based Methods - 7th International Conference, ABZ, May 2020, ULM, Germany. ⟨hal-04851814⟩
Accès au 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

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

ref_biblio: Andrea Araldo, Alessandro Di 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

ref_biblio: Andrea Araldo, Alessandro Di Stefano, Antonella Di 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Rabéa Ameur Boulifa, Cavalli Rosa 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

ref_biblio: Andrea Araldo, Andrea Di 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

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

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

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

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

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

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

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

ref_biblio: Georges Ouffoué, Fatiha Zaïdi, Ana R 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

ref_biblio: José Reyes, Jorge López, 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

ref_biblio: José Reyes, Jorge López, 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

ref_biblio: Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R 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

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

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

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

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

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

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

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

ref_biblio: Evgenii Vinarskii, Jorge López, 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

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

ref_biblio: Ayat Zaki 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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Andrea Di Maria, Antonella Di Stefano, Andrea Di 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Paul J. 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

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

ref_biblio: Mohamed Mehdi 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

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

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

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

ref_biblio: Jorge López, 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

ref_biblio: Jorge López, 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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. 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

ref_biblio: Dimitri Watel, Marc-Antoine Weisser, Dominique Barth. Parameterized complexity and approximability of coverability problems in weighted Petri nets. International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.330-349, ⟨10.1007/978-3-319-57861-3_19⟩. ⟨hal-01459206⟩
Accès au texte intégral et bibtex

ref_biblio: Husnu Yenigun, Natalia Kushik, Jorge López, 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

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

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

2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Wilfried Yoro, Tijani Chahed, Mamdouh El 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

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

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

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

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

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

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

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

ref_biblio: Raul A. Fuentes-Samaniego, Ana Rosa Cavalli, Juan A. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Jorge López, 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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. 8th International IFIP-TC 6 Networking Conference (IFIP Networking 2009), IFIP Technical Committee 6 (TC6: Communications Systems), May 2009, Aachen, Germany. pp.14 - 25, ⟨10.1007/978-3-642-01399-7_2⟩. ⟨hal-01369590⟩
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2008

ref_biblio: Cavalli Rosa 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

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

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

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

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

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

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

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, 2008., Jun 2008, Edimburgh, United Kingdom. ⟨hal-04074385⟩
Accès au 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

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

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

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

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

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

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

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

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

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

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

ref_biblio: Mounir Lallali, Zaidi Fatiha, Cavalli Rosa 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

ref_biblio: Mounir Lallali, Zaidi Fatiha, Cavalli Rosa 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2007

ref_biblio: Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin. Aggregated bounding Markov processes applied to the analysis of tandem queues. 2nd International ICST Conference on Performance Evaluation Methodologies and Tools, Oct 2007, Nantes, France. ⟨10.4108/valuetools.2007.1920⟩. ⟨hal-04044683⟩
Accès au bibtex

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

ref_biblio: Mounir Lallali, Zaidi Fatiha, Cavalli Rosa 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

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

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

2004

ref_biblio: Monique Becker, Vincent Gauthier, André-Luc Beylot, Riadh Dhaou. Aggregation Methods for Cross-Layer Simulations. Workshop on Network and Inaugural of Prof. Erol Gelenbe 2004, Imperial College London, Apr 2004, Londres, United Kingdom. pp.183-203, ⟨10.1142/9781860948947_0011⟩. ⟨hal-03924183⟩
Accès au bibtex

ref_biblio: André-Luc Beylot, Riadh Dhaou, Vincent Gauthier, Monique Becker. Cross Layer Simulation and Optimization for Mobile ad-hoc Networks. IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), IFIP Technical Committee 6 : TC6 - Communications Systems, Oct 2004, Paris, France. pp.13-22, ⟨10.1007/0-387-23150-1_2⟩. ⟨hal-03924175⟩
Accès au bibtex

ref_biblio: Vincent Gauthier, Monique Becker, André-Luc Beylot, Riadh Dhaou. Cross-Layer Simulation and Aggregation Techniques for Wireless ad-hoc Networks. NATO Workshop on Cross-Layer Issues in the Design of Tacticle Mobile Ad-Hoc Wireless Networks 2004, Jun 2004, Washington, United States. ⟨hal-03924171⟩
Accès au bibtex

2003

ref_biblio: Monique Becker, André-Luc Beylot, Riadh Dhaou. Aggregation Methods for Performance Evaluation of Computer and Communication Networks. International Symposium : Performance Evaluation – Stories and Perspectives 2003, Dec 2003, Vienne, Austria. pp.215-230. ⟨hal-03922145⟩
Accès au bibtex

Book sections

2023

ref_biblio: Erick Petersen, Jorge López, Natalia Kushik, Maxime Labonne, Claude Poletti, et al.. Dynamic link network emulation and validation of execution datasets. Evaluation of Novel Approaches to Software Engineering. Revised Selected Papers. Communications in Computer and Information Science 1829, 1829, Springer Nature Switzerland, pp.116-138, 2023, Communications in Computer and Information Science, 978-3-031-36597-3. ⟨10.1007/978-3-031-36597-3_6⟩. ⟨hal-04537149⟩
Accès au texte intégral et bibtex

2022

ref_biblio: Dympna O’sullivan, John Paul Gibson, Yael Jacob, Ioannis Stavrakakis, Damian Gordon. The future of medicine is digital: exploring the ethics of digital pills. MEDINFO 2021: One world, one health – global partnership for digital innovation, 290, IOS Press, pp.1120 - 1121, 2022, Studies in Health Technology and Informatics, 978-1-64368-264-8. ⟨10.3233/SHTI220297⟩. ⟨hal-03729314⟩
Accès au texte intégral et bibtex

2021

ref_biblio: Youssef Ait El Mahjoub, Jean-Michel Fourneau, Hind Castel-Taleb. Performance evaluation and energy consumption for DVFS processor. Performance Engineering and Stochastic Modeling, 13104, Springer International Publishing, pp.165-180, 2021, Lecture Notes in Computer Science, 978-3-030-91825-5. ⟨10.1007/978-3-030-91825-5_10⟩. ⟨hal-03934327⟩
Accès au bibtex

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

ref_biblio: John Paul Gibson, Jean-Luc Raffy. Modelling an e-voting domain for the formal development of a Software Product Line. 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

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

2020

ref_biblio: Rabéa Ameur-Boulifa, Ana R Cavalli, Stephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems. Communications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩. ⟨hal-02904831⟩
Accès au 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

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

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

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

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

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

ref_biblio: Ana Rosa 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

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

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

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

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

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

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

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

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

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

2002

ref_biblio: Monique Becker, André-Luc Beylot, Riadh Dhaou, Michel Marot, Philippe Mussi. The ASIMUT simulation workshop. de Souza, Jose Neuman; Agoulmine, Nazim. Multimedia Management, Kogan Page Science, 2002, Innovative Technology Series, 978-1903996232. ⟨hal-03922148⟩
Accès au bibtex

Habilitation à diriger des recherches

2019

ref_biblio: José Neto. Some contributions to mathematical programming and combinatorial optimization. Computer Science [cs]. Université Evry-Val d'Essonne/Université Paris Saclay, 2019. ⟨tel-04261549⟩
Accès au texte intégral et bibtex

Books

2018

ref_biblio: Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke (Dir.). 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), 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

2017

ref_biblio: Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun. Testing Software and Systems. 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

2016

ref_biblio: Franz Wotawa, Mihai Nica, Natalia Kushik. Testing Software and Systems. 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

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

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

Proceedings

2013

ref_biblio: Stéphan Clémençon, Jérémie Jakubowicz. Scoring anomalies : a M-estimation formulation. 31, Microtome Publishing JMLR, pp.659 - 667, 2013. ⟨hal-00839254⟩
Accès au 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

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

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

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

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

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

2009

ref_biblio: Monique Becker, Chakib Bekara, André-Luc Beylot, Alexandre Delye, Riadh Dhaou, et al.. Cold chain monitoring using wireless sensor networks : design & experimental feedback. [Research Report] RR-09007–RST, Télécom Sud Paris. 2009. ⟨hal-03975329⟩
Accès au bibtex

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

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

2004

ref_biblio: Riadh Dhaou, Monique Becker, Vincent Gauthier, André-Luc Beylot. Report on Accelerated Simulation Techniques: Time Space and level cyclic dependence of highly complex and dynamic networks: application to dynamic cross layer design of mobile systems. [Contract] IRIT : Institut de Recherche Informatique de Toulouse. 2004. ⟨hal-03924177⟩
Accès au bibtex

Theses

2022

ref_biblio: Nathalie Naddeh. Impact of slicing on radio resource management in 5G for vehicular URLLC and eMBB. Library and information sciences. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAS021⟩. ⟨tel-03949195⟩
Accès au texte intégral et bibtex

ref_biblio: Thomas Tournaire. Model-based reinforcement learning for dynamic resource allocation in cloud environments. Computer science. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAS004⟩. ⟨tel-03699837⟩
Accès au texte intégral et bibtex

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

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

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

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

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

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

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

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

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

2019

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

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

CSDAI

Group methodes