Benoît Fraikin

	2011
12		Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St.-Denis: A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS 2011: 52-67
11		Thibault De Champs, Bessam Abdulrazak, Hélène Pigot, Mohammed Ouenzar, Marc Frappier, Benoît Fraikin: Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. PerCom Workshops 2011: 630-635
10		Frédéric Gervais, Benoît Fraikin: Tool building in formal methods. Softw., Pract. Exper. 41(2): 131-132 (2011)
	2010
9		Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar: Comparison of Model Checking Tools for Information Systems. ICFEM 2010: 581-596
8		Bessam Abdulrazak, Belkacem Chikhaoui, Charles Gouin-Vallerand, Benoît Fraikin: A standard ontology for smart spaces. IJWGS 6(3): 244-268 (2010)
	2009
7		Jérémy Milhau, Benoît Fraikin, Marc Frappier: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM 2009: 337-351
6		Benoît Fraikin, Marc Frappier: Efficient symbolic computation of process expressions. Sci. Comput. Program. 74(9): 723-753 (2009)
	2008
5		Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis: Extending statecharts with process algebra operators. ISSE 4(3): 285-292 (2008)
	2007
4		Benoît Fraikin, Marc Frappier: Efficient Symbolic Execution of Large Quantifications in a Process Algebra. ICFEM 2007: 327-344
3		Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard: Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84
	2006
2		Benoît Fraikin, Marc Frappier: Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS 2006: 189-192
	2005
1		Benoît Fraikin, Marc Frappier, Régine Laleau: State-based versus event-based specifications for information systems: a comparison of B and eb3. Software and System Modeling 4(3): 236-257 (2005)

Coauthor Index

1	Bessam Abdulrazak	[8] [11]
2	Thibault De Champs	[11]
3	Raphaël Chane-Yack-Fa	[9]
4	Belkacem Chikhaoui	[8]
5	Romain Chossart	[9]
6	Daniel Côté	[12]
7	Marc Frappier	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12]
8	Frédéric Gervais	[3] [5] [10]
9	Charles Gouin-Vallerand	[8]
10	Régine Laleau (Regine Laleau)	[1] [3] [5]
11	Jérémy Milhau	[7]
12	Mohammed Ouenzar	[9] [11]
13	Hélène Pigot	[11]
14	Mario Richard	[3]
15	Richard St.-Denis	[5] [12]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page