Raphaël Chane-Yack-Fa

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 1

Top Topics

Distributed Information Systems

Boolean Functions

Experimental Evaluation

Top Venues

Formal Aspects Comput.

Publications

Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel
Parameterized verification of monotone information systems. Formal Aspects Comput. 30 (3-4) (2018)
Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa
Proving the Absence Property Pattern Using the B Method. HASE (2012)
Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar
Comparison of Model Checking Tools for Information Systems. ICFEM (2010)
Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca
Fair Adversaries and Randomization in Two-Player Games. FoSSaCS (2010)