Concepedia

Jérémy Milhau

JM

2

Publications

32

Citations

2

H-Index

2011

Active since

Affiliations

Laboratoire d'Informatique de Grenoble(Current)

Université Grenoble Alpes

Centre National de la Recherche Scientifique

Jérémy Milhau is an author at Laboratoire d'Informatique de Grenoble specializing in engineering, formal verification, and systems engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringSecurityData PrivacyVerificationData SecurityAccess Control

Publications per year

2011–2015

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 IS Security Policies Featuring Authorisation Constraints

Yves Ledru, Akram Idani, Jérémy Milhau et al. · International Journal of Information System Modeling and Design · 2015 · 11 citations

Functional Models, Engineering, Information Security +20

Rows per page

1–2 of 2