@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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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 }
}