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
International Conference on Formal Engineering Methods, 581-596, 2010
782010
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
482010
Extending statecharts with process algebra operators
M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis
Innovations in Systems and Software Engineering 4 (3), 285-292, 2008
462008
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 (3), 236-257, 2005
262005
EB3PAI: an interpreter for the EB3 specification language
B Fraikin, M Frappier
Proc. 15th International Conference on Software and Systems Engineering and …, 2002
222002
Algebraic state transition diagrams
M Frappier, F Gervais, R Laleau, B Fraikin
Université de Sherbrooke, Département d’informatique, Sherbrooke, Québec …, 2008
152008
Interprétation efficace d'expression de processus EB (3)
B Fraikin
ProQuest, 2006
102006
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
92011
Efficient symbolic computation of process expressions
B Fraikin, M Frappier
Science of Computer Programming 74 (9), 723-753, 2009
92009
Efficient symbolic execution of large quantifications in a process algebra
B Fraikin, M Frappier
International Conference on Formal Engineering Methods, 327-344, 2007
92007
Synthesizing information systems: the apis project
B Fraikin, F Gervais, R Laleau, M Richard
92007
APIS-Automatic production of information systems
M Frappier, B Fraikin, R Laleau, M Richard
AAAI Spring Symposium, 17-24, 2002
92002
Automatic production of information systems
M Frappier, B Fraikin, R Laleau, M Richard
AAAI Symposium on Logic-Based Program Synthesis, 7, 2002
82002
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
72010
Efficient execution of process expressions using symbolic interpretation
B Fraikin, M Frappier
Rapport technique 8, 2005
72005
Synthesizing Information Systems: the APIS Project.
M Frappier, B Fraikin, F Gervais, R Laleau, M Richard
RCIS, 73-84, 2007
62007
Supervisory control theory with Alloy
B Fraikin, M Frappier, R St-Denis
Science of Computer Programming 94, 217-237, 2014
52014
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
Automatic generation of error messages for the symbolic execution of eb3 process expressions
J Milhau, B Fraikin, M Frappier
International Conference on Integrated Formal Methods, 337-351, 2009
52009
Optimizing memory space in the eb3 process algebra interpreter
B Fraikin, M Frappier
ICCSSEA 2002 1, 2002
52002
The system can't perform the operation now. Try again later.
Articles 1–20