@article{m-Ali,
  author = {A Ali, M Panda, Tijani Chahedd, Eiten Altman},
  title = {Improving the Transport Performance in Delay Tolerant Networks by Random Linear Network Coding and Global Acknowledgments},
  journal = { Ad Hoc Networks Journal},
  year = {2013},
  volume = {published online}
}

@article{m-Assad2013,
  author = {Mohamad Assad and Walid Ben-Ameur and Faiz Hamid},
  title = {An interval assignment problem for resource optimization in LTE networks},
  journal = {Electronic notes in discrete mathematics},
  year = {2013},
  number = {41},
  pages = {237-244},
  note = {INOC'13 : International Network Optimization Conference}
}

@article{m-Bauguion2013,
  author = {Pierre-Olivier Bauguion and Walid Ben-Ameur and Gourdin, Eric},
  title = {A new model for multicommodity flow problems, and a strongly polynomial algorithm for single-source maximum concurrent flow},
  journal = {Electronic notes in discrete mathematics},
  year = {2013},
  number = {41},
  pages = {311-316},
  note = {INOC'13 : International Network Optimization Conference}
}

@article{m-Ben-Ameur2013a,
  author = {Walid Ben-Ameur and Makhlouf Hadji and Adam Ouorou},
  title = {Minimum-weight subgraphs with unicyclic components and a lower-bounded girth},
  journal = {Networks},
  year = {2013},
  volume = {61},
  number = {4},
  pages = {335 -- 355}
}

@article{m-Bianchi2013a,
  author = {Bianchi, Pascal and Jérémie Jakubowicz},
  title = {Convergence of a multi-agent projected stochastic gradient algorithm for non-convex optimization},
  journal = {IEEE transactions on automatic control},
  year = {2013},
  volume = {58},
  number = {2},
  pages = {391 -- 405}
}

@article{m-Bianchi2013b,
  author = {Bianchi, Pascal and Jakubowicz, Jérémie},
  title = {Adaptive Learning Vector Quantization for Online Parametric Estimation},
  journal = {IEEE Transactions on Signal Processing},
  year = {2013},
  volume = {99}
}

@article{m-Castel-Taleb2013,
  author = {Hind Castel-Taleb and Pekergin, Nihal },
  title = {Strong and weak stochastic bounds for multidimensional Markov chains},
  journal = {International journal of critical computer-based systems (IJCCBS)},
  year = {2013}
}

@article{m-Chahed2013e,
  author = {A. Abdel-Razzak and S-E. Elayoubi and Tijani Chahed, B. El Hassan},
  title = {Dimensioning and profit sharing in hybrid LTE/DVB systems to offer mobile TV services},
  journal = {Accepted for publication, IEEE Transactions on Wireless Communications},
  year = {2013}
}

@article{m-Lefebvre2013,
  author = {Lefebvre, Sidonie and Allassonniere, Sidonie and Jérémie Jakubowicz and Moulines, Eric and Lasne, Thomas},
  title = {Aircraft classification with a low resolution infrared sensor},
  journal = {Machine vision and applications},
  year = {2013},
  volume = {24},
  number = {1},
  pages = {175 -- 186}
}

@article{m-Maag2012,
  author = {Felipe Lalanne and Stephane Maag},
  title = {A formal data-centric approach for passive testing of communication protocols},
  journal = {ACM/IEEE Transactions on Networking},
  year = {2013},
  volume = {21},
  number = {3},
  pages = {788 -- 801}
}

@article{m-Maag2013d,
  author = {Pramila Mouttappa and Stephane Maag and Ana Rosa Cavalli},
  title = {Using Passive Testing based on Symbolic Execution and Slicing techniques: Application to the Validation of Communication Protocols},
  journal = {Computer Networks},
  year = {2013},
  volume = {published online}
}

@article{m-Morais2013,
  author = {Anderson Morais and Hwang, Iksoon and Ana Rosa Cavalli},
  title = {Generating attack scenarios for the system security validation},
  journal = {Networking science},
  year = {2013},
  volume = {ON LINE FIRST SINCE DECEMBER 2012},
  pages = {1 -- 12}
}

@article{m-Morais2013bb,
  author = {Anderson Morais and Ana Rosa Cavalli},
  title = {A Distributed and Collaborative Intrusion Detection Architecture for Wireless Mesh Networks},
  journal = {Mobile networks and applications},
  year = {2013},
  volume = {published online}
}

@article{m-zotiewicz2013,
  author = { Walid Ben-Ameur and Mateusz Zotkiewicz},
  title = {Multipolar routing: where dynamic and static routing meet},
  journal = {Electronic notes in discrete mathematics},
  year = {2013},
  number = {41},
  pages = {61-68},
  note = {INOC'13 : International Network Optimization Conference}
}

@article{m-Zotkiewicz2011,
  author = {Zotkiewicz, Mateusz and Walid Ben-Ameur},
  title = {Volume-oriented routing and its modifications},
  journal = {Telecommunication systems},
  year = {2013},
  volume = {52},
  number = {2},
  pages = {935 -- 945}
}

@article{m-Agarwal2012,
  author = {Rachit Agarwal and Banerjee, Abhik and Vincent Gauthier and Yeo, Chai Kiat and Lee, Bu Sung and Monique Becker},
  title = {Achieving small-world properties using bio-inspired techniques in wireless networks},
  journal = {The computer journal},
  year = {2012},
  volume = {55},
  number = {8},
  pages = {909 -- 931}
}

@article{m-Banerjee2012,
  author = {Banerjee, Abhik and Rachit Agarwal and Vincent Gauthier and Hossam Afifi and Bu Sung , Lee and Chai Kiat, Yeo},
  title = {A self-organization framework for wireless ad hoc networks as small worlds},
  journal = {IEEE transactions on vehicular technology},
  year = {2012},
  volume = {61},
  number = {6},
  pages = {2659 -- 2673}
}

@article{m-Ben-Ameur2012,
  author = {Walid Ben-Ameur and Didi Biha, Mohamed},
  title = {On the minimum cut separator problem},
  journal = {Networks},
  year = {2012},
  volume = {59},
  number = {1},
  pages = {30 -- 36}
}

@article{m-Ben-Ameur2012a,
  author = {Walid Ben-Ameur and José Neto},
  title = {A gradient-based randomised heuristic for the maximum cut problem},
  journal = {International journal of mathematics in operational research (IJMOR)},
  year = {2012},
  volume = {4},
  number = {3},
  pages = {276 -- 293}
}

@article{m-Ben-Ameur2012d,
  author = {Walid Ben-Ameur and Michal Pioro and Mateusz Zotkiewicz},
  title = {Fractional routing using pairs of failure-disjoint paths},
  journal = {Discrete applied mathematics},
  year = {2012},
  volume = {published online}
}

@article{m-Castel-Taleb2012,
  author = {Hind Castel-Taleb and Idriss Ismael Aouled and Pekergin, Nihal },
  title = {Bounding aggregations for transient and stationary performance analysis of subnetworks},
  journal = {The computer journal},
  year = {2012},
  volume = {55},
  number = {5},
  pages = {564 -- 576}
}

@article{m-Castel-Taleb2012a,
  author = {Hind Castel-Taleb and Mokdad, Lynda and Pekergin, Nihal },
  title = {An algorithm approach to bounding aggregations of multidimensional Markov chains},
  journal = {Theoretical computer science},
  year = {2012},
  volume = {452},
  pages = {12 -- 20}
}

@article{m-Gibson2012,
  author = {John Paul Gibson and Perseil, Isabelle},
  title = {Introduction to UML and formal methods},
  journal = {ACM SIGSOFT software engineering notes},
  year = {2012},
  volume = {37},
  number = {4},
  pages = {32 -- 33}
}

@article{m-Hwang2012,
  author = {Hwang, Iksoon and Yevtushenko, Nina and Ana Rosa Cavalli},
  title = {Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs},
  journal = {Information processing letters},
  year = {2012},
  volume = {112},
  number = {7},
  pages = {298 -- 301}
}

@article{m-Hwang2012a,
  author = {Hwang, Iksoon and Mounir Lallali and Ana Rosa Cavalli and Verchère, Dominique},
  title = {Applying formal methods to PCEP : an industrial case study from modeling to test generation},
  journal = {Software testing, verification and reliability (STVR)},
  year = {2012},
  volume = {22},
  number = {5},
  pages = {343 -- 361}
}

@article{m-Iutzeler2012,
  author = {Iutzeler, Franck and Ciblat, Philippe and Jérémie Jakubowicz},
  title = {Analysis of max-consensus algorithms in wireless channels},
  journal = {IEEE transactions on signal processing},
  year = {2012},
  volume = {60},
  number = {11},
  pages = {6103 -- 6107},
  url = {http://perso.telecom-paristech.fr/~ciblat/docs_recherche/articles/tsp_iut1.pdf}
}

@article{m-Jakubowicz2012,
  author = {Jérémie Jakubowicz and Lefebvre, Sidonie and Florian Maire and Moulines, Eric},
  title = {Detecting aircraft with a low-resolution infrared sensor},
  journal = {IEEE transactions on image processing},
  year = {2012},
  volume = {21},
  number = {6},
  pages = {3034 -- 3041}
}

@article{m-Jdidi2012,
  author = {Anis Jdidi and Tijani Chahed and Elayoubi, Salah-Eddine and Besbes, Hichem},
  title = {Modeling the flow-level performance of hierarchical modulation in OFDMA-based networks},
  journal = {Telecommunication systems},
  year = {2012},
  volume = {50},
  number = {3},
  pages = {169 -- 180}
}

@article{m-Jdidi2012a,
  author = {Anis Jdidi and Tijani Chahed},
  title = {Cooperative relaying in OFDMA networks based on the joint use of hierarchical modulation and link adaptation},
  journal = {EURASIP journal on wireless communications and networking},
  year = {2012},
  pages = {1 -- 12}
}

@article{m-Kushik2012,
  author = {Kushik, Natalia and Amel Mammar and Ana Rosa Cavalli and Willy Ronald Jimenez Freitez and Montes De Oca, Edgardo and Yevtushenko, Nina},
  title = {A SPIN-based approach for detecting vulnerabilities in C programs},
  journal = {Automatic control and computer sciences},
  year = {2012},
  volume = {46},
  number = {7},
  pages = {379 -- 386}
}

@article{m-Mammar2012,
  author = {Amel Mammar and Wissam Mallouli and Ana Rosa Cavalli},
  title = {A systematic approach to integrate common timed security rules within a TEFSM-based system specification},
  journal = {Information and software technology},
  year = {2012},
  volume = {54},
  number = {1},
  pages = {87 -- 98}
}

@article{m-Mattiello-Francisco2012,
  author = {Mattiello-Francisco , Fatima and Martins, Eliane and Ana Rosa Cavalli and Yano, Edgard Toshiro},
  title = {InRob : an approach for testing interoperability and robustness of real-time embedded software},
  journal = {Journal of systems and software},
  year = {2012},
  volume = {85},
  number = {1},
  pages = {3 -- 15}
}

@article{m-Neto2012,
  author = {José Neto},
  title = {A simple finite cutting plane algorithm for integer programs},
  journal = {Operations research letters},
  year = {2012},
  volume = {40},
  pages = {578 -- 580}
}

@article{m-Oudre2012,
  author = {Oudre, Laurent and Jérémie Jakubowicz and Bianchi, Pascal and Simon, Chantal},
  title = {Classification of periodic activities using the Wasserstein distance},
  journal = {IEEE transactions on biomedical engineering},
  year = {2012},
  volume = {59},
  number = {6},
  pages = {1610 -- 1619}
}

@article{m-Saker2012,
  author = {Louai Saker and Elayoubi, Salah-Eddine and Combes, Richard and Tijani Chahed},
  title = {Optimal control of wake up mechanisms of femtocells in heterogeneous networks},
  journal = {IEEE journal on selected areas in communications},
  year = {2012},
  volume = {30},
  number = {3},
  pages = {664 -- 672}
}

@article{m-Shahmehri2012,
  author = {Shahmehri, Nahid and Amel Mammar and Montes De Oca, Edgardo and Ana Rosa Cavalli and Willy Ronald Jimenez Freitez and Ardi, Shanai and Byers, David },
  title = {An advanced approach for modeling and detecting software vulnerabilities},
  journal = {Information and software technology},
  year = {2012},
  volume = {54},
  number = {9},
  pages = {997 -- 1013 }
}

@article{m-Tarhini2012,
  author = {Chadi Tarhini and Tijani Chahed},
  title = {QoS-oriented resource allocation for streaming flows in IEEE802.16e Mobile WiMAX},
  journal = {Telecommunication systems},
  year = {2012},
  volume = {51},
  number = {1},
  pages = {65 -- 71}
}

@article{m-Ben-Ameur2011,
  author = {Walid Ben-Ameur and Zotkiewicz, Mateusz},
  title = {Robust routing and optimal partitioning of a traffic demand polytope},
  journal = {International transactions in operational research},
  year = {2011},
  volume = {18},
  number = {3},
  pages = {307 -- 333}
}

@article{m-Ben-Ameur2011a,
  author = {Walid Ben-Ameur and José Neto},
  title = {A polynomial-time recursive algorithm for some unconstrained quadratic optimization problems},
  journal = {Discrete applied mathematics},
  year = {2011},
  volume = {159},
  number = {16},
  pages = {1689 -- 1698}
}

@article{m-CarneiroViana2011,
  author = {Carneiro Viana, Aline and Stephane Maag and Zaidi, Fatiha},
  title = {One step forward : linking wireless self-organising networks validation techniques with formal testing approaches},
  journal = {ACM computing surveys},
  year = {2011},
  volume = {43},
  number = {2},
  pages = {7:1 -- 7:36}
}

@article{m-Gibson2011,
  author = {John Paul Gibson and Lallet, Eric and Jean-Luc Raffy},
  title = {Formal object-oriented development of a voting system test oracle},
  journal = {Innovations in systems and software engineering (ISSE)},
  year = {2011},
  volume = {7},
  number = {4},
  pages = {237 -- 245}
}

@article{m-Houidi2011,
  author = {Houidi, Ines and Louati, Wajdi and Walid Ben-Ameur and Djamal Zeghlache},
  title = {Virtual network provisioning across multiple substrate networks},
  journal = {Computer networks - The international journal of computer and telecommunications networking},
  year = {2011},
  volume = {55},
  number = {4},
  pages = {1011 -- 1023}
}

@article{m-Jdidi2011,
  author = {Anis Jdidi and Tijani Chahed},
  title = {Flow-level performance of proportional fairness with hierarchical modulation in OFDMA-based networks},
  journal = {Computer networks - The international journal of computer and telecommunications networking},
  year = {2011},
  volume = {55},
  number = {8},
  pages = {1784 -- 1793}
}

@article{m-Neto2011,
  author = {José Neto},
  title = {From equipartition to uniform cut polytopes : extended polyhedral results},
  journal = {Discrete mathematics},
  year = {2011},
  volume = {311},
  number = {8 & 9},
  pages = {705 -- 714}
}

@article{m-Perseil2011,
  author = {Perseil, Isabelle and John Paul Gibson},
  title = {Introduction to special issue : papers from UML&FM'2011},
  journal = {Innovations in systems and software engineering (ISSE)},
  year = {2011},
  volume = {7},
  number = {4},
  pages = {225 -- 226}
}

@article{m-Aydin2010,
  author = {Aydin, Muhammed Ali and Tülin Atmaca and Özgür Can Turna and Thaere Eido and Zaim, Abdul Halim},
  title = {A performance comparison of OPS with variable-size packets and OBS},
  journal = {Optical switching and networking (OSN)},
  year = {2010},
  volume = {7},
  number = {2},
  pages = {85 -- 94}
}

@article{m-Ben-Ameur2010,
  author = {Walid Ben-Ameur and Makhlouf Hadji},
  title = {Designing Steiner networks with unicyclic connected components : an easy problem},
  journal = {SIAM journal on discrete mathematics},
  year = {2010},
  volume = {24},
  number = {4},
  pages = {1541 -- 1557}
}

@article{m-Ben-Ameur2010a,
  author = {Walid Ben-Ameur and José Neto},
  title = {Spectral bounds for unconstrained (-1,1)-quadratic optimization problems},
  journal = {European journal of operational research},
  year = {2010},
  volume = {207},
  number = {1},
  pages = {15 -- 24}
}

@article{m-Ben-Ameur2010b,
  author = {Walid Ben-Ameur and Zotkiewicz, Mateusz},
  title = {Polynomial traffic demand polytope partitioning},
  journal = {Electronic notes in discrete mathematics},
  year = {2010},
  volume = {36},
  number = {1},
  pages = {1113 -- 1120},
  note = {ISCO 2010 - International Symposium on Combinatorial Optimization}
}

@article{m-Ben-Ameur2010c,
  author = {Walid Ben-Ameur and Makhlouf Hadji},
  title = {Steiner Networks with unicyclic connected components},
  journal = {Electronic notes in discrete mathematics},
  year = {2010},
  volume = {36},
  number = {1},
  pages = {969 -- 976},
  note = {ISCO 2010 - International Symposium on Combinatorial Optimization}
}

@article{m-Ben-Ameur2010d,
  author = {Walid Ben-Ameur and Didi Biha, Mohamed},
  title = {Algorithms and formulations for the minimum cut separator problem},
  journal = {Electronic notes in discrete mathematics},
  year = {2010},
  volume = {36},
  number = {1},
  pages = {977 -- 983},
  note = {ISCO 2010 - International Symposium on Combinatorial Optimization}
}

@article{m-Ben-Ameur2010e,
  author = {Walid Ben-Ameur and Makhlouf Hadji and Ouorou, Adam},
  title = {Networks with unicyclic connected components and without short cycles},
  journal = {Electronic notes in discrete mathematics},
  year = {2010},
  volume = {36},
  number = {1},
  pages = {961 -- 968},
  note = {ISCO 2010 - International Symposium on Combinatorial Optimization}
}

@article{m-Castel-Taleb2010,
  author = {Hind Castel-Taleb and Chaitou, Mohamad and Hebuterne, Gérard},
  title = {Optical MAN ring performance with traffic aggregations},
  journal = {Computer communications},
  year = {2010},
  volume = {33},
  number = {Supplément 1},
  pages = {S122 -- S129}
}

@article{m-Delannoy2010,
  author = {Pierre Delannoy and Nguyen, Hai Dang and Michel Marot and Monique Becker and Agoulmine, Nazim},
  title = {WiMax quality-of-service estimations and measurement},
  journal = {Computer communications},
  year = {2010},
  volume = {33},
  number = {Supplément 1},
  pages = {S71 -- S77}
}

@article{m-Diallo2010,
  author = {Cherif Diallo and Michel Marot and Monique Becker},
  title = {Efficiency benefits through load-balancing with link reliability based routing in WSNs},
  journal = {International journal on advances in networks and services},
  year = {2010},
  volume = {3},
  number = {3 & 4},
  pages = {430 -- 446}
}

@article{m-Dorofeeva2010,
  author = {Dorofeeva, Rita and El-Fakhi, Khaled and Stephane Maag and Yevtushenko, Nina and Ana Rosa Cavalli},
  title = {FSM-based conformance testing methods : a survey annotated with experimental evaluation},
  journal = {Information and software technology},
  year = {2010},
  volume = {52},
  number = {12},
  pages = {1286 -- 1297}
}

@article{m-Hwang2010,
  author = {Hwang, Iksoon and Ana Rosa Cavalli},
  title = {Testing a probabilistic FSM using interval estimation},
  journal = {Computer networks - The international journal of computer and telecommunications networking},
  year = {2010},
  volume = {54},
  number = {7},
  pages = {1108 -- 1125 }
}

@article{m-Marot2010,
  author = {Michel Marot and Vincent Gauthier},
  title = {Reducing collision probability on a shared medium using a variational method},
  journal = {ACM SIGMETRICS performance evaluation review},
  year = {2010},
  volume = {38},
  number = {2},
  pages = {42 -- 44}
}

@article{m-Morais2010,
  author = {Anderson Morais and Ana Rosa Cavalli and Martins, Eliane},
  title = {Génération de scripts d'attaque pour la validation de la sécurité},
  journal = {Génie logiciel},
  year = {2010},
  number = {94},
  pages = {39 -- 44},
  note = {Congrès Inforsid. Atelier "Sécurité des Systèmes d'Information et des Environnements Collaboratifs (SEC-SY)", Marseille , FRANCE }
}

@article{m-Nguyen2010,
  author = {Viet Hung Nguyen and Tülin Atmaca},
  title = {Metropolitan optical packet bus-based networks : packet bursting and emulation of TDM services },
  journal = {Computer communications},
  year = {2010},
  volume = {33},
  number = {Supplément 1},
  pages = {S110 -- S121}
}

@article{m-Zotkiewicz2010,
  author = {Zotkiewicz, Mateusz and Walid Ben-Ameur and Pioro, Michal},
  title = {Finding failure-disjoint paths for path diversity protection in communication networks},
  journal = {IEEE communications letters},
  year = {2010},
  volume = {14},
  number = {8},
  pages = {776 -- 778}
}

@article{m-Zotkiewicz2010a,
  author = {Zotkiewicz, Mateusz and Walid Ben-Ameur and Pioro, Michal},
  title = {Failure disjoint paths},
  journal = {Electronic notes in discrete mathematics},
  year = {2010},
  volume = {36},
  number = {1},
  pages = {1105 -- 1112},
  note = {ISCO 2010 - International Symposium on Combinatorial Optimization}
}

@article{m-Gibson2009,
  author = {John Paul Gibson},
  title = {Software reuse and plagiarism : a code of practice},
  journal = {ACM SIGCSE bulletin},
  year = {2009},
  volume = {41},
  number = {3},
  pages = {55 -- 59}
}

@article{m-Mammar2009,
  author = {Amel Mammar},
  title = {A systematic approach to generate B preconditions : application to the database domain},
  journal = {Software and systems modeling},
  year = {2009},
  volume = {8},
  number = {3},
  pages = {385 -- 401}
}

@article{m-Ben-Ameur2008,
  author = {Walid Ben-Ameur and José Neto},
  title = {Spectral bounds for the maximum cut problem},
  journal = {Networks},
  year = {2008},
  volume = {52},
  number = {1},
  pages = {8 -- 13}
}

@article{m-Ben-Ameur2008a,
  author = {Walid Ben-Ameur and José Neto},
  title = {A geometric characterization of "optimality-equivalent" relaxations},
  journal = {Journal of global optimization},
  year = {2008},
  volume = {42},
  number = {4},
  pages = {533 -- 547}
}

@article{m-BenOthman2008,
  author = {Ben Othman, Jalel and Hind Castel-Taleb and Mokdad, Lynda},
  title = {Performance evaluation of mobile networks based on stochastic ordering Markov chains},
  journal = {Studia informatica universalis},
  year = {2008},
  volume = {6},
  number = {3},
  pages = {313 -- 329}
}

@article{m-BenOthman2008a,
  author = {Ben Othman, Jalel and Hind Castel-Taleb and Mokdad, Lynda},
  title = {A multi-service MAC protocol in a multi-channel CSMA/CA for IEEE 802.11 networks},
  journal = {Journal of communications and networks},
  year = {2008},
  volume = {10},
  number = {3},
  pages = {287 -- 296}
}

@article{m-Chahed2008,
  author = {Tijani Chahed and Altman, Eitan and Elayoubi, Salah-Eddine},
  title = {Joint uplink and downlink admission control to both streaming and elastic flows in CDMA/HSDPA systems},
  journal = {Performance evaluation},
  year = {2008},
  volume = {65},
  number = {11-12},
  pages = {869 -- 882}
}

@article{m-Maag2008,
  author = {Stephane Maag and Grepet, Cyril and Ana Rosa Cavalli},
  title = {A formal validation methodology for MANET routing protocols based on nodes' self similarity},
  journal = {Computer communications},
  year = {2008},
  volume = {31},
  number = {4},
  pages = {827 -- 841}
}

@article{m-Mammar2008,
  author = {Amel Mammar and Laleau, Régine},
  title = {Implémentation JAVA d'une spécification B: Application aux bases de données},
  journal = {Technique et science informatiques},
  year = {2008},
  volume = {27},
  number = {5},
  pages = {537 -- 570}
}

@article{m-Mokdad2008,
  author = {Mokdad, Lynda and Hind Castel-Taleb},
  title = {Stochastic comparisons : a methodology for the performance evaluation of fixed and mobile networks },
  journal = {Computer communications},
  year = {2008},
  volume = {31},
  number = {17},
  pages = {3894 -- 3904 }
}

@article{m-Woods2008,
  author = {Woods, Damien and John Paul Gibson},
  title = {Lower bounds on the computational power of an optical model of computation},
  journal = {Natural computing},
  year = {2008},
  volume = {7},
  number = {1},
  pages = {95 -- 108}
}

@book{m-Altman2013,
  author = {Altman, Eitan and Tijani Chahed and Elayoubi, Salah-Eddine},
  title = {Special issue on dynamic games for networks},
  publisher = {SP Birkhäuser Verlag},
  year = {2013},
  volume = {3},
  note = {Dynamic games and applications journal }
}

@book{m-Castel-Taleb2012b,
  author = {Hind Castel-Taleb},
  title = {Agrégations pour garantir la QoS des réseaux complexes},
  publisher = {Editions Universitaires Européennes},
  year = {2012}
}

@book{m-GarciaBerumen2011,
  author = {Armando Garcia Berumen and Michel Marot},
  title = {Apport des techniques multi-niveaux dans une architecture DVB-S2/RCS},
  publisher = {Editions Universitaires Européennes},
  year = {2011}
}

@book{m-Chahed2010,
  author = {Tijani Chahed and Lenzini, Luciano and Shimkin, Nahum},
  title = {Performance evaluation methodologies and tools : selected papers from VALUETOOLS 2008},
  publisher = {Elsevier},
  year = {2010},
  volume = {67},
  note = {Performance Evaluation Journal}
}

@incollection{m-Ali2013,
  author = {Arshad Ali and Sassatelli, Lucile and Tijani Chahed and Altman, Eitan},
  title = {Reliable transport in delay tolerant networks},
  booktitle = {Routing in opportunistic networks},
  publisher = {Springer},
  year = {2013},
  pages = {251 -- 287}
}

@incollection{m-Mota2012,
  author = {Mota, Jean-Marc and Dmitrieva, Evguenia and Amel Mammar and Behnia, Salimeh and Raymond, Pascal and Breton, Nicolas and Caspi, Paul},
  title = {Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle},
  booktitle = {Techniques industrielles de modélisation formelle pour le transport},
  publisher = {Hermès-Lavoisier},
  year = {2012},
  pages = {145 -- 185},
  note = {Collection : Informatique et systèmes d'informations}
}

@incollection{m-Saker2012a,
  author = {Louai Saker and Elayoubi, Salah-Eddine and Tijani Chahed},
  title = {Schémas de mise en veille des stations de base dans les réseaux mobiles : présentation et évaluation},
  booktitle = {Le green networking : vers des réseaux efficaces en consommation énergétique},
  publisher = {Hermès-Lavoisier},
  year = {2012},
  pages = {209 -- 223}
}

@incollection{m-Atmaca2011,
  author = {Tülin Atmaca and Viet Hung Nguyen},
  title = {Optical metropolitan networks : packet format, MAC protocols and quality of service},
  booktitle = {Network performance engineering : a handbook on convergent multi-service networks and next generation internet},
  publisher = {Springer},
  year = {2011},
  volume = {5233/2011},
  pages = {808 -- 834}
}

@incollection{m-Ben-Ameur2011b,
  author = {Walid Ben-Ameur and Ouorou, Adam and Zotkiewicz, Mateusz},
  title = {Robust routing in communication networks},
  booktitle = {Progress in combinatorial optimization},
  publisher = {Iste;Wiley},
  year = {2011},
  pages = {353 -- 390}
}

@incollection{m-Castel-Taleb2011,
  author = {Hind Castel-Taleb and Chaitou, Mohamad and Hebuterne, Gérard},
  title = {Performance of multicast packet aggregation in all optical slotted networks},
  booktitle = {Network performance engineering : A Handbook on Convergent Multi-Service Networks and Next Generation Internet},
  publisher = {Springer},
  year = {2011},
  volume = {5233},
  pages = {835 -- 858}
}

@incollection{m-Dhaou2011,
  author = {Dhaou, Riadh and Vincent Gauthier and Tiado, Issoufou and Beylot, André-Luc and Monique Becker},
  title = {Cross layer simulation : application to performance modelling of networks composed of MANETs and satellites},
  booktitle = {Network performance engineering : a handbook on convergent multi-service networks and next generation internet},
  publisher = {Springer},
  year = {2011},
  volume = {5233/2011},
  pages = {477 -- 508}
}

@incollection{m-Mallouli2011,
  author = {Wissam Mallouli and Wehbi, Bachar and Ana Rosa Cavalli and Stephane Maag},
  title = {Formal supervision of mobile ad hoc networks for security flaws detection},
  booktitle = {Security engineering techniques and solutions for information systems : management and implementation},
  publisher = {IGI Global},
  year = {2011}
}

@incollection{m-Ben-Ameur2010f,
  author = {Walid Ben-Ameur and Mahjoub, Ali Ridha and José Neto},
  title = {The maximum cut problem},
  booktitle = {Paradigms of combinatorial optimization : problems and new approaches},
  publisher = {Wiley / ISTE},
  year = {2010},
  pages = {131 -- 172},
  note = {Volume 2 - Combinatorial Optimization. Series in 3 Volumes}
}

@incollection{m-Cavalli2010,
  author = {Ana Rosa Cavalli and Mounir Lallali and Stephane Maag and Zaidi, Fatiha and Gerardo Morales},
  title = {Modeling and testing of web based systems},
  booktitle = {Emergent web intelligence : advanced semantic technologies},
  publisher = {Springer},
  year = {2010},
  pages = {355 -- 394}
}

@incollection{m-Mallouli2010,
  author = {Wissam Mallouli and Mounir Lallali and Amel Mammar and Ana Rosa Cavalli and Gerardo Morales},
  title = {Modeling and testing secure web applications},
  booktitle = {Web-based information technologies and distributed systems},
  publisher = {Atlantis Press},
  year = {2010},
  volume = {2},
  pages = {207 -- 255}
}

@incollection{m-Marot2010a,
  author = {Michel Marot and Delye De Clauzade De Mazieux, Alexandre and Monique Becker},
  title = {On clustering in sensor networks},
  booktitle = {Sustainable wireless sensor networks},
  publisher = {InTech},
  year = {2010},
  pages = {125 -- 166}
}

@incollection{m-Brandwajn2009,
  author = {Brandwajn, Alexandre and Viet Hung Nguyen and Tülin Atmaca},
  title = {A conditional probability approach to performance analysis of optical unslotted bus-based networks},
  booktitle = {Current research progress of optical networks},
  publisher = {Springer Netherlands},
  year = {2009},
  pages = {65 -- 94}
}

@incollection{m-Chahed2009,
  author = {Tijani Chahed and Chammakhi Msadaa, Ikbal and Elazouzi, Rachid and Elayoubi, Salah-Eddine and Peyre, Thierry and Chadi Tarhini and Fourestié, Benoît and Filali, Fethi},
  title = {WiMAX network capacity and radio resource management},
  booktitle = {Radio resources management in WiMAX : from theoretical capacity to system simulations},
  publisher = {Wiley, ISTE },
  year = {2009},
  pages = {49 -- 104}
}

@incollection{m-Chahed2009a,
  author = {Tijani Chahed and Cottatellucci, Laura and Elazouzi, Rachid and He, Gaoning and Gault, Sophie},
  title = {Information theoretic capacity of WIMAX},
  booktitle = {Radio resources management in WiMAX : from theoretical capacity to system simulations},
  publisher = {ISTE Ltd & John Wiley & Sons Inc},
  year = {2009},
  pages = {1 -- 49}
}

@incollection{m-Chaitou2009,
  author = {Chaitou, Mohamad and Hebuterne, Gérard and Hind Castel-Taleb},
  title = {A novel issue for the design of access interfaces in all optical slotted networks},
  booktitle = {Performance Modelling and Analysis of Heterogeneous Networks},
  publisher = {River Publishers },
  year = {2009},
  pages = {389 -- 415}
}

@incollection{m-Combes2009,
  author = {Jean-Michel Combes and Daniel Migault and Julien Bournelle and Maryline Laurent and Hakima Chaouchi},
  title = {Security of IP-based mobile networks },
  booktitle = {Wireless and Mobile Network Security },
  publisher = {ISTE/Wiley},
  year = {2009},
  pages = {437 -- 474}
}

@incollection{m-DelyeDeClauzadeDeMazieux2009,
  author = {Delye De Clauzade De Mazieux, Alexandre and Vincent Gauthier and Michel Marot and Monique Becker},
  title = {CAAC mechanism : a Cluster Address Auto-Configuration mechanism},
  booktitle = {Performance modelling and analysis of heterogeneous networks},
  publisher = {River Publishers},
  year = {2009},
  volume = {2},
  pages = {135 -- 152}
}

@incollection{m-Mammar2009a,
  author = {Amel Mammar and Laleau, Régine},
  title = {UB2SQL : a tool for building database applications using UML and B formal method},
  booktitle = {Database technologies : concepts, methodologies, tools, and applications},
  publisher = {IGI Global},
  year = {2009},
  pages = {1168 -- 1188}
}

@incollection{m-Nguyen2009,
  author = {Viet Hung Nguyen and Tülin Atmaca},
  title = {Circuit emulation service technologies and modified packet bursting in metropolitan optical networks},
  booktitle = {Performance modelling and analysis of heterogeneous networks},
  publisher = {River Publishers},
  year = {2009},
  pages = {339 -- 370}
}

@incollection{m-Orset2009,
  author = {Orset, Jean-Marie and Ana Rosa Cavalli},
  title = {Security in ad hoc networks},
  booktitle = {Wireless and mobile network security : security basics, security in on-the-shelf and emerging technologies},
  publisher = {iSTE-WILEY},
  year = {2009},
  pages = {475 -- 524}
}

@incollection{m-Mallouli2008,
  author = {Wissam Mallouli and Wehbi, Bachar and Ana Rosa Cavalli},
  title = {Distributed Monitoring in Ad Hoc Networks : Conformance and Security Checking},
  booktitle = {AD-HOC, mobile and wireless networks : 7th International Conference, AdHoc-NOW 2008, Sophia-Antipolis, France, September 10-12, 2008 : Proceedings },
  publisher = {Springer},
  year = {2008},
  volume = {5198},
  pages = {345 -- 356},
  note = {AdHoc-NOW '08 : 7th International Conference on AD-HOC Networks and Wireless, September 10-13, Sophia Antipolis, France}
}

@incollection{m-Mammar2008a,
  author = {Amel Mammar and Laleau, Régine},
  title = {UB2SQL : a tool for building database applications using UML and B formal method },
  booktitle = {Advanced principles for improving database design, systems modeling, and software development},
  publisher = {Information Science Publishing},
  year = {2008},
  pages = {111 -- 130}
}

@incollection{m-Nguyen2008,
  author = {Viet Hung Nguyen and Tülin Atmaca},
  title = {Transporting TDM service on metropolitan bus-based optical packet switching networks},
  booktitle = {Encyclopedia of Internet technologies and applications},
  publisher = {Information Science Reference},
  year = {2008},
  pages = {653 -- 662}
}

@incollection{m-Wehbi2008,
  author = {Wehbi, Bachar and Anis Laouiti and Ana Rosa Cavalli},
  title = {A reactive wireless mesh network architecture},
  booktitle = {Advances in Ad Hoc Networking : Proceedings of the Seventh Annual Mediterranean Ad Hoc Networking Workshop, Palma de Mallorca, Spain, June 25 27},
  publisher = {Springer},
  year = {2008},
  volume = {265},
  pages = {203 -- 214}
}

@inproceedings{m-Abdel-Razzak2013,
  author = {Abdel-Razzak, Amal and Elayoubi, Salah-Eddine and Tijani Chahed and El Hassan, Bachar},
  editor = {IEEE},
  title = {Impact of LTE and DVB-NGH cooperation on QoS of mobile TV users},
  booktitle = {ICC'13 : IEEE International Conference on Communications},
  year = {2013}
}

@inproceedings{m-Abdel-Razzak2013a,
  author = {Abdel-Razzak, Amal and Elayoubi, Salah-Eddine and Tijani Chahed and El Hassan, Bachar},
  editor = {IEEE},
  title = {Comparison of LTE eMBMS and DVB-NGH mobile TV solutions from an energy consumption perspective},
  booktitle = {Green Cellular'13 : International Workshop on End-to-End Green Cellular Networks},
  year = {2013},
  note = {In conjunction with PIMRC 3 : 24th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications}
}

@inproceedings{m-Abdel-Razzak2013b,
  author = {Abdel-Razzak, Amal and Elayoubi, Salah-Eddine and Tijani Chahed and El Hassan, Bachar},
  editor = {IEEE},
  title = {Planning of Mobile TV service in standalone and cooperative DVB-NGH and LTE networks},
  booktitle = {WiVid'13 : First International Workshop on Modeling, Measurements and Optimization of Video Performance over Wireless},
  year = {2013},
  pages = {609 -- 614},
  note = {In conjunction with WiOpt 3 : 11th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks}
}

@inproceedings{m-AitSalaht2013a,
  author = {Ait Salaht, Farah and Hind Castel-Taleb and Fourneau, Jean-Michel and Pekergin, Nihal },
  editor = {Springer},
  title = {Stochastic bounds and histograms for network performance analysis},
  booktitle = {EPEW'13 : 10th European Workshop on Performance Engineering},
  year = {2013},
  volume = {8168},
  pages = {13 -- 27},
  note = {Collection : Lecture Notes in Computer science}
}

@inproceedings{m-AitSalaht2013b,
  author = {Ait Salaht, Farah and Fourneau, Jean-Michel and Hind Castel-Taleb and Pekergin, Nihal },
  editor = {IEEE Computer Society},
  title = {A bounding histogram approach for network performance analysis},
  booktitle = {HPCC3 : The 15th IEEE International Conference on High Performance Computing and Communications},
  year = {2013}
}

@inproceedings{m-Atmaca2013,
  author = {Tülin Atmaca and Czachórski, Tadeusz and Grochla, Krzysztof and Pekergin, Ferhan and Nycz, Tomasz},
  editor = {Springer},
  title = {A model of boot-up storm dynamics},
  booktitle = {ISCIS'12 : 27th International Symposium on Computer and Information Sciences},
  year = {2013},
  pages = {371 -- 379}
}

@inproceedings{m-BarbosaAbreu2013,
  author = {Barbosa Abreu, Felipe and Ana Rosa Cavalli and Anderson Morais and Montes De Oca, Edgardo and Wehbi, Bachar},
  title = {An effective attack detection approach in wireless mesh networks},
  booktitle = {NetMM'13 : International Workshop on Network Management and Monitoring},
  year = {2013},
  note = {In conjunction with AINA '13 : 27th IEEE International Conference on Advanced Information Networking and Applications}
}

@inproceedings{m-Bellachehab2013,
  author = {Bellachehab, Anass and Bianchi, Pascal and Jérémie Jakubowicz},
  title = {Consensus pair-à-pair asynchrone dans les variétés},
  booktitle = {AlgoTel'13 : 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications},
  year = {2013},
  pages = {1 -- 4}
}

@inproceedings{m-BenAmeur13h,
  author = {Walid Ben-Ameur and Mohamed-Ahmed Mohamed-Sidi and José Neto},
  editor = {LNCS, Springer},
  title = {The it k-Separator Problem},
  booktitle = {COCOON},
  year = {2013},
  volume = {7936},
  pages = {337-348}
}

@inproceedings{m-Ben-Ameur2013e,
  author = {Walid Ben-Ameur and Bianchi, Pascal and Jérémie Jakubowicz},
  title = {A total variation based approach for robust consensus in distributed networks},
  booktitle = {CDC3 : 52nd IEEE Conference on Decision and Control},
  year = {2013}
}

@inproceedings{m-Che2013,
  author = {Xiaoping Che and Stephane Maag},
  editor = {ScitePress},
  title = {A formal passive performance testing approach for distributed communication systems},
  booktitle = {ENASE3 : 8th International Conference on Evaluation of Novel Approaches to Software Engineering},
  year = {2013},
  note = {Held in conjunction with ICEIS 3. Best Student Paper Award}
}

@inproceedings{m-Che2013b,
  author = {Xiaoping Che and Stephane Maag},
  editor = {IEEE Computer Society},
  title = {A passive testing approach for protocols in internet of things},
  booktitle = {iThings'13 : The 2013 IEEE International Conference on Internet of Things},
  year = {2013}
}

@inproceedings{m-Che2013c,
  author = {Xiaoping Che and Stephane Maag},
  editor = {IEEE Computer Society},
  title = {Passive testing on performance requirements of network protocols},
  booktitle = {NetMM'13 : International Workshop on Network Management and Monitoring},
  year = {2013},
  note = {In conjunction with AINA '13 : 27th IEEE International Conference on Advanced Information Networking and Applications}
}

@inproceedings{m-Cheick2013,
  author = {Cheick, Sanogo and Tijani Chahed and Elayoubi, Salah-Eddine},
  editor = {IEEE},
  title = {Modeling user impatience and its impact on impact on performance in mobile networks},
  booktitle = {PIMRC3 : 24th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications },
  year = {2013}
}

@inproceedings{m-Chen2013a,
  author = {Chao Chen and Daqing Zhang and Zhou, Zhi-Hua and Tülin Atmaca and Li, Shijian and Li, Nan},
  editor = {IEEE},
  title = {B-Planner : night bus route planning using large-scale taxi GPS traces},
  booktitle = {PerCom'13 : IEEE International Conference on Pervasive Computing and Communications},
  year = {2013}
}

@inproceedings{m-Clemencon2013,
  author = {Clemencon, Stéphan and Jérémie Jakubowicz},
  editor = {Microtome Publishing},
  title = {Scoring anomalies : a M-estimation formulation},
  booktitle = {AISTATS'13 : Sixteenth international conference on Artificial Intelligence and Statistics},
  year = {2013},
  volume = {31},
  pages = {659 -- 667},
  note = {Journal of Machine Learning Research Workshop and Conference Proceedings (JMLR W&CP)}
}

@inproceedings{m-Cuadra-Sanchez2013,
  author = {Cuadra-Sánchez, Antonio and Cutanda-Rodriguez, Mar and López De Vergara, Jorge E. and Brunnström, Kjell and Jukka-Pekka, Laulajainen and Ana Rosa Cavalli and Perez-Mateos, Ismael and Augustin, Brice and Mellouk, Abdelhamid and Anderson Morais and Varela, Martin and Aurelius, Andreas},
  editor = {IEEE},
  title = {Ecosystem for customer experience assurance},
  booktitle = {IWQM'13 : First International Workshop on Quality Monitoring},
  year = {2013},
  note = {In conjunction with SaCoNeT '13 : Smart Communications in Network Technologies}
}

@inproceedings{m-Gonzalez2013,
  author = {Gonzalez, Glenda and Tülin Atmaca},
  editor = {IEEE},
  title = {An integrated bandwidth allocation for energy saving in fixed-mobile networks},
  booktitle = {CAMAD3 : 18th IEEE International Workshop on Computer Aided Modeling Analysis and Design of Communication Links and Networks},
  year = {2013}
}

@inproceedings{m-Kondratyeva2013,
  author = {Kondratyeva, Olga and Kushik, Natalia and Ana Rosa Cavalli and Yevtushenko, Nina},
  editor = {IEEE},
  title = {Finite state models for evaluating web service quality : a short study},
  booktitle = {QSIC3 : The 13th International Conference on Quality Software},
  year = {2013}
}

@inproceedings{m-Kondratyeva2013arohtua,
  author = {Kondratyeva, Olga and Kushik, Natalia and Ana Rosa Cavalli and Yevtushenko, Nina},
  editor = {IEEE Computer Society},
  title = {Evaluating quality of web services : a short survey},
  booktitle = {ICWS'13 : IEEE 20th International Conference on Web Services},
  year = {2013},
  pages = {595 -- },
  note = {Co-located events : CLOUD, SCC, MS, BigData, SERVICES 2013}
}

@inproceedings{m-Kondratyeva2013b,
  author = {Kondratyeva, Olga and Kushik, Natalia and Ana Rosa Cavalli and Yevtushenko, Nina},
  editor = {IEEE Computer Society},
  title = {Evaluating Web service quality using finite state models},
  booktitle = {QSIC3 : The 13th International Conference on Quality Software},
  year = {2013}
}

@inproceedings{m-LalanneRojas2013a,
  author = {Felipe Lalanne Rojas and Stephane Maag},
  editor = {IEEE},
  title = {DataMonitor : a formal approach for passively testing a MANET routing protocol},
  booktitle = {IWCMC3 : The 9th IEEE International Wireless Communications & Mobile Computing Conference},
  year = {2013},
  pages = {207 -- 212}
}

@inproceedings{m-Lopez2013,
  author = {Lopez, Jorge and Stephane Maag and Gerardo Morales},
  editor = {ACM},
  title = {A formal distributed network monitoring approach for enhancing trust management systems},
  booktitle = {MEDES'13 : The International ACM Conference on Management of Emergent Digital EcoSystems},
  year = {2013}
}

@inproceedings{m-LouzadaPinto2013,
  author = {Louzada Pinto, Julio Cesar and Tijani Chahed and Jérémie Jakubowicz},
  title = {A stochastic opinion dynamics model with multiple contents},
  booktitle = {CDC3 : 52nd IEEE Conference on Decision and Control},
  year = {2013}
}

@inproceedings{m-LouzadaPinto2013a,
  author = {Louzada Pinto, Julio Cesar and Tijani Chahed and Altman, Eitan and Basar, Tamer},
  title = {Dissemination and competition between contents in lossy susceptible infected susceptible (SIS) social networks},
  booktitle = {CDC3 : 52nd IEEE Conference on Decision and Control},
  year = {2013}
}

@inproceedings{m-Macnamara2013,
  author = {Macnamara, Damien and John Paul Gibson and Oakley, Ken },
  title = {Just like paper : a classification system for eVoting machines},
  booktitle = {CeDEM13 : Conference for e-Democracy and Open Government 2013},
  year = {2013},
  pages = {365 -- 370}
}

@inproceedings{m-Mouttappa2013a,
  author = {Pramila Mouttappa and Stephane Maag and Ana Rosa Cavalli},
  title = {Monitoring based on IOSTS for testing functional and security properties : application to an automotive case study},
  booktitle = {COMPSAC3 : The 37th Annual International Computer Software & Applications Conference},
  year = {2013}
}

@inproceedings{m-Panda2013,
  author = {Panda, Manoj and Tijani Chahed and Altman, Eitan},
  editor = {IEEE},
  title = {Wireless multicast cost sharing game with a dynamic population},
  booktitle = {NetGCooP'12 : 6th International Conference on NETwork Games, COntrol and OPtimization},
  year = {2013},
  pages = {58 -- 63}
}

@inproceedings{m-Pokhrel2013,
  author = {Jeevan Pokhrel and Wehbi, Bachar and Anderson, Morais and Allilaire, Eric and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Estimation of QoE of video traffic using a fuzzy expert system },
  booktitle = {CCNC'13 : The 10th Annual IEEE Consumer Communications and Networking Conference},
  year = {2013},
  pages = {224 -- 229}
}

@inproceedings{m-Soua2013,
  author = {Ahmed Soua and Walid Ben-Ameur and Hossam Afifi},
  editor = {IEEE},
  title = {Beamforming-based broadcast scheme for multihop wireless networks with transmission range adjustment},
  booktitle = {WONS'13 : The 10th Annual Conference on Wireless On-Demand Network Systems and Services},
  year = {2013},
  volume = {1},
  pages = {212 -- 215}
}

@inproceedings{m-Abdelmoumen2012,
  author = {Abdelmoumen, Mouna and Arfaoui, Ines and Frikha, Mounir and Tijani Chahed},
  editor = {IEEE},
  title = {On the Performance of MANETs under different mobility patterns and routing protocols and its improvement based on fixed relay nodes},
  booktitle = {NTMS'12 : 5th IFIP International Conference on New Technologies, Mobility and Security},
  year = {2012},
  pages = {1 -- 5}
}

@inproceedings{m-Ahmad2012,
  author = {Abdel-Mehsen Ahmad and Doughan, Mahmoud and Mougharbel, Imad and Michel Marot},
  editor = {IEEE},
  title = {A new adapted back-off scheme for broadcasting on IEEE 1609.4 control channel in VANET},
  booktitle = {Med-Hoc-Net '12 : 11th Annual Mediterranean Ad Hoc Networking Workshop},
  year = {2012},
  pages = {9 -- 15}
}

@inproceedings{m-Akbulut2012,
  author = {Akbulut, Akhan and Aydin, Muhammed Ali and Tülin Atmaca and Zaim, Abdul Halim},
  title = {Accessing to data in WSNs},
  booktitle = {ICNFI'12 : International Conference on Networking and Future Internet},
  year = {2012},
  pages = {70 -- 73}
}

@inproceedings{m-Ali2012,
  author = {Arshad Ali and Altman, Eitan and Tijani Chahed and Panda, Manoj and Sassatelli, Lucile and Fiems, Dieter},
  editor = {Springer},
  title = {Estimating file-spread in delay tolerant networks under two-hop routing},
  booktitle = {NETWORKING'12 : 11th International IFIP TC 6 Networking Conference},
  year = {2012},
  volume = {7290},
  pages = {277 -- 290},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Andres2012,
  author = {Andrés, César and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {How to reduce the cost of passive testing},
  booktitle = {HASE'12 : 14th IEEE International High-Assurance Systems Engineering symposium},
  year = {2012},
  pages = {209 -- 216}
}

@inproceedings{m-Atmaca2012,
  author = {Tülin Atmaca},
  title = {Optical networks : today and tomorrow},
  booktitle = {CN'12 : The International Science Conference : Computer Networks},
  year = {2012}
}

@inproceedings{m-Bauguion2012,
  author = {Pierre-Olivier Bauguion and Walid Ben-Ameur and Gourdin, Eric},
  title = {An efficient tree-based model for multicommodity flow problems},
  booktitle = {ISCO'12 : 2nd international symposium on combinatorial optimization},
  year = {2012},
  note = {Short paper included in a volume of local proceedings}
}

@inproceedings{m-Ben-Ameur2012b,
  author = {Walid Ben-Ameur and Bianchi, Pascal and Jérémie Jakubowicz},
  editor = {IEEE},
  title = {Robust average consensus using total variation gossip algorithm},
  booktitle = {ValueTools'12 : 6th International Conference on Performance Evaluation Methodologies and Tools},
  year = {2012}
}

@inproceedings{m-Che2012,
  author = {Xiaoping Che and Felipe Lalanne Rojas and Stephane Maag},
  title = {A logic-based passive testing approach for the validation of communicating protocols},
  booktitle = {ENASE'12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering},
  year = {2012}
}

@inproceedings{m-ElMaarabani2012,
  author = {El Maarabani, Mazen and Andrés, César and Ana Rosa Cavalli},
  editor = {Knowledge Systems Institute Graduate School},
  title = {Testing interoperability security policies},
  booktitle = {SEKE'12 : The 24th International Conference on Software Engineering and Knowledge Engineering},
  year = {2012},
  pages = {464 -- 469}
}

@inproceedings{m-Frappier2012,
  author = {Frappier, Marc and Amel Mammar},
  editor = {IEEE},
  title = {An assertions-based approach to verifying the absence property pattern},
  booktitle = {ISSRE'12 : 23rd IEEE International Symposium on Software Reliability Engineering},
  year = {2012},
  pages = {361 -- 370}
}

@inproceedings{m-Gharaei2012,
  author = {Gharaei, Mohammad and Lourdiane, Mounia and Hind Castel-Taleb},
  title = {A robust buffer management and packet scheduling algorithm with QoS in an optical ingress node},
  booktitle = {Photonics North 2012},
  year = {2012},
  pages = {151 -- }
}

@inproceedings{m-Gibson2012a,
  author = {John Paul Gibson},
  editor = {ACM},
  title = {Teaching graph algorithms to children of all ages},
  booktitle = {ITiCSE'12 : 17th Annual Conference on Innovation and Technology in Computer Science Education},
  year = {2012},
  pages = {34 -- 39}
}

@inproceedings{m-Graa2012,
  author = {Graa, Mariem and Cuppens-Boulahia, Nora and Autrel, Fabien and Cuppens, Frédéric and Ana Rosa Cavalli and Amel Mammar and Coatrieux, Gouenou and Azkia, Hanieh},
  editor = {Springer},
  title = {Using requirements engineering in an automatic security policy derivation process},
  booktitle = {SETOP'11 : 4th International Workshop on Autonomous and Spontaneous Security},
  year = {2012},
  volume = {7122/2012},
  pages = {155 -- 172},
  note = {In conjunction with DPM '11 : Data Privacy Management 6th International Workshop. Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Graa2012a,
  author = {Graa, Mariem and Cuppens-Boulahia, Nora and Cuppens, Frédéric and Ana Rosa Cavalli},
  editor = {Springer},
  title = {Detecting control flow in smarphones : combining static and dynamic analysis},
  booktitle = {CSS'12 : The 4th International Symposium on Cyberspace Safety and Security},
  year = {2012},
  volume = {7672},
  pages = {33 -- 47},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-GurkasAydin2012,
  author = {Zeynep Gurkas Aydin and Zaim, Abdul Halim and Hakima Chaouchi and Tülin Atmaca},
  editor = {Springer},
  title = {A prediction based mobility extension for eHIP protocol},
  booktitle = {ISCIS'11 : 26th International Symposium on Computer and Information Sciences},
  year = {2012},
  pages = {209 -- 213}
}

@inproceedings{m-Hadji2012,
  author = {Makhlouf Hadji and Djamal Zeghlache},
  editor = {IEEE},
  title = {Minimum cost maximum flow algorithm for dynamic resource allocation in clouds},
  booktitle = {CLOUD'12 : IEEE 5th International Conference on Cloud Computing},
  year = {2012},
  pages = {876 -- 882},
  note = {Co-located conferences : ICWS-SCC-MS-SE-SERVICES '12}
}

@inproceedings{m-IsmaelAouled2012,
  author = {Idriss Ismael Aouled and Hind Castel-Taleb},
  editor = {Springer},
  title = {Combined CAC and forced handoff for mobile network performability},
  booktitle = {ASMTA'12 : 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications},
  year = {2012},
  volume = {7314},
  pages = {76 -- 90},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Iutzeler2012a,
  author = {Iutzeler, Franck and Ciblat, Philippe and Hachem, Walid and Jérémie Jakubowicz},
  editor = {IEEE},
  title = {New broadcast based distributed averaging algorithm over wireless sensor networks},
  booktitle = {ICASSP'12 : IEEE International Conference on Acoustics, Speech and Signal Processing},
  year = {2012},
  pages = {3117 -- 3120},
  note = {Poster}
}

@inproceedings{m-LalanneRojas2012,
  author = {Felipe Lalanne Rojas and Ana Rosa Cavalli and Stephane Maag},
  editor = {IEEE},
  title = {Quality of experience as a selection criterion for web services},
  booktitle = {SITIS'12 : The 8th International Conference on Signal-Image Technology & Internet Systems},
  year = {2012},
  pages = {519 -- 526}
}

@inproceedings{m-Macnamara2012,
  author = {Macnamara, Damien and John Paul Gibson and Oakley, Ken },
  editor = {Donau-Universität Krems},
  title = {A preliminary study on a dual vote and prêt à voter hybrid system},
  booktitle = {CeDEM'12 : International Conference for E-Democracy and Open Government},
  year = {2012},
  pages = {77 -- 89}
}

@inproceedings{m-Mammar2012a,
  author = {Amel Mammar and Frappier, Marc and Chane-Yack-Fa, Raphael },
  editor = {IEEE},
  title = {Proving the absence property pattern using the B method},
  booktitle = {HASE'12 : 14th IEEE International High Assurance Systems Engineering Symposium},
  year = {2012},
  pages = {167 -- 170}
}

@inproceedings{m-Morais2012,
  author = {Anderson Morais and Ana Rosa Cavalli},
  editor = {ACM},
  title = {A distributed intrusion detection scheme for wireless ad hoc networks},
  booktitle = {SAC'12 : The 27th Annual ACM Symposium on Applied Computing},
  year = {2012},
  pages = {556 -- 562}
}

@inproceedings{m-Morais2012a,
  author = {Anderson Morais and Ana Rosa Cavalli},
  editor = {Springer},
  title = {A event-based packet dropping detection scheme for wireless mesh networks},
  booktitle = {CSS'12 : The 4th International Symposium on Cyberspace Safety and Security},
  year = {2012},
  volume = {7672},
  pages = {309 -- 323},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Morais2012b,
  author = {Anderson Morais and Ana Rosa Cavalli and Tran, Hai Anh and Augustin, Brice and Cuadra-Sánchez, Antonio and Aurelius, Andreas and Brunnström, Kjell and Hoceini, Said and Mellouk, Abdelhamid},
  title = {Managing customer experience through service quality monitoring},
  booktitle = {Conference Future Network & Mobile Summit 2012},
  year = {2012},
  pages = {1 -- 9},
  note = {Poster}
}

@inproceedings{m-Morral2012,
  author = {Morral, Gemma and Bianchi, Pascal and Fort, Gersende and Jérémie Jakubowicz},
  editor = {IEEE},
  title = {Distributed stochastic approximation : the price of non-double stochasticity},
  booktitle = {ASILOMAR'12 : IEEE Fourthy Six Asilomar Conference on Signals, Systems, and Computers},
  year = {2012},
  pages = {1473 -- 1477}
}

@inproceedings{m-Morral2012a,
  author = {Morral, Gemma and Bianchi, Pascal and Jérémie Jakubowicz},
  editor = {IEEE},
  title = {Asynchronous distributed principal component analysis using stochastic approximation},
  booktitle = {CDC'12 : 51st IEEE Conference on Decision and Control},
  year = {2012},
  pages = {1398 -- 1403}
}

@inproceedings{m-Morral2012b,
  author = {Morral, Gemma and Bianchi, Pascal and Jérémie Jakubowicz},
  editor = {IEEE},
  title = {On-line gossip-based distributed expectation maximization algorithm},
  booktitle = {SSP'12 : IEEE Statistical Signal Processing Workshop},
  year = {2012},
  pages = {305 -- 308}
}

@inproceedings{m-Mouttappa2012,
  author = {Pramila Mouttappa and Stephane Maag and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {An IOSTS based passive testing approach for the validation of data-centric protocols},
  booktitle = {QSIC'12 : 12th International Conference of Quality Software},
  year = {2012},
  pages = {49 -- 58}
}

@inproceedings{m-Mouttappa2012a,
  author = {Pramila Mouttappa and Stephane Maag and Ana Rosa Cavalli},
  title = {Improving protocol validation by an IOSTS-based passive testing approach},
  booktitle = {STV'12 : System Testing and Validation Workshop},
  year = {2012},
  pages = {87 -- 95},
  note = {In conjunction with ICSSEA '12 : 24th International Conference on Software & Systems Engineering and their Applications}
}

@inproceedings{m-Nicolas2012,
  author = {Charbel Nicolas and Michel Marot},
  editor = {IEEE},
  title = {Dynamic link adaptation based on coexistence-fingerprint detection for WSN},
  booktitle = {Med-Hoc-Net '12 : 11th Annual Mediterranean Ad Hoc Networking Workshop},
  year = {2012},
  pages = {90 -- 97}
}

@inproceedings{m-Saker2012b,
  author = {Louai Saker and Elayoubi, Salah-Eddine and Gati, Azeddine and Tijani Chahed},
  editor = {IEEE},
  title = {Energy efficiency and capacity of heterogeneous network deployment in LTE-Advanced},
  booktitle = {EW'12 : 18th European Wireless Conference},
  year = {2012},
  pages = {1 -- 7}
}

@inproceedings{m-Soua2012,
  author = {Ahmed Soua and Walid Ben-Ameur and Hossam Afifi},
  editor = {IEEE},
  title = {Broadcast-based directional routing in vehicular ad-hoc networks},
  booktitle = {WMNC'12 : The 5th Joint IFIP Wireless Mobile Networking Conference},
  year = {2012},
  pages = {48 -- 53}
}

@inproceedings{m-Soua2012a,
  author = {Ahmed Soua and Walid Ben-Ameur and Hossam Afifi},
  editor = {IEEE},
  title = {Analysis of information relay processing in Inter-vehicle communication : a novel visit },
  booktitle = {WiMob'12 : The 8th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications},
  year = {2012},
  pages = {157 -- 164}
}

@inproceedings{m-Soua2012b,
  author = {Ahmed Soua and Walid Ben-Ameur and Hossam Afifi},
  editor = {IEEE},
  title = {Enhancing broadcast vehicular communications using beamforming technique},
  booktitle = {WECON'12 : 2nd International Workshop on Vehicular Communications and Networking},
  year = {2012},
  pages = {565 -- 570},
  note = {In conjunction with WiMob '12 : The 8th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications}
}

@inproceedings{m-Toumi2012,
  author = {Toumi, Khalifa and Ana Rosa Cavalli and El Maarabani, Mazen},
  editor = {IEEE},
  title = {Role based interoperability security policies in collaborative systems},
  booktitle = {SECOTS'12 : International Symposium on Security in Collaboration Technologies and Systems},
  year = {2012},
  pages = {471 -- 477},
  note = {Part of CTS '12 : The International Conference on Collaboration Technologies and Systems}
}

@inproceedings{m-Toumi2012a,
  author = {Toumi, Khalifa and Andrés, César and Ana Rosa Cavalli and El Maarabani, Mazen},
  editor = {IEEE},
  title = {A vector based model approach for defining trust in multi-organization environments},
  booktitle = {CRiSIS'12 : 7th International Conference on Risks and Security of Internet and Systems},
  year = {2012},
  pages = {1 -- 8}
}

@inproceedings{m-Toumi2012b,
  author = {Toumi, Khalifa and César, Andrés and Ana Rosa Cavalli},
  title = {Setting trust evaluations with fuzzy logic in MOE},
  booktitle = {STV'12: System Testing and Validation Workshop},
  year = {2012},
  pages = {49 -- 58},
  note = {In conjunction with ICSSEA '12 : 24th International Conference on Software & Systems Engineering and their Applications}
}

@inproceedings{m-Toumi2012c,
  author = {Toumi, Khalifa and Andrés, César and Ana Rosa Cavalli},
  editor = {Springer},
  title = {Trust-OrBAC : a trust access control model in multi-organization environments},
  booktitle = {ICISS'12 : 8th International Conference on Information Systems Security},
  year = {2012},
  volume = {7671},
  pages = {89 -- 103},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Turna2012,
  author = {Özgür Can Turna and Aydin, Muhammed Ali and Zaim, Abdul Halim and Tülin Atmaca},
  editor = {IEEE},
  title = {Half cycling dynamic bandwidth allocation with prediction on EPON},
  booktitle = {PEDISWESA'12 : Fourth IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Wed based Service Architectures},
  year = {2012},
  pages = {898 -- 902},
  note = {In conjunction with ISCC '12 : The Seventeenth IEEE Symposium on Computers and Communications}
}

@inproceedings{m-Yuan2012,
  author = {Yuan, Yang and Miao, Kejian and Daqing Zhang and Chao Chen and Lin Sun},
  editor = {IEEE},
  title = {An OSGi-based smart taxi service platform},
  booktitle = {APSCC'12 : The IEEE Asia-Pacific Services Computing Conference},
  year = {2012},
  pages = {173 -- 178}
}

@inproceedings{m-Agarwal2011,
  author = {Rachit Agarwal and Banerjee, Abhik and Vincent Gauthier and Yeo, Chai Kiat and Lee, Bu Sung and Monique Becker},
  editor = {IEEE},
  title = {Self-organization of nodes using bio-inspired techniques for achieving small world properties},
  booktitle = {CCNet'11 : IEEE GLOBECOM Workshop on Complex Communication Networks},
  year = {2011},
  pages = {89 -- 94},
  note = {In conjunction with GLOBCOM '11 : IEEE Global Communications Conference}
}

@inproceedings{m-Ali2011,
  author = {Arshad Ali and Tijani Chahed and Altman, Eitan and Sassatelli, Lucile and Panda, Manoj},
  editor = {IEEE},
  title = {A new proposal for reliable unicast and multicast transport in delay tolerant networks},
  booktitle = {PIMRC'11 : 22nd Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications},
  year = {2011},
  pages = {1129 -- 1134}
}

@inproceedings{m-Ali2011a,
  author = {Arshad Ali and Altman, Eitan and Tijani Chahed and Sassatelli, Lucile and Panda, Manoj},
  editor = {ITCP},
  title = {A new reliable transport scheme in delay tolerant networks based on acknowledgments and random linear coding},
  booktitle = {ITC'11 : 23rd International Teletraffic Congress },
  year = {2011},
  pages = {214 -- 221}
}

@inproceedings{m-Atmaca2011a,
  author = {Tülin Atmaca and Nguyen , Van Thiep and Tuan Dung Nguyen and Rodrigues, Joel and Gonzalez, Glenda},
  title = {A solution for synchronization problem of interconnected metro access and metro core ring networks},
  booktitle = {EuroView'11 : 11th Würzburg Workshop on IP : Joint ITG and Euro-NF Workshop "Visions of Future Generation Networks"},
  year = {2011},
  pages = {51 -- 52},
  note = {Co-located with Official G-Lab Status Meeting}
}

@inproceedings{m-Atmaca2011b,
  author = {Tülin Atmaca},
  title = {Towards optical networks},
  booktitle = {FIE'11 : Workshop WS-8 : Future Internet Engineering},
  year = {2011},
  note = {In conjunction with SAINT '11 : The 11th IEEE/IPSJ International Symposium on Applications and the Internet}
}

@inproceedings{m-Atmaca2011c,
  author = {Tülin Atmaca and Nguyen, Van Thiep and Tuan Dung Nguyen},
  title = {Performance evaluation of the access and metropolitan optical packet switching networks and their interconnection},
  booktitle = {ICNFI'11 : The First International Conference on Networking and Future Internet},
  year = {2011}
}

@inproceedings{m-Banerjee2011,
  author = {Banerjee, Abhik and Rachit Agarwal and Vincent Gauthier and Hossam Afifi and Lee, Bu Sung and Yeo, Chai Kiat },
  editor = {IEEE},
  title = {Self-organization of wireless ad hoc networks as small worlds using long range directional beams},
  booktitle = {CCNet'11 : IEEE GLOBECOM Workshop on Complex Communication Networks},
  year = {2011},
  pages = {120 -- 124},
  note = {In conjunction with GLOBCOM '11 : IEEE Global Communications Conference}
}

@inproceedings{m-Bauguion2011,
  author = {Pierre-Olivier Bauguion and Walid Ben-Ameur and Gourdin, Eric},
  editor = {LNCS, Springer},
  title = {Cache location in tree networks : preliminary results},
  booktitle = {INOC'11 : International Network Optimization Conference},
  year = {2011},
  volume = {6701/2011},
  pages = {517 -- 522}
}

@inproceedings{m-Ben-Ameur2011c,
  author = {Walid Ben-Ameur and Pavón Mariño, Pablo and Pioro, Michal},
  editor = {Springer},
  title = {On traffic domination in communication networks},
  booktitle = {PERFORM'10 : Performance Evaluation of Computer and Communication Systems : Milestones and Future Challenges},
  year = {2011},
  volume = {6821/2011},
  pages = {191 -- 202},
  note = {IFIP WG 6.3/7.3 International Workshop in Honor of Gunter Haring on the Occasion of His Emeritus Celebration. Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Castel-Taleb2011a,
  author = {Hind Castel-Taleb and Idriss Ismael Aouled and Pekergin, Nihal },
  editor = {ICST},
  title = {Bounding techniques for transient analysis of G-networks with catastrophes},
  booktitle = {ValueTools'11 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools},
  year = {2011},
  pages = {197 -- 206}
}

@inproceedings{m-Castel-Taleb2011b,
  author = {Hind Castel-Taleb and Pekergin, Nihal },
  editor = {ICST},
  title = {On the choice of the stochastic comparison method for multidimensional Markov chains analysis},
  booktitle = {ValueTools'11 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools},
  year = {2011},
  pages = {418 -- 424}
}

@inproceedings{m-Castel-Taleb2011c,
  author = {Hind Castel-Taleb and Pekergin, Nihal },
  editor = {BCS},
  title = {Strong and weak orderings for an accurate resource dimensioning},
  booktitle = {VECoS'11 : Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems},
  year = {2011},
  pages = {1 -- 12}
}

@inproceedings{m-Castel-Taleb2011d,
  author = {Hind Castel-Taleb and Idriss Ismael Aouled},
  title = {Stochastic comparison of Markov processes through coupling by mapping functions},
  booktitle = {QEST'11 : 8th International Conference on Quantitative Evaluation of Systems},
  year = {2011},
  note = {Co-located events QEST '11 and TGC '11}
}

@inproceedings{m-Couillet2011,
  author = {Couillet, Romain and Bianchi, Pascal and Jérémie Jakubowicz},
  editor = {IEEE},
  title = {Distributed convex stochastic optimization under few constraints in large networks},
  booktitle = {CAMSAP'11 : The Fourth International Workshop on Computational Advances in Multi-Sensor Adaptive Processing},
  year = {2011},
  pages = {289 -- 292},
  note = {Poster}
}

@inproceedings{m-Elayoubi2011,
  author = {Elayoubi, Salah-Eddine and Saker, Louai and Chahed, Tijani},
  editor = {IEEE},
  title = {Optimal control for base station sleep mode in energy efficient radio access networks},
  booktitle = {INFOCOM'11 : Mini-Conference},
  year = {2011},
  pages = {106 -- 110},
  note = {Part of the 30th IEEE International Conference on Computer Communications}
}

@inproceedings{m-ElMaarabani2011,
  author = {El Maarabani, Mazen and Ana Rosa Cavalli and Hwang, Iksoon and Zaidi, Fatiha},
  editor = {IEEE Computer Society},
  title = {Verification of interoperability security policies by model checking},
  booktitle = {HASE'11 : The 13th IEEE International High Assurance Systems Engineering Symposium},
  year = {2011},
  pages = {376 -- 381},
  note = {Co-Located with ICTAI '11 : the 23rd IEEE International Conference on Tools with Artificial Intelligence}
}

@inproceedings{m-Frappier2011,
  author = {Frappier, Marc and Mammar, Amel},
  editor = {IEEE},
  title = {Proving non-interference on reachability properties : a refinement approach},
  booktitle = {APSEC'11 : 18th Asia Pacific Software Engineering Conference},
  year = {2011},
  pages = {25 -- 32}
}

@inproceedings{m-Gibson2011a,
  author = {John Paul Gibson and Macnamara, Damien and Oakley, Ken },
  editor = {IEEE},
  title = {Just like paper and the 3-colour protocol : a voting interface requirements engineering case study},
  booktitle = {REVOTE'11 : International Workshop on Requirements Engineering for Electronic Voting Systems},
  year = {2011},
  pages = {66 -- 75},
  note = {In conjunction with RE '11 : 19th IEEE International Requirements Engineering Conference}
}

@inproceedings{m-Gibson2011b,
  author = {John Paul Gibson and Jean-Luc Raffy},
  editor = {XPS},
  title = {A "future-proof" postgraduate software engineering programme : maintainability issues},
  booktitle = {ICSEA'11 : The Sixth International Conference on Software Engineering Advances},
  year = {2011},
  pages = {471 -- 476},
  note = {Colocated with other events part of SoftNet 2011}
}

@inproceedings{m-Goonewardena2011,
  author = {Goonewardena, Mathew Pradeep and Rajatheva, Nandana and Tijani Chahed and Djamal Zeghlache},
  editor = {IEEE},
  title = {ENPA and EBPA models for primary user activity based power allocation in cognitive systems},
  booktitle = {PIMRC'11 : 22nd Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications},
  year = {2011},
  pages = {671 -- 675}
}

@inproceedings{m-GurkasAydin2011,
  author = {Zeynep Gurkas Aydin and Zaim, Abdul Halim and Hakima Chaouchi and Tülin Atmaca},
  title = {Extended early update for host identity protocol with movement prediction},
  booktitle = {ICNFI'11 : The First International Conference on Networking and Future Internet},
  year = {2011}
}

@inproceedings{m-Iutzeler2011,
  author = {Iutzeler, Franck and Jérémie Jakubowicz and Hachem, Walid and Ciblat, Philippe},
  editor = {IEEE},
  title = {Distributed estimation of the maximum value over a wireless sensor network},
  booktitle = {ASILOMAR'11 : The Forty Fifth Asilomar Conference on Signals, Systems and Computers},
  year = {2011},
  pages = {62 -- 66}
}

@inproceedings{m-Jdidi2011a,
  author = {Anis Jdidi and Tijani Chahed},
  editor = {IEEE},
  title = {Joint use of hierarchical modulation and relays in OFDMA networks},
  booktitle = {VTC'11-Fall : IEEE 74th Vehicular Technology Conference},
  year = {2011},
  pages = {1 -- 6}
}

@inproceedings{m-Kushik2011,
  author = {Kushik, Natalia and Amel Mammar and Ana Rosa Cavalli and Montes De Oca, Edgardo and Yevtushenko, Nina},
  editor = {Yaroslavl State University},
  title = {A SPIN-based approach for detecting vulnerabilities in C programs},
  booktitle = {PSSV'11 : The Second Workshop on Program Semantics, Specification and Verification : Theory and Applications},
  year = {2011},
  volume = {18},
  pages = {131 -- 143},
  note = {In affiliation with CSR '11 : The 6th International Computer Science Symposium in Russia. Published in Journal Modeling and Analysis of Information Systems (MAIS)}
}

@inproceedings{m-LalanneRojas2011,
  author = {Felipe Lalanne Rojas and Stephane Maag},
  editor = {IEEE},
  title = {Protocol data parts inclusion in a formal passive testing approach},
  booktitle = { FINA '11 : The 7th International Symposium on Frontiers of Information Systems and Network Applications},
  year = {2011},
  pages = {569 -- 573},
  note = {In conjunction with AINA '11 : The 25th IEEE International Conference on Advanced Information Networking and Applications}
}

@inproceedings{m-LalanneRojas2011a,
  author = {Felipe Lalanne Rojas and Stephane Maag},
  editor = {XPS},
  title = {An invariant based passive testing approach for protocol data parts},
  booktitle = {AICT'11 : The Seventh Advanced International Conference on Telecommunications},
  year = {2011},
  pages = {94 -- 101},
  note = {Colocated with other events part of WebTel 2011}
}

@inproceedings{m-LalanneRojas2011b,
  author = {Felipe Lalanne Rojas and Xiaoping Che and Stephane Maag},
  editor = {WSEAS Press},
  title = {Data-centric property formulation for passive testing of communication protocols},
  booktitle = {ACC'11 : The Fourth Applied Computing Conference},
  year = {2011},
  pages = {176 -- 181}
}

@inproceedings{m-Macnamara2011,
  author = {Macnamara, Damien and Scully, Ted and John Paul Gibson and Carmody, Francis and Quane, Elizabeth and Oakley, Ken },
  editor = {Edition Donau-Universität Krems},
  title = {DualVote : addressing usability and verifiability issues in electronic voting systems},
  booktitle = {CeDEM'11 : Conference for E-Democracy and Open Government},
  year = {2011},
  pages = {313 -- 322}
}

@inproceedings{m-Mammar2011,
  author = {Amel Mammar and Frappier, Marc and Fama Diagne},
  editor = {ACM},
  title = {A proof-based approach to verifying reachability properties},
  booktitle = {SAC'11 : 26th Symposium On Applied Computing},
  year = {2011},
  pages = {1651 -- 1657}
}

@inproceedings{m-Mammar2011a,
  author = {Amel Mammar},
  editor = {ACM},
  title = {An overview of a proof-based approach to detecting C vulnerabilities},
  booktitle = {SAC'11 : 26th Symposium on Applied Computing},
  year = {2011},
  pages = {1343 -- 1344}
}

@inproceedings{m-Mammar2011b,
  author = {Amel Mammar and Ana Rosa Cavalli and Willy Ronald Jimenez Freitez and Montes De Oca, Edgardo and Wissam Mallouli},
  editor = {Springer},
  title = {Using testing techniques for vulnerability detection in C programs},
  booktitle = {ICTSS'11 : The 23rd IFIP International Conference on Testing Software and Systems },
  year = {2011},
  volume = {7019/2011},
  pages = {80 -- 96},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Mammar2011c,
  author = {Amel Mammar and Liu, Pengfei},
  editor = {CSREA Press},
  title = {A proof-based approach to detect vulnerabilities in C programs},
  booktitle = {SERP'11 : The International Conference on Software Engineering Research and Practice},
  year = {2011},
  volume = {II},
  pages = {464 -- 470},
  note = {Joint Conference of Worldcomp '11 : World Congress in Computer Science,Computer Engineering, and Applied Computing}
}

@inproceedings{m-Morais2011,
  author = {Anderson Morais and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Route manipulation attack in wireless mesh networks},
  booktitle = {AINA'11 : The 25th IEEE International Conference on Advanced Information Networking and Applications},
  year = {2011},
  pages = {501 -- 508}
}

@inproceedings{m-Morais2011a,
  author = {Anderson Morais and Ana Rosa Cavalli and Martins, Eliane},
  editor = {ACM},
  title = {A model-based attack injection approach for security validation},
  booktitle = {SIN'11 : 4th international conference on Security of information and networks},
  year = {2011},
  pages = {103 -- 110}
}

@inproceedings{m-Morais2011b,
  author = {Anderson Morais and Ana Rosa Cavalli},
  editor = {Springer},
  title = {A quality of experience based approach for wireless mesh networks},
  booktitle = {WWIC'11 : The 9th International Conference on Wired/Wireless Internet Communications },
  year = {2011},
  volume = {6649/2011},
  pages = {162 -- 173},
  note = {Invited Session. Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Morais2011c,
  author = {Anderson Morais and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Detection of attacks in wireless mesh networks},
  booktitle = {LADC'11 : Fifth Latin-American Symposium on Dependable Computing},
  year = {2011},
  pages = {45 -- 54}
}

@inproceedings{m-Nguyen2011b,
  author = {Nguyen, Van Thiep and Tülin Atmaca and Gonzalez, Glenda and Rodrigues, Joel},
  editor = {XPS},
  title = {Performance study of interconnected metro ring networks},
  booktitle = {EMERGING'11 : The Third International Conference on Emerging Network Intelligence},
  year = {2011},
  pages = {82 -- 87}
}

@inproceedings{m-Nicolas2011,
  author = {Charbel Nicolas and Michel Marot and Monique Becker},
  editor = {IEEE},
  title = {A self-organization mechanism for a cold chain monitoring system},
  booktitle = {VTC'11-Spring : IEEE 73rd Vehicular Technology Conference},
  year = {2011},
  pages = {1 -- 5}
}

@inproceedings{m-Odin2011,
  author = {Odin, Marcelo and Jose Pablo Escobedo and Ana Rosa Cavalli and Sabiguero, Ariel and Stephane Maag},
  title = {Cost effective cross-layer protocol testing : a case study},
  booktitle = {CASE'11 : Congreso Argentino de Sistemas Embebidos},
  year = {2011},
  pages = {103 -- 108},
  note = {In conjunction with SASE '11 : Simposio Argentino de Systemas Embebidos}
}

@inproceedings{m-Saker2011,
  author = {Louai Saker and Elayoubi, Salah-Eddine and Letian, Rong and Tijani Chahed},
  editor = {IEEE},
  title = {Capacity and energy efficiency of picocell deployment in LTE-A networks},
  booktitle = {VTC'11-Spring : IEEE 73rd Vehicular Technology Conference},
  year = {2011},
  pages = {1 -- 5}
}

@inproceedings{m-Saker2011a,
  author = {Louai Saker and Elayoubi, Salah-Eddine and Tijani Chahed},
  editor = {IEEE},
  title = {How femtocells impact the capacity and the energy efficiency of LTE-Advanced networks},
  booktitle = {PIMRC'11 : 22nd Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications},
  year = {2011},
  pages = {177 -- 181}
}

@inproceedings{m-Turna2011,
  author = {Özgür Can Turna and Aydin, Muhammed Ali and Tülin Atmaca and Tuan Dung Nguyen and Zaim, Abdul Halim},
  editor = {IEEE},
  title = {Traffic characterization study on EPON's upstream channel},
  booktitle = {TRAC'11 : 2nd International Workshop on TRaffic Analysis and Classification},
  year = {2011},
  pages = {1601 -- 1606},
  note = {Co-Located with IWCMC '11 : The 7th International Wireless Communications and Mobile Computing conference}
}

@inproceedings{m-Turna2011a,
  author = {Özgür Can Turna and Aydin, Muhammed Ali and Tülin Atmaca and Zaim, Abdul Halim},
  title = {A prediction extention for half cycling dynamic bandwidth allocation on EPON},
  booktitle = {EuroNF-TCCFI '11 : Euro-NF International Workshop on Traffic and Congestion Control for the Future Internet},
  year = {2011}
}

@inproceedings{m-Turna2011b,
  author = {Özgür Can Turna and Aydin, Muhammed Ali and Tülin Atmaca and Zaim, Abdul Halim},
  title = {What is the traffic characterisation on EPON's upstream channel ?},
  booktitle = {ICNFI'11 : The First International Conference on Networking and Future Internet},
  year = {2011}
}

@inproceedings{m-Zhigulin2011,
  author = {Zhigulin, Maxim and Stephane Maag and Ana Rosa Cavalli and Yevtushenko, Nina},
  editor = {IEEE},
  title = {FSM-based test derivation strategies for systems with time-outs},
  booktitle = {QSIC'11 : 11th International Conference On Quality Software},
  year = {2011},
  pages = {141 -- 149}
}

@inproceedings{m-Abdelmoumen2010,
  author = {Abdelmoumen, Mouna and Dhib, Eya and Frikha, Mounir and Tijani Chahed},
  editor = {IEEE},
  title = {How to improve the performance in delay tolerant networks under Manhattan mobility model},
  booktitle = {PIMRC'10 : IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications},
  year = {2010},
  pages = {2008 -- 2013}
}

@inproceedings{m-Abdelmoumen2010a,
  author = {Abdelmoumen, Mouna and Dhib, Eya and Frikha, Mounir and Tijani Chahed},
  title = {Impact des modèles de mobilité sur les protocoles de routage dans les réseaux tolérants aux délais},
  booktitle = {GRES'10 : 9e Colloque francophone sur la Gestion de Réseaux Et de Services},
  year = {2010}
}

@inproceedings{m-Ahmad2010,
  author = {Abdel-Mehsen Ahmad and Doughan, Mahmoud and Vincent Gauthier and Michel Marot and Mougharbel, Imad},
  title = {Hybrid multi-channel multi-hop MAC in VANETs},
  booktitle = {MoMM'10 : 8th International Conference on Advances in Mobile Computing & Multimedia},
  year = {2010}
}

@inproceedings{m-Atmaca2010,
  author = {Tülin Atmaca and Tuan Dung Nguyen},
  editor = {IEEE},
  title = {Delay analysis and queue-length distribution of a slotted metro network using embedded DTMC},
  booktitle = {GLOBECOM'10 : Global Communication Conference},
  year = {2010}
}

@inproceedings{m-Atmaca2010a,
  author = {Tülin Atmaca and Tuan Dung Nguyen},
  editor = {Springer},
  title = {End-to-end performance evaluation of interconnected optical multi-ring metropolitan networks},
  booktitle = {NF'10 : Network of the Future 2010 conference},
  year = {2010},
  volume = {327/2010},
  pages = {206 -- 216},
  note = {In conjunction with the IFIP World Computer Congress 2010}
}

@inproceedings{m-Becker2010,
  author = {Monique Becker and Ashish Gupta and Michel Marot and Singh, Harmeet},
  editor = {Springer},
  title = {Improving clustering techniques in wireless sensor networks using thinning process},
  booktitle = {PERFORM'10 Workshop : Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges},
  year = {2010},
  volume = {6821/2011},
  pages = {203 -- 214},
  note = {In Honor of Gunter Haring on the Occasion of His Emeritus Celebration. Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Bentakouk2010,
  author = {Bentakouk, Lina and Fayçal Bessayah and Mounir Lallali and Sadovykh, Andrey and Wissam Mallouli},
  title = {A framework for modeling and testing of web services orchestration},
  booktitle = {MDA4ServiceCloud '10 : Fourth Workshop on Modeling, Design, and Analysis for the Service Cloud},
  year = {2010},
  pages = {34 -- 36},
  note = {Co-located with ECMFA '10 : 6th European Conference on Modelling Foundations and Applications}
}

@inproceedings{m-Bessayah2010,
  author = {Fayçal Bessayah and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {A formal passive testing approach for checking real time constraints},
  booktitle = {QUATIC'10 : 7th International Conference on the Quality of Information and Communications Technology},
  year = {2010},
  pages = {274 -- 279}
}

@inproceedings{m-Bessayah2010a,
  author = {Fayçal Bessayah and Ana Rosa Cavalli and Maja, William and Willik Valenti, Andre and Martins, Eliane},
  editor = {Springer},
  title = {A fault injection tool for testing web services composition},
  booktitle = {TAIC PART '10 : Testing: Academic & Industrial Conference Practice and Research Techniques},
  year = {2010},
  volume = {6303/2010},
  pages = {137 -- 146},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Bley2010,
  author = {Bley, Andreas and José Neto},
  editor = {Springer},
  title = {Approximability of 3- and 4-hop bounded disjoint paths problems},
  booktitle = {IPCO'10 : The 14th Conference on Integer Programming and Combinatorial Optimization},
  year = {2010},
  volume = {6080/2010},
  pages = {205 -- 218},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Casey2010,
  author = {Casey, Kevin and John Paul Gibson},
  title = {(m)oodles of data : mining moodle to understand student behaviour},
  booktitle = {ICEP'10 : International Conference on Engaging Pedagogy},
  year = {2010},
  pages = {61 -- 71}
}

@inproceedings{m-Castel-Taleb2010a,
  author = {Hind Castel-Taleb and Idriss Ismael Aouled and Pekergin, Nihal },
  editor = {Springer},
  title = {Stochastic comparisons for performability of telecommunication systems},
  booktitle = {ASMTA'10 : 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications},
  year = {2010},
  volume = {6148/2010},
  pages = {189 -- 203},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Castel-Taleb2010b,
  author = {Hind Castel-Taleb and Fourneau, Jean-Michel and Pekergin, Nihal },
  editor = {Springer},
  title = {Stochastic comparisons applied to G-Networks with catastrophes},
  booktitle = {ISCIS'10 : 25th International Symposium on Computer and Information Sciences},
  year = {2010},
  volume = {62/2010},
  pages = {57 -- 60},
  note = {Collection : Lecture Notes in Electrical Engineering}
}

@inproceedings{m-Castel-Taleb2010c,
  author = {Hind Castel-Taleb and Pekergin, Nihal },
  editor = {Springer},
  title = {Accuracy of strong and weak comparisons for network of queues},
  booktitle = {MMB & DFT '10 : 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance"},
  year = {2010},
  volume = {5987/2010},
  pages = {212 -- 226},
  note = {Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Cavalli2010a,
  author = {Ana Rosa Cavalli and Cao, Tien-Dung and Wissam Mallouli and Sadovykh, Andrey and Zaidi, Fatiha and Salva, Sébastien and Martins, Eliane},
  editor = {IEEE},
  title = {Webmov : a dedicated framework for the modelling and testing of web services composition},
  booktitle = {ICWS'10 : The 8th International Conference on Web Services},
  year = {2010},
  pages = {377 -- 384},
  note = {Co-located conferences SCC '10, SERVICES '10, CLOUD '10}
}

@inproceedings{m-Diallo2010a,
  author = {Cherif Diallo and Michel Marot and Monique Becker},
  editor = {IEEE},
  title = {Single-node cluster reduction in WSN and energy-efficiency during cluster formation},
  booktitle = {Med-Hoc-Net '10 : 9th IFIP Annual Mediterranean Ad Hoc Networking Worshop},
  year = {2010},
  pages = {1 -- 10}
}

@inproceedings{m-Diallo2010b,
  author = {Cherif Diallo and Michel Marot and Monique Becker},
  editor = {IEEE},
  title = {Link quality and local load balancing routing mechanisms in wireless sensor networks},
  booktitle = {AICT'10 : The Sixth Advanced International Conference on Telecommunications},
  year = {2010},
  pages = {306 -- 315}
}

@inproceedings{m-Diallo2010c,
  author = {Cherif Diallo and Michel Marot and Monique Becker},
  editor = {IEEE},
  title = {Using LQI to improve clusterhead locations in dense zigbee based wireless sensor networks},
  booktitle = {WiMob'10 : IEEE 6th International Conference on Wireless and Mobile Computing, Networking and Communications},
  year = {2010},
  pages = {137 -- 143}
}

@inproceedings{m-Diallo2010d,
  author = {Cherif Diallo and Michel Marot and Monique Becker},
  editor = {IEEE},
  title = {A distributed link quality based d-clustering protocol for dense ZigBee sensor networks},
  booktitle = {WD'10 : IFIP Wireless Days},
  year = {2010}
}

@inproceedings{m-ElMaarabani2010,
  author = {El Maarabani, Mazen and Hwang, Iksoon and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {A formal approach for interoperability testing of security rules},
  booktitle = {SITIS'10 : The 6th International Conference on Signal-Image Technology & Internet-Based Systems},
  year = {2010},
  pages = {277 -- 284}
}

@inproceedings{m-Escobedo2010,
  author = {Jose Pablo Escobedo and Gaston, Christophe and Le Gall, Pascale and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Testing web service orchestrators in context : a symbolic approach},
  booktitle = {SEFM'10 : 8th IEEE International Conference on Software Engineering and Formal Methods},
  year = {2010},
  pages = {257 -- 267}
}

@inproceedings{m-Frappier2010,
  author = {Frappier, Marc and Fama Diagne and Amel Mammar},
  title = {Proving reachability in B using substitution refinement},
  booktitle = {WOBD'10 : Workshop on B Dissemination},
  year = {2010},
  note = {Satellite event of SBMF 2010}
}

@inproceedings{m-Gibson2010,
  author = {John Paul Gibson and Lallet, Eric and Jean-Luc Raffy},
  editor = {Springer},
  title = {Engineering a distributed e-voting system architecture : meeting critical requirements},
  booktitle = {ISARCS'10 : 1rst International Symposium on Architecting Critical Systems},
  year = {2010},
  volume = {6150},
  pages = {89 -- 108},
  note = {Federated with CompArch '10. Collection : Lecture Notes in Computer Science}
}

@inproceedings{m-Gupta2010,
  author = {Ashish Gupta and Sharma, Mohit and Michel Marot and Monique Becker},
  editor = {IEEE},
  title = {HybridLQI : hybrid multihopLQI for improving asymmetric links in wireless sensor networks},
  booktitle = {AICT'10 : The Sixth Advanced International Conference on Telecommunications},
  year = {2010},
  pages = {298 -- 305}
}

@inproceedings{m-Gupta2010a,
  author = {Ashish Gupta and Delye De Clauzade De Mazieux, Alexandre and Michel Marot and Monique Becker},
  title = {Cold chain automation},
  booktitle = {4th European ZigBee Developers' Conference},
  year = {2010}
}

@inproceedings{m-Gupta2010b,
  author = {Ashish Gupta and Cherif Diallo and Michel Marot and Monique Becker},
  editor = {IEEE Communications Society},
  title = {Understanding topology challenges in the implementation of wireless sensor network for cold chain},
  booktitle = {RWS'10 : IEEE Radio & Wireless Symposium},
  year = {2010},
  pages = {376 -- 379}
}

@inproceedings{m-GurkasAydin2010,
  author = {Zeynep Gurkas Aydin and Ali Yahiya, Tara and Hakima Chaouchi and Zaim, Abdul Halim},
  editor = {IEEE},
  title = {QoS mobility-aware algorithm using early update for host identity protocol},
  booktitle = {PIMRC'10 : 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications},
  year = {2010},
  pages = {2014 -- 2018 }
}

@inproceedings{m-Jdidi2010,
  author = {Anis Jdidi and Tijani Chahed and Elayoubi, Salah-Eddine and Besbes, Hichem},
  editor = {IEEE},
  title = {On hierarchical modulation to increase flow-level capacity in OFDMA-based networks},
  booktitle = {ICC'10 : IEEE International Conference on Communications},
  year = {2010},
  pages = {1 -- 6}
}

@inproceedings{m-Jdidi2010a,
  author = {Anis Jdidi and Tijani Chahed},
  editor = {IEEE},
  title = {Impact of hierarchical modulation on proportional fair in OFDMA-based networks},
  booktitle = {ComNet'10 : Second International Conference on Communications and Networking},
  year = {2010},
  pages = {1 -- 6}
}

@inproceedings{m-Macnamara2010,
  author = {Macnamara, Damien and Carmody, Francis and Scully, Ted and Quane, Elizabeth and John Paul Gibson and Oakley, Ken },
  editor = {IADIS Press},
  title = {Dual vote : a novel user interface for e-voting systems},
  booktitle = {IHCI'10 : IADIS International Conference Interfaces and Human Computer Interaction},
  year = {2010},
  pages = {129 -- 138},
  note = {In conjunction with MCCSIS '10 : IADIS multiconference on Computer Science and Information Systems}
}

@inproceedings{m-Mammar2010,
  author = {Amel Mammar and Fama Diagne and Frappier, Marc},
  title = {A proof-based approach to verifying reachability properties},
  booktitle = {WOBD'10 : Workshop on B Dissemination},
  year = {2010},
  note = {Satellite event of SBMF 2010}
}

@inproceedings{m-Marot2010b,
  author = {Michel Marot and Vincent Gauthier},
  editor = {ACM},
  title = {Reducing collision probability on a shared medium using a variational method},
  booktitle = {MAMA'10 : The Twelfth Workshop on MAthematical Performance Modeling and Analysis},
  year = {2010},
  note = {In conjunction with ACM SIGMETRICS '10 : International Conference on Measurement and Modeling of Computer Systems}
}

@inproceedings{m-Morais2010a,
  author = {Anderson Morais and Ana Rosa Cavalli and Martins, Eliane},
  title = {Attack scripts generation for security validation},
  booktitle = {SEC-SY '10 : Sécurité des Systèmes d'Information et les Environnements Collaboratifs},
  year = {2010},
  note = {In conjunction with XXVIIIème Congrès INFORSID 2010}
}

@inproceedings{m-Morales2010,
  author = {Gerardo Morales and Stephane Maag and Ana Rosa Cavalli and Montes De Oca, Edgardo and Wehbi, Bachar and Wissam Mallouli},
  editor = {IEEE},
  title = {Timed extended invariants for the passive testing of Web services},
  booktitle = {ICWS'10 : The 8th International Conference on Web Services},
  year = {2010},
  pages = {592 -- 599}
}

@inproceedings{m-Saker2010,
  author = {Louai Saker and Elayoubi, Salah-Eddine and Tijani Chahed},
  editor = {IEEE Communications Society},
  title = {Minimizing energy consumption via sleep mode in green base station},
  booktitle = {WCNC'10 : IEEE Wireless Communications & Networking Conference},
  year = {2010},
  pages = {1 -- 6}
}

@inproceedings{m-Sarakbi2010,
  author = {Bakr Sarakbi and Stephane Maag},
  editor = {IEEE},
  title = {BGP skeleton : an alternative to iBGP route reflection},
  booktitle = {INFOCOM'10 : 29th Conference on Computer Communications},
  year = {2010},
  pages = {1 -- 5}
}

@inproceedings{m-Sarakbi2010a,
  author = {Bakr Sarakbi and Stephane Maag},
  editor = {IEEE},
  title = {Partial complete iBGP},
  booktitle = {ICC'10 : IEEE International Conference on Communications},
  year = {2010},
  pages = {1 -- 5}
}

@inproceedings{m-Tiwana2010,
  author = {Moazzam Islam Tiwana and Sayrac, Berna and Altman, Zwi and Tijani Chahed},
  editor = {IEEE},
  title = {Statistical learning-based automated healing : application to mobility in 3G LTE networks},
  booktitle = {PIMRC'10 : 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications},
  year = {2010},
  pages = {1746 -- 1751}
}

@inproceedings{m-Turna2010,
  author = {Özgür Can Turna and Aydin, Muhammed Ali and Tülin Atmaca and Zaim, Abdul Halim},
  editor = {IARIA},
  title = {A novel dynamic bandwidth allocation algorithm based on half cycling for EPON},
  booktitle = {EMERGING'10 : The Second International Conference on Emerging Network Intelligence},
  year = {2010}
}

@inproceedings{m-Wehbi2010,
  author = {Wehbi, Bachar and Anis Laouiti and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Transmit and reserve (tar) : a coordinated channel access for IEEE 802.11 networks},
  booktitle = {WCNC'10 : IEEE Wireless Communications and Networking Conference},
  year = {2010},
  pages = {1 -- 6}
}

@inproceedings{m-Yousefi2010,
  author = {Yousefi, Saleh and Tijani Chahed and Mousavi Langari, Seyed Masoud and Zayer, Keyvan},
  editor = {IEEE},
  title = {Comfort applications in vehicular ad hoc networks based on fountain coding},
  booktitle = {WiVec'10 : 3rd IEEE International Symposium on Wireless Vehicular Communications},
  year = {2010},
  pages = {1 -- 5}
}

@inproceedings{m-Zaidi2010,
  author = {Zaidi, Fatiha and Mounir Lallali and Stephane Maag},
  editor = {IEEE},
  title = {A component based testing technique for a MANET routing protocol},
  booktitle = {AICCSA'10 : 8th ACS/IEEE International Conference on Computer Systems and Applications},
  year = {2010},
  pages = {1 -- 7}
}

@inproceedings{m-Anderson2009,
  author = {Anderson, Morais and Ana Rosa Cavalli and Martins, Eliane and Willy Ronald Jimenez Freitez},
  editor = {IEEE},
  title = {Security protocol testing using attack trees},
  booktitle = {CSE'09 : 12th IEEE International Conference on Computational Science and Engineering},
  year = {2009},
  pages = {690 -- 697}
}

@inproceedings{m-Andres2009,
  author = {Andrés, César and Stephane Maag and Ana Rosa Cavalli and Nunez, Manuel and Merayo, Mercedes},
  editor = {IEEE Computer Society},
  title = {Analysis of the OLSR protocol by using formal passive testing},
  booktitle = {APSEC 2009 : 16th Asia-Pacific Software Engineering Conference},
  year = {2009}
}

@inproceedings{m-Atmaca2009,
  author = {Tülin Atmaca and Thaere Eido and Tuan Dung Nguyen and Buforn, Gema and Chiaroni, Dominique},
  editor = {IEEE},
  title = {Aggregation issues in Time Slotted packet ring networks},
  booktitle = {PS'09 : International Conference on Photonics in Switching},
  year = {2009}
}

@inproceedings{m-Aydin2009,
  author = {Aydin, Muhammed Ali and Tülin Atmaca and Özgür Can Turna and Zaim, Abdul Halim},
  title = {Performance study of new OBS channel scheduling algorithms in a multiservice network},
  booktitle = {INCS'09 : The Fifth International Conference on Networking and Services, April 20-25, Valencia, Spain},
  year = {2009}
}

@inproceedings{m-Aydin2009a,
  author = {Aydin, Muhammed Ali and Tülin Atmaca and Özgür Can Turna and Thaere Eido and Zaim, Abdul Halim},
  editor = {IEEE},
  title = {Regulative Wavelength Grouping Approach for QoS in OBS Networks},
  booktitle = {AICT'09 : Fifth Advanced International Conference on Telecommunications},
  year = {2009},
  pages = {254 -- 260}
}

@inproceedings{m-Aydin2009b,
  author = {Aydin, Muhammed Ali and Özgür Can Turna and Zaim, Abdul Halim and Tülin Atmaca},
  editor = {IEEE},
  title = {A performance comparison according to number of wavelengths and topologies on PCSA reservation mechanism for OBS},
  booktitle = {ELECO'09 : 6th International Conference on Electrical and Electronics Engineering},
  year = {2009}
}

@inproceedings{m-Becker2009,
  author = {Monique Becker and Beylot, André-Luc and Dhaou, Riadh and Kacimi, Rahim and Michel Marot and Ashish Gupta},
  editor = {Springer},
  title = {Experimental study : link quality and deployment issues in wireless sensor networks},
  booktitle = {IFIP Networking 2009 : 8th International IFIP-TC 6 Networking Conference},
  year = {2009},
  volume = {5550},
  pages = {14 -- 25},
  note = {Collection Lecture Notes in Computer Science}
}

@inproceedings{m-Ben-Ameur2009,
  author = {Walid Ben-Ameur and Makhlouf Hadji and Ouorou, Adam},
  title = {Networks with unicyclic connected components},
  booktitle = {INOC 2009 : International Network Optimization Conference},
  year = {2009}
}

@inproceedings{m-Ben-Ameur2009a,
  author = {Walid Ben-Ameur and Didi Biha, Mohamed},
  title = {The cut separator problem},
  booktitle = {INOC 2009 : International Network Optimization Conference},
  year = {2009}
}

@inproceedings{m-Ben-Ameur2009b,
  author = {Walid Ben-Ameur and José Neto},
  title = {A polynomial-time recursive algorithm for some unconstrained quadratic optimization problems},
  booktitle = {CTW'09 : 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization},
  year = {2009},
  pages = {105 -- 108}
}

@inproceedings{m-Bessayah2009,
  author = {Fayçal Bessayah and Ana Rosa Cavalli and Martins, Eliane},
  editor = {ACM},
  title = {A formal approach for specification and verification of fault injection process},
  booktitle = {ICIS'09 : International Conference on Interaction Sciences},
  year = {2009},
  pages = {883 -- 890 }
}

@inproceedings{m-Castel-Taleb2009,
  author = {Hind Castel-Taleb and Pekergin, Nihal },
  editor = {Springer},
  title = {Stochastic monotonicity in queueing networks},
  booktitle = {EPEW 2009 : 6th European Performance Engineering Workshop},
  year = {2009},
  volume = {5652},
  pages = {116 -- 130},
  note = {Published in Lecture Notes in Computer Science}
}

@inproceedings{m-Castel-Taleb2009a,
  author = {Hind Castel-Taleb and Pekergin, Nihal },
  editor = {Springer},
  title = {Weak stochastic comparisons for performability verification},
  booktitle = {ASMTA'09 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications },
  year = {2009},
  volume = {5513},
  pages = {294 -- 308},
  note = {Published in Lecture Notes in Computer Science}
}

@inproceedings{m-Cavalli2009,
  author = {Ana Rosa Cavalli and Stephane Maag and Montes De Oca, Edgardo},
  editor = {ACM},
  title = {A passive conformance testing approach for a MANET routing protocol},
  booktitle = {SAC'09 : 24th Annual ACM Symposium on Applied Computing},
  year = {2009},
  pages = {207 -- 211}
}

@inproceedings{m-Cavalli2009a,
  author = {Ana Rosa Cavalli and Stephane Maag and Montes De Oca, Edgardo and Willy Ronald Jimenez Freitez},
  editor = {ACM},
  title = {A conformance passive testing approach for a MANET routing protocol},
  booktitle = {SAC'09 : 24th Annual ACM Symposium on Applied Computing},
  year = {2009},
  pages = {207 -- 211}
}

@inproceedings{m-Cavalli2009b,
  author = {Ana Rosa Cavalli and Stephane Maag and Montes De Oca, Edgardo and Zaidi, Fatiha},
  editor = {IEEE},
  title = {A formal passive testing approach to test a MANET routing protocol},
  booktitle = {PWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking },
  year = {2009}
}

@inproceedings{m-Cavalli2009c,
  author = {Ana Rosa Cavalli and Benameur, Azzedine and Wissam Mallouli and Keqin, Li},
  title = {A passive testing approach for security checking and its practical usage for web services monitoring},
  booktitle = {NOTERE'09 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition},
  year = {2009}
}

@inproceedings{m-Delannoy2009,
  author = {Pierre Delannoy and Michel Marot and Monique Becker},
  title = {WiMax quality-of-service estimations and measurement},
  booktitle = {1st International Conference on Wireless VITAE 2009},
  year = {2009}
}

@inproceedings{m-Diallo2009,
  author = {Cherif Diallo and Ashish Gupta and Monique Becker and Michel Marot},
  editor = {IEEE},
  title = {Energy aware database updating protocols for autoconfigurable sensor networks},
  booktitle = {ICN'09 : the 8th International Conference on Networks},
  year = {2009},
  pages = {138 -- 143}
}

@inproceedings{m-Eido2009,
  author = {Thaere Eido and Pekergin, Ferhan and Michel Marot and Tülin Atmaca},
  editor = {IEEE},
  title = {Multiservice optical packet switched networks : modeling, performance evaluation and QoS mechanisms in a mesh slotted architecture},
  booktitle = {ICNS'09 : The Fifth International Conference on Networking and Services, April 20-25, Valencia, Spain},
  year = {2009},
  pages = {288 -- 295}
}

@inproceedings{m-Eido2009a,
  author = {Thaere Eido and Pekergin, Ferhan and Tülin Atmaca},
  editor = {IEEE},
  title = {Performance analysis of an enhanced distributed access mechanism in a novel multiservice OPS architecture},
  booktitle = {NGI'09 : 5th Euro-NGI Conference on Next Generation Internet Networks},
  year = {2009},
  pages = {1 -- 7}
}

@inproceedings{m-Eido2009b,
  author = {Thaere Eido and Pekergin, Ferhan and Tülin Atmaca},
  editor = {Springer},
  title = {Modelling and performance evaluation of improved access mechanisms in a novel multiservice OPS architecture},
  booktitle = {NETWORKING'09 : 8th International IFIP-TC 6 Networking Conference},
  year = {2009},
  volume = {5550/2009},
  pages = {821 -- 834},
  note = {Collection Lecture Notes in Computer Science}
}

@inproceedings{m-ElMaarabani2009,
  author = {El Maarabani, Mazen and Adala, Asma and Hwang, Iksoon and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Interoperability testing of presence service on IMS platform},
  booktitle = {TridentCom 2009 : 5th International Conference onTestbeds and Research Infrastructures for the Development of Networks & Communities and Workshops},
  year = {2009}
}

@inproceedings{m-Escobedo2009,
  author = {Jose Pablo Escobedo and Gaston, Christophe and Le Gall, Pascale and Ana Rosa Cavalli},
  editor = {Springer},
  title = {Observability and controllability issues in conformance testing of Web service compositions },
  booktitle = {TESTCOM/FATES '09 : the 21st IFIP International Conference on Testing of Communicating Systems and the 9th International Workshop on Formal Approaches to Testing of Software},
  year = {2009},
  volume = {5826/2009},
  pages = {217 -- 222},
  note = {Collection Lecture Notes in Computer Science}
}

@inproceedings{m-GarciaBerumen2009,
  author = {Armando Garcia Berumen and Michel Marot},
  editor = {IEEE},
  title = {BoD algorithm for TCP and multimedia applications in a DVB-S2/RCS system},
  booktitle = {IWSSC'09 : International workshop on satellites and space communications},
  year = {2009},
  pages = {215 -- 219}
}

@inproceedings{m-Gibson2009a,
  author = {John Paul Gibson and Lallet, Eric and Jean-Luc Raffy},
  editor = {Association de Pilotage des Conférences B / The International B Conference Steering Comittee },
  title = {Sculpturing event-B models with RODIN : "Holes and Lumps" in teaching refinement through problem-based learning},
  booktitle = {TFM B'2009 : From Research to Teaching Formal Methods - The B Method},
  year = {2009},
  pages = {7 -- 21},
  note = {Les journées scientifiques de l'Université de Nantes}
}

@inproceedings{m-Gibson2009b,
  author = {John Paul Gibson and Lallet, Eric and Jean-Luc Raffy},
  editor = {IOS Press},
  title = {Feature interactions in a software product line for e-voting },
  booktitle = {ICFI'09 : 10th International Conference on Feature Interactions in Telecommunications and Software Systems},
  year = {2009},
  pages = {91 -- 106},
  note = {In conjunction with DisCoTec '09 : Distributed Computing Techniques}
}

@inproceedings{m-Gibson2009c,
  author = {John Paul Gibson},
  title = {Challenging the lecturer : learning from the teacher s mistakes},
  booktitle = {ICEP'09 : Second Irish Conference on Engaging Pedagogy},
  year = {2009}
}

@inproceedings{m-Hwang2009,
  author = {Hwang, Iksoon and Mounir Lallali and Ana Rosa Cavalli and Verchère, Dominique},
  editor = {Springer},
  title = {Modeling, validation, and verification of PCEP using the IF language},
  booktitle = {FMOODS/FORTE '09 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems},
  year = {2009},
  volume = {5522/2009},
  pages = {122 -- 136},
  note = {Collection Lecture Notes in Computer Science}
}

@inproceedings{m-JimenezFreitez2009,
  author = {Willy Ronald Jimenez Freitez and Amel Mammar and Ana Rosa Cavalli},
  title = {Software vulnerabilities, prevention and detection methods : a review},
  booktitle = {SEC-MDA'09 : Security in Model Driven Architecture co-located with the Fifth European Conference on Model Driven Architecture - Foundations and Applications (ECMDA'09)},
  year = {2009}
}

@inproceedings{m-Ksentini2009,
  author = {Ksentini, Amel and Tijani Chahed},
  editor = {IEEE Computer Society},
  title = {Extending the ad hoc horizon in dense 802.11 networks using fountain codes},
  booktitle = {ICSNC'09 : Fourth International Conference on Systems and Networks Communications},
  year = {2009},
  pages = {63 -- 67}
}

@inproceedings{m-Kumar2009,
  author = {Kumar, Dinesh and Tijani Chahed and Altman, Eitan},
  editor = {IEEE},
  title = {Analysis of a fountain codes based transport in an 802.11 WLAN cell},
  booktitle = {ITC21 : 21st International Teletraffic Congress },
  year = {2009}
}

@inproceedings{m-LalanneRojas2009,
  author = {Felipe Lalanne Rojas and Stephane Maag and Montes De Oca, Edgardo and Wissam Mallouli and Gonguet, Arnaud and Ana Rosa Cavalli},
  editor = {IEEE },
  title = {An automated passive testing approach for the IMS PoC service},
  booktitle = {ASE'09 : 24th IEEE/ACM International Conference on Automated Software Engineering},
  year = {2009},
  pages = {535 -- 539}
}

@inproceedings{m-LalanneRojas2009a,
  author = {Felipe Lalanne Rojas and Stephane Maag},
  editor = {ACM},
  title = {From the IMS PoC service monitoring to its formal conformance testing},
  booktitle = {Mobility'09 : 6th International Conference on Mobile Technology, Application & Systems},
  year = {2009},
  note = {Article n 8}
}

@inproceedings{m-Mallouli2009,
  author = {Wissam Mallouli and Amel Mammar and Ana Rosa Cavalli},
  title = {Prise en compte de règles de sécurité temporelles dans une spécification TEFSM d'un système},
  booktitle = {CFIP'09 : 14e Colloque Francophone sur l'Ingénierie des Protocoles},
  year = {2009}
}

@inproceedings{m-Mallouli2009a,
  author = {Wissam Mallouli and Amel Mammar and Ana Rosa Cavalli},
  title = {A formal framework to integrate timed security rules within a TEFSM-based system specification},
  booktitle = {APSEC'09 : 16th AsiaPacific Software Engineering Conference},
  year = {2009}
}

@inproceedings{m-Mammar2009b,
  author = {Amel Mammar and Ana Rosa Cavalli and Montes De Oca, Edgardo and Byers, David and Shahmehri, Nahid and Ardi, Shanai },
  editor = {Publibook},
  title = {Modélisation et détection formelles de vulnérabilités logicielles par le test passif},
  booktitle = {SAR-SSI '09 : 4eme Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information },
  year = {2009}
}

@inproceedings{m-Martins2009,
  author = {Martins, Eliane and Ana Rosa Cavalli and Arlat, Jean and Weber, Taisy and Moraes, Regina},
  title = {RobustWeb : development and validation of SOA applications based on Web services},
  booktitle = {Colloquium of Computation : Brazil / INRIA, Cooperations, Advances and Challenges},
  year = {2009}
}

@inproceedings{m-Mattiello-Francisco2009,
  author = {Mattiello-Francisco , Fatima and Martins, Eliane and Corsetti, André and Yano, Edgard Toshiro and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Extended interoperability models for timed system robustness testing},
  booktitle = {LATINCOM'09 : IEEE Latin-American Conference on Communications},
  year = {2009},
  pages = {1 -- 6}
}

@inproceedings{m-Merayo2009,
  author = {Merayo, Mercedes and Hwang, Iksoon and Nunez, Manuel and Ana Rosa Cavalli},
  editor = {Springer},
  title = {A statistical approach to test stochastic and probabilistic systems},
  booktitle = {ICFEM'09 : 11th International Conference on Formal Engineering Methods},
  year = {2009},
  volume = {5885/2009},
  pages = {186 -- 205},
  note = {Collection Lecture Notes in Computer Science}
}

@inproceedings{m-Nguyen2009a,
  author = {Tuan Dung Nguyen and Thaere Eido and Tülin Atmaca},
  editor = {IEEE},
  title = {An enhanced QoS-enabled dynamic bandwidth allocation mechanism for ethernet PON},
  booktitle = {ECUMN 2009 : The Fifth European Conference on Universal Multiservice Networks},
  year = {2009}
}

@inproceedings{m-Nguyen2009b,
  author = {Tuan Dung Nguyen and Thaere Eido and Tülin Atmaca},
  editor = {IEEE},
  title = {Performance of a virtual synchronization mechanism in an asynchronous optical network},
  booktitle = {The Fifth Advanced International Conference on Telecommunications AICT'09},
  year = {2009},
  pages = {39 -- 43}
}

@inproceedings{m-Nguyen2009c,
  author = {Tuan Dung Nguyen and Thaere Eido and Tülin Atmaca},
  editor = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)},
  title = {DCUM : dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks},
  booktitle = {QoSim'09 : 2nd International Workshop on the Evaluation of Quality of Service through Simulation in the Future Internet},
  year = {2009}
}

@inproceedings{m-Oumina2009,
  author = {Hanane Oumina and Daniel Ranc},
  editor = {IEEE Communications Society},
  title = {Complex IP Multimedia Application in 3GPP IMS Environment: Model it then Rate it},
  booktitle = {WTS 2009 : Wireless Telecommunications Symposium, April 22-24, Prague, Czech Republic},
  year = {2009}
}

@inproceedings{m-Sarakbi2009,
  author = {Bakr Sarakbi and Stephane Maag},
  title = {BGP convergence time : a step towards continuous connectivity},
  booktitle = {ITA'09 : 3rd International Conference on Internet Technologies and Applications},
  year = {2009}
}

@inproceedings{m-Tiwana2009,
  author = {Moazzam Islam Tiwana and Sayrac, Berna and Altman, Zwi and Tijani Chahed},
  editor = {IEEE},
  title = {Troubleshooting of 3G LTE mobility parameters using iterative statistical model refinement},
  booktitle = {WD'09 : 2nd IFIP Wireless Days},
  year = {2009}
}

@inproceedings{m-Zaidi2009,
  author = {Zaidi, Fatiha and Emmanuel Bayse and Ana Rosa Cavalli},
  editor = {ACM},
  title = {Network protocol interoperability testing based on contextual signatures and passive testing},
  booktitle = {SAC'09 : The 24th Annual ACM Symposium on Applied Computing},
  year = {2009},
  pages = {2 -- 7}
}

@inproceedings{m-Zotkiewicz2009,
  author = {Zotkiewicz, Mateusz and Walid Ben-Ameur},
  title = {Adding dynamism to robust stable routing},
  booktitle = {PTS'2009 : 16th Polish Teletraffic Symposium 2009 },
  year = {2009}
}

@inproceedings{m-Zotkiewicz2009a,
  author = {Zotkiewicz, Mateusz and Walid Ben-Ameur},
  editor = {IEEE Communications Society},
  title = {More adaptive robust stable routing},
  booktitle = {IEEE GLOBECOM 2009 : IEEE Global Communications Conference},
  year = {2009}
}

@inproceedings{m-Aydin2008,
  author = {Aydin, Muhammed Ali and Tülin Atmaca and Zaim, Abdul Halim and Viet Hung Nguyen and Özgür Can Turna},
  title = {Performance study of OBS reservation protocols },
  booktitle = {AICT'08 : the 4th Advanced International Conference on Telecommunications},
  year = {2008},
  pages = {428 -- 433}
}

@inproceedings{m-Balakrichenan2008,
  author = {Sandoche Balakrichenan and Monique Becker},
  editor = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)},
  title = {An Autonomic ENUM implementation in network simulator-2},
  booktitle = {SIMUTools 2008 : 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, March 3-7, Marseille, France},
  year = {2008},
  note = {ISBN 978-963-9799-20-2 }
}

@inproceedings{m-Becker2008,
  author = {Monique Becker and Michel Marot and Pierre Delannoy},
  title = {Improving multicast diffusion: lightweight distributed loss estimation and adaptive forward error coding},
  booktitle = {ICAMC 2008 : Fifth International Conference of Applied Mathematics and Computing, August 12-18, Plovdiv, Bulgaria},
  year = {2008}
}

@inproceedings{m-Behnia2008,
  author = {Behnia, Salimeh and Amel Mammar and Mota, Jean-Marc and Caspi, Paul and Raymond, Pascal and Breton, Nicolas},
  editor = {WIT Press},
  title = {Industrialising a proof-based verification approach of computerised interlocking systems},
  booktitle = {COMPRAIL'08 : Eleventh International Conference on Computer System Design and Operation in the Railway and Other Transit Systems},
  year = {2008},
  volume = {103},
  note = {Collection : WIT Transactions on The Built Environment}
}

@inproceedings{m-Ben-Ameur2008b,
  author = {Walid Ben-Ameur and Makhlouf Hadji and Ouorou, Adam},
  title = {Résultats préliminaires sur les graphes à composantes connexes unicycliques},
  booktitle = {Roadef'08 : 9ème congrés de la Société Française de Recherche Opérationnelle et d'Aide à la Décision},
  year = {2008}
}

@inproceedings{m-Ben-Ameur2008c,
  author = {Walid Ben-Ameur and Makhlouf Hadji and Ouorou, Adam},
  title = {On unicyclic graphs with a lower bounded girth},
  booktitle = {ECCO XXI : European Chapter on Combinatorial Optimization},
  year = {2008}
}

@inproceedings{m-Castel-Taleb2008,
  author = {Hind Castel-Taleb and Mokdad, Lynda and Pekergin, Nihal },
  editor = {IEEE},
  title = {Model checking of performance measures using bounding aggregations},
  booktitle = {SPECTS'08 : International Symposium on Performance Evaluation of Computer and Telecommunication Systems},
  year = {2008},
  pages = {98 -- 104}
}

@inproceedings{m-Castel-Taleb2008a,
  author = {Hind Castel-Taleb},
  title = {Bornes de formules d'états non croissantes},
  booktitle = {ROADEF'08 : 9ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, 25-27 Février , Clermont-Ferrand, France },
  year = {2008}
}

@inproceedings{m-Cavalli2008,
  author = {Ana Rosa Cavalli and Martins, Eliane and Anderson Morais and Moreira, Bruno C.},
  title = {Une approche de test de robustesse basée sur l'injection de fautes et le monitorage},
  booktitle = {CFIP 2008 : Colloque Francophone sur l'Ingenierie des Protocoles, 25-28 Mars, Les Arcs 1800, France},
  year = {2008}
}

@inproceedings{m-Cavalli2008a,
  author = {Ana Rosa Cavalli and Martins, Eliane and Anderson Morais},
  editor = {IEEE Computer Society},
  title = {Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations},
  booktitle = {ICSTW'08 : 1st International Conference on Software Testing Verification and Validation Workshop, April 9-11, Lillehammer, Norway},
  year = {2008},
  pages = {21 -- 30}
}

@inproceedings{m-Cavalli2008b,
  author = {Ana Rosa Cavalli and Montes De Oca, Edgardo and Wissam Mallouli and Mounir Lallali},
  editor = {IEEE Computer Society},
  title = {Two complementary tools for the formal testing of distributed systems with time constraints},
  booktitle = {DS-RT '08 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, October 27-29, Vancouver, British Columbia, Canada},
  year = {2008},
  pages = {315 -- 318},
  note = {ISBN : 978-0-7695-3425-1 }
}

@inproceedings{m-Chahed2008a,
  author = {Tijani Chahed and Chadi Tarhini},
  title = {Impact of mobility on the performance of data flows in OFDMA-based IEEE802.16e systems},
  booktitle = {ISWCS'08 : IEEE International Symposium on Wireless Communication Systems, October 21-24, Reykjavik, Iceland},
  year = {2008},
  pages = {648 -- 652},
  note = {ISBN : 978-1-4244-2488-7}
}

@inproceedings{m-Chahed2008b,
  author = {Tijani Chahed and Elayoubi, Salah-Eddine and Altman, Eitan},
  editor = {IEEE},
  title = {On design of TDD for joint uplink and downlink resource allocation in OFDMA-based WiMax},
  booktitle = {VTC2008-Fall : 68th IEEE Vehicular Technology Conference},
  year = {2008}
}

@inproceedings{m-Coma2008,
  author = {Coma, Céline and Cuppens-Boulahia, Nora and Cuppens, Frédéric and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Context ontology for secure interoperability},
  booktitle = {FARES'08 : International Workshop on Frontiers in Availability, Reliability and Security },
  year = {2008},
  pages = {821 -- 827},
  note = {In conjunction with ARES '08 : International Conference on Availability, Reliability and Security}
}

@inproceedings{m-Delannoy2008,
  author = {Pierre Delannoy and Monique Becker},
  editor = {IEEE Computer Society},
  title = {Peer-to-peer communications to provide a QoS aware system for multicast},
  booktitle = {PDP 2008 : 16th Euromicro International Conference on Parallel, Distributed and network-based Processing, February 13-15, Toulouse, France},
  year = {2008},
  pages = {218 -- 228},
  note = {ISBN 978-0-7695-3089-5}
}

@inproceedings{m-DelyeDeClauzadeDeMazieux2008,
  author = {Delye De Clauzade De Mazieux, Alexandre and Michel Marot and Monique Becker},
  editor = {Institut TELECOM},
  title = {On multihop clusters in wireless sensor networks},
  booktitle = {Autonomous and Spontaneous Networks Symposium},
  year = {2008},
  note = {This work has been funded by a grant of the Programme Initiative Réseaux Spontanés of the Institut TELECOM}
}

@inproceedings{m-Diallo2008,
  author = {Cherif Diallo and Ashish Gupta and Michel Marot and Monique Becker},
  title = {Election de Station de Base Virtuelle dans un réseau de capteurs sans fils},
  booktitle = {CDUR'2008 : 2nd Workshop sur la Cohérence Des Données en Univers Réparti en liaison avec la 8ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE 2008), June 23-27, Lyon, France},
  year = {2008}
}

@inproceedings{m-Eido2008,
  author = {Thaere Eido and Mribah, Abdessalem and Tülin Atmaca},
  editor = {IEEE},
  title = {Novel constrained-path computation algorithm for failure recovery and CAC in GMPLS optical networks},
  booktitle = {ISCIS'08 : 23rd International Symposium on Computer and Information Sciences},
  year = {2008},
  pages = {1 -- 6}
}

@inproceedings{m-Eido2008a,
  author = {Thaere Eido and Tuan Dung Nguyen and Tülin Atmaca},
  editor = {IEEE Computer Society},
  title = {Packet filling optimization in multiservice slotted optical packet switching MAN networks},
  booktitle = {AICT'08 : The Fourth Advanced International Conference on Telecommunications},
  year = {2008},
  pages = {221 -- 226}
}

@inproceedings{m-Eido2008b,
  author = {Thaere Eido and Tülin Atmaca and Tuan Dung Nguyen and Chiaroni, Dominique},
  editor = {Springer},
  title = {Performance of optical ring architectures with variable-size packets : in-line buffers Vs semi-synchronous and asynchronous transparent MAC protocols},
  booktitle = {FITraMEn'08 : International Workshop on Traffic Management and Traffic Engineering for the Future Internet, December 11-12, Porto, Portugal},
  year = {2008},
  volume = {5464/2009},
  pages = {169 -- 184},
  note = {Collection Lecture Notes in Computer Science}
}

@inproceedings{m-GarciaBerumen2008,
  author = {Armando Garcia Berumen and Michel Marot},
  title = {Analysis of the influence of the transmission delay on the competition between TCP and TFRC},
  booktitle = {ICLAN'2008 : International Conference on the Latest Advances in Networks, December 10-12, Toulouse, France},
  year = {2008}
}

@inproceedings{m-Ghedira2008a,
  author = {Mohamed Chedly Ghedira and Walid Ben-Ameur and Hossam Afifi},
  editor = {IEEE Computer Society},
  title = {A novel route guidance algorithm with maximum coverage and minimum handover for vehicular networks},
  booktitle = {ICN 2008 : 7th International Conference on Networking},
  year = {2008},
  pages = {692 -- 697}
}

@inproceedings{m-Gibson2008,
  author = {John Paul Gibson},
  editor = {Springer},
  title = {Weaving a formal methods education with problem-based learning},
  booktitle = {ISoLA'08 : 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
  year = {2008},
  volume = {17},
  pages = {460 -- 472}
}

@inproceedings{m-Gibson2008a,
  author = {John Paul Gibson and Mcgaley, Margaret},
  editor = {Academic Publishing International},
  title = {Verification and maintenance of e-voting systems and standards},
  booktitle = {ECEG'08 : 8th European Conference on e-Government},
  year = {2008},
  pages = {283 -- 290}
}

@inproceedings{m-Gibson2008b,
  author = {John Paul Gibson and Lallet, Eric and Jean-Luc Raffy},
  title = {How do I know if my design is correct ?},
  booktitle = {FORMED'08 : Formal Methods in Computer Science Education},
  year = {2008},
  pages = {59 -- 68},
  note = {ETAPS 2008 satellite event (European Joint Conferences on Theory and Practice of Software)}
}

@inproceedings{m-Gibson2008c,
  author = {John Paul Gibson},
  title = {Formal methods : never too young to start},
  booktitle = {FORMED'08 : Formal Methods in Computer Science Education},
  year = {2008},
  pages = {149 -- 158},
  note = {ETAPS 2008 satellite event (European Joint Conferences on Theory and Practice of Software)}
}

@inproceedings{m-Gibson2008d,
  author = {John Paul Gibson and Lallet, Eric and Jean-Luc Raffy},
  editor = {IEEE Computer Society},
  title = {Analysis of a distributed e-voting system architecture against quality of service requirements},
  booktitle = {ICSEA'08 : The Third International Conference on Software Engineering Advances},
  year = {2008},
  pages = {58 -- 64}
}

@inproceedings{m-Lallali2008,
  author = {Mounir Lallali and Zaidi, Fatiha and Ana Rosa Cavalli},
  editor = {IEEE Computer Society},
  title = {Transforming BPEL into intermediate format language for web services composition testing},
  booktitle = {NWeSP'08 : 4th International Conference on Next-Generation Web Services Practices, October 20-22, Seoul, South Korea},
  year = {2008},
  pages = {191 -- 197}
}

@inproceedings{m-Lallali2008a,
  author = {Mounir Lallali and Zaidi, Fatiha and Ana Rosa Cavalli and Hwang, Iksoon},
  editor = {IEEE Computer Society},
  title = {Automatic timed test case generation for Web services composition},
  booktitle = {ECOWS'08 : 6th IEEE European Conference on Web Services, November 12-14, Dublin, Ireland},
  year = {2008},
  pages = {53 -- 62},
  note = {ISBN : 978-0-7695-3399-5}
}

@inproceedings{m-Ma2008,
  author = {Ma, Maode and Xie, Pengfei and Kumar Bose, Sanjay and Stephane Maag},
  editor = {IEEE},
  title = {An efficient scheduling algorithm for QoS provisioning in WiMAX networks},
  booktitle = {ITST'08 : The 8th International Conference on Intelligent Transport System Telecommunications},
  year = {2008},
  pages = {240 -- 245}
}

@inproceedings{m-Maag2008a,
  author = {Stephane Maag and Grepet, Cyril},
  editor = {ACM},
  title = {Interoperability testing of a MANET routing protocol using a node self-similarity approach},
  booktitle = {SAC'08 : 23rd Annual ACM Symposium on Applied Computing},
  year = {2008},
  pages = {1908 -- 1912}
}

@inproceedings{m-Maag2008b,
  author = {Stephane Maag and Grepet, Cyril},
  editor = {IEEE},
  title = {A node self similarity approach for interoperability testing of Ad Hoc routing protocols},
  booktitle = {The Fourth IEEE International Workshop on Heterogeneous Wireless Networks (HWISE2008) in conjunction with the IEEE 22nd International Conference on Advanced Information Networking and Applications (AINA 2008), GinoWan, Okinawa, Japan, March 25-28},
  year = {2008},
  pages = {983 -- 988}
}

@inproceedings{m-Mallouli2008a,
  author = {Wissam Mallouli and Mounir Lallali and Gerardo Morales and Ana Rosa Cavalli},
  editor = {IEEE},
  title = {Modeling and testing secure web-based systems : application to an industrial case study},
  booktitle = {SITIS'08 : The Fourth International Conference on Signal-Image Technology & Internet-Based Systems},
  year = {2008},
  pages = {128 -- 136}
}

@inproceedings{m-Mallouli2008b,
  author = {Wissam Mallouli and Gerardo Morales and Ana Rosa Cavalli},
  editor = {IEEE Computer Society},
  title = {Testing security policies for web applications},
  booktitle = {ICSTW'08 : IEEE International Conference on Software Testing Verification and Validation Workshop},
  year = {2008},
  pages = {269 -- 270}
}

@inproceedings{m-Mallouli2008c,
  author = {Wissam Mallouli and Fayçal Bessayah and Ana Rosa Cavalli and Benameur, Azzedine},
  editor = {IEEE},
  title = {Security rules specification and analysis based on passive testing},
  booktitle = {GLOBECOM'08 : IEEE Global Telecommunications Conference, November 30 - December 4, New Orleans, Louisiana, USA},
  year = {2008},
  note = {ISBN : 978-1-4244-2324-8 }
}

@inproceedings{m-Mallouli2008d,
  author = {Wissam Mallouli and Amel Mammar and Ana Rosa Cavalli},
  editor = {IEEE Computer Society},
  title = {Modeling system security rules with time constraints using timed extended finite state machines},
  booktitle = {DS-RT '08 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, October 27-29, Vancouver, British Columbia, Canada},
  year = {2008},
  pages = {173 -- 180},
  note = {ISBN : 978-0-7695-3425-1 }
}

@inproceedings{m-Martins2008,
  author = {Martins, Eliane and Anderson Morais and Ana Rosa Cavalli},
  title = {Generating attack scenarios for the validation of security protocol implementations},
  booktitle = {SAST'08 : 2nd Brazilian Workshop on Systematic and Automated Software Testing},
  year = {2008},
  pages = {21 -- 33},
  note = {In conjunction with SBES '08 : Brazilian Symposium on Software Engineering}
}

@inproceedings{m-MorenoNegrin2008,
  author = {Carlos Moreno Negrin and Monique Becker and Vincent, Pierre},
  title = {A multicast architecture for audioconferences made with SIP extensions and conference servers},
  booktitle = {EuroView2008 : 8th Würzburg Workshop on IP : Joint EuroNF, ITC, and ITG Workshop on "Visions on Future Generation Networks", July 21-22, Würzburg, Germany},
  year = {2008}
}

@inproceedings{m-MorenoNegrin2008a,
  author = {Carlos Moreno Negrin and Monique Becker and Vincent, Pierre},
  title = {A new multicast architecture based on SIP extensions and group management},
  booktitle = {ICLAN'2008 : International Conference on the Latest Advances in Networks, December 10-12, Toulouse, France},
  year = {2008}
}

@inproceedings{m-Nguyen2008a,
  author = {Tuan Dung Nguyen and Thaere Eido and Viet Hung Nguyen and Tülin Atmaca},
  editor = {IEEE Computer Society},
  title = {Impact of fixed-size packet creation timer and packet format on the performance of slotted and unslotted bus-based optical MAN},
  booktitle = {ICDT'08 : The Third International Conference on Digital Telecommunications , June 29-July 5, Bucharest, Romania},
  year = {2008},
  pages = {99 -- 104}
}

@inproceedings{m-Oumina2008,
  author = {Hanane Oumina and Daniel Ranc},
  editor = {IEEE Communications Society},
  title = {Designing the rating function of 3GPP online charging system for IP multimedia subsystem},
  booktitle = {IMSAA 2008 : 2nd International Conference on Internet Multimedia Services Architecture and Applications, December 10-12, Bangalore, India},
  year = {2008}
}

@inproceedings{m-Peyre2008,
  author = {Peyre, Thierry and Ei-Azouzi, Rachid and Tijani Chahed},
  editor = {IEEE Communications Society},
  title = {QoS differentiation for initial and bandwidth request ranging in IEEE802.16},
  booktitle = {PIMRC'08 : IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications},
  year = {2008}
}

@inproceedings{m-Tarhini2008,
  author = {Chadi Tarhini and Tijani Chahed},
  editor = {IEEE},
  title = {On mobility of voice-like and data traffic in IEEE802.16e},
  booktitle = {GLOBECOM'08 : IEEE Global Telecommunications Conference, November 30 - December 4, New Orleans, Louisiana, USA},
  year = {2008},
  pages = {1 -- 5},
  note = {ISBN : 978-1-4244-2324-8}
}

@inproceedings{m-Tarhini2008a,
  author = {Chadi Tarhini and Tijani Chahed},
  title = {Density-based admission control in IEEE802.16e Mobile WiMAX},
  booktitle = {IFIP'08 : 1st Wireless Days Conference, November 24-27, Dubai, United Arab Emirates},
  year = {2008}
}

@inproceedings{m-Wehbi2008a,
  author = {Wehbi, Bachar and Anis Laouiti and Ana Rosa Cavalli},
  editor = {IEEE Communications Society},
  title = {Efficient time synchronization mechanism for wireless multi hop networks},
  booktitle = {PIMRC'08 : IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, September 15-18, Cannes, France},
  year = {2008},
  pages = {1 -- 6},
  note = {ISBN : 978-1-4244-2643-0 }
}

@inproceedings{m-Wehbi2008b,
  author = {Wehbi, Bachar and Anis Laouiti and Ana Rosa Cavalli},
  title = {ReDEx : Receiver Diversity Exploitation mechanism for 802.11 wireless networks },
  booktitle = {ICLAN 2008 : International Conference on the Latest Advances in Networks, Decembre 10-12, Toulouse, France},
  year = {2008}
}

@misc{m-Mammar2012b,
  author = {Amel Mammar},
  title = {Assurer la qualité du logiciel par la preuve et le test},
  year = {2012},
  note = {HDR : Université Paris-Est, novembre 2012}
}

@misc{m-Castel-Taleb2011e,
  author = {Hind Castel-Taleb},
  title = {Agrégation de trafic et de systèmes markoviens pour garantir la QoS des réseaux complexes},
  year = {2011},
  note = {HDR : Université Pierre et Marie Curie - Paris 6, mai 2011}
}

@misc{m-Gibson2011c,
  author = {John Paul Gibson},
  title = {Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique)},
  year = {2011},
  note = {HDR : Université Henri Poincaré, october 2011}
}

@misc{m-Maag2011,
  author = {Stephane Maag},
  title = {Model-based conformance and interoperability testing},
  year = {2011},
  note = {HDR : Université Paris Sud - Paris XI, may 2011}
}

@misc{m-Marot2009,
  author = {Michel Marot},
  title = {Conception et analyse de méthodes d'agrégation et multiniveaux dans les réseaux},
  year = {2009},
  note = {HDR : Université Pierre et Marie Curie - Paris 6, octobre 2009}
}

@misc{m-Atmaca2008,
  author = {Tülin Atmaca},
  title = {Metropolitan optical networks : packet format, MAC protocol and quality of service},
  year = {2008},
  note = {HDR : Université Pierre et Marie Curie - Paris 6, july 2008}
}

@phdthesis{m-Agarwal2013a,
  author = {Agaral Rachit},
  title = {Towards enhancing information dissemination in wireless networks},
  school = {Th. doct. : Informatique et Télécommunications, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, MAROT Michel, septembre 2013},
  year = {2013}
}

@phdthesis{m-Bagnato2013,
  author = {Alessandra Bagnato},
  title = {Modeling and verification in model-based software engineering : application to embedded systems},
  school = {Th. doct. : Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana rosa, février 2013},
  year = {2013}
}

@phdthesis{m-JimenezFreitez2013,
  author = {Willy Ronald Jimenez Freitez},
  title = {Two complementary approaches to detecting vulnerabilities in C programs},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, MAMMAR Amel, october 2013 (document in press)},
  year = {2013}
}

@phdthesis{m-Ahmad2012a,
  author = {Abdel-Mehsen Ahmad},
  title = {Techniques de transmission et d'accès sans fil dans les réseaux ad-hoc véhiculaires (VANETS)},
  school = {Th. doct. : Informatique et Télécommunications, Université Libanaise, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: MAROT Michel, MOUGHARBEL Imad , octobre 2012},
  year = {2012}
}

@phdthesis{m-Ali2012a,
  author = {Arshad Ali},
  title = {Transport fiable, estimation et poursuite dans les réseaux delay tolerant networks (DTNs)},
  school = {Th. doct. : Télécommunications, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Université Nice Sophia Antipolis (UNSA), CNRS : UMR 6070 , Directeur de thèse: CHAHED Tijani, ALTMAN Eitan, november 2012},
  year = {2012}
}

@phdthesis{m-LalanneRojas2012a,
  author = {Felipe Lalanne Rojas},
  title = {Modélisation et méthodologie pour le test de services IMS},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, Encadrant : MAAG Stéphane, february 2012},
  year = {2012}
}

@phdthesis{m-Morais2012c,
  author = {Anderson Morais},
  title = {Distributed and cooperative intrusion detection in wireless mesh networks},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, november 2012},
  year = {2012}
}

@phdthesis{m-Nicolas2012a,
  author = {Charbel Nicolas},
  title = {Sur l'adaptation au contexte des réseaux de capteurs sans fil},
  school = {Th. doct. : Informatique et Télécommunications, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, MAROT Michel, octobre 2012},
  year = {2012}
}

@phdthesis{m-Dirani2011,
  author = {Mariana Dirani},
  title = {Allocation de ressources et gestion de ressources radio basée sur le son dans les réseaux cellulaires et sans fil},
  school = {Th. doct. : Informatique, télécommunications et électronique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: PUJOLLE Guy, HEBUTERNE Gérard, Encadrant : TIJANI Chahed, november 2011},
  year = {2011}
}

@phdthesis{m-GurkasAydin2011a,
  author = {Zeynep Gurkas Aydin},
  title = {Design of a new mobility management system for next generation wireless networks},
  school = {Th. doct. : Réseaux informatiques, Istanbul University Engineering Faculty, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: ZAIM Abdul Halim, ATMACA Tulin, Encadrant CHAOUCHI Hakima, march 2011},
  year = {2011}
}

@phdthesis{m-Jdidi2011b,
  author = {Anis Jdidi},
  title = {On the use of hierarchical modulation for resource allocation in OFDMA-based networks},
  school = {Th. doct. : Télécommunications, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: CHAHED Tijani, november 2011},
  year = {2011}
}

@phdthesis{m-Saker2011b,
  author = {Louai Saker},
  title = {Mécanisme de réduction de la consommation d'énergie dans les réseaux mobiles},
  school = {Th. doct. : Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: CHAHED Tijani, december 2011},
  year = {2011}
}

@phdthesis{m-Sarakbi2011,
  author = {Bakr Sarakbi},
  title = {Routage inter-domaine},
  school = {Th. doct. : Réseaux informatiques, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, Encadrant : MAAG Stéphane, february 2011},
  year = {2011}
}

@phdthesis{thesis-Zotkiewicz2011,
  author = {Zotkiwiecz Mateusz},
  title = {Robust routing optimization in resilient networks, polyhedral model and complexity issues},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: BEN-AMEUR Walid, janvier 2011},
  year = {2011}
}

@phdthesis{m-Bessayah2010b,
  author = {Fayçal Bessayah},
  title = {A complementary approach for testing system robustness based on passive testing and fault injection techniques},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: CAVALLI Ana Rosa, december 2010},
  year = {2010}
}

@phdthesis{m-Diallo2010e,
  author = {Cherif Diallo},
  title = {Techniques d'amélioration du routage et de la formation des clusters multi-sauts dans les réseaux de capteurs sans fil},
  school = {Th. doct. : Informatique et Télécommunications, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, Co-encadrant : MAROT Michel, septembre 2010},
  year = {2010}
}

@phdthesis{m-Escobedo2010a,
  author = {Jose Pablo Escobedo},
  title = {Symbolic test case generation for testing orchestrators in context},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, LE GALL Pascale, november 2010},
  year = {2010}
}

@phdthesis{m-Gupta2010c,
  author = {Ashish Gupta},
  title = {Empirical analysis of wireless sensor networks},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, Encadrant : MAROT Michel, september 2010},
  year = {2010}
}

@phdthesis{m-Morales2010a,
  author = {Gerardo Morales},
  title = {A test methodology for the validation of web applications},
  school = {Th. doct. : Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, Encadrant : MAAG Stéphane, juillet 2010},
  year = {2010}
}

@phdthesis{m-Nguyen2010c,
  author = {Tuan Dung Nguyen},
  title = {Evaluation de performances de la technologie de commutation de paquets optiques : contrôle d'accès, allocation des ressources et qualité de service pour les réseaux métropolitains et d'accès},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: ATMACA Tulin, november 2010},
  year = {2010}
}

@phdthesis{m-Tiwana2010a,
  author = {Moazzam Islam Tiwana},
  title = {Automated RRM optimization of LTE networks using statistical learning},
  school = {Th. doct. : Informatique, télécommunications et électronique, France Télécom, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: CHAHED Tijani, ALTMAN Zwi, Encadrant : SAYRAC Bernard, november 2010},
  year = {2010}
}

@phdthesis{m-Hadji2009,
  author = {Makhlouf Hadji},
  title = {Synthèse de réseaux à composantes connexes unicycliques},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BEN-AMEUR Walid, septembre 2009},
  year = {2009}
}

@phdthesis{m-Lallali2009,
  author = {Mounir Lallali},
  title = {Modélisation et test fonctionnel de l'orchestration de services Web},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, ZAIDI Fatiha, novembre 2009},
  year = {2009}
}

@phdthesis{m-MorenoNegrin2009,
  author = {Carlos Moreno Negrin},
  title = {Design of a network architecture for multimedia services with SIP multicast},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, mars 2009},
  year = {2009}
}

@phdthesis{m-Oumina2009a,
  author = {Hanane Oumina},
  title = {La taxation des applications complexes dans le nouvel environnement de réseaux de télécommunications 3GPPP IP multimedia subsystem (IMS)},
  school = {Th. doct. : Science de l'ingénieur, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: CAVALLI Ana Rosa, Encadrant : RANC Daniel, décembre 2009},
  year = {2009}
}

@phdthesis{m-Tarhini2009,
  author = {Chadi Tarhini},
  title = {Flow-level modeling and QoS proposals in fixed and mobile OFDMA-based WiMAX},
  school = {Th. doct. : Télécommunications, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, march 2009},
  year = {2009}
}

@phdthesis{m-Balakrichenan2008a,
  author = {Sandoche Balakrichenan},
  title = {An autonomous simulation platform for studying and optimizing addressing issues in next generation networks},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, april 2008},
  year = {2008}
}

@phdthesis{m-Delannoy2008a,
  author = {Pierre Delannoy},
  title = {Performances des réseaux pour la diffusion de contenu multimédia},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, Encadrant: MAROT Michel, décembre 2008},
  year = {2008}
}

@phdthesis{m-Eido2008c,
  author = {Thaere Eido},
  title = {Evaluation de performance, allocation de ressources et qualité de service dans les réseaux optiques multiservices à commutation de paquets},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: HEBUTERNE Gérard, Encadrant: ATMACA Tulin, july 2008},
  year = {2008}
}

@phdthesis{m-GarciaBerumen2008a,
  author = {Armando Garcia Berumen},
  title = {Apport des techniques multiniveaux dans une architecture de satellites géostationnaires DVB-S2/RCS},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, Encadrant: MAROT Michel, décembre 2008},
  year = {2008}
}

@phdthesis{m-Mallouli2008e,
  author = {Wissam Mallouli},
  title = {Une approche formelle pour le test des politiques de sécurité},
  school = {Th. doct. : Informatique, Université d'Evry Val d'Essonne, Institut Mines-Télécom-Télécom SudParis, Directeur de thèse: CAVALLI Ana Rosa, décembre 2008},
  year = {2008}
}

@phdthesis{m-Vasquez2008e,
  author = {Mabel VASQUEZ BRISENO },
  title = {MobAppGen : a modular framework for mobile applications generation},
  school = {Th. doct. : Informatique, Institut Mines-Télécom-Télécom SudParis, Université Pierre et Marie Curie - Paris 6, Directeur de thèse: BECKER Monique, septembre 2008},
  year = {2008}
}