 | 2009 |
|---|
| 7 |       | 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 |
| 6 | | Benoît Fraikin,
Marc Frappier:
Efficient symbolic computation of process expressions.
Sci. Comput. Program. 74(9): 723-753 (2009) |
| 2008 |
|---|
| 5 | | 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) |
| 2007 |
|---|
| 4 | | 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 | | 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) |
