State-based versus event-based specifications for information systems: a comparison of B and eb3. - Benoît Fraikin; Marc Frappier; Régine Laleau (Softw. Syst. Model., 2005)

Efficient Interpretation of Large Quantifications in a Process Algebra. - Benoît Fraikin; Marc Frappier (MSVVEIS, 2006)

Efficient Symbolic Execution of Large Quantifications in a Process Algebra. - Benoît Fraikin; Marc Frappier (ICFEM, 2007)

Synthesizing Information Systems: the APIS Project. - Marc Frappier; Benoît Fraikin; Frédéric Gervais; Régine Laleau; Mario Richard (RCIS, 2007)

Extending statecharts with process algebra operators. - Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis (Innov. Syst. Softw. Eng., 2008)

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. - Jérémy Milhau; Benoît Fraikin; Marc Frappier (IFM, 2009)

Efficient symbolic computation of process expressions. - Benoît Fraikin; Marc Frappier (Sci. Comput. Program., 2009)

Comparison of Model Checking Tools for Information Systems. - Marc Frappier; Benoît Fraikin; Romain Chossart; Raphaël Chane-Yack-Fa; Mohammed Ouenzar (ICFEM, 2010)

A standard ontology for smart spaces. - Bessam Abdulrazak; Belkacem Chikhaoui; Charles Gouin-Vallerand; Benoît Fraikin (Int. J. Web Grid Serv., 2010)

A SAT-Based Approach for the Construction of Reusable Control System Components. - Daniel Côté; Benoît Fraikin; Marc Frappier; Richard St-Denis (FMICS, 2011)

Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. - Thibault De Champs; Bessam Abdulrazak; Hélène Pigot; Mohammed Ouenzar; Marc Frappier; Benoît Fraikin (PerCom Workshops, 2011)

Tool building in formal methods. - Frédéric Gervais; Benoît Fraikin (Softw. Pract. Exp., 2011)

Modeling the Supervisory Control Theory with Alloy. - Benoît Fraikin; Marc Frappier; Richard St-Denis (ABZ, 2012)

Supervisory control theory with Alloy. - Benoît Fraikin; Marc Frappier; Richard St-Denis (Sci. Comput. Program., 2014)

Sensitive Data Exchange Protocol Suite for Healthcare. - Thibaud Ecarot; Benoît Fraikin; Francis Ouellet; Luc Lavoie; Mark M. McGilchrist; Jean-François Ethier (ISCC, 2020)

Learning Health Systems: An Anonymous Network Routing Protocol. - Thibaud Ecarot; Benoît Fraikin; Luc Lavoie; Mark M. McGilchrist; Jean-François Ethier (CBMS, 2021)

A Sensitive Data Access Model in Support of Learning Health Systems. - Thibaud Ecarot; Benoît Fraikin; Luc Lavoie; Mark M. McGilchrist; Jean-François Ethier (Comput., 2021)