Benjamin Blanc

According to our database, Benjamin Blanc authored at least 3 papers between 2004 and 2019.

Collaborative distances:

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

2019

RBS2HLL - A Formal Modeling of Relay-Based Interlocking.

Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2010

Handling State-Machines Specifications with GATeL.

Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2004

Test Selection Strategies for Lustre Descriptions in GATeL.

Bruno Marre, Benjamin Blanc

Proceedings of the Workshop on Model Based Testing, 2004