Publications

Guest editor:

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

Book chapters:

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

International journals:

[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 EB³ 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.

National journals:

[Ger07] F. Gervais: EB⁴, vers une méthode de spécification formelle des SI. Ingénierie des Systèmes d'Information, Vol. 12, n° 4, pp. 69-93, 2007. (paper in French)

International conferences, with program committee and proceedings:

[FFGL16] T. Fayolle, M. Frappier, F. Gervais, R. Laleau: Modelling a hemodialysis machine using algebraic state-transition diagrams and B-like methods. In 5th International ABZ Conference (ABZ 2016), Linz, Austria, 23-27 May, Springer-Verlag, LNCS 9675, pp. 394-408, 2016.

[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), Seville, Spain, 18-21 July. INSTICC Press, volume SECRYPT 2011, pp. 464-471, 2011.

[MGL11b] A. Matoussi, F. Gervais, R. Laleau: A goal-based approach to guide the design of an abstract Event-B specification. In 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, Nevada, USA, 27-29 April. IEEE Computer Society Press, pp. 139-148, 2011.

[MFGL10] J. Milhau, M. Frappier, F. Gervais, R. Laleau: Systematic translation rules from ASTD to Event-B. In 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France, 12-14 October. Springer-Verlag, LNCS 6396, pp. 245-259, 2010.

[EFGKLMS10] M. Embe Jiague, M. Frappier, F. Gervais, P. Konopacki, R. Laleau, J. Milhau, R. St-Denis: Model-driven engineering of functional security policies. In 12th International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira, Portugal, 8-12 June. INSTICC Press, volume Information Systems Analysis and Specification, pp. 374–379, 2010.

[FFGLR07] M. Frappier, B. Fraikin, F. Gervais, R. Laleau, M. Richard: Synthesizing information systems: the APIS project. In 1st International Conference on Research Challenges in Information Science (RCIS 2007), Ouarzazate, Morocco, 23-26 April. C. Rolland, O. Pastor, J.-L. Cavarero (editors), pp. 73-84, 2007.

[GFL07a] F. Gervais, M. Frappier, R. Laleau: Refinement of EB³ process patterns into B specifications. In 7th International B Conference (B 2007), Besançon, France, 17-19 January. Springer-Verlag, LNCS 4355, pp. 201-215, 2007.

[GBFL06b] F. Gervais, P. Batanado, M. Frappier, R. Laleau: EB³TG: A tool synthesizing relational database transactions from EB³attribute definitions. In 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 24-27 May. INSTICC Press, Volume Information Systems Analysis and Specification, pp. 44-51, 2006.

[GFL05d] F. Gervais, M. Frappier, R. Laleau: Synthesizing B specifications from EB³attribute definitions. In 5th International Conference on Integrated Formal Methods (IFM 2005), Eindhoven, The Netherlands, 29 November - 2 December. Springer-Verlag, LNCS 3771, pp. 207-226, 2005.

[GFL05c] F. Gervais, M. Frappier, R. Laleau: Generating relational database transactions from recursive functions defined on EB³traces. In 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, 7-9 September. IEEE Computer Society Press, pp. 117-126, 2005.

[BGL03b] S. Blazy, F. Gervais, R. Laleau: Reuse of specification patterns with the B method. In 3rd International Conference of B and Z Users (ZB 2003), Turku, Finland, 4-6 June. Springer-Verlag, LNCS 2651, pp. 40-57, 2003.

International workshops, with program committee and proceedings:

[FFLG16] T. Fayolle, M. Frappier, R. Laleau, F. Gervais : Formal refinement of extended state machines. In 17th Refinement Workshop (REFINE 2015), Oslo, Norway, 22 June 2015. EPTCS 209, pp. 1-16, 2016.

[MGLF12] J. Milhau, F. Gervais, R. Laleau, M. Frappier: Refinement patterns for ASTD. In 5th International Workshop UML and Formal Methods (UML&FM 2012), Paris, France, 27 August 2012. ACM SIGSOFT Software Engineering Notes, Vol. 37, n° 4, pp. 1-8, 2012.

[EFGLS11b] M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, R. St-Denis: A metamodel for the design of access-control policy enforcement managers: work in progress. In 4th MITACS Workshop on Foundations & Practice of Security (FPS 2011), Paris, France, 12-13 May 2011. Springer-Verlag, LNCS 6888, pp. 218-226, 2011.

[EFGLS11a] M. Embe Jiague, M. Frappier, F. Gervais, R. Laleau, R. St-Denis: From ASTD access control policies to WS-BPEL processes deployed in a SOA environment. In 1st International Symposium on Web Intelligent Systems & Services (WISS 2010), Hong Kong, China, 12-14 December 2010. Springer-Verlag, LNCS 6724, pp. 126-141, 2011.

[MGL11a] A. Matoussi, F. Gervais, R. Laleau: Specification of a localization component driven by a goal-based approach: some lessons we learned. In 13th Brazilian Symposium on Formal Methods (SBMF 2010), Natal, Rio Grande do Norte, Brazil, 8-12 November 2010. Springer-Verlag, LNCS 6527, pp. 177-193, 2011.

[GFL05b] F. Gervais, M. Frappier, R. Laleau: How to synthesize relational database transactions from EB³attribute definitions? In 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2005), Miami, USA, 24-25 May. INSTICC Press, pp. 83-88, 2005.

