User menu

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

Search

Displaying 8 results.
    • Journal article
    A Modal Interface Theory for Component-based Design
    Raclet, Jean-Baptiste Badouel, Eric Benveniste, Albert Caillaud, Benoît Legay, Axel[UCL] Passerone, Roberto (2011) Fundamenta Informaticae — Vol. 108, no. 1-2, p. 119-149 (2011)
    • Speech
    Symbolic Model Checking of Software Product Lines
    Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2011) ICSE 2011 : 33rd International Conference on Software Engineering — Waikiki, Honolulu, HI, USA
    • Speech
    The quantitative linear-time–branching-time spectrum
    Fahrenberg, Uli Legay, Axel[UCL] Thrane, Claus (2011) FSTTCS - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science —
    • Speech
    Quantitative Refinement for Weighted Modal Transition Systems
    Thrane, Claus Bauer Sebastian, S. Fahrenberg, Uli Larsen Kim, Guldstrand Juhl, Line Legay, Axel[UCL] (2011) MFCS —
    • 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
    Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects
    Delahaye, Benoît Caillaud, Benoît Legay, Axel[UCL] (2011) Formal Methods in System Design — Vol. 38, no. 1, p. 1-32 (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
    Vision Paper: Make a Difference! (Semantically)
    Fahrenberg, Uli Legay, Axel[UCL] Wasowski, Andrzej (2011) MoDELS —