Search

Your search keyword '"Idani, Akram"' showing total 132 results
Start Over Author "Idani, Akram"
132 results on '"Idani, Akram"'

1. An Iterative Formal Model-Driven Approach to Railway Systems Validation

Author

Yar, Asfand, Idani, Akram, Ledru, Yves, Collart-Dutilleul, Simon, Mammar, Amel, Vega, German, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bai, Guangdong, editor, Ishikawa, Fuyuki, editor, Ait-Ameur, Yamine, editor, and Papadopoulos, George A., editor

Published
2025
Full Text
View/download PDF

2. Transpilation of Petri-nets into B : Shallow and Deep Embeddings

Author

Idani, Akram, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bonfanti, Silvia, editor, Gargantini, Angelo, editor, Leuschel, Michael, editor, Riccobene, Elvinia, editor, and Scandurra, Patrizia, editor

Published
2024
Full Text
View/download PDF

3. A Process-Centric Approach to Insider Threats Identification in Information Systems

Author

Idani, Akram, Ledru, Yves, Vega, German, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Ait Wakrime, Abderrahim, editor, Navarro-Arribas, Guillermo, editor, Cuppens, Frédéric, editor, Cuppens, Nora, editor, and Benaini, Redouane, editor

Published
2024
Full Text
View/download PDF

4. A Formal MDE Framework for Inter-DSL Collaboration

Author

Chehida, Salim, Idani, Akram, Cortes-Cornax, Mario, Vega, German, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Jongmans, Sung-Shik, editor, and Lopes, Antónia, editor

Published
2023
Full Text
View/download PDF

6. Revisiting Ontology Evolution Patterns : A Formal xDSL Approach

Author

Idani, Akram, Djedidi, Rim, Vega, German, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Fournier-Viger, Philippe, editor, Hassan, Ahmed, editor, Bellatreche, Ladjel, editor, Awad, Ahmed, editor, Ait Wakrime, Abderrahim, editor, Ouhammou, Yassine, editor, and Ait Sadoune, Idir, editor

Published
2022
Full Text
View/download PDF

8. Merging Railway Standard Notations in a Formal DSL-Based Framework

Author

Yar, Asfand, Idani, Akram, Collart-Dutilleul, Simon, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Muccini, Henry, editor, Avgeriou, Paris, editor, Buhnova, Barbora, editor, Camara, Javier, editor, Caporuscio, Mauro, editor, Franzago, Mirco, editor, Koziolek, Anne, editor, Scandurra, Patrizia, editor, Trubiani, Catia, editor, Weyns, Danny, editor, and Zdun, Uwe, editor

Published
2020
Full Text
View/download PDF

9. Dependability of Model-Driven Executable DSLs : Critical Review and Solutions

Author

Idani, Akram, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Muccini, Henry, editor, Avgeriou, Paris, editor, Buhnova, Barbora, editor, Camara, Javier, editor, Caporuscio, Mauro, editor, Franzago, Mirco, editor, Koziolek, Anne, editor, Scandurra, Patrizia, editor, Trubiani, Catia, editor, Weyns, Danny, editor, and Zdun, Uwe, editor

Published
2020
Full Text
View/download PDF

10. Meeduse: A Tool to Build and Run Proved DSLs

Author

Idani, Akram, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dongol, Brijesh, editor, and Troubitsyna, Elena, editor

Published
2020
Full Text
View/download PDF

13. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs : − Application to a Railway System −

Author

Idani, Akram, Ledru, Yves, Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Collart-Dutilleul, Simon, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Larsen, Kim Guldstrand, editor, and Willemse, Tim, editor

Published
2019
Full Text
View/download PDF

14. A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules

Author

Ledru, Yves, Idani, Akram, Ben Ayed, Rahma, Ait Wakrime, Abderrahim, Bon, Philippe, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Collart-Dutilleul, Simon, editor, Lecomte, Thierry, editor, and Romanovsky, Alexander, editor

