Benoit Fraikin

Benoit Fraikin

Université de Sherbrooke - Sherbrooke / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 663490
University of Sherbrooke
person_outline Benoit Fraikin's MOST POPULAR ARTICLES
1-) Comparison of model checking tools for information systemsM Frappier, B Fraikin, R Chossart, R Chane-Yack-Fa, M OuenzarInternational Conference on Formal Engineering Methods, 581-596, 2010932010
2-) A standard ontology for smart spacesB Abdulrazak, B Chikhaoui, C Gouin-Vallerand, B FraikinInternational Journal of Web and Grid Services 6 (3), 244-268, 2010562010
3-) Extending statecharts with process algebra operatorsM Frappier, F Gervais, R Laleau, B Fraikin, R St-DenisInnovations in Systems and Software Engineering 4 (3), 285-292, 2008502008
4-) State-based versus event-based specifications for information systems: a comparison of B and eb3B Fraikin, M Frappier, R LaleauSoftware & Systems Modeling 4 (3), 236-257, 2005302005
5-) EB3PAI: an interpreter for the EB3 specification languageB Fraikin, M FrappierProc. 15th International Conference on Software and Systems Engineering and …, 2002232002