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 :

  • [EFGKLMS11]  M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, R. St-Denis : A four-concern-oriented secure IS development approach. In 8th International Joint Conference on e-Business and Telecommunications (ICETE 2011), Séville, Espagne, 18-21 Juillet. INSTICC Press, volume SECRYPT 2011, pp. 464-471, 2011.

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

  • [FFGL15] T. Fayolle, M. Frappier, F. Gervais, R. Laleau : Formal refinement of extended state machines. In 17th Refinement Workshop (REFINE 2015), Oslo, Norway, 22 June 2015. To be published in EPTCS.

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

  • [Ger06a]  F. Gervais : EB4 : Vers une méthode de spécification formelle des SI. In 24ème Congrès INFORSID, Hammamet, Tunisie, 1-3 Juin. INFORSID, Volume II, pp. 561-576, 2006.
  • [MGL06b]  A. Mammar, F. Gervais, R. Laleau : Systematic identification of preconditions from set-based integrity constraints. In 24ème Congrès INFORSID, Hammamet, Tunisie, 1-3 Juin. INFORSID, Volume II, pp. 595-610, 2006.

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

  • [BGFL06]  P. Batanado, F. Gervais, M. Frappier, R. Laleau : EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3. Session Outils de l’Atelier AFADL 2006, Paris, France, 15-17 Mars 2006.

Communications :

  • [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 :

  • [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.

 

Publicités
%d blogueurs aiment cette page :