Concepedia

Akram Idani

AI

10

Publications

141

Citations

10

H-Index

2005

Active since

Affiliations

Université Joseph Fourier(Current)

Centre National de la Recherche Scientifique

Université Grenoble Alpes

Institut polytechnique de Grenoble

Laboratoire d'Informatique de Grenoble

Akram Idani is an author at Université Joseph Fourier specializing in systems engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringSoftware DesignSoftware AnalysisComputer ScienceProgram AnalysisSoftware EngineeringAutomated Reasoning

Publications per year

2005–2020

10

Publications

10

Dynamic graphical UML views from formal B specifications

Akram Idani, Yves Ledru · Information and Software Technology · 2005 · 23 citations

Data Modeling, Formal Specification, Engineering +11

Combining UML, ASTD and B for the formal specification of an access control filter

Jérémy Milhau, Akram Idani, Régine Laleau et al. · Innovations in Systems and Software Engineering · 2011 · 21 citations

Access Control Filter, Formal Specification, Engineering +9

Object Oriented Concepts Identification from Formal B Specifications

Akram Idani, Yves Ledru · Electronic Notes in Theoretical Computer Science · 2005 · 16 citations · Full text

Engineering, Object-oriented Modeling, Software Engineering +18

A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.

Akram Idani, Jean‐Louis Boulanger, Laurent Philippe · Computer Applications in Industry and Engineering · 2007 · 15 citations

Software Maintenance, Engineering, Uml Diagrams +26

Alliance of model-driven engineering with a proof-based formal approach

Akram Idani, Yves Ledru, Germán Vega · Innovations in Systems and Software Engineering · 2020 · 13 citations

Engineering, Formal Modeling, Automated Reasoning +8

Rows per page

1–5 of 10