User menu

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

Search

Displaying 4 results.
    • Speech
    Refinement and Difference for Probabilistic Automata
    Delahaye, Benoît Fahrenberg, Uli Larsen Kim, Guldstrand Legay, Axel[UCL] (2013) QEST 2013 - 10th International Conference Quantitative Evaluation of Systems —
    • Speech
    A Timed Component Algebra for Services
    Delahaye, Benoît Fiadeiro, José Legay, Axel[UCL] Lopes, Antónia (2013) 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) —
    • Report
    A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes
    Delahaye, Benoît Legay, Axel[UCL] Sedwards, Sean (2013)
    • Speech
    Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
    Beneš, Nikola Delahaye, Benoît Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] (2013) CONCUR 2013 - 24th International Conference Concurrency Theory —