User menu

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

Search

Displaying 11 results.
    • Speech
    Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.
    Delahaye, Benoît Caillaud, Benoît Legay, Axel[UCL] (2010) 10th International Conference on Application of Concurrency to System Design (ACSD) —
    • Report
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoît Genet, Thomas Legay, Axel[UCL] (2010)
    • Speech
    Verification of an AFDX infrastructure using simulation and probabilities
    Basu, Ananda Bensalem, Saddek Bozga, Marius Delahaye, Benoît Legay, Axel[UCL] Sifakis, Emmanuel (2010) Runtime Verification - First International Conference, RV 2010 —
    • 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
    • Report
    Statistical abstraction and model-checking of large heterogeneous systems
    Basu, Ananda Bensalem, Saddek Bozga, Marius Caillaud, Benoît Delahaye, Benoît Legay, Axel[UCL] (2010)
    • Speech
    Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
    Basu, Ananda Bensalem, Saddek Bozga, Marius Caillaud, Benoît Delahaye, Benoît Legay, Axel[UCL] (2010) Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) —
    • WorkingPaper
    Pushdown Module Checking with Imperfect Information
    Aminof, Benjamin Legay, Axel[UCL] Murano, Aniello Serre, Olivier Vardi, Moshe (2010)
    • Speech
    Hardness of Preorder Checking for Basic Formalisms
    Bozzelli, Laura Legay, Axel[UCL] Pinchinat, Sophie (2010) LPAR —
    • Speech
    Statistical Model Checking: An Overview
    Legay, Axel[UCL] Delahaye, Benoît Bensalem, Saddek (2010) Runtime Verification —
    • Speech
    Incremental Component-based Construction and Verification using Invariants
    Bensalem, Saddek Bozga, Marius Legay, Axel[UCL] Nguyen, Thanh-Hung Sifakis, Joseph Yan, Rongjie (2010) Formal Methods in Computer Aided Design, FMCAD 2010 —
    • Speech
    Model Checking Lots of Systems
    Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] Raskin, Jean-François (2010) ICSE 2010 : 32nd International Conference on Software Engineering — Cape Town, South Africa