Publications


Mes publis sur :     DBLP   /   La page de VASCO  /   La base biblio du LIG
 
Chapitre de livre (2)
  1. J.-L Boulanger, A. Rasse and A. Idani., Models Oriented Approach for developing railway safety-critical systems with UML. Handbook of Software Engineering Research and Productivity Technologies: Implications of Globalisation. M. Ramachandran & R. Atem de Carvalho (Eds.). Engineering Science Reference, IGI Global. August 2009, ISBN: 978-1-60566-731-7. (27 pages)
     
  2. A. Idani., B2UML vs UML2B: Bridging the gap between formal and graphical software modelling paradigms. Computer Software Engineering Research., Chapter 6. Pages 161 - 177. Nova Science Publishers, USA, 2007. ISBN: 1-60021-774-5. (18 pages)
Revues internationales avec comité de rédaction (4)
  1. J. Milhau, A. Idani, R. Laleau, M.-A. Labiadh, Y. Ledru and M. Frappier Combining UML and B for the Formal Specification of an Access Control Filter. In International NASA Journal on Innovations in Systems and Software Engineering (ISSE). Special Issue of UML&FM 2011 workshop. To appear. 
     
  2. A. Idani, J.-L. Boulanger and L. Philippe. Linking paradigms in safety critical systems. In International Journal of Computers and their Applications (IJCA). Special Issue on the Application of Computer Technology to Public Safety and Law Enforcement. Volume 16, number 2. Pages 111 - 120. ISCA June 2009. (10 pages). 
     
  3. A. Idani and Y. Ledru. Object Oriented Concepts Identification from Formal B Specifications. In International Journal of Formal Methods in System Design. Volume 30 (3). pages 217 - 232. Springer. June 2007. (16 pages). Numéro spécial FMICS'04/FMSD. [pdf].
    Acceptance rate : 17%.
     
  4. A. Idani and Y. Ledru. Dynamic Graphical UML Views from Formal B Specifications. In International Journal of Information and Software Technology. Volume 48 (3). pages 154 - 169. Elsevier, March 2006. (16 pages).
    [pdf, elsevier, bibtex]. Acceptance rate : 30%.  
Revues Nationales avec comité de rédaction (2)
  1. A. Idani, M.-A. Labiadh, Y. Ledru. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. RSTI - Ingénierie des Systèmes d'Information (ISI). Volume 15 (3), Hermes-Lavoisier 2010. Numéro spécial INFORSID'09/ISI.
     
  2. A. Idani, Y. Ledru and D. 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. RSTI - Technique et Science Informatiques (TSI). Volume 26 (7), pages 819 - 851. Hermes-Lavoisier, 2007. Numéro spécial AFADL'06/TSI, (33 pages). Acceptance rate : 16%.
