User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 11 results.
    • Speech
    Producing explanations for rich logics
    Busard, Simon Pecheur, Charles[UCL] (2018) 22nd International symposium on formal methods — Oxford
    • Speech
    Rich counter-examples for temporal-epistemic logic model checking
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2012) Proceedings Second International Workshop on Interactions, Games and Protocols (IWIGP 2012) — Tallinn, Estonia
    • Speech
    Reasoning about Strategies under Partial Observability and Fairness Constraints
    Busard, Simon[UCL] Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2013) Proceedings 1st International Workshop on Strategic Reasoning — Rome, Italy
    • Speech
    PyNuSMV: NuSMV as a Python Library
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2013) 5th NASA Formal Methods Symposium (NFM 2013) — NASA Ames Research Center, Moffett Field, CA, USA
    • Speech
    Rich counter-examples for ACTL model checking
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2011) Grascomp's Day — Université Libre de Bruxelles, Brussels, Belgium
    • Dissertation
    Symbolic model checking of multi-modal logics : uniform strategies and rich explanations
    Busard, Simon[UCL] (2017)
    • Journal article
    Comparing approaches for model-checking strategies under imperfect information and fairness constraints
    Busard, Simon Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.4, p. 449-469 (2019)
    • Speech
    A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2017) Eighth International Symposium on Games, Automata, Logics and Formal Verification — Roma, Italy
    • Speech
    Verification of railway interlocking systems
    Busard, Simon[UCL] Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Pecheur, Charles[UCL] Schaus, Pierre[UCL] (2015) 4th International Workshop on Engineering Safety and Security Systems 2015 — Oslo, Norway
    • Journal article
    Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
    Busard, Simon[UCL] Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2015) Information and Computation — Vol. 242, no.0, p. 128-156 (2015)
    • Speech
    PyNuSMV: NuSMV as a Python Library
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2013) 5th NASA Formal Methods Symposium (NFM 2013) — NASA Ames Research Center, Moffett Field, CA, USA