National conferences, with program committee and proceedings:

[SMFFGL10] K. Salabert, J. Milhau, B. Fraikin, M. Frappier, F. Gervais, and R. Laleau: iASTD : un interpréteur pour les ASTD, In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitiers, France, 9-11 June. Actes AFADL, pp. 3-6, 2010. (paper in French)

[MGL09] A. Matoussi, F. Gervais, R. Laleau: De KAOS vers Event-B : approche dirigée par les buts. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), Toulouse, France, 26-28 January. Actes AFADL, pp. 71–86, 2009. (paper in French)

[Ger06a] F. Gervais: EB⁴ : Vers une méthode de spécification formelle des SI. In 24ème Congrès INFORSID, Hammamet, Tunisia, 1-3 June. INFORSID, Volume II, pp. 561-576, 2006. (paper in French)

[MGL06b] A. Mammar, F. Gervais, R. Laleau: Systematic identification of preconditions from set-based integrity constraints. In 24ème Congrès INFORSID, Hammamet, Tunisia, 1-3 June. INFORSID, Volume II, pp. 595-610, 2006.

[GBFL06a] F. Gervais, P. Batanado, M. Frappier, R. Laleau: Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB³. In Atelier Approches Formelles dans l'Assistance au Développement du Logiciel (AFADL 2006), Paris, France, 15-17 March. Report ENST S 002, pp. 25-39, 2006. (paper in French)

National workshops, with selection on the basis of an extended abstract:

[BGFL06] P. Batanado, F. Gervais, M. Frappier, R. Laleau: EB³TG : Un outil de génération de transactions de base de données relationnelle pour EB³. Session Outils de l'Atelier AFADL 2006, Paris, France, 15-17 March 2006. (paper in French)

[BGL03a] S. Blazy, F. Gervais, R. Laleau: Une démarche outillée pour spécifier formellement des patrons de conception réutilisables. In Workshop Objets, Composants et Modèles dans l'Ingénierie des SI (OCM-SI 2003), Nancy, France, 3 June. INFORSID, pp. 5-9, 2003. (paper in French)

Short papers and posters:

[MGV10] D. Michel, F. Gervais, P. Valarcher : B-ASM: Specification of ASM à la B. ABZ 2010 conference, Orford, Québec, Canada, 23-25 February 2010. (short paper in English)

[MGL08] A. Matoussi, F. Gervais, R. Laleau: A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008 conference, London, United Kingdom, 16-18 September 2008. (short paper in English)

