User menu

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

Search

Displaying 1 - 25 of 252 results.

Pages

    • Speech
    Measuring Global Similarity between Texts
    Fahrenberg, Uli Biondi, Fabrizio Corre, Kevin Jegourel, Cyrille Kongshøj, Simon Legay, Axel[UCL] (2014) SLSP 2014 : Second International Conference on Statistical Language and Speech Processing —
    • Speech
    A Tag Contract Framework for Heterogeneous Systems
    Le Thi Thieu, Hoa Passerone, Roberto Fahrenberg, Uli Legay, Axel[UCL] (2013) FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems —
    • Speech
    A framework for the rigorous design of highly adaptive timed systems
    Cordy, Maxime Legay, Axel[UCL] Schobbens, Pierre-Yves Traonouez, Louis-Marie (2013) 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) — San Francisco, CA, USA
    • Speech
    Scalable Verification of Markov Decision Processes
    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2014) 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) —
    • Speech
    Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems
    Legay, Axel[UCL] Sedwards, Sean (2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change —
    • Speech
    On Statistical Model Checking with PLASMA
    Legay, Axel[UCL] Sedwards, Sean (2014) The 8th International Symposium on Theoretical Aspects of Software Engineering —
    • 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) —
    • Speech
    Kleene Algebras and Semimodules for Energy Problems
    Esik, Zoltá Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2013) ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis —
    • Speech
    An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2014) International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —
    • Speech
    Synchronous Interface Theories and Time Triggered Scheduling
    Delahaye, Benot Fahrenberg, Uli Legay, Axel[UCL] Ničković, Dejan (2012) 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) —
    • 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) —
    • Speech
    Statistical Model Checking: Past, Present, and Future
    Larsen Kim, Guldstrand Legay, Axel[UCL] (2014) 6th International Symposium, ISoLA 2014 —
    • Speech
    History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
    Fahrenberg, Uli Legay, Axel[UCL] (2013) MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics —

Pages