Marc Frappier

	2011
60		Marc Frappier, Amel Mammar: Proving Non-interference on Reachability Properties: A Refinement Approach. APSEC 2011: 25-32
59		Pierre Konopacki, Marc Frappier, Régine Laleau: Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops 2011: 607-621
58		Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St.-Denis: A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS 2011: 52-67
57		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
56		Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau: Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS 2011: 227-233
55		Jérémy Milhau, Marc Frappier, Régine Laleau: A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS 2011: 234-241
54		Thibault De Champs, Bessam Abdulrazak, Hélène Pigot, Mohammed Ouenzar, Marc Frappier, Benoît Fraikin: Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. PerCom Workshops 2011: 630-635
53		Amel Mammar, Marc Frappier, Fama Diagne: A proof-based approach to verifying reachability properties. SAC 2011: 1651-1657
52		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
51		Marc Frappier, Fama Diagne, Amel Mammar: Proving Reachability in B using Substitution Refinement. Electr. Notes Theor. Comput. Sci. 280: 47-56 (2011)
50		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)
49		Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier: Combining UML, ASTD and B for the formal specification of an access control filter. ISSE 7(4): 303-313 (2011)
	2010
48		Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings Springer 2010
47		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
46		Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar: Comparison of Model Checking Tools for Information Systems. ICFEM 2010: 581-596
45		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
44		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
43		Pierre Konopacki, Marc Frappier, Régine Laleau: Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC. Ingénierie des Systèmes d'Information 15(3): 113-136 (2010)
	2009
42		Jérémy Milhau, Benoît Fraikin, Marc Frappier: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM 2009: 337-351
41		Pierre Konopacki, Marc Frappier, Régine Laleau: Modélisation de politiques de sécurité à l’aide d’une algèbre de processus. INFORSID 2009: 295-310
40		Philippe Michelin, Marc Frappier: Formal Modeling for Deploying Improvement and Innovation in Information Technology. KMIS 2009: 318-323
39		Benoît Fraikin, Marc Frappier: Efficient symbolic computation of process expressions. Sci. Comput. Program. 74(9): 723-753 (2009)
38		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
37		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)
36		Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: Applying CSP || B to information systems. Software and System Modeling 7(1): 85-102 (2008)
	2007
35		Frédéric Gervais, Marc Frappier, Régine Laleau: Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215
34		Benoît Fraikin, Marc Frappier: Efficient Symbolic Execution of Large Quantifications in a Process Algebra. ICFEM 2007: 327-344
33		Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson: Domain specific languages: another silver bullet? OOPSLA Companion 2007: 1024-1025
32		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
31		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
30		Benoît Fraikin, Marc Frappier: Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS 2006: 189-192
	2005
29		Frédéric Gervais, Marc Frappier, Régine Laleau: Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226
28		Frédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88
27		Frédéric Gervais, Marc Frappier, Régine Laleau: Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126
26		Hassan B. Diab, Fouad Koukane, Marc Frappier, Richard St.-Denis: mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Information & Software Technology 47(3): 151-166 (2005)
25		Benoît Fraikin, Marc Frappier, Régine Laleau: State-based versus event-based specifications for information systems: a comparison of B and eb3. Software and System Modeling 4(3): 236-257 (2005)
	2004
24		Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA 2004: 487-490
23		Marc Frappier, Mario Richard: SMP: A Process-Driven Approach to Project Management. HICSS 2004
22		Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425
	2003
21		Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85
20		Marc Frappier, Régine Laleau: Proving Event Ordering Properties for Information Systems. ZB 2003: 421-436
19		Marc Frappier, Richard St.-Denis: EB 3: an entity-based black-box specification method for information systems. Software and System Modeling 2(2): 134-149 (2003)
	2002
18		Hassan B. Diab, Marc Frappier, Richard St.-Denis: A Formal Definition of Function Points for Automated Measurement of B Specifications. ICFEM 2002: 483-494
	2001
17		Hassan B. Diab, Marc Frappier, Richard St.-Denis: Formalizing COSMIC-FFP Using ROOM. AICCSA 2001: 312-
16		Marc Frappier, Richard St.-Denis: Towards a Computer-Aided Design of Reactive Systems. EUROCAST 2001: 421-436
15		Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull: Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001)
	2000
