- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier: Refinement patterns for ASTD. ACM SIGSOFT Software Engineering 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. IJSSOE 2(2): 37-59 (2011) |
| j4 | | Frédéric Gervais, Benoît Fraikin: Tool building in formal methods. Softw., Pract. Exper. 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 | | |
| 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 |
| 2009 | ||
| j3 | | Frédéric Gervais, Marc Frappier, Régine Laleau: Generating relational database transactions from eb3 attribute definitions. Software and System Modeling 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. ISSE 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'Information 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 | ||
| 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 | | |
| 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 |
Colors in the list of coauthors
Last update Sun May 19 02:09:14 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page