Amel Mammar
Amel Mammar
Professor IT/Télécom SudParis
Bestätigte E-Mail-Adresse bei telecom-sudparis.eu
Titel
Zitiert von
Zitiert von
Jahr
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
1002000
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
642005
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
532006
Software vulnerabilities, prevention and detection methods: A review1
W Jimenez, A Mammar, A Cavalli
Security in model-driven architecture 215995, 215995, 2009
472009
A generic process to refine a B specification into a relational database implementation
R Laleau, A Mammar
International Conference of B and Z Users, 22-41, 2000
422000
Intrusion detection systems: A cross-domain overview
LN Tidjon, M Frappier, A Mammar
IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019
332019
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
322012
Modeling a landing gear system in Event-B
A Mammar, R Laleau
International Journal on Software Tools for Technology Transfer 19 (2), 167-186, 2017
312017
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
312016
A formal approach based on UML and B for the specification and development of database applications
A Mammar, R Laleau
Automated Software Engineering 13 (4), 497-528, 2006
312006
Un environnement formel pour le développement d'applications bases de données
A Mammar
ANRT, 2004
312004
Combining UML with the B formal method for the specification of database applications
P Facon, R Laleau, A Mammar
CEDRIC Lab/CNAM, 1999
291999
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
262016
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
A Mammar, M Frappier, SJT Fotso, R Laleau
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
252018
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
242006
Efficient: a toolset for building trusted B2B transactions
A Mammar, S Ramel, B Grégoire, M Schmitt, N Guelfi
International Conference on Advanced Information Systems Engineering, 430-445, 2005
212005
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
SJT Fotso, M Frappier, R Laleau, A Mammar
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
202018
Formal verification of cloud resource allocation in business processes using event-b
S Boubaker, A Mammar, M Graiet, W Gaaloul
2016 IEEE 30th International Conference on Advanced Information Networking …, 2016
162016
UB2SQL: A tool for building database applications using UML and B formal method
A Mammar, R Laleau
Journal of Database Management (JDM) 17 (4), 70-89, 2006
162006
Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications
SJT Fotso, A Mammar, R Laleau, M Frappier
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
142018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20