Raphaël Chane-Yack-Fa

According to our database, Raphaël Chane-Yack-Fa authored at least 4 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Parameterized verification of monotone information systems.

Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel

Formal Aspects Comput., 2018

2012

Proving the Absence Property Pattern Using the B Method.

Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2010

Comparison of Model Checking Tools for Information Systems.

Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar

Proceedings of the Formal Methods and Software Engineering, 2010

Fair Adversaries and Randomization in Two-Player Games.

Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca

Proceedings of the Foundations of Software Science and Computational Structures, 2010