Zeineb Zhioua

Zeineb Zhioua

Institut Eurecom École d'Ingénieurs en Systemes de Communication - Biot Sophia-Antipolis / France
Others
AD Scientific Index ID: 5406506
Institut Eurecom School of Communication Systems Engineering
person_outline Zeineb Zhioua's MOST POPULAR ARTICLES
1-) Static code analysis for software security verification: Problems and approachesZ Zhioua, S Short, Y Roudier2014 IEEE 38th International Computer Software and Applications Conference …, 2014452014
2-) Security guidelines: Requirements engineering for verifying code qualityZ Zhioua, Y Roudier, S Short, RB Ameur2016 IEEE 24th International Requirements Engineering Conference Workshops …, 201692016
3-) Formal specification and verification of security guidelinesZ Zhioua, Y Roudier, RB Ameur2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 201782017
4-) Towards the verification and validation of software security properties using static code analysisZ Zhioua, S Short, Y RoudierInt. J. Comput. Sci. Theor. App 2 (2), 23-34, 201462014
5-) Framework for the formal specification and verification of security guidelinesZ Zhioua, R Ameur-Boulifa, Y RoudierAdv. Sci. Technol. Eng. Syst.(ASTES) J 3, 38-48, 201852018