Search results for "Frédéric Gervais"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Frédéric Gervais, Benoît Fraikin	Tool building in formal methods.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	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.	IJSSOE	2011	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	2010	DBLP BibTeX RDF
1	Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau	Systematic Translation Rules from astd to Event-B.	IFM	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	David Michel, Frédéric Gervais, Pierre Valarcher	B-ASM: Specification of ASM à la B.	ASM	2010	DBLP DOI BibTeX RDF
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating relational database transactions from eb3 attribute definitions.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	SELECT statements, Information systems, Pattern matching, Transactions, Attributes
1	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis	Extending statecharts with process algebra operators.	ISSE	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
1	Abderrahman Matoussi, Frédéric Gervais, Régine Laleau	A First Attempt to Express KAOS Refinement Patterns with Event B.	ABZ	2008	DBLP DOI BibTeX RDF
1	Frédéric Gervais	EB4, vers une méthode de spécification formelle des SI.	Ingénierie des Systèmes d'Information	2007	DBLP DOI BibTeX RDF
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
1	Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard	Synthesizing Information Systems: the APIS Project.	RCIS	2007	DBLP BibTeX RDF
1	Sandrine Blazy, Frédéric Gervais, Régine Laleau	Reuse of Specification Patterns with the B Method	CoRR	2006	DBLP BibTeX RDF
1	Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau	EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.	ICEIS	2006	DBLP BibTeX RDF
1	Frédéric Gervais	EB4 : Vers une méthode de spécification formelle des SI.	INFORSID	2006	DBLP BibTeX RDF
1	Amel Mammar, Frédéric Gervais, Régine Laleau	Systematic Identification of Preconditions from Set-Based Integrity Constraints.	INFORSID	2006	DBLP BibTeX RDF
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.	SEFM	2005	DBLP DOI BibTeX RDF
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
1	Frédéric Gervais, Marc Frappier, Régine Laleau	How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?	MSVVEIS	2005	DBLP BibTeX RDF
1	Sandrine Blazy, Frédéric Gervais, Régine Laleau	Reuse of Specification Patterns with the B Method.	ZB	2003	DBLP DOI BibTeX RDF	Design pattern, reuse, B, specification pattern

Publications of "Frédéric Gervais" ( http://dblp.L3S.de/Authors/Frédéric_Gervais )