dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marc Frappier (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJé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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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)
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau: Systematic Translation Rules from astd to Event-B. IFM 2010: 245-259
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFré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)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard: Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFré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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126

Selection of 15 from 62 records - Marc Frappier has 44 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page