Fabrice Derepas

According to our database, Fabrice Derepas authored at least 2 papers in 2001.

Collaborative distances:

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

2001

Model Checking Systems of Replicated Processes with Spin.

Fabrice Derepas, Paul Gastin

Proceedings of the Model Checking Software, 2001

Avoiding State Explosion for Distributed Systems with Timestamps.

Fabrice Derepas, Paul Gastin, David Plainfossé

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001