Preferred Forms
-
200 _ | ‡a Cavalli ‡b Ana
-
100 1 _ ‡a Cavalli, Ana
-
100 1 _ ‡a Cavalli, Ana (sparse)
-
100 1 0 ‡a Cavalli, Ana
-
-
-
100 1 _ ‡a Cavalli, Ana
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Algorithmes de classement de paquets |
![]() |
Une approche générique de la sécurité du routage |
![]() |
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 |
![]() |
Conception de réseau, accès canal et synchronisation d'horloge pour les réseaux maillés sans fil. |
![]() |
Contents adaptive management : influence of user mobility on networks dynamics. |
![]() |
Design, validation and implementation of a novel session maintenance protocol |
![]() |
A formal approach for testing security policies. |
![]() ![]() |
Formal description techniques and protocol specification [...] |
![]() |
Formalization of interworking in telecommunication networks and definition of a testing theory for concurrent systems. |
![]() |
Génération automatique de test pour les sytèmes temporisés. |
![]() |
Gestion adaptative de contenus : influence de la mobilité sur la dynamique des réseaux |
![]() |
HINT - from opportunistic network characterization to application development |
![]() |
Ingénierie des protocoles et qualité de service |
![]() ![]() |
A knowledge management and dissemination platform for autonomic networks. |
![]() |
Méthodes de détection des interactions de services appliquées aux systèmes de télécommunication complexes |
![]() ![]() |
Méthodes dirigées par les modèles pour l'analyse dynamique appliquées à l'ingénierie de logiciels verts. |
![]() |
Méthodologie de test passif par invariants : application au protocole WAP |
![]() |
Méthodologie pour la validation de protocoles de routage Ad hoc |
![]() |
Mise en oeuvre d'une plateforme de gestion et de dissémination des connaissances pour des réseaux autonomiques |
![]() |
Model driven e-learning platform integration |
![]() |
Model-driven methods for dynamic analysis applied to energy-aware software engineering |
![]() |
Un modèle formel pour la responsabilisation. |
![]() |
Modeling and verification in model-based software engineering : application to embedded systems |
![]() |
Modélisation et test fonctionnel de l'orchestration de services Web |
![]() |
Modélisation et vérification dans l'ingénierie dirigée par les modèles : application aux systèmes embarqués. |
![]() |
Modélisation intégratrice du traitement BigData |
![]() |
Monitorage des aspects sécuritaires pour les protocoles de réseaux et applications. |
![]() |
Monitorage en-ligne et distribué de réseaux pour l'évaluation de la confiance. |
![]() |
MoRiA Une méthode basée sur les modèles pour l'analyse des risques de cybersécurité : application à un système complexe de défense navale |
![]() |
Network design, channel access and time synchronization for multi-hop wireless mash networks |
![]() |
Packet classification algorithms. |
![]() |
Partial validation of a design specification with respect to requirements |
![]() ![]() |
A passive testing architecture for detecting attacks in ad hoc networks. |
![]() |
Protocol test systems ... 1996: |
![]() ![]() |
QoE estimation model to Optimize User Perceived Video Quality : Mobile Services Application. |
![]() |
Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings |
![]() |
Routage des données dans les réseaux centrés sur les contenus |
![]() |
Routage inter-domaine |
![]() |
Routing Named Data in Information-Centric Networks. |
![]() |
A scenario-based approach for feature interaction detection of communication software systems |
![]() ![]() |
SDL ʼ97 : time for testing SDL, MSC and trends : proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997 |
![]() ![]() ![]() ![]() |
Sécurité dans le cloud : framework de détection de menaces internes basé sur l'analyse d'anomalies |
![]() |
Segmentation and segregation mechanisms and models to secure the integration of Industrial control Systems (ICS) with corporate system |
![]() |
Service interaction detection based on a scenario analysis algorithm |
![]() ![]() |
Stratégie basée sur les machines à états finis temporisées pour optimiser la composition de services web à l'égard de la qualité et de la sécurité. |
![]() |
UNE STRATEGIE DE TEST EN TELECOMMUNICATIONS |
![]() |
A symbolic-based passive testing approach to detect vulnerabilities in networking systems |
![]() |
Symbolic test case generation for testing orchestrators in context |
![]() |
Un système de confiance pour les environnements multi-organisationnels. |
![]() |
Techniques avancées de test passif des protocoles de communication. |
![]() ![]() ![]() ![]() |
Test and Validation of Web Services |
![]() |
Test methodology for services and the protocols in mobile networks. |
![]() |
Test symbolique de services web composite |
![]() |
Testing from a probabilistic FSM using interval estimation |
![]() |
Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings |
![]() |
Timed FSM strategy for optimizing web service compositions w.r.t. the quality and safety issues |
![]() |
Tolérance aux attaques pour les applications orientées services Web dans le cloud. |
![]() |
Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers |
![]() |
Towards an authentication system integrating the bootstrapping of mobile IPv6 and taking into account its movements. |
![]() |
[ Validation partielle de la spécification d'un système par rapport aux besoins] |
![]() ![]() |
Vérification et test des politiques de sécurité d'interopérabilité. |
![]() |
Vers un système d'authentification intégrant la configuration dynamique de la mobilité IPv6 et la prise en compte des déplacements |
![]() |
Virtualization and Distribution of the BGP Control Plane |
![]() |
Wireless Sensors Networks (WSN) monitoring : application to secure interoperability. |
![]() |