2017

• A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Simon Busard, Charles Pecheur. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, Roma, Italy, 20-22 September 2017.
• Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Doctoral thesis, Université catholique de Louvain.

2015

• Verification of railway interlocking systems. Simon Busard, Quentin Cappart, Christophe Limbrée?, Charles Pecheur, Pierre Schaus. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015.
• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Information and Computation.

2014

• Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Formal Methods and Software Engineering.

2013

• PyNuSMV: NuSMV as a Python Library. Simon Busard, Charles Pecheur. Nasa Formal Methods 2013.
• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Proceedings 1st International Workshop on Strategic Reasoning, Rome, Italy, March 16-17, 2013.

2012

• Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard, Charles Pecheur. Proceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012.

2017

• Backward Model Checking of Uniform Strategies. Simon Busard. 8th International Symposium on Games, Automata, Logics, and Formal Verification. 20–22 September 2017, Rome, Italy.
• Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Simon Busard Public Defense, July 3, 2017, Louvain-la-Neuve, Belgium.

2015

• What can imperfect agents achieve? Verification of strategies under partial observability. Simon Busard. "My Thesis in 180 seconds" contest, ICTEAM Young Researchers' Day 2015, May 26, 2015, Modave, Belgium.

2014

• Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard. 16th International Conference on Formal Engineering Methods, November 3-7, 2014, Luxembourg.

2013

• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard. CFV Seminar, November 29, 2013, Brussels, Belgium.
• PyNuSMV: NuSMV as a Python Library. Simon Busard. 5th NASA Formal Methods Symposium, May 14-16, 2013, NASA Ames Research Center, Moffett Field, CA, USA.
• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard. 1st International Workshop on Strategic Reasoning, March 16-17, 2013, Rome, Italy.

2012

• Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard. Second International Workshop on Interactions, Games and Protocols, 24 March - 1 April 2012, Tallinn, Estonia.

2011

• Rich Counter-Examples for ACTL Model Checking. Simon Busard. Grascomp’s Contact Day, November 3rd, 2011, Université Libre de Bruxelles, Brussels, Belgium.