Menu utilisateur

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

Rechercher

Affichage: 1 - 25 sur 354 résultats.

Pages

    • Communication
    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 —
    • Communication
    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 —
    • Monographie
    Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture
    Oquendo, Flavio Ali Babar, Muhammad Drira, Khalil Legay, Axel[UCL] (2016)
    • Communication
    Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems
    Nouri, Ayoub Bozga, Marius Molnos, Anca Legay, Axel[UCL] Bensalem, Saddek (2014) MEMOCODE — Lausanne, Switzerland
    • Communication
    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
    • Article de périodique
    Generating Counterexamples of Model-based Software Product Lines
    Ferreira Filho Joao, Bosco Barais, Olivier Acher, Mathieu Le Noir, Jérôme Legay, Axel[UCL] Baudry, Benoit (2014) Software Tools for Technology Transfer (STTT) —
    • Article de périodique
    Tropical Fourier–Motzkin elimination, with an application to real-time verification
    Allamigeon, Xavier Legay, Axel[UCL] Fahrenberg, Uli Katz, Ricardo Gaubert, Stéphane (2014) International Journal of Algebra and Computation (IJAC) — Vol. 24, no. 5, p. 569-607 (2014)
    • Communication
    Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
    Beneš, Nikola Delahaye, Benoît Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] (2013) CONCUR 2013 - 24th International Conference Concurrency Theory —
    • Rapport de recherche
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoît Genet, Thomas Legay, Axel[UCL] (2010)
    • Rapport de recherche
    Compositional Reasoning on (Probabilistic) Contracts
    Delahaye, Benoît Caillaud, Benoit Legay, Axel[UCL] (2009)
    • Document de travail
    Information Leakage by Trace Analysis in QUAIL
    Biondi, Fabrizio Quilbeuf, Jean Legay, Axel[UCL] (2014)
    • Communication
    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) —
    • Communication
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoit Genet, Thomas Legay, Axel[UCL] (2012) ICFEM —
    • Communication
    Configurable Formal Methods for Extreme Modeling
    Fahrenberg, Uli Legay, Axel[UCL] (2014) XM@MoDELS —
    • Rapport de recherche
    Lightweight Verification of Markov Decision Processes with Rewards
    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2014)
    • Rapport de recherche
    Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
    Ngo Van, Chan Legay, Axel[UCL] (2015)
    • Rapport de recherche
    Measuring Behaviour Interactions between Product-Line Features
    Atlee Joanne, M. Fahrenberg, Uli Legay, Axel[UCL] (2014)
    • Communication
    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 —
    • Communication
    On Statistical Model Checking with PLASMA
    Legay, Axel[UCL] Sedwards, Sean (2014) The 8th International Symposium on Theoretical Aspects of Software Engineering —
    • Communication
    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) —
    • Chapitre
    A Modeling Language for Security Threats of IoT Systems
    Beaulaton, Delphine Cristescu, Ioana Legay, Axel[UCL] Quilbeuf, Jean (2018) —
    • Monographie
    Risks and security of internet and systems : 12th international conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, revised selected papers
    Cuppens-Boulahia, Nora Cuppens, Frédéric Lanet, Jean-Louis Legay, Axel[UCL] Garcia-Alfaro, Joaquin (2018)
    • Communication
    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 —
    • Communication
    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 —
    • Communication
    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) —

Pages