Publications

Editeur invité :

  • [GF11]  F. Gervais, B. Fraikin : Tool Building in Formal Methods – Extended Papers from WS-TBFM 2010. Software: Practice and Experience, Vol. 41, n°2, John Wiley & Sons, pp. 131-208, 2011.

Chapitre de livre :

  • [GFS06]  F. Gervais, M. Frappier, R. St-Denis : EB3. In Software Specification Methods. Hermès Science Publishing, ISTE, ISBN : 1-905209-34-7, chapitre 14, pp. 259-274, 2006.

Revues internationales, avec comité de rédaction :

  • [FGLM14] M. Frappier, F. Gervais, R. Laleau, J. Milhau : Refinement patterns for ASTDs. Formal Aspects of Computing, Vol. 26, n°5, pp. 919-941, Springer-Verlag, 2014.
  • [EFGLS11c]  M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, R. St-Denis : Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments. International Journal of Systems and Service-Oriented Engineering, Vol. 2, n° 2, pp. 37-59, IGI Publishing, 2011.
  • [GFL09]  F. Gervais, M. Frappier, R. Laleau : Generating relational database transactions from EB3 attribute definitions. Software and Systems Modeling, Vol. 8, n° 3, pp. 423-445, Springer-Verlag, 2009.
  • [FGLFS08]  M. Frappier, F. Gervais, R. Laleau, B. Fraikin, R. St-Denis : Extending Statecharts with process algebra operators. Innovations in Systems and Software Engineering, Vol. 4, n° 3, pp. 285-292, Springer-Verlag, 2008.

Revue nationale, avec comité de rédaction :

Conférences internationales, avec comité de sélection et actes :

Workshops internationaux, avec comité de sélection et actes :

Conférences nationales, avec comité de sélection et actes :

Workshops nationaux, avec sélection sur la base d’un résumé :

Communications :

  • [Ger16]  F. Gervais : Enquête auprès des adhérents de la SIF. Article, bulletin 1024, numéro 8, pp. 19-24, 2016.
  • [MGV10]  D. Michel, F. Gervais, P. Valarcher : B-ASM: Specification of ASM à la B. Papier court, conférence ABZ 2010, Orford, Québec, Canada, 23-25 Février 2010.
  • [MGL08]  A. Matoussi, F. Gervais, R. Laleau : A First Attempt to Express KAOS Refinement Patterns with Event B. Papier court, conférence ABZ 2008, Londres, Royaume-Uni, 16-18 Septembre 2008.
  • [Ger05]  F. Gervais : EB4: Towards an integrated formal method for specifying information systems. Session poster ZB2005, Guildford, Royaume-Uni, 14 Avril 2005.

Rapports techniques :

  • [FGLF08] M. Frappier, F. Gervais, R. Laleau, B. Fraikin : Algebraic state transition diagrams. Rapport technique n. 24, GRIL, Département d’informatique, Université de Sherbrooke (Québec), Canada, Juin 2008.
  • [GFL07b]  F. Gervais, M. Frappier, R. Laleau : Comparing different combinations of event-based and state-based specifications for IS modelling. Rapport technique n. 18, GRIL, Département d’informatique, Université de Sherbrooke (Québec), Canada, Avril 2007.
  • [MGL06a]  A. Mammar, F. Gervais, R. Laleau : Generating B preconditions from typical IS invariants. Rapport technique, LASSY, Université du Luxembourg, Luxembourg, Février 2006.
  • [GFL05a]  F. Gervais, M. Frappier, R. Laleau : Vous avez dit raffinement ? Rapport technique n. 829, CEDRIC, CNAM-IIE, Evry, France, Mars 2005.
  • [GFLB05]  F. Gervais, M. Frappier, R. Laleau, P. Batanado : EB3 attribute definitions: Formal language and application. Rapport technique n. 700, CEDRIC, CNAM-IIE, Evry, France, Février 2005.
  • [GFL04]  F. Gervais, M. Frappier, R. Laleau : Synthesizing B substitutions for EB3 attribute definitions. Rapport technique n. 683, CEDRIC, CNAM-IIE, Evry, France, Novembre 2004.
  • [BGL02]  S. Blazy, F. Gervais, R. Laleau : Un exemple de réutilisation de patterns de spécification avec la méthode B. Rapport technique n. 395, CEDRIC, CNAM-IIE, Evry, France, Novembre 2002.

Thèse et mémoires :

  • [Ger06b]  F. Gervais : Combinaison de spécifications formelles pour la modélisation des systèmes d’information. Thèse de doctorat, spécialité informatique, CNAM Paris, Université de Sherbrooke (Québec), Décembre 2006.
  • [Ger04]  F. Gervais : EB4 : Vers une méthode combinée de spécification formelle des systèmes d’information. Examen de spécialité, Doctorat Informatique, Université de Sherbrooke (Québec), Canada, Juin 2004.
  • [Ger02]  F. Gervais : Réutilisation de composants de spécification en B. Mémoire de DEA, DEA Informatique, Université d’Evry Val d’Essonne, Evry, France, Juillet 2002. Stage réalisé au CEDRIC, IIE, Evry, France, Février-Juillet 2002.
  • [Ger01]  F. Gervais : Etude des phénomènes d’hysteresis : Identification des paramètres du modèle de Bouc Wen et analyse des résultats. Mémoire de DEA, DEA Analyse et Systèmes Aléatoires, Université de Marne-la-Vallée, Champs-sur-Marne, France, Septembre 2001. Stage réalisé au LAMI, ENPC, Champs-sur-Marne, France, Avril-Septembre 2001.
%d blogueurs aiment cette page :