| Intrusion detection systems: A cross-domain overview LN Tidjon, M Frappier, A Mammar IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019 | 144 | 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 | 115 | 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 | 67 | 2005 |
| Software vulnerabilities, prevention and detection methods: A review1 W Jimenez, A Mammar, A Cavalli Security in model-driven architecture 215995, 215995, 2009 | 57 | 2009 |
| 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 | 54 | 2006 |
| 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 | 49 | 2018 |
| 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 | 47 | 2000 |
| 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 | 41 | 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 | 37 | 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 | 35 | 2016 |
| Modeling a landing gear system in Event-B A Mammar, R Laleau International Journal on Software Tools for Technology Transfer 19, 167-186, 2017 | 33 | 2017 |
| 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 | 32 | 2006 |
| 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 | 31 | 2018 |
| Combining UML with the B formal method for the specification of database applications P Facon, R Laleau, A Mammar CEDRIC Lab/CNAM, 1999 | 31 | 1999 |
| Un environnement formel pour le développement d’applications base de données A Mammar These de doctorat, CNAM, Paris, France, 2002 | 29 | 2002 |
| 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 | 25 | 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 | 23 | 2006 |
| A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard A Mammar, M Frappier, SJ Tueno Fotso, R Laleau International Journal on Software Tools for Technology Transfer 22, 333-347, 2020 | 21 | 2020 |
| 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 | 21 | 2017 |
| 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 | 21 | 2005 |