Published
2019
Full Text
View/download PDF

15. Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation

Author

Idani, Akram, Ledru, Yves, Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Bon, Philippe, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Collart-Dutilleul, Simon, editor, Lecomte, Thierry, editor, and Romanovsky, Alexander, editor

Published
2019
Full Text
View/download PDF

17. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B

Author

Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Collart-Dutilleul, Simon, Ledru, Yves, Idani, Akram, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Golfarelli, Mattéo, editor, Méry, Dominique, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

18. When a Formal Model Rhymes with a Graphical Notation

Author

Idani, Akram, Stouls, Nicolas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Canal, Carlos, editor, and Idani, Akram, editor

Published
2015
Full Text
View/download PDF

22. Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling

Author

Radhouani, Amira, Idani, Akram, Ledru, Yves, Ben Rajeb, Narjes, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Koutny, Maciej, editor, Desel, Jörg, editor, and Haddad, Serge, editor

Published
2015
Full Text
View/download PDF

23. B for Modeling Secure Information Systems : The B4MSecure Platform

Author

Idani, Akram, Ledru, Yves, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Conchon, Sylvain, editor, and Zaïdi, Fatiha, editor

Published
2015
Full Text
View/download PDF

24. B Formal Validation of ERTMS/ETCS Railway Operating Rules

Author

Ayed, Rahma Ben, Collart-Dutilleul, Simon, Bon, Philippe, Idani, Akram, Ledru, Yves, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Ait Ameur, Yamine, editor, and Schewe, Klaus-Dieter, editor

Published
2014
Full Text
View/download PDF

26. A Rigorous Reasoning about Model Transformations Using the B Method

Author

Idani, Akram, Ledru, Yves, Anwar, Adil, van der Aalst, Wil, editor, Mylopoulos, John, editor, Rosemann, Michael, editor, Shaw, Michael J., editor, Szyperski, Clemens, editor, Nurcan, Selmin, editor, Proper, Henderik A., editor, Soffer, Pnina, editor, Krogstie, John, editor, Schmidt, Rainer, editor, Halpin, Terry, editor, and Bider, Ilia, editor

Published
2013
Full Text
View/download PDF

28. Validation of Security-Design Models Using Z

Author

Qamar, Nafees, Ledru, Yves, Idani, Akram, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Qin, Shengchao, editor, and Qiu, Zongyan, editor

Published
2011
Full Text
View/download PDF

29. UML Models Engineering from Static and Dynamic Aspects of Formal Specifications

Author

Idani, Akram, van der Aalst, Will, Series editor, Mylopoulos, John, Series editor, Sadeh, Norman M., Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Halpin, Terry, editor, Krogstie, John, editor, Nurcan, Selmin, editor, Proper, Erik, editor, Schmidt, Rainer, editor, Soffer, Pnina, editor, and Ukor, Roland, editor

Published
2009
Full Text
View/download PDF

30. Derivation of UML Class Diagrams as Static Views of Formal B Developments

Author

Idani, Akram, Ledru, Yves, Bert, Didier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lau, Kung-Kiu, editor, and Banach, Richard, editor

Published
2005
Full Text
View/download PDF

37. Dependability of Model-Driven Executable DSLs

Author

Idani, Akram, Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), and Université Grenoble Alpes (UGA)

Subjects
[INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2020
Full Text
View/download PDF

46. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs

Author

Idani, Akram, Ledru, Yves, Ait Wakrime, Abderrahim, Ben Ayed, Rahma, Collart-Dutilleul, Simon, Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR), and Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-PRES Université Paris-Est

