Travelled to:1 × France
1 × Germany
1 × Portugal
Collaborated with:M.Frappier F.Gervais R.Laleau B.Fraikin M.E.Jiague P.Konopacki R.St.-Denis
Talks about:translat (1) systemat (1) function (1) process (1) generat (1) express (1) automat (1) symbol (1) polici (1) messag (1)
Person: Jérémy Milhau
DBLP: Milhau:J=eacute=r=eacute=my
Contributed to:
2010
20102009Wrote 3 papers:
- ICEIS-ISAS-2010-JiagueFGKLMS #functional #modelling #policy #security
- Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
- IFM-2010-MilhauFGL
- Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
- IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation
- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.