Frédéric Gervais

30 papers B 5C 4Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2023 C conf
Introducing Inductive Construction in B with the Theory Plugin.
ABZ
Julien Cervelle, Frédéric Gervais
2016 C conf
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods.
ABZ
Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
2015 — conf
Formal refinement of extended state machines.
Refine@FM
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
2014 J jnl
Refinement patterns for ASTDs.
Formal Aspects Comput.
Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
2012 J jnl
Refinement patterns for ASTD.
ACM SIGSOFT Softw. Eng. Notes
Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
2011 C conf
A Four-concern-oriented Secure IS Development Approach.
SECRYPT
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
2011 B conf
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.
ICECCS
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
2011 — conf
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress.
FPS
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2011 J jnl
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments.
Int. J. Syst. Serv. Oriented Eng.
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2011 J jnl
Tool building in formal methods.
Softw. Pract. Exp.
Frédéric Gervais, Benoît Fraikin
2010 — conf
B-ASM: Specification of ASM à la B.
ASM
David Michel, Frédéric Gervais, Pierre Valarcher
2010 — conf
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment.
WISE Workshops
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2010 — conf
Model-driven Engineering of Functional Security Policies.
ICEIS (3)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
2010 — conf
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned.
SBMF
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
2010 B conf
Systematic Translation Rules from astd to Event-B.
IFM
Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
2009 J jnl
Generating relational database transactions from eb
Softw. Syst. Model.
Frédéric Gervais, Marc Frappier, Régine Laleau
2008 C conf
A First Attempt to Express KAOS Refinement Patterns with Event B.
ABZ
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
2008 J jnl
Extending statecharts with process algebra operators.
Innov. Syst. Softw. Eng.
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
2007 J jnl
EB4, vers une méthode de spécification formelle des SI.
Ingénierie des Systèmes d Inf.
Frédéric Gervais
2007 — conf
Refinement of eb
B
Frédéric Gervais, Marc Frappier, Régine Laleau
2007 B conf
Synthesizing Information Systems: the APIS Project.
RCIS
Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
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 — conf
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.
ICEIS (3)
Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
2006 — conf
EB4 : Vers une méthode de spécification formelle des SI.
INFORSID
Frédéric Gervais
2006 J jnl
Reuse of Specification Patterns with the B Method
CoRR
Sandrine Blazy, Frédéric Gervais, Régine Laleau
2006 — conf
Systematic Identification of Preconditions from Set-Based Integrity Constraints.
INFORSID
Amel Mammar, Frédéric Gervais, Régine Laleau
2005 B conf
Generating Relational Database Transactions From Recursive Functions Defined on EB
SEFM
Frédéric Gervais, Marc Frappier, Régine Laleau
2005 — conf
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
MSVVEIS
Frédéric Gervais, Marc Frappier, Régine Laleau
2005 B conf
Synthesizing B Specifications from EB
IFM
Frédéric Gervais, Marc Frappier, Régine Laleau
2003 — conf
Reuse of Specification Patterns with the B Method.
ZB
Sandrine Blazy, Frédéric Gervais, Régine Laleau