[Ger05] F. Gervais: EB⁴: Towards an integrated formal method for specifying information systems. ZB2005 poster session, Guildford, United Kingdom, 14 April 2005. (poster in English)

Technical reports:

[FGLF08] M. Frappier, F. Gervais, R. Laleau, B. Fraikin: Algebraic state transition diagrams. Technical report n. 24, GRIL, Département d'informatique, Université de Sherbrooke (Québec), Canada, June 2008. (technical report in English)

[GFL07b] F. Gervais, M. Frappier, R. Laleau: Comparing different combinations of event-based and state-based specifications for IS modelling. Technical report n. 18, GRIL, Département d'informatique, Université de Sherbrooke (Québec), Canada, April 2007. (technical report in English)

[MGL06a] A. Mammar, F. Gervais, R. Laleau: Generating B preconditions from typical IS invariants. Technical report, LASSY, University of Luxembourg, Luxembourg, February 2006. (technical report in English)

[GFL05a] F. Gervais, M. Frappier, R. Laleau: Vous avez dit raffinement ? Technical report n. 829, CEDRIC, CNAM-IIE, Evry, France, March 2005. (technical report in French)

[GFL⁺05] F. Gervais, M. Frappier, R. Laleau, P. Batanado: EB³ attribute definitions: Formal language and application. Technical report n. 700, CEDRIC, CNAM-IIE, Evry, France, February 2005. (technical report in English)

[GFL04] F. Gervais, M. Frappier, R. Laleau: Synthesizing B substitutions for EB³ attribute definitions. Technical report n. 683, CEDRIC, CNAM-IIE, Evry, France, November 2004. (technical report in English)

[BGL02] S. Blazy, F. Gervais, R. Laleau: Un exemple de réutilisation de patterns de spécification avec la méthode B. Technical report n. 395, CEDRIC, CNAM-IIE, Evry, France, November 2002. (technical report in French)

Ph.D. thesis and other reports (in French):

[Ger06b] F. Gervais: Combinaison de spécifications formelles pour la modélisation des systèmes d'information. Thèse de doctorat (Ph.D. thesis), spécialité informatique (Computer Science), CNAM Paris, Université de Sherbrooke (Québec), December 2006.

[Ger04] F. Gervais: EB⁴ : Vers une méthode combinée de spécification formelle des systèmes d'information. Examen de spécialité (dissertation for the general examination), Doctorat Informatique (Ph.D. degree program in Computer Science), Université de Sherbrooke (Québec), Canada, June 2004.
[Ger02] F. Gervais: Réutilisation de composants de spécification en B. Mémoire de DEA (Master's thesis), DEA Informatique (M.Sc. in Computer Science), Université d'Evry Val d'Essonne, Evry, France, July 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 (Master's thesis), DEA Analyse et Systèmes Aléatoires (M.Sc. in Mathematics), Université de Marne-la-Vallée, Champs-sur-Marne, France, September 2001.

Talks:

Combinaison de spécifications formelles pour la modélisation des systèmes d'information. Séminaire VASCO, Université Joseph Fourier, Grenoble, France, 22 March 2007. (talk in French)

Combinaison de spécifications formelles pour la modélisation des systèmes d'information. Séminaire LACL, Université Paris 12, Créteil, France, 12 March 2007. (talk in French)

EB⁴- Vers une méthode combinée de spécification formelle des systèmes d'information. Séminaire LACL, Université Paris 12, Créteil, France, 14 March 2005. (talk in French)

Combinaisons de spécifications formelles orientées états/événements - Application aux SI. Journée du groupe AFADL, ENST, Paris, France, 3 December 2004. (talk in French)

Réutilisation de patterns de spécification avec la méthode B. Séminaire du DMI, Université de Sherbrooke (Québec), Canada, 15 May 2003. (talk in French)

Back to home page