Simon Busard

According to our database, Simon Busard authored at least 11 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verification of Scenario-based Behavioural Models using Capella and PyNuSMV.

Simon Busard, Christophe Ponsard, Charles Pecheur

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2019

Comparing approaches for model-checking strategies under imperfect information and fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Int. J. Softw. Tools Technol. Transf., 2019

2018

Producing Explanations for Rich Logics.

Simon Busard, Charles Pecheur

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Symbolic model checking of multi-modal logics: uniform strategies and rich explanations.

Simon Busard

PhD thesis, 2017

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability.

Simon Busard, Charles Pecheur

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

2015

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Inf. Comput., 2015

Verification of railway interlocking systems.

Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

2014

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Reasoning about Strategies under Partial Observability and Fairness Constraints

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

PyNuSMV: NuSMV as a Python Library.

Simon Busard, Charles Pecheur

Proceedings of the NASA Formal Methods, 2013

2012

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

Simon Busard, Charles Pecheur

Proceedings of the Proceedings Second International Workshop on Interactions, 2012