researcher / Ana Cavalli

Ana Cavalli

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Cyber-resilience and attack tolerance for cyber-physical systems
Analyse et influence des paramètres d’affaires sur la qualité d’expérience des services Over-The-Top
Monitorage des réseaux des capteurs sans fils (WSN) : application à l'interopérabilité sécurisée
Security monitoring for network protocols and applications
Timed FSM strategy for optimizing web service compositions w.r.t. the quality and safety issues
Intelligent quality of experience (QoE) analysis of network served multimedia and web contents
A trust framework for multi-organization environments
A symbolic-based passive testing approach to detect vulnerabilities in networking systems
Two complementary approaches to detecting vulnerabilities in C programs
Modeling and verification in model-based software engineering : application to embedded systems
Medium access protocol (MAC) design for wireless multi-hop ad hoc and sensor networks
Distributed and cooperative intrusion detection in wireless mesh networks
Verification and test of interoperability security policies
Modeling and methodologies for the test of IMS services
A complementary approach for testing system robustness based on passive testing and fault injection techniques
Symbolic test case generation for testing orchestrators in context
A testing methodology for the validation of web applications
Modélisation et test fonctionnel de l'orchestration de services Web
Algorithmes de classement de paquets
Network design, channel access and time synchronization for multi-hop wireless mash networks
Une approche formelle pour le test des politiques de sécurité
Méthodologie pour la validation de protocoles de routage Ad hoc
Une architecture de test passif appliquée à la détection des attaques dans les réseaux ad hoc
Automated model-based test generation for timed systems
Design, validation and implementation of a novel session maintenance protocol
Advanced techniques for passive testing of communication protocols
Méthodologie de test passif par invariants : application au protocole WAP
Une approche générique de la sécurité du routage
Vers un système d'authentification intégrant la configuration dynamique de la mobilité IPv6 et la prise en compte des déplacements
Méthodologie de test pour les services et protocoles des réseaux mobiles
Méthodes de détection des interactions de services appliquées aux systèmes de télécommunication complexes
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
Une strategie de test en telecommunications
Contribution à la génération de tests pour les composants de service. Application aux services de réseau intelligent
Conception et realisation d'un outil de verification pour le langage lotos sous concerto
Generation de tests pour les specificatins lotos