Benoît Fraikin

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 3

Top Topics

Supervisory Control

Security Threats

Top Venues

Sci. Comput. Program.

Publications

Thibaud Ecarot, Benoît Fraikin, Luc Lavoie, Mark M. McGilchrist, Jean-François Ethier
A Sensitive Data Access Model in Support of Learning Health Systems. Comput. 10 (3) (2021)
Thibaud Ecarot, Benoît Fraikin, Luc Lavoie, Mark M. McGilchrist, Jean-François Ethier
Learning Health Systems: An Anonymous Network Routing Protocol. CBMS (2021)
Thibaud Ecarot, Benoît Fraikin, Francis Ouellet, Luc Lavoie, Mark M. McGilchrist, Jean-François Ethier
Sensitive Data Exchange Protocol Suite for Healthcare. ISCC (2020)
Benoît Fraikin, Marc Frappier, Richard St-Denis
Supervisory control theory with Alloy. Sci. Comput. Program. 94 (2014)
Benoît Fraikin, Marc Frappier, Richard St-Denis
Modeling the Supervisory Control Theory with Alloy. ABZ (2012)
Thibault De Champs, Bessam Abdulrazak, Hélène Pigot, Mohammed Ouenzar, Marc Frappier, Benoît Fraikin
Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. PerCom Workshops (2011)
Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis
A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS (2011)
Frédéric Gervais, Benoît Fraikin
Tool building in formal methods. Softw. Pract. Exp. 41 (2) (2011)
Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar
Comparison of Model Checking Tools for Information Systems. ICFEM (2010)
Bessam Abdulrazak, Belkacem Chikhaoui, Charles Gouin-Vallerand, Benoît Fraikin
A standard ontology for smart spaces. Int. J. Web Grid Serv. 6 (3) (2010)
Benoît Fraikin, Marc Frappier
Efficient symbolic computation of process expressions. Sci. Comput. Program. 74 (9) (2009)
Jérémy Milhau, Benoît Fraikin, Marc Frappier
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM (2009)
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4 (3) (2008)
Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Synthesizing Information Systems: the APIS Project. RCIS (2007)
Benoît Fraikin, Marc Frappier
Efficient Symbolic Execution of Large Quantifications in a Process Algebra. ICFEM (2007)
Benoît Fraikin, Marc Frappier
Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS (2006)
Benoît Fraikin, Marc Frappier, Régine Laleau
. Softw. Syst. Model. 4 (3) (2005)