- 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)
- 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)
|
- 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) |
- 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
- 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.
- 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.
- 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).
- 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%.
- 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) |
- 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.
- 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.
- 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.
- 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.
- 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 (22) |
- A. Idani.,
Model driven secure web applications - the SeWAT platform.
In ACM Conference on the Engineering of Computer-Based Systems (ECBS), ECBS 2017, Larnaca - Cyprus. (Selection rate 38%).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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%).
- 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.
- 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.
- 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
- 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.
- 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.
- 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%).
- 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%)
- 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%).
- 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%).
- 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).
- 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%)
- 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]
- 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].
- 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 (9) |
-
A. Radhouani, A. Idani, Y. Ledru, and N. Ben Rajeb.
GenISIS : un outil de recherche d’attaques d’initié en Systèmes d’Information
.
Actes de la Conférence AFADL’16 : Approches Formelles dans l’Assistance au Développement de Logiciels, Pages 19-26, Besançon, juin 2016.
-
S. Chehida, A. Idani, Y. Ledru, and M. Kamel Rahmouni.
Extensions du diagramme d’activité pour contrôler l’accès au SI
.
INFORSID 2015, Pages 151-165, Biarritz, Mai 2015.
-
R. Ben Ayed, S. Collart-Dutilleul, P. Bon, Y. Ledru, and A. Idani.
Modélisation et validation formelle des règles d’exploitation ferroviaires
.
Actes de la Conférence AFADL’14 : Approches Formelles dans l’Assistance au Développement de Logiciels, Pages 1-15, Paris, juin 2014.
- 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.
- 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).
- 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%.
- 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.
- 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%.
- 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).
- 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) |
- 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).
|