2009 |
37 | EE | 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 |
2008 |
36 | EE | 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 | EE | Frédéric Gervais,
Marc Frappier,
Régine Laleau:
Refinement of eb3 Process Patterns into B Specifications.
B 2007: 201-215 |
34 | EE | Benoît Fraikin,
Marc Frappier:
Efficient Symbolic Execution of Large Quantifications in a Process Algebra.
ICFEM 2007: 327-344 |
33 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.
ATVA 2004: 487-490 |
23 | EE | Marc Frappier,
Mario Richard:
SMP: A Process-Driven Approach to Project Management.
HICSS 2004 |
22 | EE | Neil Evans,
Helen Treharne,
Régine Laleau,
Marc Frappier:
How to Verify Dynamic Properties of Information Systems.
SEFM 2004: 416-425 |
2003 |
21 | EE | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Investigating Discrete Controllability with Kleene Algebra.
RelMiCS 2003: 74-85 |
20 | EE | Marc Frappier,
Régine Laleau:
Proving Event Ordering Properties for Information Systems.
ZB 2003: 421-436 |
19 | EE | 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 | EE | 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 | EE | Hassan B. Diab,
Marc Frappier,
Richard St.-Denis:
Formalizing COSMIC-FFP Using ROOM.
AICCSA 2001: 312- |
16 | EE | 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 | EE | Rym Mili,
Jules Desharnais,
Marc Frappier,
Ali Mili:
Semantic distance between specifications.
Theor. Comput. Sci. 247(1-2): 257-276 (2000) |
1998 |
12 | EE | Marc Frappier,
Richard St.-Denis:
A Specification Method for Cleanroom's Black Box Description.
HICSS (6) 1998: 112-121 |
11 | EE | Rahma Ben Ayed,
Jules Desharnais,
Marc Frappier,
Ali Mili:
Mathematical Foundations for Program Transformations.
LOPSTR 1998: 319-321 |
10 | EE | Jules Desharnais,
Marc Frappier,
Ridha Khédri,
Ali Mili:
Integration of Sequential Scenarios.
IEEE Trans. Software Eng. 24(9): 695-708 (1998) |
9 | EE | Marc Frappier,
Ali Mili,
Jules Desharnais:
Unifying Program Construction and Modification.
Logic Journal of the IGPL 6(2): 317-340 (1998) |
1997 |
8 | EE | 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 | EE | 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 | EE | 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 | | L. Ben Arfa,
Marc Frappier,
Rym Mili,
Ali Mili,
Douglas R. Skuce:
A process for verification based inspections.
SEKE 1994: 100-107 |