Frédéric Gervais

	2009
14		Frédéric Gervais, Marc Frappier, Régine Laleau: Generating relational database transactions from eb3 attribute definitions. Software and System Modeling 8(3): 423-445 (2009)
	2008
13		Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338
12		Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis: Extending statecharts with process algebra operators. ISSE 4(3): 285-292 (2008)
	2007
11		Frédéric Gervais, Marc Frappier, Régine Laleau: Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215
10		Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard: Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84
9		Frédéric Gervais: EB4, vers une méthode de spécification formelle des SI. Ingénierie des Systèmes d'Information 12(4): 69-93 (2007)
	2006
8		Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau: EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. ICEIS (3) 2006: 44-51
7		Frédéric Gervais: EB4 : Vers une méthode de spécification formelle des SI. INFORSID 2006: 561-576
6		Amel Mammar, Frédéric Gervais, Régine Laleau: Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610
5		Sandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method CoRR abs/cs/0610097: (2006)
	2005
4		Frédéric Gervais, Marc Frappier, Régine Laleau: Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226
3		Frédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88
2		Frédéric Gervais, Marc Frappier, Régine Laleau: Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126
	2003
1		Sandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method. ZB 2003: 40-57

Coauthor Index

1	Panawé Batanado	[8]
2	Sandrine Blazy	[1] [5]
3	Benoît Fraikin	[10] [12]
4	Marc Frappier	[2] [3] [4] [8] [10] [11] [12] [14]
5	Régine Laleau (Regine Laleau)	[1] [2] [3] [4] [5] [6] [8] [10] [11] [12] [13] [14]
6	Amel Mammar	[6]
7	Abderrahman Matoussi	[13]
8	Mario Richard	[10]
9	Richard St.-Denis	[12]