Liste de publication au format bibtex.

1. [FF:09-SCP]
   Benoît Fraikin et Marc Frappier.
   “Efficient Symbolic Computation of Process Expressions”.
   In Science of Computer Programming,
   Elsevier,
   accepted in February 2009.
   (SCP)
2. [FGLFS:08-ISSE]
   Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin and Richard St-Denis.
   “Extending Statecharts with Process Algebra Operators”.
   In Innovations in Systems and Software Engineering, 4(3) : 285 – 292,
   Springer-Verlag,
   2008.
   (ISSE)
3. [FFL:05-SOSYM]
   Benoît Fraikin, Marc Frappier and Régine Laleau.
   “State-Based versus Event-Based Specifications for Information System Specification: a comparison of B and EB³”.
   In Software and System Modeling, 4(3) : 236 – 257,
   Springer London,
   July 2005.
   (SoSym)

1. [MFF:09-IFM]
   Jérémy Milhau, Benoît Fraikin and Marc Frappier.
   “Automatic Generation of Error Messages for the Symbolic Execution of EB³PAI Process Expressions”.
   In 7^th International Conference on integrated Formal Methods (iFM 2009).
   Springer Berlin/Heidelberg,
   February 2009.
   (PDF)
2. [FGLFS:08-ICFEM]
   Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin and Richard St-Denis.
   “Extending Statecharts with Process Algebra Operators”.
   In First IEEE International workshop UML and Formal Methods,
   Held in conjunction with the 10^th International Conference on
   Formal Engineering Methods, (ICFEM 2008).
   November 2008.
   (ISSE)
3. [FF:07-ICFEM]
   Benoît Fraikin and Marc Frappier.
   “Efficient symbolic execution of large quantifications in a process algebra”.
   In 9^th International Conference on Formal Engineering Methods (ICFEM 2007).
   LNCS, vol. 4789, pp. 327 – 344.
   Springer Berlin/Heidelberg,
   November 2007.
   (PDF)
4. [FLGFR:07-RCIS]
   Marc Frappier, Régine Laleau, Frédéric Gervais, Benoît Fraikin and Mario Richard.
   “Synthesizing Information Systems: the APIS Project”.
   In RCIS’07: Proceedings of the 1st International Conference on Research Challenges in Information Science,
   April 2007.
   (PDF)
5. [FFL:03-FM-StEve]
   Benoît Fraikin, Marc Frappier and Régine Laleau.
   “A Comparison of EB³ and B for Information System Specification”.
   In State-oriented vs. Event-oriented thinking in Requirements Analysis,
   Formal Specification and Software Engineering (StEve),
   September 2003.
   (PDF)
6. [FF:02-ICCSSEA]
   Benoît Fraikin and Marc Frappier.
   “Optimizing Memory Space in the Process Algebra Interpreter”.
   In ICCSSEA 2002, Software and Systemes Engineering and their Applications
   volume I(4),
   Paris, France,
   December 2002.
   (PDF)
7. [FF:02-FMTOOLS]
   Benoît Fraikin and Marc Frappier.
   “EB³PAI : an Interpreter for the Specification Language”.
   In FM-TOOLS 2002, The Workshop on Tools for System Design and Verification,
   D. Haneberg, G. Schellhorn, and W. Reif, editors,
   Reisensburg Castle, Günzburg, Germany,
   June 2002.
   (PDF)
8. [FFLR:02-AAAI]
   Marc Frappier, Benoît Fraikin, Régine Laleau and Mario Richard.
   “Automatic Production of Information Systems”.
   In AAAI Symposium on Logic-Based Program Synthesis, page 7,
   Stanford University, Stanford, CA,
   March 2002.
   (PDF)
9. [F:01-ACFAS]
   Benoît Fraikin.
   “Méthodes formelles et conceptions automatisées pour les systèmes d’informations”.
   In Actes du 69^e congrès de l’ACFAS.
   Université de Sherbrooke, Québec, Canada,
   April 2001.

1. [FF:06-MSVVEIS]
   Benoît Fraikin and Marc Frappier.
   “Efficient Interpretation of Large Quantifications in a Process Algebra”.
   4^th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2006), Proceedings,
   Paphos, Cyprus, INSTICC Press,
   May 23-24, 2006.
2. [F:01-ADRIQ]
   Benoît Fraikin.
   “Synthèse automatique de logiciels”.
   In Congrès de l’ADRIQ.
   Montréal, Québec, Canada,
   November 2001.

1. [MF:08-TR25]
   Jérémy Milhau and Benoît Fraikin.
   Implémentation en Objective Caml des algorithmes de génération automatique
   de message d’erreur pour EB³.
   Technical Report 25,
   Université de Sherbrooke, Département d’informatique,
   Sherbrooke, Québec, Canada,
   September 2008.
   (PDF)
2. [FF:08-TR24]Marc Frappier, Frédéric Gervais, Régine Laleau, and Benoît Fraikin.
   Algebraic State Transition Diagrams.
   Technical Report 24,
   Université de Sherbrooke, Département d’informatique,
   Sherbrooke, Québec, Canada,
   June 2008.
   (PDF)
3. [FF:05-TR14]
   Benoît Fraikin and Marc Frappier.
   A Step Forward into Automatic Generation of Information Systems.
   Technical Report 14,
   Université de Sherbrooke, Département d’informatique,
   Sherbrooke, Québec, Canada,
   September 2005.
   (PDF)
4. [FRA:05-TR9]
   Benoît Fraikin.
   Démonstration de l’équivalence des systèmes de règles FSD et PAI pour EB³.
   Technical Report 9,
   Université de Sherbrooke, Département d’informatique,
   Sherbrooke, Québec, Canada,
   January 2005.
   (PDF)
5. [FF:05-TR8]Benoît Fraikin and Marc Frappier.
   Efficient Execution of Process Expressions Using Symbolic Interpretation.
   Technical Report 8,
   Université de Sherbrooke, Département d’informatique,
   Sherbrooke, Québec, Canada,
   January 2005.
   (PDF)

1. [FRA:06-thesis]
   Benoît Fraikin.
   Interprétation efficace d’expression de processus EB³.
   PhD thesis,
   Département d’informatique, Université de Sherbrooke,
   Sherbrooke, Québec, Canada,
   April 2006.
   (PDF)
2. [FRA:99-master]
   Benoît Fraikin.
   Preuve de raffinement automatique dans la méthode B.
   Master thesis,
   Département de logique, Université de Paris VII,
   Paris, France,
   September 1999.
   (PDF)