Ana Cavalli
Ana Cavalli a dirigé les 40 thèses suivantes :
Analyse et influence des paramètres d’affaires sur la qualité d’expérience des services Over-The-Top
par Diego Rivera Villagra sous la direction de Ana Cavalli - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 28-02-2017
Monitorage des réseaux des capteurs sans fils (WSN) : application à l'interopérabilité sécurisée
par Raul Armando Fuentes Samaniego sous la direction de Ana Cavalli - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 27-02-2017
Security monitoring for network protocols and applications
par Vinh Hoa La sous la direction de Ana Cavalli - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 21-10-2016
Modélisation intégratrice du traitement BigData
par Hadi Hashem sous la direction de Ana Cavalli - Université Paris-Saclay (ComUE)
Réseaux, information et communications
Soutenue le 19-09-2016
Timed FSM strategy for optimizing web service compositions w.r.t. the quality and safety issues
par Olga Kondratyeva sous la direction de Ana Cavalli et de Nina Yevtushenko . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 03-12-2015
Intelligent quality of experience (QoE) analysis of network served multimedia and web contents
par Jeevan Pokhrel sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique et réseaux
Soutenue le 19-12-2014
A trust framework for multi-organization environments
par Khalifa Toumi sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 01-04-2014
A symbolic-based passive testing approach to detect vulnerabilities in networking systems
par Pramila Mouttappa (Savariraj) sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 16-12-2013
Two complementary approaches to detecting vulnerabilities in C programs
par Willy Jimenez (Jimenez Freitez) sous la direction de Ana Cavalli et de Amel Mammar . - Evry, Institut national des télécommunications
Informatique
Soutenue le 04-10-2013
Modeling and verification in model-based software engineering : application to embedded systems
par Alessandra Bagnato sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 12-02-2013
Medium access protocol (MAC) design for wireless multi-hop ad hoc and sensor networks
par Afef Sayadi sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 16-01-2013
Distributed and cooperative intrusion detection in wireless mesh networks
par Anderson Morais sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 28-11-2012
Verification and test of interoperability security policies
par Mazen El Maarabani sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 29-05-2012
Modeling and methodologies for the test of IMS services
par Felipe Lalanne (Lalanne Rojas) sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 03-02-2012
Routage inter-domaine
par Bakr Sarakbi sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Réseaux informatiques
Soutenue le 10-02-2011
A complementary approach for testing system robustness based on passive testing and fault injection techniques
par Fayçal Bessayah sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 03-12-2010
Symbolic test case generation for testing orchestrators in context
par José Pablo Escobedo Del Cid sous la direction de Ana Cavalli et de Pascale Le Gall . - Evry, Institut national des télécommunications
Informatique
Soutenue le 25-11-2010
A testing methodology for the validation of web applications
par Gerardo Morales sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue le 13-07-2010
La taxation des applications complexes dans le nouvel environnement de réseaux de télécommunications 3GPPP IP multimedia subsystem (IMS)
par Hanane Ez-Zahra Oumina sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Science de l'ingénieur
Soutenue le 17-12-2009
Modélisation et test fonctionnel de l'orchestration de services Web
par Mounir Lallali sous la direction de Ana Cavalli et de Fatiha Zaïdi . - Evry, Institut national des télécommunications
Informatique
Soutenue le 20-11-2009
Network design, channel access and time synchronization for multi-hop wireless mash networks
par Bachar Wehbi sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2008
Algorithmes de classement de paquets
par Ons Jelassi sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2008
Une approche formelle pour le test des politiques de sécurité
par Wissam Mallouli sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2008
Model driven e-learning platform integration
par Zuzana Bizonova sous la direction de Ana Cavalli - Evry, Télécom & Management SudParis
Informatique appliquée
Soutenue en 2008
Automated model-based test generation for timed systems
par Elisangela de Araujo Rodrigues Vieira sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2007
Gestion adaptative de contenus : influence de la mobilité sur la dynamique des réseaux
par Farès Benayoune sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique. Réseaux
Soutenue en 2007
Méthodologie pour la validation de protocoles de routage Ad hoc
par Cyril Grepet sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2007
Une architecture de test passif appliquée à la détection des attaques dans les réseaux ad hoc
par Jean-Marie Orset sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2007
Design, validation and implementation of a novel session maintenance protocol
par Dario Vieira Conceicao sous la direction de Ana Cavalli - Evry, Institut National des Télécommunications
Informatique
Soutenue en 2006
Méthodologie de test passif par invariants : application au protocole WAP
par Emmanuel Bayse sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2006
Advanced techniques for passive testing of communication protocols
par Baptiste Alcalde sous la direction de Ana Cavalli - Paris 6
Informatique
Soutenue en 2006
Vers un système d'authentification intégrant la configuration dynamique de la mobilité IPv6 et la prise en compte des déplacements
par Julien Bournelle sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2004
Méthodologie de test pour les services et protocoles des réseaux mobiles
par Amal Wafa Mederreg sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2004
Une approche générique de la sécurité du routage
par Jean-Jacques Puig sous la direction de Ana Cavalli - Evry, Institut national des télécommunications
Informatique
Soutenue en 2004
Formalisation de l'interfonctionnement dans les résaux de télécommunication et définition d'une théorie de test pour systèmes concurrents
par Keth Vichetra Sam sous la direction de Ana Cavalli - Paris 7
Informatique
Soutenue en 2002
Méthodes de détection des interactions de services appliquées aux systèmes de télécommunication complexes
par Stéphane Maag sous la direction de Ana Cavalli - Evry-Val d'Essonne
Informatique
Soutenue en 2002
Contribution à la génération de tests pour les composants de service. Application aux services de réseau intelligent
par Fatiha Zaïdi sous la direction de Ana Cavalli - Evry-Val d'Essonne
Informatique
Soutenue en 2001
Une strategie de test en telecommunications
par MELANIA IONESCU sous la direction de Ana Cavalli - Evry-Val d'Essonne
Informatique
Soutenue en 2001
Conception et realisation d'un outil de verification pour le langage lotos sous concerto
par Hacène Fouchal sous la direction de Ana Cavalli - Paris 7
Sciences appliquées
Soutenue en 1995
Generation de tests pour les specificatins lotos
par SUNG-UN KIM sous la direction de Ana Cavalli - Paris 7
Sciences appliquées
Soutenue en 1993
Ana Cavalli a été président de jury des 4 thèses suivantes :
Assessment and enforcement of wireless sensor network-based SCADA systems security
par Lyes Bayou sous la direction de Nora Cuppens et de Frédéric Cuppens . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 19-06-2018
Routage des données dans les réseaux centrés sur les contenus
par Abdelali Kerrouche sous la direction de Abdelhamid Mellouk - Paris Est
Informatique
Soutenue le 26-05-2017
HINT - from opportunistic network characterization to application development
par Gwilherm Baudic sous la direction de Emmanuel Lochin et de Tanguy Pérennou . - Toulouse, INPT
Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 06-12-2016
Mise en oeuvre d’une plateforme de gestion et de dissémination des connaissances pour des réseaux autonomiques
par Sami Souihi sous la direction de Abdelhamid Mellouk - Paris Est
Informatique
Soutenue le 03-12-2013
Ana Cavalli a été rapporteur des 9 thèses suivantes :
Segmentation and segregation mechanisms and models to secure the integration of Industrial control Systems (ICS) with corporate system
par Khaoula Es-Salhi sous la direction de Nora Cuppens - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 11-07-2019
Assistance au développement et au test d'applications sécurisées
par Loukmen Regainia sous la direction de Sébastien Salva - Clermont Auvergne
Informatique
Soutenue le 12-06-2018
A formal model for accountability
par Walid Benghabrit sous la direction de Jean-Claude Royer - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique et applications
Soutenue le 27-10-2017
Automated test generation for production systems with a model-based testing approach
par William Durand sous la direction de Sébastien Salva - Clermont-Ferrand 2
Informatique
Soutenue le 04-05-2016
Le contrôle d'accès des réseaux et grandes infrastructures critiques distribuées
par Abdeljebar Ameziane El Hassani sous la direction de Anas Abou El Kalam et de Abdellah Ait Ouahman . - Toulouse, INPT
Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 23-04-2016
Caractérisation et applications de marches aléatoires temporelles dans les réseaux opportunistes
par Victor Ramiro-Cid sous la direction de Patrick Sénac et de Emmanuel Lochin . - Toulouse, ISAE
Réseaux, télécom, système et architecture
Soutenue le 04-11-2015
Apport de la Qualité de l’Expérience dans l’optimisation de services multimédia : application à la diffusion de la vidéo et à la VoIP
par Muhammad Sajid Mushtaq sous la direction de Abdelhamid Mellouk - Paris Est
Informatique
Soutenue le 15-04-2015
Test symbolique de services web composite
par Lina Bentakouk sous la direction de Marie-Claude Gaudel - Paris 11
Informatique
Soutenue le 16-12-2011
Test and Validation of Web Services
par Tien Dung Cao sous la direction de Richard Castanet et de Patrick Félix . - Bordeaux 1
Informatique
Soutenue le 06-12-2010
Ana Cavalli a été membre de jury des 4 thèses suivantes :
Attack tolerance for services-based applications in the Cloud
par Georges Ouffoué (Ouffoué) sous la direction de Fatiha Zaïdi - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 21-12-2018
Sécurité dans le cloud : framework de détection de menaces internes basé sur l'analyse d'anomalies
par Pamela Carvallo sous la direction de Stéphane Maag et de Natalia Kushik . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 17-12-2018
Detection of attacks against cyber-physical industrial systems
par Jose Manuel Rubio Hernan sous la direction de Joaquin Garcia-Alfaro - Evry, Institut national des télécommunications
Informatique et réseaux
Soutenue le 18-07-2017
Distributed on-line network monitoring for trust assessment
par Jorge López sous la direction de Stéphane Maag et de Gerardo Morales . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 02-12-2015
