Frédéric Gervais

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 3

Top Venues

ABZ

Formal Aspects Comput.

Refine@FM

Université de Sherbrooke, Longueuil, Quebec, Canada (PHD)

Education History

Université de Sherbrooke, Longueuil, Quebec, Canada

PHD

Publications

Julien Cervelle, Frédéric Gervais
Introducing Inductive Construction in B with the Theory Plugin. ABZ (2023)
Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ (2016)
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
Formal refinement of extended state machines. Refine@FM (2015)
Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
Refinement patterns for ASTDs. Formal Aspects Comput. 26 (5) (2014)
Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
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)
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)
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. Int. J. Syst. Serv. Oriented Eng. 2 (2) (2011)
Frédéric Gervais, Benoît Fraikin
Tool building in formal methods. Softw. Pract. Exp. 41 (2) (2011)
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)
Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
Systematic Translation Rules from astd to Event-B. IFM (2010)
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)
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)
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)
David Michel, Frédéric Gervais, Pierre Valarcher
B-ASM: Specification of ASM à la B. ASM (2010)
Frédéric Gervais, Marc Frappier, Régine Laleau
attribute definitions. Softw. Syst. Model. 8 (3) (2009)
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ (2008)
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4 (3) (2008)
Frédéric Gervais
EB4, vers une méthode de spécification formelle des SI. Ingénierie des Systèmes d Inf. 12 (4) (2007)
Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Synthesizing Information Systems: the APIS Project. RCIS (2007)
Frédéric Gervais, Marc Frappier, Régine Laleau
Process Patterns into B Specifications. B (2007)
Amel Mammar, Frédéric Gervais, Régine Laleau
Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID (2006)
Sandrine Blazy, Frédéric Gervais, Régine Laleau
Reuse of Specification Patterns with the B Method CoRR (2006)
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)
Frédéric Gervais
EB4 : Vers une méthode de spécification formelle des SI. INFORSID (2006)
Frédéric Gervais, Marc Frappier, Régine Laleau
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS (2005)
Frédéric Gervais, Marc Frappier, Régine Laleau
Attribute Definitions. IFM (2005)
Frédéric Gervais, Marc Frappier, Régine Laleau
Traces. SEFM (2005)
Sandrine Blazy, Frédéric Gervais, Régine Laleau
Reuse of Specification Patterns with the B Method. ZB (2003)

Frédéric Gervais.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Gervais