| 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 | 101 | 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 | 64 | 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 | 51 | 2006 |
| 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 | 43 | 2000 |
| Software vulnerabilities, prevention and detection methods: A review1 W Jimenez, A Mammar, A Cavalli Security in model-driven architecture 215995, 215995, 2009 | 40 | 2009 |
| 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 | 31 | 2012 |
| 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 | 31 | 2006 |
| Un environnement formel pour le développement d'applications bases de données A Mammar ANRT, 2004 | 31 | 2004 |
| 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 | 30 | 2016 |
| Combining UML with the B formal method for the specification of database applications P Facon, R Laleau, A Mammar CEDRIC Lab/CNAM, 1999 | 29 | 1999 |
| 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 | 27 | 2017 |
| 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 | 26 | 2016 |
| 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 | 24 | 2006 |
| 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 | 23 | 2018 |
| 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 | 21 | 2005 |
| 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 | 19 | 2018 |
| Intrusion detection systems: A cross-domain overview LN Tidjon, M Frappier, A Mammar IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019 | 18 | 2019 |
| 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 | 15 | 2016 |
| 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 | 15 | 2006 |
| 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 | 14 | 2018 |
