Simon Busard

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 4

Top Topics

Constraint Programming

Formal Specification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Simon Busard, Christophe Ponsard, Charles Pecheur
Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. MODELSWARD (2021)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Simon Busard, Charles Pecheur
Producing Explanations for Rich Logics. FM (2018)
Simon Busard, Charles Pecheur
A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. GandALF (2017)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. 242 (2015)
Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus
Verification of railway interlocking systems. ESSS (2015)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM (2014)
Simon Busard, Charles Pecheur
PyNuSMV: NuSMV as a Python Library. NASA Formal Methods (2013)
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about Strategies under Partial Observability and Fairness Constraints SR (2013)
Simon Busard, Charles Pecheur
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking IWIGP (2012)