Suivre
Simon Busard
Titre
Citée par
Citée par
Année
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
412015
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
Information and Computation 242, 128-156, 2015
332015
Improving the model checking of strategies under partial observability and fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
Formal Methods and Software Engineering: 16th International Conference on …, 2014
252014
PyNuSMV: NuSMV as a Python library
S Busard, C Pecheur
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
222013
Symbolic model checking of multi-modal logics: uniform strategies and rich explanations
S Busard
University of Louvain, Belgium, 2017
102017
Reasoning about Strategies under Partial Observability and Fairness Constraints
S Busard, C Pecheur, H Qu, F Raimondi
EPTCS 112, 71-79, 2013
92013
Rich counter-examples for temporal-epistemic logic model checking
S Busard, C Pecheur
arXiv preprint arXiv:1202.4509, 2012
82012
Producing explanations for rich logics
S Busard, C Pecheur
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
52018
Verification of Scenario-based Behavioural Models using Capella and PyNuSMV.
S Busard, C Ponsard, C Pecheur
MODELSWARD, 337-343, 2021
22021
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
International Journal on Software Tools for Technology Transfer 21, 449-469, 2019
22019
PyNuSMV Documentation
S Busard
2017
A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability
S Busard, C Pecheur
arXiv preprint arXiv:1709.02106, 2017
2017
Rich counter-examples for ACTL model checking
S Busard, C Pecheur
Grascomp's Day, 2011
2011
Computing minimal representations with binary decision diagrams
A Royers, C Pecheur, S Busard
Visualization of binary decision diagram
X Dollé, C Pecheur, S Busard
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–15