dblp.uni-trier.dewww.uni-trier.de

Benoît Fraikin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEJé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
2007
4EEBenoî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
1EEBenoî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

1Marc Frappier [1] [2] [3] [4] [5]
2Frédéric Gervais [3]
3Régine Laleau (Regine Laleau) [1] [3]
4Jérémy Milhau [5]
5Mario Richard [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)