Follow
Benoit Fraikin
Benoit Fraikin
Lecturer of Computer Science, Université de Sherbrooke
Verified email at usherbrooke.ca
Title
Cited by
Cited by
Year
Comparison of model checking tools for information systems
M Frappier, B Fraikin, R Chossart, R Chane-Yack-Fa, M Ouenzar
Formal Methods and Software Engineering: 12th International Conference on …, 2010
992010
A standard ontology for smart spaces
B Abdulrazak, B Chikhaoui, C Gouin-Vallerand, B Fraikin
International Journal of Web and Grid Services 6 (3), 244-268, 2010
582010
Extending statecharts with process algebra operators
M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis
Innovations in Systems and Software Engineering 4, 285-292, 2008
532008
State-based versus event-based specifications for information systems: a comparison of B and eb3
B Fraikin, M Frappier, R Laleau
Software & Systems Modeling 4, 236-257, 2005
302005
EB3PAI: an interpreter for the EB3 specification language
B Fraikin, M Frappier
Proc. 15th International Conference on Software and Systems Engineering and …, 2002
232002
Synthesizing Information Systems: the APIS Project.
M Frappier, B Fraikin, F Gervais, R Laleau, M Richard
RCIS, 73-84, 2007
182007
Algebraic state transition diagrams
M Frappier, F Gervais, R Laleau, B Fraikin
Université de Sherbrooke, Département d’informatique, Sherbrooke, Québec …, 2008
172008
Efficient symbolic execution of large quantifications in a process algebra
B Fraikin, M Frappier
Formal Methods and Software Engineering: 9th International Conference on …, 2007
142007
Efficient symbolic computation of process expressions
B Fraikin, M Frappier
Science of Computer Programming 74 (9), 723-753, 2009
132009
Interprétation efficace d'expression de processus E [indice] B [indice] ₃
B Fraikin
Library and Archives Canada= Bibliothèque et Archives Canada, Ottawa, 2007
132007
Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven
T De Champs, M Ouenzar, B Abdulrazak, M Frappier, H Pigot, B Fraikin
2011 IEEE International Conference on Pervasive Computing and Communications …, 2011
122011
Automatic production of information systems
M Frappier, B Fraikin, R Laleau, M Richard
AAAI Symposium on Logic-Based Program Synthesis, 7, 2002
122002
APIS-Automatic production of information systems
M Frappier, B Fraikin, R Laleau, M Richard
AAAI Spring Symposium, 17-24, 2002
102002
Supervisory control theory with Alloy
B Fraikin, M Frappier, R St-Denis
Science of Computer Programming 94, 217-237, 2014
82014
iASTD: un interpréteur pour les ASTD
K Salabert, J Milhau, B Fraikin, M Frappier, F Gervais, R Laleau
Atelier Approches Formelles dans l’Assistance au Développement de Logiciels …, 2010
82010
Efficient execution of process expressions using symbolic interpretation
B Fraikin, M Frappier
Rapport technique 8, 2005
72005
Automatic generation of error messages for the symbolic execution of eb3 process expressions
J Milhau, B Fraikin, M Frappier
Integrated Formal Methods: 7th International Conference, IFM 2009 …, 2009
62009
Using an ontology to derive a sharable and interoperable relational data model for heterogeneous healthcare data and various applications
C Khnaisser, L Lavoie, B Fraikin, A Barton, S Dussault, A Burgun, ...
Methods of Information in Medicine 61 (S 02), e73-e88, 2022
52022
Modeling the Supervisory Control Theory with Alloy
B Fraikin, M Frappier, R St-Denis
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
52012
A SAT-based approach for the construction of reusable control system components
D Côté, B Fraikin, M Frappier, R St-Denis
Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011
52011
The system can't perform the operation now. Try again later.
Articles 1–20