default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrédéric Gervais
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c21]Julien Cervelle
, Frédéric Gervais:
Introducing Inductive Construction in B with the Theory Plugin. ABZ 2023: 43-58
2010 – 2019
- 2016
- [c20]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: 394-408 - 2015
- [c19]Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais:
Formal refinement of extended state machines. Refine@FM 2015: 1-16 - 2014
- [j7]Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau:
Refinement patterns for ASTDs. Formal Aspects Comput. 26(5): 919-941 (2014) - 2012
- [j6]Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier:
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - 2011
- [j5]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): 37-59 (2011) - [j4]Frédéric Gervais, Benoît Fraikin:
Tool building in formal methods. Softw. Pract. Exp. 41(2): 131-132 (2011) - [c18]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: 218-226 - [c17]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: 139-148 - [c16]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: 464-471 - 2010
- [c15]David Michel, Frédéric Gervais, Pierre Valarcher:
B-ASM: Specification of ASM à la B. ASM 2010: 391 - [c14]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: 374-379 - [c13]Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau:
Systematic Translation Rules from astd to Event-B. IFM 2010: 245-259 - [c12]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: 177-193 - [c11]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: 126-141
2000 – 2009
- 2009
- [j3]Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating relational database transactions from eb3 attribute definitions. Softw. Syst. Model. 8(3): 423-445 (2009) - 2008
- [j2]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): 285-292 (2008) - [c10]Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338 - 2007
- [j1]Frédéric Gervais:
EB4, vers une méthode de spécification formelle des SI. Ingénierie des Systèmes d Inf. 12(4): 69-93 (2007) - [c9]Frédéric Gervais, Marc Frappier, Régine Laleau:
Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215 - [c8]Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard:
Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84 - 2006
- [b1]Frédéric Gervais:
Combinaison de spécifications formelles pour la modélisation des systèmes d'information. (Coupling of formal specifications for modelling information systems). Conservatoire national des arts et métiers, Paris, France, 2006 - [c7]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: 44-51 - [c6]Frédéric Gervais:
EB4 : Vers une méthode de spécification formelle des SI. INFORSID 2006: 561-576 - [c5]Amel Mammar, Frédéric Gervais, Régine Laleau:
Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610 - [i1]Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. CoRR abs/cs/0610097 (2006) - 2005
- [c4]Frédéric Gervais, Marc Frappier, Régine Laleau:
Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226 - [c3]Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126 - [c2]Frédéric Gervais, Marc Frappier, Régine Laleau:
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88 - 2003
- [c1]Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. ZB 2003: 40-57
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
