Publications de Akram Idani

Load the BibTeX file

Thèses et habilitations à diriger les recherches

  1. Akram Idani. B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. Thèse de l'Université de Grenoble 1, Novembre 2006. details download

Articles de journaux

  1. Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of IS Security Policies featuring Authorisation Constraints. International Journal of Information System Modeling and Design (IJISMD), 2014. details
  2. J. Milhau, A. Idani, R. Laleau, M. A. Labiadh, Y. Ledru, M. Frappier. Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng, 7:303-313, Décembre 2011. details doi doi
  3. Akram Idani, Mohamed-Amine Labiadh, Yves Ledru. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d'Information, 15(3):87-112, 2010. details
  4. Akram Idani, Jean-Louis Boulanger, Laurent Philippe. Linking paradigms in safety critical systems. International Journal of Computers and their Applications (IJCA), Special Issue on the Application of Computer Technology to Public Safety and Law Enforcement, 16(2):111-120, Juin 2009. details
  5. Akram Idani, Yves Ledru, Didier Bert. Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. Technique et Science Informatiques, RSTI, série TSI, 26, 2007. details
  6. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. International Journal of Formal Methods in System Design, 30(3):217-232, Juin 2007. details download
  7. Akram Idani, Yves Ledru. Dynamic Graphical UML Views from Formal B Specifications. Int. Journal of Information and Software Technology, 48(3):154-169, Mars 2006. details

Chapitres de livres

  1. Jean-Louis Boulanger, Alban Rasse, Akram Idani. Models Oriented Approach for developing railway safety-critical systems with UML. In Handbook of Software Engineering Research and Productivity Technologies: Implications of Globalisation, Chapter 19, Information Science Reference, IGI Global, pp. 305-330, 2009. details
  2. Akram Idani. B2UML vs UML2B: Bridging the gap between formal and graphical software modelling paradigms. In Computer Software Engineering Research, Chapter 6, pp. 161-177, 2007. details

Conférences internationales

  1. Amira Radhouani, Akram Idani, Yves Ledru. Extraction of Insider Attack Scenarios for a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, Véronique Cortier, Riadh Robbana (eds.), Volume 1158, Pages 5-19, 2014. details
  2. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.), LNCS, Volume 8477, Pages 124-129, 2014. details
  3. Akram Idani, Yves Ledru, Adil Anwar. A rigorous reasoning about model transformations using the B method. In International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD'2013), held at CAiSE 2013, Pages 426-440, Valencia, Spain, Juin 2013. details
  4. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Validation of Security-Design Models using Z. In Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Volume 6991, Pages 259-274, Durham, United Kingdom, Octobre 2011. details
  5. Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh. From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis. In Conference on Network and Information Systems Security (SAR-SSI 2011), Pages 157-164, La Rochelle, France, Mai 2011. details download
  6. Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications. In SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Ruth Breu, Jason Crampton, Jorge Lobo (eds.), Pages 155-164, Innsbruck, Austria, 2011. details
  7. Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel. A generic process to build reliable distributed software components from early to late stages of software development. In Sixth IEEE International Conference on Computer Engineering and Systems (ICCES'10), Pages 287-292, Cairo, Egypt, Novembre 2010. details
  8. Akram Idani. UML models engineering from static and dynamic aspects of formal specifications. In 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design ; co-located with CAiSE'2009, Springer, LNBIP, Volume 29, Pages 237-250, Amsterdam, The Netherlands, Juin 2009. details
  9. Akram Idani, Bernard Coulette. Towards reverse-engineering of UML views from structured formal developments. In 10th International Conference on Enterprise Information Systems (ICEIS'08), Pages 94-103, Spain, 2008. details
  10. Akram Idani, Jean-Louis Boulanger, Laurent Philippe. A generic process and its tool support towards combining UML and B for safety critical systems. In Proceedings of 20th International Conference on Computer Applications in Industry and Engineering (CAINE'2007), Pages 185-192, USA, Novembre 2007. details
  11. Akram Idani, Dieu-Donné Okalas Ossami, Jean-Louis Boulanger. Commandments of UML for safety. In 2nd IEEE International Conference on Software Engineering Advances (ICSEA'2007), France, Août 2007. details
  12. Akram Idani, Yves Ledru, Didier Bert. A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, Avril 2006. details
  13. Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, Novembre 2005. details
  14. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, Pages 159-174, Linz, Septembre 2004. details download

Communications avec actes

  1. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaire. In Actes de la Conférence AFADL'14: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 1-15, Paris, 2014. details
  2. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo). In Actes de la Conférence AFADL'13: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 85-89, Nancy, 2013. details
  3. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Evaluating RBAC Supported Techniques and Their Validation and Verification. In Fifth International Workshop on Secure Software Engineering (SecSE'11) in conjunction with 6th IEEE International Conference on Availability, Reliability and Security (ARES'11), Pages 734-739, Vienna, Austria, Août 2011. details
  4. Y. Ledru, A. Idani, J. Milhau, M.-N. Qamar, R. Laleau, J.-L. Richier, M.-A. Labiadh. Taking into account functional models in the validation of IS security policies. In WISSE 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Camille Salinesi, Oscar Pastor (eds.), Lecture Notes in Business Information Processing, Volume 83, Pages 592-606, London, UK, 2011. details
  5. Mohamed-Amine Labiadh, Akram Idani, Yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 197-212, Poitiers, Juin 2010. details
  6. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. In INFORSID 2009, Pages 261-276, Toulouse, Mai 2009. details
  7. Akram Idani. Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des systèmes d'information : Approche par méta-modélisation. In Actes du 24ème congrès INFORSID, Tunisie, Juin 2006. details
  8. Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 9-24, ENST, Paris, Mars 2006. details

Autres communications

  1. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 211-211, Nancy, France, 2013. details
  2. Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009. details download

Cette page a été générée automatiquement par bib2html.