Reuse of Specification Patterns with the B Method. - Sandrine Blazy; Frédéric Gervais; Régine Laleau (ZB, 2003)

Synthesizing B Specifications from EB3 Attribute Definitions. - Frédéric Gervais; Marc Frappier; Régine Laleau (IFM, 2005)

Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. - Frédéric Gervais; Marc Frappier; Régine Laleau (SEFM, 2005)

How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? - Frédéric Gervais; Marc Frappier; Régine Laleau (MSVVEIS, 2005)

EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. - Frédéric Gervais; Panawé Batanado; Marc Frappier; Régine Laleau (ICEIS (3), 2006)

Systematic Identification of Preconditions from Set-Based Integrity Constraints. - Amel Mammar; Frédéric Gervais; Régine Laleau (INFORSID, 2006)

Combinaison de spécifications formelles pour la modélisation des systèmes d'information. (Coupling of formal specifications for modelling information systems). - Frédéric Gervais (2006)

Refinement of eb3 Process Patterns into B Specifications. - Frédéric Gervais; Marc Frappier; Régine Laleau (B, 2007)

Synthesizing Information Systems: the APIS Project. - Marc Frappier; Benoît Fraikin; Frédéric Gervais; Régine Laleau; Mario Richard (RCIS, 2007)

EB4, vers une méthode de spécification formelle des SI. - Frédéric Gervais (Ingénierie des Systèmes d Inf., 2007)

A First Attempt to Express KAOS Refinement Patterns with Event B. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (ABZ, 2008)

Extending statecharts with process algebra operators. - Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis (Innov. Syst. Softw. Eng., 2008)

Generating relational database transactions from eb3 attribute definitions. - Frédéric Gervais; Marc Frappier; Régine Laleau (Softw. Syst. Model., 2009)

B-ASM: Specification of ASM à la B. - David Michel 001; Frédéric Gervais; Pierre Valarcher (ASM, 2010)

Model-driven Engineering of Functional Security Policies. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (ICEIS (3), 2010)

Systematic Translation Rules from astd to Event-B. - Jérémy Milhau; Marc Frappier; Frédéric Gervais; Régine Laleau (IFM, 2010)

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (SBMF, 2010)

From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (WISE Workshops, 2010)

A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (FPS, 2011)

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (ICECCS, 2011)

A Four-concern-oriented Secure IS Development Approach. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (SECRYPT, 2011)

Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (Int. J. Syst. Serv. Oriented Eng., 2011)

Tool building in formal methods. - Frédéric Gervais; Benoît Fraikin (Softw. Pract. Exp., 2011)

Refinement patterns for ASTD. - Jérémy Milhau; Frédéric Gervais; Régine Laleau; Marc Frappier (ACM SIGSOFT Softw. Eng. Notes, 2012)

Refinement patterns for ASTDs. - Marc Frappier; Frédéric Gervais; Régine Laleau; Jérémy Milhau (Formal Aspects Comput., 2014)

Formal refinement of extended state machines. - Thomas Fayolle; Marc Frappier; Régine Laleau; Frédéric Gervais (Refine@FM, 2015)

Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. - Thomas Fayolle; Marc Frappier; Frédéric Gervais; Régine Laleau (ABZ, 2016)

Introducing Inductive Construction in B with the Theory Plugin. - Julien Cervelle; Frédéric Gervais (ABZ, 2023)