Benot Fraikin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2007–2021
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CBMS | Learning Health Systems: An Anonymous Network Routing Protocol. | Thibaud Ecarot, Benot Fraikin, Luc Lavoie, Mark M. McGilchrist, Jean-Franois Ethier |
| 2020 | ISCC | Sensitive Data Exchange Protocol Suite for Healthcare. | Thibaud Ecarot, Benot Fraikin, Francis Ouellet, Luc Lavoie, Mark M. McGilchrist, Jean-Franois Ethier |
| 2011 | FMICS | A SAT-Based Approach for the Construction of Reusable Control System Components. | Daniel Ct, Benot Fraikin, Marc Frappier, Richard St-Denis |
| 2011 | PERCOM | Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. | Thibault De Champs, Bessam Abdulrazak, Hlne Pigot, Mohammed Ouenzar, Marc Frappier, Benot Fraikin |
| 2010 | ICFEM | Comparison of Model Checking Tools for Information Systems. | Marc Frappier, Benot Fraikin, Romain Chossart, Raphal Chane-Yack-Fa, Mohammed Ouenzar |
| 2009 | IFM | Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. | Jrmy Milhau, Benot Fraikin, Marc Frappier |
| 2007 | ICFEM | Efficient Symbolic Execution of Large Quantifications in a Process Algebra. | Benot Fraikin, Marc Frappier |
| 2007 | RCIS | Synthesizing Information Systems: the APIS Project. | Marc Frappier, Benot Fraikin, Frdric Gervais, Rgine Laleau, Mario Richard |