Cavalli, Ana.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 166592725 (Personal)
Permalink: http://viaf.org/viaf/166592725
Preferred Forms
-
200 _ |
‡a
Cavalli
‡b
Ana
-
100 1 _ ‡a Cavalli, Ana
-
100 1 _
‡a
Cavalli, Ana
(sparse)
-
100 1 _
‡a
Cavalli, Ana
-
100 1 _
‡a
Cavalli, Ana
-
100 1 0
‡a
Cavalli, Ana
-
100 1 _ ‡a Cavalli, Ana
-
100 1 _ ‡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. |
|
