User menu

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

Search

Displaying 6 results.
    • Journal article
    Weighted modal transition systems
    Bauer Sebastian, S. Fahrenberg, Uli Juhl, Line Larsen Kim, Guldstrand Legay, Axel[UCL] Thrane, Claus (2013) Formal Methods in System Design — Vol. 42, no. 2, p. 193-220 (2013)
    • Report
    Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
    Arnold, Alexandre Boyer, Benoît Legay, Axel[UCL] (2013)
    • Journal article
    Rigorous embedded design: challenges and perspectives
    Bensalem, Saddek Legay, Axel[UCL] Bozga, Marius (2013) International Journal on Software Tools for Technology Transfer — Vol. 15, no. 3, p. 149-154 (2013)
    • Journal article
    Pushdown Module Checking with Imperfect Information
    Aminof, Benjamin Legay, Axel[UCL] Murano, Aniello Serre, Olivier Vardi, Moshe (2013) Information and Computation — Vol. 223, p. 1-17 (2013)
    • BookChapter
    Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
    Fahrenberg, Uli Larsen Kim, Guldstrand Legay, Axel[UCL] Thrane, Claus (2013) — [ISBN : 9783642397202]
    • Report
    A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes
    Delahaye, Benoît Legay, Axel[UCL] Sedwards, Sean (2013)