Frédéric Gervais

According to our database, Frédéric Gervais authored at least 28 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

2015

Formal refinement of extended state machines.

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

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2014

Refinement patterns for ASTDs.

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

Formal Aspects Comput., 2014

2012

Refinement patterns for ASTD.

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

ACM SIGSOFT Softw. Eng. Notes, 2012

2011

Tool building in formal methods.

Frédéric Gervais, Benoît Fraikin

Softw. Pract. Exp., 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

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

2009

Generating relational database transactions from eb³ attribute definitions.

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

Softw. Syst. Model., 2009

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

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

EB4, vers une méthode de spécification formelle des SI.

Frédéric Gervais

Ingénierie des Systèmes d Inf., 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

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