Subjects
[INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2019
Full Text
View/download PDF

47. Mise en œuvre d’une approche formelle en ingénierie des modèles

Author

Idani, Akram, Laboratoire d'Informatique de Grenoble (LIG ), and Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])

Subjects
Méthodes formelles, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Intégration de méthodes, IDM, Animation visuelle
Abstract

International audience; L’ingénierie des modèles (IDM) prone l’utilisation de modèles tout au long du cycle de développement de logiciels dans le but d’augmenter le niveau d’abstraction et réduire ainsi la complexité du logiciel. L’intérêt de cette ap- proche est qu’elle permet d’avoir une séparation claire des préoccupations allant de modèles d’exigences jusqu’à la mise en oeuvre dans des plateformes cibles, tout en passant par les divers modèles de conception. Cependant, une limitation majeure de l’IDM est le manque d’outils de raisonnement formel permettant de garantir la correction des modèles issus des différents niveaux d’abstraction. En effet, la plupart des activités de validation offertes par les outils IDM d’au- jourd’hui (en l’occurrence EMF, Eclipse Modeling Framework) sont basées sur la vérification de contraintes OCL à partir d’instances de méta-modèles sans pour autant garantir que ces instances se comportent conformément aux proprié- tés attendues. Dans ce travail, nous présentons un outil dédié à réduire le fossé entre l’IDM et le monde rigoureux des méthodes formelles. L’outil repose sur la traduction de méta-modèles EMF en une spécification B équivalente et permet l’injection de modèles dans cette même spécification. Cette technique vise à tirer pleinement profil d’outils de raisonnements formels tels que les outils de preuve et de model-checking. Il devient en effet possible de spécifier le comportement du modèle EMF en B ainsi que ses propriétés invariantes. L’AtelierB sera uti- lisé pour prouver la correction de ce comportement, et le model-checker ProB sera utilisé pour animer des scénarios d’exécution sous-jacents et les remonter au niveau du modèle EMF de départ.

Published
2018

48. Model driven secure web applications: The SeWAT platform

Author

Idani, Akram, Laboratoire d'Informatique de Grenoble (LIG ), and Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])

Subjects
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Access Control, MDS, Security, Web Technologies, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract

International audience; Model driven security (MDS) is a well known approach in the access control domain. It proposes a security-by-design approach intended to link the encoded policy to the security policy modeling. However, this technique does not tie in the specificity and heterogeneity of web applications and hence the proposed model-to-code transformation doesn't fit the needs of web architects. Consequently, web applications are mainly hand-coded, or correspond to legacy code developed before the implementation of security mechanisms. Security concerns are mixed with the application code and hence it is difficult to understand the policy in order to maintain, correct, or evolve it. This work deals with access control mechanisms following the RBAC pattern. Our work proposes a toolset dedicated to modeling and deployment of an acces control engine for a web application assuming that the functional part of the application is developed following a classical process. Our technique tries to reconcile modeling, validation and implementation of role-based security policies, and favours model driven security in the context of web applications. The toolset allows developers to graphically model an MVC web application by making links to its requirements and then generates a security filter from the web application's model. This technique guaranties that the deployed access control policy is conformant to its specification and associated validation activities.

Published
2017
Full Text
View/download PDF

49. GenISIS : un outil de recherche d’attaques d’initié en Systèmes d’Information (Article court)

Author

Radhouani, Amira, Idani, Akram, Ledru, Yves, Ben Rajeb, Narjes, Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Laboratoire d'Informatique, de Parallélisme et de Productique (LIP2), Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (FST), and Université de Tunis El Manar (UTM)-Université de Tunis El Manar (UTM)

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ComputingMilieux_MISCELLANEOUS
Abstract

National audience

Published
2016

50. Extensions du diagramme d'activité pour la spécification de politiques RBAC

Author

Chehida, Salim, Idani, Akram, Ledru, Yves, Rahmouni, Mustapha, Laboratoire d'Informatique de Grenoble (LIG ), and Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])

Subjects
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ComputingMilieux_MISCELLANEOUS
Abstract

National audience

Published
2016

Catalog

Books, media, physical & digital resources
See catalog results