User menu

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

Search

Displaying 5 results.
    • Report
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoît Genet, Thomas Legay, Axel[UCL] (2010)
    • Report
    Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
    Arnold, Alexandre Boyer, Benoît Legay, Axel[UCL] (2013)
    • WorkingPaper
    Statistical Model Checking with Changes and Simulink
    Boyer, Benoît Corre, Kevin Legay, Axel[UCL] Traonouez, Louis-Marie (2014)
    • Speech
    A Formalism for Stochastic Adaptive Systems
    Boyer, Benoît Legay, Axel[UCL] Traonouez, Louis-Marie (2014) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications —
    • Speech
    Incremental Generation of Linear Invariants for Component-Based Systems
    Bensalem, Saddek Bozga, Marius Boyer, Benoît Legay, Axel[UCL] (2013) 3th International Conference on Application of Concurrency to System Design (ACSD) —