Follow
Amel Mammar
Amel Mammar
Professor IT/Télécom SudParis
Verified email at telecom-sudparis.eu
Title
Cited by
Cited by
Year
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
1162000
Intrusion detection systems: A cross-domain overview
LN Tidjon, M Frappier, A Mammar
IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019
1132019
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
672005
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
542006
Software vulnerabilities, prevention and detection methods: A review1
W Jimenez, A Mammar, A Cavalli
Security in model-driven architecture 215995, 215995, 2009
502009
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
462000
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
422018
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
382012
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
362016
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
352016
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
322018
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
322006
Combining UML with the B formal method for the specification of database applications
P Facon, R Laleau, A Mammar
CEDRIC Lab/CNAM, 1999
311999
Un environnement formel pour le développement d’applications base de données
A Mammar
These de doctorat, CNAM, Paris, France, 2002
302002
Modeling a landing gear system in Event-B
A Mammar, R Laleau
International Journal on Software Tools for Technology Transfer 19, 167-186, 2017
272017
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
242018
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
232006
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
212005
The SysML/KAOS domain modeling approach
S Tueno, R Laleau, A Mammar, M Frappier
arXiv preprint arXiv:1710.00903, 2017
182017
Towards correct cloud resource allocation in FOSS applications
S Jlassi, A Mammar, I Abbassi, M Graiet
Future Generation Computer Systems 91, 392-406, 2019
172019
The system can't perform the operation now. Try again later.
Articles 1–20