Concepedia

Simon Busard

SB

Statistics

Publications

2

Citations

56

H-Index

2

Active since

2015

Affiliations

UCLouvain(Current)

Simon Busard is an author at UCLouvain specializing in safety systems, safety interlocks verification, and determinacy axioms.

Publications per year

2015–2015

2

Publications

2

Verification of railway interlocking systems

Simon Busard, Quentin Cappart, Christophe Limbrée et al. · Electronic Proceedings in Theoretical Computer Science · 2015 · 28 citations · Full text

, , +17

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints

Simon Busard, Charles Pecheur, Hongyang Qu et al. · Information and Computation · 2015 · 28 citations · Full text

, , +11

1–2 of 2