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)
Edition de proceedings (1)
  1. C. Canal, A. Idani., Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8938, Springer 2015, ISBN 978-3-319-15200-4
Revues internationales avec comité de rédaction (6)
  1. A. Radhouani, A. Idani, Y. Ledru, N. Ben-Rajeb., Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), volume 10, pages 131-152, 2015
     
  2. Y. Ledru, A. Idani, J. Milhau, N. Qamar, R. Laleau, J.-L. Richier, M.-A. Labiadh Validation of IS Security Policies Featuring Authorisation Constraints. International Journal of Information System Modeling and Design (IJISMD), Volume 6, number 1, pages 24-46, 2015.
     
  3. 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. Volume 7, number 4.  
     
  4. 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). 
     
  5. 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%.
     
  6. 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 (5)
  1. S. Chehida, A. Idani, Y. Ledru, M.-K. Rahmouni, Extensions du diagramme d'activité pour la spécification de politiques RBAC. Ingénierie des Systèmes d'Information, volume 21, num 2, pages 11-37, 2016.
     
  2. R. Ben-Ayed, S. Collart-Dutilleul, P. Bon, Y. Ledru, A. Idani., Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Technique et Science Informatiques, volume 34, num 5, pages 495-521, 2015.
     
  3. A. Idani, Y. Ledru, A. Radhouani, Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information - Plateforme B4MSecure. Ingénierie des Systèmes d'Information, Volume 19, num 6, pages 33-61, 2014.
     
  4. 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.
     
  5. 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 (21)
  1. S. Chehida, A. Idani, Y. Ledru, M.-K. Rahmouni., Combining UML and B for the specification and validation of RBAC policies in business process activities. In 10th IEEE International Conference on Research Challenges in Information Science (RCIS), IEEE 2016.
     
  2. A. Idani, Y. Ledru., B for Modeling Secure Information Systems - The B4MSecure Platform. In 17th International Conference on Formal Engineering Methods, ICFEM 2015. LNCS 9407, Springer 2015, pages 312-318.
     
  3. Y. Ledru, A. Idani, J.-L. Richier., Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015.
     
  4. A. Radhouani, A. Idani, Y. Ledru, N. Ben-Rajeb., Extraction of Insider Attack Scenarios from a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, volume 1158, CEUR-WS.org 2014.
     
  5. R. Ben-Ayed, S. Collart-Dutilleul, P. Bon, A. Idani, Y. Ledru., B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. LNCS 8477, Springer 2014, pages 124-129.
     
  6. A. Idani, N. Stouls. When a Formal Model Rhymes with a Graphical Notation. In 1st International Workshop on Human-Oriented Formal Methods, collocated with SEFM 2014. Springer, LNCS 8938, pages 54-68, 2014.
     
  7. A. Idani, Y. Ledru and A. 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, Valencia, Spain. June 2013. To appear (15 pages, acceptance rate : 38%).
     
  8. A. Anwar, A. Benelallam, A. Idani, B. Coulette and M. Nassar. A Graphical Specification of Model Composition With Triple Graph Grammars. In International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'2012), associated with IEEE/ACM ASE'12. Springer, LNCS. Essen, Germany. September 2012.
     
  9. 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, volume 6991. Durham, United Kingdom. October 2011.
     
  10. 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
     
  11. 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.
     
  12. 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.
     
  13. 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%).
     
  14. 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%)
     
  15. 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%).
     
  16. 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%).
     
  17. 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).
     
  18. 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%)
     
  19. 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]
     
  20. 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].
     
  21. 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 (6)
  1. A. Idani, Y. Ledru, M.-A. Labiadh. B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL - 2013). Avril 2013. Nancy, France.
     
  2. 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).
     
  3. 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%.
     
  4. 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.
     
  5. 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%.
     
  6. 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).