Object oriented concepts identification from formal B specificationsAkram Idani; Yves Ledru · 2007

Dynamic graphical UML views from formal B specificationsAkram Idani; Yves Ledru · 2006

[IEEE 2011 Sixth International Conference on Availability, Reliability and Security (ARES) - Vienna, Austria (2011.08.22-2011.08.26)] 2011 Sixth International Conference on Availability, Reliability and Security - Evaluating RBAC Supported Techniques and their Validation and VerificationQamar, Nafees; Ledru, Yves; Idani, Akram · 2011

[IEEE 2006 30th Annual IEEE/NASA Software Engineering Workshop - Columbia, MD, USA (2006.04.24-2006.04.28)] 2006 30th Annual IEEE/NASA Software Engineering Workshop - A Reverse-Engineering Approach to Understanding B Specifications with UML DiagramsIdani, Akram; Ledru, Yves; Bert, Didier · 2006

[ACM Press the 16th ACM symposium - Innsbruck, Austria (2011.06.15-2011.06.17)] Proceedings of the 16th ACM symposium on Access control models and technologies - SACMAT '11 - Validation of security policies by the animation of Z specificationsLedru, Yves; Qamar, Nafees; Idani, Akram; Richier, Jean-Luc; Labiadh, Mohamed-Amine · 2011

[IEEE 2011 Conference on Network and Information Systems Security (SAR-SSI) - La Rochelle, France (2011.05.18-2011.05.21)] 2011 Conference on Network and Information Systems Security - From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements AnalysisLedru, Yves; Richier, Jean-Luc; Idani, Akram; Labiadh, Mohamed-Amine · 2011

[IEEE 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - Grenoble, France (2016.6.1-2016.6.3)] 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - Combining UML and B for the specification and validation of RBAC policies in business process activitiesChehida, Salim; Idani, Akram; Ledru, Yves; Kamel Rahmouni, Mustapha · 2016