Akram Idani
Orcid: 0000-0003-2267-3639Affiliations:
- IMAG, Grenoble, France
According to our database1,
Akram Idani
authored at least 52 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
2023
Proceedings of the Risks and Security of Internet and Systems, 2023
Proceedings of the Coordination Models and Languages, 2023
, 2023
2022
Proceedings of the Research Challenges in Information Science, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022
2021
A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs.
Proceedings of the ESSE 2021: 2nd European Symposium on Software Engineering, Larissa, Greece, November 19, 2021
2020
Innov. Syst. Softw. Eng., 2020
Towards a model driven formal approach for merging data, access control and business processes.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Proceedings of the Software Architecture - 14th European Conference, 2020
Proceedings of the Software Architecture - 14th European Conference, 2020
2019
Proceedings of the 12th Transformation Tool Contest, 2019
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
2018
Proceedings of the Model and Data Engineering - 8th International Conference, 2018
2017
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017
2016
Ingénierie des Systèmes d Inf., 2016
Combining UML and B for the specification and validation of RBAC policies in business process activities.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
2015
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires.
Tech. Sci. Informatiques, 2015
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.
Trans. Petri Nets Other Model. Concurr., 2015
Int. J. Inf. Syst. Model. Des., 2015
Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
2014
Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure.
Ingénierie des Systèmes d Inf., 2014
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014
2013
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013
2011
Innov. Syst. Softw. Eng., 2011
Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
Proceedings of the Sixth International Conference on Availability, 2011
2010
Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B.
Ingénierie des Systèmes d Inf., 2010
2009
Linking Paradigms in Safety Critical Systems.
Int. J. Comput. Their Appl., 2009
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B.
Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009
Proceedings of the Enterprise, 2009
2008
Towards Reverse-Engineering of UML Views from Structured Formal Developments.
Proceedings of the ICEIS 2008, 2008
2007
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.
Tech. Sci. Informatiques, 2007
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.
Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, 2007
2006
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. (B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments).
PhD thesis, 2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information.
Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006
2005
Proceedings of the Formal Methods and Software Engineering, 2005
2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004