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