Frédéric Gervais

	2011
24		Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis: A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS 2011: 218-226
23		Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. ICECCS 2011: 139-148
22		Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St.-Denis: A Four-concern-oriented Secure IS Development Approach. SECRYPT 2011: 464-471
21		Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis: Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. IJSSOE 2(2): 37-59 (2011)
20		Frédéric Gervais, Benoît Fraikin: Tool building in formal methods. Softw., Pract. Exper. 41(2): 131-132 (2011)
	2010
19		David Michel, Frédéric Gervais, Pierre Valarcher: B-ASM: Specification of ASM à la B. ASM 2010: 391
18		Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St.-Denis: Model-driven Engineering of Functional Security Policies. ICEIS (3) 2010: 374-379
17		Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau: Systematic Translation Rules from astd to Event-B. IFM 2010: 245-259
16		Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. SBMF 2010: 177-193
15		Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis: From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops 2010: 126-141
	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] [20]
4	Marc Frappier	[2] [3] [4] [8] [10] [11] [12] [14] [15] [17] [18] [21] [22] [24]
5	Michel Embe Jiague	[15] [18] [21] [22] [24]
6	Pierre Konopacki	[18] [22]
7	Régine Laleau (Regine Laleau)	[1] [2] [3] [4] [5] [6] [8] [10] [11] [12] [13] [14] [15] [16] [17] [18] [21] [22] [23] [24]
8	Amel Mammar	[6]
9	Abderrahman Matoussi	[13] [16] [23]
10	David Michel	[19]
11	Jérémy Milhau	[17] [18] [22]
12	Mario Richard	[10]
13	Richard St.-Denis	[12] [15] [18] [21] [22] [24]
14	Pierre Valarcher	[19]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page