User menu

Accès à distance ? S'identifier sur le proxy UCLouvain | Saint-Louis

Search

Displaying 12 results.
    • 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
    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
    • Speech
    Producing explanations for rich logics
    Busard, Simon Pecheur, Charles[UCL] (2018) 22nd International symposium on formal methods — Oxford
    • 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
    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
    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 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
    Rich counter-examples for ACTL model checking
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2011) Grascomp's Day — Université Libre de Bruxelles, Brussels, Belgium
    • 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
    Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
    Busard, Simon[UCL] Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2014) 16th International Conference on Formal Engineering Methods, ICFEM 2014 — Luxembourg, Luxembourg