Benoît Fraikin

According to our database, Benoît Fraikin authored at least 17 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Learning Health Systems: An Anonymous Network Routing Protocol.

Thibaud Ecarot, Benoît Fraikin, Luc Lavoie, Mark M. McGilchrist, Jean-François Ethier

Proceedings of the 34th IEEE International Symposium on Computer-Based Medical Systems, 2021

2020

Sensitive Data Exchange Protocol Suite for Healthcare.

Thibaud Ecarot, Benoît Fraikin, Francis Ouellet, Luc Lavoie, Mark M. McGilchrist, Jean-François Ethier

Proceedings of the IEEE Symposium on Computers and Communications, 2020

2014

Supervisory control theory with Alloy.

Benoît Fraikin, Marc Frappier, Richard St-Denis

Sci. Comput. Program., 2014

2012

Modeling the Supervisory Control Theory with Alloy.

Benoît Fraikin, Marc Frappier, Richard St-Denis

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Tool building in formal methods.

Frédéric Gervais, Benoît Fraikin

Softw. Pract. Exp., 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

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

A SAT-Based Approach for the Construction of Reusable Control System Components.

Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

A standard ontology for smart spaces.

Bessam Abdulrazak, Belkacem Chikhaoui, Charles Gouin-Vallerand, Benoît Fraikin

Int. J. Web Grid Serv., 2010

Comparison of Model Checking Tools for Information Systems.

Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Efficient symbolic computation of process expressions.

Benoît Fraikin, Marc Frappier

Sci. Comput. Program., 2009

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.

Jérémy Milhau, Benoît Fraikin, Marc Frappier

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

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

2007

Synthesizing Information Systems: the APIS Project.

Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Efficient Symbolic Execution of Large Quantifications in a Process Algebra.

Benoît Fraikin, Marc Frappier

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Efficient Interpretation of Large Quantifications in a Process Algebra.

Benoît Fraikin, Marc Frappier

Proceedings of the Modelling, 2006

2005

State-based versus event-based specifications for information systems: a comparison of B and eb³.

Benoît Fraikin, Marc Frappier, Régine Laleau

Softw. Syst. Model., 2005