Jérémy Milhau

Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier: Refinement patterns for ASTD. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

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. ISSE 7(4): 303-313 (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: 592-606

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

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: 464-471

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: 374-379

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

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