Jérémy Milhau

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Venues

Formal Aspects Comput.

Int. J. Inf. Syst. Model. Des.

ACM SIGSOFT Softw. Eng. Notes

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of IS Security Policies Featuring Authorisation Constraints. Int. J. Inf. Syst. Model. Des. 6 (1) (2015)
Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
Refinement patterns for ASTDs. Formal Aspects Comput. 26 (5) (2014)
Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Jérémy Milhau, Marc Frappier, Régine Laleau
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS (2011)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops (2011)
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier
Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. 7 (4) (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
A Four-concern-oriented Secure IS Development Approach. SECRYPT (2011)
Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
Systematic Translation Rules from astd to Event-B. IFM (2010)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
Model-driven Engineering of Functional Security Policies. ICEIS (3) (2010)
Jérémy Milhau, Benoît Fraikin, Marc Frappier
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM (2009)

Jérémy Milhau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jérémy Milhau