Simon Busard

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:98/10961 · DBLP profile ↗

← Back

5ranked-venue papers

5as first author

1since 2021 · last 2021

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 4 first-author · 1 since 2021Theory of computation · 2 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science

2 papers

Automated reasoning and model checking · 36% Logic in computer science · 28% Algorithmic game theory and mechanism design · 18%

Topics — the 4 heaviest of 5, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Mathematical optimization › constrained optimization fairness constraints	0.2	1	2015	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints · Inf. Comput. 2015
Algorithmic game theory and mechanism design › stochastic games memoryless strategies	0.2	1	2015	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints · Inf. Comput. 2015
Automated reasoning and model checking model checking	0.2	1	2015	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints · Inf. Comput. 2015
Automated reasoning and model checking › planning partial observability	0.2	1	2015	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints · Inf. Comput. 2015

Methods — techniques the papers use, named apart from their topics

explanation generation · 0.3

Year	Publication	Venue	Position
2021	Verification of Scenario-based Behavioural Models using Capella and PyNuSMV Simon Busard, Christophe Ponsard, Charles Pecheur	MODELSWARD	1
2019	Comparing approaches for model-checking strategies under imperfect information and fairness constraints Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi	Int. J. Softw. Tools Technol. Transf.	1
2018	Producing Explanations for Rich Logics Simon Busard, Charles Pecheur	FM	1
2015	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi	Inf. Comput.	1
2014	Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi	ICFEM	1