User menu

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

Search

Displaying 19 results.
    • Report
    A framework for quantitative modeling and analysis of highly (re)configurable systems
    Legay, Axel[UCL] (2017)
    • Journal article
    Compositionality for quantitative specifications
    Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] Traonouez, Louis-Marie (2017) Soft Computing — Vol. 22, no.4, p. 1139-1158 (2017)
    • Journal article
    An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions
    Ésik, Zoltán Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2017) Acta Cybernetica — Vol. 23, no.1, p. 229-268 (2017)
    • Journal article
    An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras
    Ésik, Zoltán Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2017) Acta Cybernetica — Vol. 23, no.1, p. 203-228 (2017)
    • Journal article
    Formal verification of probabilistic SystemC models with statistical model checking : Formal verification of probabilistic SystemC models with statistical model checking
    Ngo, Van Chan Legay, Axel[UCL] (2017) Journal of Software: Evolution and Process — Vol. 30, no.3, p. e1890 (2017)
    • Journal article
    A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
    Fahrenberg, Uli Legay, Axel[UCL] (2017) SOFSEM 2017: Theory and Practice of Computer Science — , p. pp 49-61 (2017)
    • 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)
    • 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)
    • WorkingPaper
    Profiled SCA with a New Twist: Semi-supervised Learning
    Heuser, Annelie Picek, Stjepan Legay, Axel[UCL] Knezevic, Karlo (2017)
    • WorkingPaper
    Scalable Approximation of Quantitative Information Flow in Programs
    Biondi, Fabrizio Enescu, Michael Heuser, Annelie Legay, Axel[UCL] Meel, Kuldeep Quilbeuf, Jean (2017)
    • WorkingPaper
    Orchestration for Secure Multi-party Communications in Web-Services ✩
    Ben Said, Najah Abdellatif, Takoua Bozga, Marius Ben Salem, Saddek Legay, Axel[UCL] (2017)
    • WorkingPaper
    An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries
    Given-Wilson, Thomas Heuser, Annelie Jafri, Nisrine Lanet, Jean-Louis Legay, Axel[UCL] (2017)
    • Journal article
    Statistical Prioritization for Software Product Line Testing: an Experience Report
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Samih, Hamza Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2017) Software & Systems Modeling —
    • WorkingPaper
    Statistical Model Checking of LLVM Code
    Traonouez, Louis-Marie Legay, Axel[UCL] Nowotka, Dirk Poulsen, Danny (2017)
    • Journal article
    An Application of SMC to continuous validation of heterogeneous systems
    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2017) EAI Endorsed Transactions on Industrial Networks and Intelligent Systems — Vol. 4, no. 10, p. 152154 (2017)
    • Journal article
    When Time Meets Test
    Lanet, Jean-Louis Le Bouder, Hélène Benattou, Mohammed Legay, Axel[UCL] (2017) International Journal of Information Security — p. 395-409 (2017)
    • WorkingPaper
    On the Relevance of Feature Selection for Profiled Side-channel Attacks
    Heuser, Annelie Picek, Stjepan Jovic, Alan Legay, Axel[UCL] (2017)
    • Book
    Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017) : 32nd ACM SIGAPP Symposium On Applied Computing : 32nd ACM SIGAPP Symposium On Applied Computing
    Oquendo, Flavio Drira, Khalil Legay, Axel[UCL] Batista, Thais (2017)
    • WorkingPaper
    An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version
    Given-Wilson, Thomas Jafri, Nisrine Lanet, Jean-Louis Legay, Axel[UCL] (2017)