|
Search the dblp DataBase
Benoît Fraikin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Benoît Fraikin, Marc Frappier
Efficient Interpretation of Large Quantifications in a Process Algebra. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2006, pp:189-192 [Conf]
- Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Synthesizing Information Systems: the APIS Project. [Citation Graph (0, 0)][DBLP] RCIS, 2007, pp:73-84 [Conf]
- Benoît Fraikin, Marc Frappier, Régine Laleau
State-based versus event-based specifications for information systems: a comparison of B and eb3. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2005, v:4, n:3, pp:236-257 [Journal]
- Benoît Fraikin, Marc Frappier
Efficient Symbolic Execution of Large Quantifications in a Process Algebra. [Citation Graph (0, 0)][DBLP] ICFEM, 2007, pp:327-344 [Conf]
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|