Zaïdi, Fatiha
VIAF ID: 206721778 ( Personal )
Permalink: http://viaf.org/viaf/206721778
Preferred Forms
- 200 _ | ‡a Zaïdi ‡b Fatiha
-
-
- 100 1 _ ‡a Zaïdi, Fatiha
- 100 1 _ ‡a Zaïdi, Fatiha
- 100 1 _ ‡a Zaïdi, Fatiha
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Analysis and influence of business parameters on quality of experience for Over-The-Top services. | |
Approche méthodologique pour le maintien de la cohérence des données de conception des systèmes sur puce | |
Une approche symbolique pour la vérification et le test des chorégraphies de services. | |
Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes | |
Classification of errors threats by static analysis, program sclicing and structural testing of programs. | |
Compliance of Web services over a high level specification | |
Conformité de services Web par rapport à des spécifications de haut niveau. | |
Contribution à la génération de tests pour les composants de service. Application aux services de réseau intelligent | |
Enforcement à l’exécution de propriétés temporisées régulières en présence d’évènements incontrôlables. | |
Information theory, repeated games with imperfect monitoring and decentralized communications networks. | |
Invariants inference for model checking of parameterized systems. | |
Une méthode de test fonctionnel en-ligne basée sur une approche de monitorage distribuée continue appliquée aux systèmes communicants | |
Methodological approach for maintaining consistency of system on chip design data. | |
Modélisation et test fonctionnel de l'orchestration de services Web | |
A novel online functional testing methodology based on a fully distributed continuous monitoring approach applied to communicating systems. | |
Optimized diagnosability of distributed discrete event systems through abstraction | |
Partitionnement d’instances de processus basé sur les techniques de conformité de modèles. | |
Process Instance Clustering Based on Conformance Checking Artefacts | |
Runtime Enforcement of (Timed) Properties with Uncontrollable Events | |
Security monitoring for network protocols and applications | |
Sélection adaptative de la technologie réseau pour le transport de données dépendant du contexte | |
Spécification formelle pour le test d'un protocole de routage ad hoc | |
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é. | |
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing | |
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings | |
Théorie de l'information, jeux répétés avec observation imparfaite et réseaux de communication décentralisés | |
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. | |
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles | |
Web services testability. |