Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Amel Mammar
Amel Mammar
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Un environnement formel pour le développement d'applications bases de données
Directed Thesis:
Modélisation formelle des systèmes de détection d'intrusions
Formal verification of business process configuration in the Cloud
A model driven engineering approach to build secure information systems
Vérification et validation de politiques de contrôle d'accès dans le domaine médical
Two complementary approaches to detecting vulnerabilities in C programs
Preuve de propriétés dynamiques en B