User menu

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

Search

Displaying 14 results.
    • Speech
    Sequential Relational Decomposition
    Fried, Dror Legay, Axel[UCL] Ouaknine, Joël Vardi, Moshe Y. (2018) the 33rd Annual ACM/IEEE Symposium — Oxford, United Kingdom
    • 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
    • Speech
    Trace checking for dynamic software product lines
    Olaechea, Rafael Atlee, Joanne Legay, Axel[UCL] Fahrenberg, Uli (2018) the 13th International Conference — Gothenburg, Sweden
    • Speech
    QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
    Legay, Axel[UCL] Vandin, Andrea H. ter Beek, Maurice Lluch Lafuente, Alberto (2018) FM 2018 : 22nd International Symposium on Formal Methods — Oxford, United Kingdom
    • Speech
    Scalable Approximation of Quantitative Information Flow in Programs.
    Biondi, Fabrizio Enescu, Michael A. Heuser, Annelie Legay, Axel[UCL] Meel, Kuldeep S. Quilbeuf, Jean (2018) VMCAI —
    • Speech
    $$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
    Mediouni, Braham Lotfi Nouri, Ayoub Bozga, Marius Dellabani, Mahieddine Legay, Axel[UCL] Bensalem, Saddek (2018) Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, —
    • Speech
    Detection of Mirai by Syntactic and Semantic Analysis
    Ben Said, Najah Said, Najah Biondi, Fabrizio Bontchev, Vesselin Decourbe, Olivier Given-Wilson, Thomas Legay, Axel[UCL] Quilbeuf, Jean (2018) 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) —
    • Speech
    SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
    Mediouni, Braham Nouri, Ayoub Bozga, Marius Dellabani, Mahieddine Legay, Axel[UCL] Bensalem, Saddek (2018) ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis —
    • Speech
    Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving
    Quilbeuf, Jean Barbier, Mathieu Rummelhard, Lukas Laugier, Christian Legay, Axel[UCL] Baudouin, Blanche Genevois, Thomas Ibañez-Guzmán, Javier Simonin, Olivier (2018) PPNIV 2018 - 10th Workshop on Planning, Perception and Navigation for Intelligent Vehicles —
    • Speech
    Tutorial: an Overview of Malware Detection and Evasion Techniques
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean (2018) ISoLA —
    • Speech
    A Language for Analyzing Security of IOT Systems
    Beaulaton, Delphine Ben Said, Najah Cristescu, Ioana Fleurquin, Régis Legay, Axel[UCL] Quilbeuf, Jean Sadou, Salah (2018) 13th Annual Conference on System of Systems Engineering, SoSE 2018 — Paris
    • 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 —
    • Speech
    Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)
    Drira, Khalil Oquendo, Flavio Legay, Axel[UCL] Batista, Thais (2018) SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing —
    • Speech
    Let's shock our IoT's heart: ARMv7-M under (fault) attacks
    Bukasa, Sebanjila Lashermes, Ronan Lanet, Jean-Louis Legay, Axel[UCL] (2018) 13th International Conference on Availability, Reliability and Security (ARES 2018) — Hamburg, Germany