Marc Frappier

Publications

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

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

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

[GFS06] F. Gervais, M. Frappier, R. St-Denis. "EB3 : Formal Language and Application", January 2006, pp. 259-274,

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

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

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

[FFL02] M. Frappier, B. Fraikin, R. Laleau, M. Richard. "APIS : Automatic Production of Information Systems", International AAAI 2002 Spring Symposium : Logic-Based Program Synthesis: State-of-the-Art and Futur, January 2002,

[FL01] M. Frappier, R. Laleau. "Proving the Refinement of Scenarios into Object-Oriented Models", Date de dépot: 2001/01/01, (Tech. Rep.: CEDRIC-01-277)