Frédéric Gervais

According to our database, Frédéric Gervais authored at least 21 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Introducing Inductive Construction in B with the Theory Plugin.

Julien Cervelle, Frédéric Gervais

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2016

Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods.

Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

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

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

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

Proceedings of the Foundations and Practice of Security, 2011

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

Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 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

Proceedings of the Formal Methods: Foundations and Applications, 2010

Systematic Translation Rules from astd to Event-B.

Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau

Proceedings of the Integrated Formal Methods - 8th International Conference, 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

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

B-ASM: Specification of ASM à la B.

David Michel, Frédéric Gervais, Pierre Valarcher

Proceedings of the Abstract State Machines, 2010

2008

A First Attempt to Express KAOS Refinement Patterns with Event B.

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Synthesizing Information Systems: the APIS Project.

Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Refinement of eb³ Process Patterns into B Specifications.

Frédéric Gervais, Marc Frappier, Régine Laleau

Proceedings of the B 2007: Formal Specification and Development in B, 2007

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

PhD thesis, 2006

Systematic Identification of Preconditions from Set-Based Integrity Constraints.

Amel Mammar, Frédéric Gervais, Régine Laleau

Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

EB4 : Vers une méthode de spécification formelle des SI.

Frédéric Gervais

Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.

Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau

Proceedings of the ICEIS 2006, 2006

2005

How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?

Frédéric Gervais, Marc Frappier, Régine Laleau

Proceedings of the Modelling, 2005

Generating Relational Database Transactions From Recursive Functions Defined on EB³ Traces.

Frédéric Gervais, Marc Frappier, Régine Laleau

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Synthesizing B Specifications from EB³ Attribute Definitions.

Frédéric Gervais, Marc Frappier, Régine Laleau

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2003

Reuse of Specification Patterns with the B Method.

Sandrine Blazy, Frédéric Gervais, Régine Laleau

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003