| 2009 |
|---|
| 5 | 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 |
| 2007 |
|---|
| 4 | EE | Benoît Fraikin,
Marc Frappier:
Efficient Symbolic Execution of Large Quantifications in a Process Algebra.
ICFEM 2007: 327-344 |
| 3 | | 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 |
|---|
| 2 | | Benoît Fraikin,
Marc Frappier:
Efficient Interpretation of Large Quantifications in a Process Algebra.
MSVVEIS 2006: 189-192 |
| 2005 |
|---|
| 1 | 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) |
