Marc Frappier

	2009
40		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
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	Rahma Ben Ayed	[11] [14]
2	Henry Balen	[33]
3	Panawé Batanado	[31]
4	Hans Bherer	[21] [24]
5	Jules Desharnais	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [21] [24]
6	Hassan B. Diab	[17] [18] [26]
7	Neil Evans	[22] [36]
8	Benoît Fraikin	[25] [30] [32] [34] [37] [39] [40]
9	Frédéric Gervais	[27] [28] [29] [31] [32] [35] [37] [38]
10	Ali Jaoua	[15]
11	Lamia Labed Jilani	[8]
12	Ridha Khédri	[6] [10]
13	Fouad Koukane	[26]
14	Régine Laleau (Regine Laleau)	[20] [22] [25] [27] [28] [29] [31] [32] [35] [36] [37] [38]
15	James Lapalme	[33]
16	Wendy MacCaull	[15]
17	Jérémy Milhau	[40]
18	Ali Mili	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14]
19	Rym Mili	[1] [4] [8] [13]
20	Latifa Ben Arfa Rabai	[1]
21	Mario Richard	[23] [32]
22	Douglas R. Skuce	[1]
23	Richard St.-Denis	[12] [16] [17] [18] [19] [21] [24] [26] [37]
24	Helen Treharne	[22] [36]
25	Kevin P. Tyson	[33]

Colors in the list of coauthors