Benoît Fraikin

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