User menu

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

Search

Displaying 7 results.
    • Report
    Compositional Design Methodology with Constraint Markov Chains
    Caillaud, Benoit Delahaye, Benoît Larsen Kim, Guldstrand Legay, Axel[UCL] Pedersen Mikkel, L. Wasowski, Andrzej (2009)
    • Speech
    Compositional design methodology with constraint Markov chains
    Caillaud, Benoit Delahaye, Benoît Larsen Kim, Guldstrand Legay, Axel[UCL] Pedersen Mikkel, L. Wasowski, Andrzej (2010) QEST 2010 — Williamsburg, VA, USA
    • Speech
    Maximizing Entropy over Markov Processes
    Biondi, Fabrizio Legay, Axel[UCL] Friis Nielsen, Bo Wasowski, Andrzej (2013) 7th International Conference on Language and Automata Theory and Applications —
    • Speech
    Robust Specification of Real Time Components
    Larsen Kim, Guldstrand Legay, Axel[UCL] Traonouez, Louis-Marie Wasowski, Andrzej (2011) 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011) —
    • Journal article
    Constraint Markov Chains
    Caillaud, Benoit Delahaye, Benoît Larsen Kim, Guldstrand Legay, Axel[UCL] Pedersen Mikkel, L. Wasowski, Andrzej (2011) Theoretical Computer Science — Vol. 412, no. 34, p. 4373-4404 (2011)
    • Speech
    QUAIL: A Quantitative Security Analyzer for Imperative Code
    Biondi, Fabrizio Legay, Axel[UCL] Traonouez, Louis-Marie Wasowski, Andrzej (2013) CAV 2013 - 25th International Conference on Computer Aided Verification —
    • Speech
    Vision Paper: Make a Difference! (Semantically)
    Fahrenberg, Uli Legay, Axel[UCL] Wasowski, Andrzej (2011) MoDELS —