Conférences et Workshops Internationaux avec comité de sélection (13)
  1. N. Qamar, Y. Ledru, and A. Idani. Validation of Security-Design Models Using Z. In 13th International Conference on Formal Engineering Methods (ICFEM'2011). Springer, LNCS. Durham, United Kingdom. October 2011. Note: To appear.
     
  2. N. Qamar, Y. Ledru, and A. Idani. Evaluating RBAC Supported Techniques and Their Validation and Verification. In 5th International Workshop on Secure Software Engineering (SecSE'11), in conjunction with 6th IEEE International Conference on Availability, Reliability and Security (ARES'11). Vienna, Austria, Août 2011
     
  3. Y. Ledru, J.-L. Richier, A. Idani, and M.-A. Labiadh. From KAOS to RBAC: a Case Study in Designing Access Control Rules from a Requirements Analysis. Proceedings of the 6th Conf. on Network Architectures and Information Systems Security (SAR-SSI'2011), IEEE. France, 18-21 Mai 2011.
     
  4. Y. Ledru, A. Idani, J. Milhau, N. Qamar, R. Laleau, J.-L. Richier, and M.-A. Labiadh. Taking into account functional models in the validation of IS security policies. In International Workshop on Information Systems Security Engineering (WISSE'11), associated with CAiSE'11, London, UK, Juin 2011.
     
  5. Y. Ledru, N. Qamar, A. Idani, J.-L. Richier, M.-A. Labiadh. Validation of security policies by the animation of Z specifications. Proceedings of the 16th ACM symposium on Access control models and technologies (SACMAT'2011). Austria, 15-17 June 2011. Pages 155-164. [pdf].(Acceptance rate: 31%).
     
  6. M. Lahami, M. Krichen, A. Idani and M. Jmaiel. A generic process to build reliable distributed software components from early to late stages of software development. 6th International Conference on Computer Engineering and Systems (ICCES), Egypt. November, 2010. Pages 287 - 292. IEEE CS Press. (6 pages, acceptance rate: 57/127 = 45%)
     
  7. A. Idani. UML models engineering from static and dynamic aspects of formal specifications. Enterprise, Business-Process and Information Systems Modeling, 14th International Conference EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands. June 8-9, 2009. Pages 237 - 250. Springer, LNBIP. (14 pages, acceptance rate : 44%).
     
  8. A. Idani and B. Coulette. Towards reverse-engineering of UML views from structured formal developments. Proceedings of 10th International Conference on Enterprise Information Systems (ICEIS'08), pages 94-103. June 2008, Barcelona, Spain. (10 pages full paper ; Acceptance rate : 10%).
     
  9. A. Idani, J.-L Boulanger and L. 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. November 2007, USA. (8 pages).
     
  10. A. Idani, D.-D. Okalas Ossami and J.-L Boulanger. Commandments of UML for safety. 2nd IEEE International Conference on Software Engineering Advances (ICSEA'2007). Aout 2007, France, IEEE CS Press, (6 pages). [pdf] (Acceptance rate : 32%)
     
  11. A. Idani, Y. Ledru and D. Bert. A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop. April 2006. Loyola College Graduate Center, USA., pages 97-106. IEEE CS Press. (10 pages). [bibtex, pdf]
     
  12. A. Idani, Y. Ledru and D. Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods (ICFEM 2005). Volume 3785 of LNCS , Springer-Verlag, pages 37-51, Manchester, UK, November 2005. (15 pages). [bibtex].
     
  13. A. Idani and Y. Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004 - In conjunction with 19th IEEE Intl. Conf. on Automated Software Engineering), volume 133 of ENTCS , pages 159-174. Elsevier, Linz, Austria, 2005. (16 pages). [pdf, entcs, bibtex]
Conférences nationales / francophones avec comité de sélection (5)
  1. M.-A. Labiadh, A. Idani, Y. Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL - 2010). Juin 2010. (16 pages). Accepté.
     
  2. A. Idani, Y. Ledru, M.-A. Labiadh. Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. Dans actes du 27ème congrès INFORSID. Pages 261 - 276. Toulouse. Mai 2009. (16 pages). Acceptance rate : 30%.
     
  3. A. Idani, Y. Ledru and P.-Y. Schobbens. Approche formelle pour une Ingénierie des modèles sûre. In workshop LMO/SafeModels, Mars 2009. 5 pages.
     
  4. A. 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. Dans actes du 24 ème congrès INFORSID. Mai/Juin 2006. (17 pages). Acceptance rate : 40%.
     
  5. A. Idani, Y. Ledru and D. Bert. Analyse formelle de concepts pour la génération de diagrammes de classes UML à partir de spécifications B. Dans actes de la 7ème conférence AFADL - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris. Mars 2006. (15 pages).
Thèse de doctorat
  1. A. Idani. B/UML : Mise en relation de specifications B et de descriptions UML pour l'aide a la validation externe de developpements formels en B. These de doctorat, Universite Joseph Fourier. Novembre 2006. [Telecharger] [Rapport de soutenance]  
Rapports de recherche (1)
  1. D.-D. Okalas Ossami and A. Idani. Couplage de notations UML et B: Aperçu de l'existant. Rapport WP0 (Work Package 0) du projet SAFECODE, Février 2007. (41 pages).