Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. - Jérémy Milhau; Benoît Fraikin; Marc Frappier (IFM, 2009)

Model-driven Engineering of Functional Security Policies. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (ICEIS (3), 2010)

Systematic Translation Rules from astd to Event-B. - Jérémy Milhau; Marc Frappier; Frédéric Gervais; Régine Laleau (IFM, 2010)

Taking into Account Functional Models in the Validation of IS Security Policies. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (CAiSE Workshops, 2011)

A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. - Jérémy Milhau; Marc Frappier; Régine Laleau (FPS, 2011)

A Four-concern-oriented Secure IS Development Approach. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (SECRYPT, 2011)

Combining UML, ASTD and B for the formal specification of an access control filter. - Jérémy Milhau; Akram Idani; Régine Laleau; Mohamed-Amine Labiadh; Yves Ledru; Marc Frappier (Innov. Syst. Softw. Eng., 2011)

Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. (A formal integration of access control policies into information systems). - Jérémy Milhau (2011)

Refinement patterns for ASTD. - Jérémy Milhau; Frédéric Gervais; Régine Laleau; Marc Frappier (ACM SIGSOFT Softw. Eng. Notes, 2012)

Refinement patterns for ASTDs. - Marc Frappier; Frédéric Gervais; Régine Laleau; Jérémy Milhau (Formal Aspects Comput., 2014)

Validation of IS Security Policies Featuring Authorisation Constraints. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (Int. J. Inf. Syst. Model. Des., 2015)