Travelled to:1 × Cyprus
1 × France
1 × Germany
1 × Portugal
1 × The Netherlands
Collaborated with:M.Frappier R.Laleau J.Milhau P.Batanado M.E.Jiague P.Konopacki R.St.-Denis
Talks about:transact (2) function (2) attribut (2) synthes (2) definit (2) databas (2) relat (2) translat (1) systemat (1) generat (1)
Person: Frédéric Gervais
DBLP: Gervais:Fr=eacute=d=eacute=ric
Contributed to:
2010
201020062005
2005Wrote 5 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.
- ICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction
- EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.
- IFM-2005-GervaisFL #specification
- Synthesizing B Specifications from EB3 Attribute Definitions (FG, MF, RL), pp. 207–226.
- SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
- Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.