521 citations · 660 across the 21 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 2 cited
Verification of railway interlocking - Compositional approach with OCRA
Christophe Limbree, Quentin Cappart, Charles Pecheur +1
In the railway domain, an electronic interlocking is a computerised system that controls the railway signalling components (e.g. switches or signals) in order to allow a safe opera…
cs.SE2016★ 33 cited
Verification of interlocking systems using statistical model checking
Quentin Cappart, Christophe Limbree, Pierre Schaus +3
In the railway domain, an interlocking is the system ensuring safe train traffic inside a station by controlling its active elements such as the signals or points. Modern interlock…