Frdric Gervais
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2005–2011
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICECCS | A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. | Abderrahman Matoussi, Frdric Gervais, Rgine Laleau |
| 2011 | SECRYPT | A Four-concern-oriented Secure IS Development Approach. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Pierre Konopacki, Rgine Laleau, Jrmy Milhau, Richard St-Denis |
| 2010 | IFM | Systematic Translation Rules from astd to Event-B. | Jrmy Milhau, Marc Frappier, Frdric Gervais, Rgine Laleau |
| 2010 | WISE | From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Rgine Laleau, Richard St-Denis |
| 2007 | RCIS | Synthesizing Information Systems: the APIS Project. | Marc Frappier, Benot Fraikin, Frdric Gervais, Rgine Laleau, Mario Richard |
| 2005 | IFM | Synthesizing B Specifications from EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2005 | SEFM | Generating Relational Database Transactions From Recursive Functions Defined on EB | Frdric Gervais, Marc Frappier, Rgine Laleau |