14		Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: A calculus of program adaptation and its applications. Sci. Comput. Program. 38(1-3): 73-124 (2000)
13		Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili: Semantic distance between specifications. Theor. Comput. Sci. 247(1-2): 257-276 (2000)
	1998
12		Marc Frappier, Richard St.-Denis: A Specification Method for Cleanroom's Black Box Description. HICSS (6) 1998: 112-121
11		Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321
10		Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24(9): 695-708 (1998)
9		Marc Frappier, Ali Mili, Jules Desharnais: Unifying Program Construction and Modification. Logic Journal of the IGPL 6(2): 317-340 (1998)
	1997
8		Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili: Retrieving Software Components that Minimize Adaptation Effort. ASE 1997: 255-
7		Marc Frappier, Ali Mili, Jules Desharnais: Defining and detecting feature interactions. Algorithmic Languages and Calculi 1997: 212-239
6		Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. ESEC / SIGSOFT FSE 1997: 310-326
5		Marc Frappier, Ali Mili, Jules Desharnais: Detecting Feature Interactions on Relational Specifications. FIW 1997: 123-137
4		Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili: A Calculus of Program Modifications. SSR 1997: 157-168
	1996
3		Marc Frappier, Ali Mili, Jules Desharnais: A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. 26(1-3): 237-254 (1996)
	1995
2		Marc Frappier, Ali Mili, Jules Desharnais: Program Construction by Parts. MPC 1995: 257-281
	1994
1		Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce: A process for verification based inspections. SEKE 1994: 100-107

Coauthor Index

1	Bessam Abdulrazak	[54]
2	Rahma Ben Ayed	[11] [14]
3	Henry Balen	[33]
4	Panawé Batanado	[31]
5	Hakim Belhaouari	[56]
6	Hans Bherer	[21] [24]
7	Thibault De Champs	[54]
8	Raphaël Chane-Yack-Fa	[46]
9	Romain Chossart	[46]
10	Daniel Côté	[58]
11	Jules Desharnais	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [21] [24]
12	Hassan B. Diab	[17] [18] [26]
13	Fama Diagne	[51] [53]
14	Neil Evans	[22] [36]
15	Benoît Fraikin	[25] [30] [32] [34] [37] [39] [42] [46] [54] [58]
16	Frédéric Gervais	[27] [28] [29] [31] [32] [35] [37] [38] [44] [45] [47] [50] [52] [57]
17	Uwe Glässer	[48]
18	Akram Idani	[49]
19	Ali Jaoua	[15]
20	Michel Embe Jiague	[44] [47] [50] [52] [57]
21	Lamia Labed Jilani	[8]
22	Ridha Khédri	[6] [10]
23	Sarfraz Khurshid	[48]
24	Pierre Konopacki	[41] [43] [47] [52] [56] [59]
25	Fouad Koukane	[26]
26	Mohamed-Amine Labiadh	[49]
27	Régine Laleau (Regine Laleau)	[20] [22] [25] [27] [28] [29] [31] [32] [35] [36] [37] [38] [41] [43] [44] [45] [47] [48] [49] [50] [52] [55] [56] [57] [59]
28	James Lapalme	[33]
29	Yves Ledru	[49]
30	Wendy MacCaull	[15]
31	Amel Mammar	[51] [53] [60]
32	Philippe Michelin	[40]
33	Jérémy Milhau	[42] [45] [47] [49] [52] [55]
34	Ali Mili	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14]
35	Rym Mili	[1] [4] [8] [13]
36	Mohammed Ouenzar	[46] [54]
37	Hélène Pigot	[54]
38	Latifa Ben Arfa Rabai	[1]
39	Steve Reeves	[48]
40	Mario Richard	[23] [32]
41	Douglas R. Skuce	[1]
42	Richard St.-Denis	[12] [16] [17] [18] [19] [21] [24] [26] [37] [44] [47] [50] [52] [57] [58]
43	Helen Treharne	[22] [36]
44	Kevin P. Tyson	[33]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page