|
 
|
Frédéric Gervais
|
Doctorant(e) Equipe SYS Parti depuis le 01/06/2007 Mail : gervais  ensiie.fr
Tel : (33)15880 Fax : (33)15880 http://www.univ-paris12.fr/lacl/gervais/ |
Frédéric's Tag-Cloud : |
a:2:{s:2:"fr";s:647:"De 2003 à 2006, j'ai fait une thèse en cotutelle entre le CNAM et l'Université de Sherbrooke (Québec). Mes directeurs de thèse sont Véronique Donzeau-Gouge (CNAM), Marc Frappier (Université de Sherbrooke) et Régine Laleau (Université Paris 12). Mes travaux portent sur la combinaison de spécifications formelles pour modéliser des systèmes d'information. L'objectif est de profiter des avantages de deux formes de modélisation complémentaires. En 2002, j'ai fait un stage de DEA au sein de l'équipe CPR sur la réutilisation de composants de spécification en B. Mes responsables de stage étaient Sandrine Blazy et Régine Laleau. ";s:2:"en";s:647:"De 2003 à 2006, j'ai fait une thèse en cotutelle entre le CNAM et l'Université de Sherbrooke (Québec). Mes directeurs de thèse sont Véronique Donzeau-Gouge (CNAM), Marc Frappier (Université de Sherbrooke) et Régine Laleau (Université Paris 12). Mes travaux portent sur la combinaison de spécifications formelles pour modéliser des systèmes d'information. L'objectif est de profiter des avantages de deux formes de modélisation complémentaires. En 2002, j'ai fait un stage de DEA au sein de l'équipe CPR sur la réutilisation de composants de spécification en B. Mes responsables de stage étaient Sandrine Blazy et Régine Laleau. ";}
Publications
2007
- [GFL07] F. Gervais, M. Frappier, R. Laleau. "Refinement of EB3 Process Patterns into B Specifications", B2007, Besançon, France, January 2007, pp.201-215, Series LNCS 4355,
- [FFG07] M. Frappier, B. Fraikin, F. Gervais, R. Laleau, M. Richard. "Synthesizing information systems: the APIS project", RCIS'07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.73-84,
Conférence Internationale avec comité de lecture
2006
- [GBF06a] F. Gervais, P. Batanado, M. Frappier, R. Laleau. "EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions", ICEIS'06, Paphos, Chypre, January 2006, pp.44-51, Series ISAS,
-
[GBF06]
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 EB3",
AFADL'06 Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France,
January 2006,
pp.25-39,
-
[BGF06]
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",
AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France. 200,
January 2006,
- [GER06] F. Gervais. "EB4 : Vers une méthode de spécification formelle des SI", INFORSID'06, Hammamet, Tunisie, January 2006, pp.561-576,
- [MGL06] A. Mammar, F. Gervais, R. Laleau. "Systematic Identification of Preconditions from Set-Based Integrity Constraints", INFORSID'06, Hammamet, Tunisie, January 2006, pp.595-610,
- [GFS06] F. Gervais, M. Frappier, R. St-Denis. "EB3 : Formal Language and Application", January 2006, pp. 259-274,
-
[GER06a]
F. Gervais.
"Combinaison de spécifications formelles pour la modélisation des systèmes d'information",
Soutenue le: 01 January 2006,
- [GFL06] F. Gervais, M. Frappier, R. Laleau. "Defining and Proving B Refinements for the Patterns of EB3 Process Expressions", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-996)
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
Chapitres de Livre
Mémoire de Thèse
Rapport Scientifique
2005
-
[GFL05c]
F. Gervais, M. Frappier, R. Laleau.
"How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?",
MSVVEIS'05, Miami, USA,
January 2005,
pp.83-88,
- [GFL05a] F. Gervais, M. Frappier, R. Laleau. "Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces", SEFM'05, Coblence, Allemagne, January 2005, pp.117-126,
- [GFL05d] F. Gervais, M. Frappier, R. Laleau. "Synthesizing B Specifications from EB3 Attribute Definitions", IFM'05, Eindhoven, Pays-Bas, January 2005, pp.207-226, Series LNCS 3771,
-
[GFL05b]
F. Gervais, M. Frappier, R. Laleau, P. Batanado.
"EB3 Attribute Definitions: Formal Language and Application",
Date de dépot: 2005/01/01,
(Tech. Rep.: CEDRIC-05-700)
-
[GFL05]
F. Gervais, M. Frappier, R. Laleau.
"Vous avez dit raffinement ?",
Date de dépot: 2005/01/01,
(Tech. Rep.: CEDRIC-05-829)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2004
-
[GFL04]
F. Gervais, M. Frappier, R. Laleau.
"Synthesizing B Substitutions for EB3 Attribute Definitions",
Date de dépot: 2004/01/01,
(Tech. Rep.: CEDRIC-04-683)
-
[GER04]
F. Gervais.
"EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information",
datepub: January 2004,
Rapport Scientifique
Autres
2003
-
[BGL03]
S. Blazy, F. Gervais, R. Laleau.
"Reuse of Specification Patterns with the B Method",
ZB 2003: Formal Specification and Development in Z and B, Turku, Finland,
January 2003,
Vol. 2651,
pp.40-57,
Series LNCS,
-
[BGL03a]
S. Blazy, F. Gervais, R. Laleau.
"Une démarche outillée pour spécifier formellement des patrons de conception réutilisables",
Objets, Composants et Modèles dans l'ingénierie des SI,
January 2003,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2002
-
[BGL02]
S. Blazy, F. Gervais, R. Laleau.
"Un exemple de réutilisation de patterns de spécification avec la méthode B",
Date de dépot: 2002/01/01,
(Tech. Rep.: CEDRIC-02-395)
-
[GER02]
F. Gervais.
"Réutilisation de composants de spécification en B",
datepub: January 2002,
