Concepedia

Mohamed-Amine Labiadh

ML

Statistics

Publications

2

Citations

33

H-Index

2

Active since

2011

Affiliations

Université Grenoble Alpes(Current)

Université Joseph Fourier

Centre National de la Recherche Scientifique

Institut polytechnique de Grenoble

Mohamed-Amine Labiadh is an author at Université Grenoble Alpes specializing in formal methods, systems engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringSecurityCryptographyData PrivacyVerificationData Security

Publications per year

2011–2011

2

Publications

2

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

Validation of security policies by the animation of Z specifications

Yves Ledru, Akram Idani, Jean-Luc Richier et al. · 2011 · 12 citations

Engineering, Information Security, Verification +22

1–2 of 2