Mammar, Amel, 1973-....
VIAF ID: 188479413 ( Personal )
Permalink: http://viaf.org/viaf/188479413
Preferred Forms
- 100 1 _ ‡a Mammar, Amel ‡d 1973-
- 100 1 _ ‡a Mammar, Amel, ‡d 1973-....
Works
Title | Sources |
---|---|
Une approche MDE pour construire des systèmes d'information sécurisés. | |
Combinaison de méthodes formelles pour la spécification de systèmes industriels | |
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B | |
Une démarche de sûreté pour les CPS-IoT. | |
Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. | |
Un environnement formel pour le développement d'applications bases de données | |
Formal methods for extracting insider attacks from Information Systems. | |
Formal rule-based scenarios for the design of safe autonomous vehicles. | |
Formulaire d'enregistrement de thèse | |
A model driven engineering approach to build secure information systems | |
Modélisation formelle des systèmes de détection d'intrusions | |
Preuve de propriétés dynamiques en B | |
Proving dynamic properties in B. | |
A safety approach for CPS-IoT | |
Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs | |
Supporting cloud resource allocation in configurable business process models | |
Towards a tooled and proven formal requirements engineering approach. | |
Two complementary approaches to detecting vulnerabilities in C programs | |
Verification and validation of healthcare access control policies. | |
Vérification et validation de politiques de contrôle d'accès dans le domaine médical | |
Vérification formelle de la configuration des processus métiers dans le Cloud. | |
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée |