Frédéric Béal

According to our database, Frédéric Béal authored at least 3 papers between 2004 and 2008.

Collaborative distances:

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

2008

A Conservative Framework for Safety-Failure Checking.

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

IEICE Trans. Inf. Syst., 2008

2007

Hazard Checking of Timed Asynchronous Circuits Revisited.

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2004

On the BDD of a Random Boolean Function.

Jean Vuillemin, Frédéric Béal

Proceedings of the Advances in Computer Science, 2004