Simon Busard

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Verification of Scenario-based Behavioural Models using Capella and PyNuSMV.
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.
Int. J. Softw. Tools Technol. Transf., 2019

2018
Producing Explanations for Rich Logics.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Symbolic model checking of multi-modal logics: uniform strategies and rich explanations.
PhD thesis, 2017

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

2015
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.
Inf. Comput., 2015

Verification of railway interlocking systems.
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.
Proceedings of the Formal Methods and Software Engineering, 2014

2013
Reasoning about Strategies under Partial Observability and Fairness Constraints
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

PyNuSMV: NuSMV as a Python Library.
Proceedings of the NASA Formal Methods, 2013

2012
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Proceedings of the Proceedings Second International Workshop on Interactions, 2012


  Loading...