| Verification of railway interlocking systems S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus arXiv preprint arXiv:1506.03554, 2015 | 42 | 2015 |
| 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 | 33 | 2015 |
| 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 | 25 | 2014 |
| PyNuSMV: NuSMV as a Python library S Busard, C Pecheur NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 25 | 2013 |
| Symbolic model checking of multi-modal logics: uniform strategies and rich explanations S Busard University of Louvain, Belgium, 2017 | 10 | 2017 |
| Reasoning about Strategies under Partial Observability and Fairness Constraints S Busard, C Pecheur, H Qu, F Raimondi EPTCS 112, 71-79, 2013 | 9 | 2013 |
| Rich counter-examples for temporal-epistemic logic model checking S Busard, C Pecheur arXiv preprint arXiv:1202.4509, 2012 | 8 | 2012 |
| Producing explanations for rich logics S Busard, C Pecheur Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 5 | 2018 |
| Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. S Busard, C Ponsard, C Pecheur MODELSWARD, 337-343, 2021 | 2 | 2021 |
| 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 | 2 | 2019 |
| 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 | | |
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainAdresse e-mail validée de uclouvain.be
