User menu

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

All Publications

Displaying 1 - 25 of 380 results.

Pages

    • Journal article
    Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
    Le Thi Thieu, Hoa Passerone, Roberto Fahrenberg, Uli Legay, Axel[UCL] (2016) Theory of Computing Systems — Vol. 15, p. 1-26 (2016)
    • Journal article
    Vulnerability Prediction Against Fault Attacks
    Jafri, Nisrine Legay, Axel[UCL] Lanet, Jean-Louis (2016) ERCIM News —
    • WorkingPaper
    High-level Frameworks for the Specification and Verification of Scheduling Problems
    Chadli, Mounir Kim, Jin Larsen, Kim Legay, Axel[UCL] Naujokat, Stefan Steffen, Bernhard Traonouez, Louis-Marie (2017)
    • Journal article
    Dynamic networks of heterogeneous timed machines
    Fiadeiro, José Lopes, Antónia Delahaye, Benoît Legay, Axel[UCL] (2018) Mathematical Structures in Computer Science — Vol. 28, no. 06, p. 800-855 (2018)
    • Speech
    On the Performance of Convolutional Neural Networks for Side-Channel Analysis
    Legay, Axel[UCL] Picek, Stjepan Samiotis, Ioannis Petros Jaehun, Kim Heuser, Annelie Bhasin, Shivam (2018) Space 2018 — Indian Institute of Technology, Kanpur
    • Journal article
    Refinement and Difference for Probabilistic Automata
    Delahaye, Benoit Fahrenberg, Uli Larsen Kim, Guldstrand Legay, Axel[UCL] (2014) Logical Methods in Computer Science — p. LMCS-2013-936 (2014)
    • Speech
    Faster Statistical Model Checking by Means of Abstraction and Learning
    Nouri, Ayoub Raman, Balaji Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2014) RV —
    • Journal article
    Command-based importance sampling for statistical model checking
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2016) Theoretical Computer Science — Vol. 649, p. 1 - 24 (2016)
    • Journal article
    Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework
    Nouri, Ayoub Mediouni, Braham Bozga, Marius Combaz, Jacques Bensalem, Saddek Legay, Axel[UCL] (2018) International Journal of Critical Computer-Based Systems — p. 1-33 (2018)
    • Speech
    A Variability Perspective of Mutation Analysis
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Papadakis, Mike Legay, Axel[UCL] Schobbens, Pierre-Yves (2014) FSE 2014 : International Symposium on Foundations of Software Engineering — Hong Kong, China
    • Speech
    Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models
    Cordy, Maxime Heymans, Patrick Legay, Axel[UCL] Schobbens, Pierre-Yves Dawagne, Bruno Leucker, Martin (2014) FSE 2014 : International Symposium on Foundations of Software Engineering — Hong Kong, China
    • WorkingPaper
    Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
    Kawamoto, Yusuke Biondi, Fabrizio Legay, Axel[UCL] (2016)
    • Journal article
    Effectiveness of Synthesis in Concolic Deobfuscation
    Biondi, Fabrizio Josse, Sébastien Legay, Axel[UCL] Sirvent, Thomas (2017) Computers and Security — Vol. 70, p. 500-515 (2017)
    • Speech
    Sound Merging and Differencing for Class Diagrams
    Fahrenberg, Uli Acher, Mathieu Legay, Axel[UCL] Wąsowski, Andrzej (2014) FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering —
    • 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
    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 —
    • Journal article
    Statistical model checking QoS properties of systems with SBIP
    Nouri, Ayoub Bensalem, Saddek Bozga, Marius Delahaye, Benoit Jegourel, Cyrille Legay, Axel[UCL] (2014) International Journal on Software Tools for Technology Transfer — p. 171-185 (2014)
    • Journal article
    GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems
    Oquendo, Flavio Legay, Axel[UCL] Drira, Khalil (2015) ERCIM News — no. 102 (2015)
    • BookChapter
    The State of Fault Injection Vulnerability Detection
    Given-Wilson, Thomas Jafri, Nisrine Legay, Axel[UCL] (2018) —
    • Speech
    Mitigating Security Risks through Attack Strategies Exploration
    Mediouni, Braham Nouri, Ayoub Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2018) ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —
    • Journal article
    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) —
    • Journal article
    Component-based Verification using Incremental design and Invariants
    Bensalem, Saddek Bozga, Marius Legay, Axel[UCL] Nguyen, Thanh-Hung Sifakis, Joseph Yan, Rongjie (2014) Software & Systems Modeling — p. 427-451 (2014)
    • Journal article
    Effective, Efficient, and Robust Packing Detection and Classification
    Biondi, Fabrizio Enescu, Michael Given-Wilson, Thomas Legay, Axel[UCL] Noureddine, Lamine Verma, Vivek (2018) Computers and Security —
    • WorkingPaper
    Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report
    Baranov, Eduard Biondi, Fabrizio Decourbe, Olivier Given-Wilson, Thomas Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean Sebastio, Stefano (2018)
    • Journal article
    Real-Time Specifications
    David, Alexandre Larsen Kim, Guldstrand Legay, Axel[UCL] Nyman, Ulrik Traonouez, Louis-Marie Wasowski, Andrzej (2015) Software Tools for Technology Transfer (STTT) — Vol. 17, no. 1, p. 17-45 (2015)

Pages