Amel Mammar
Amel Mammar
Professor IT/Télécom SudParis
Verified email at
Cited by
Cited by
Intrusion detection systems: A cross-domain overview
LN Tidjon, M Frappier, A Mammar
IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019
An overview of a method and its support tool for generating B specifications from UML notations
R Laleau, A Mammar
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
A formal semantics of timed activity diagrams and its promela translation
N Guelfi, A Mammar
12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005
From a B formal specification to an executable code: application to the relational database domain
A Mammar, R Laleau
Information and Software Technology 48 (4), 253-279, 2006
Software vulnerabilities, prevention and detection methods: A review1
W Jimenez, A Mammar, A Cavalli
Security in model-driven architecture 215995, 215995, 2009
A generic process to refine a B specification into a relational database implementation
R Laleau, A Mammar
ZB 2000: Formal Specification and Development in Z and B: First …, 2000
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
SJ Tueno Fotso, M Frappier, R Laleau, A Mammar
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
An advanced approach for modeling and detecting software vulnerabilities
N Shahmehri, A Mammar, EM De Oca, D Byers, A Cavalli, S Ardi, ...
Information and Software Technology 54 (9), 997-1013, 2012
Towards correct cloud resource allocation in business processes
M Graiet, A Mammar, S Boubaker, W Gaaloul
IEEE Transactions on Services Computing 10 (1), 23-36, 2016
On the use of domain and system knowledge modeling in goal-based Event-B specifications
A Mammar, R Laleau
International Symposium on Leveraging Applications of Formal Methods, 325-339, 2016
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
A Mammar, M Frappier, SJ Tueno Fotso, R Laleau
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
A formal approach based on UML and B for the specification and development of database applications
A Mammar, R Laleau
Automated Software Engineering 13, 497-528, 2006
Combining UML with the B formal method for the specification of database applications
P Facon, R Laleau, A Mammar
Un environnement formel pour le développement d’applications base de données
A Mammar
These de doctorat, CNAM, Paris, France, 2002
Modeling a landing gear system in Event-B
A Mammar, R Laleau
International Journal on Software Tools for Technology Transfer 19, 167-186, 2017
Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications
SJ Tueno Fotso, A Mammar, R Laleau, M Frappier
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
A formal framework to generate XPDL specifications from UML activity diagrams
N Guelfi, A Mammar
Proceedings of the 2006 ACM symposium on Applied computing, 1224-1231, 2006
Efficient: a toolset for building trusted B2B transactions
A Mammar, S Ramel, B Grégoire, M Schmitt, N Guelfi
Advanced Information Systems Engineering: 17th International Conference …, 2005
The SysML/KAOS domain modeling approach
S Tueno, R Laleau, A Mammar, M Frappier
arXiv preprint arXiv:1710.00903, 2017
Towards using ontologies for domain modeling within the SysML/KAOS approach
S Tueno, R Laleau, A Mammar, M Frappier
2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017
The system can't perform the operation now. Try again later.
Articles 1–20