User menu

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

Search

Displaying 20 results.
    • 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
    Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
    Barbier, Mathieu Renzaglia, Alessandro Quilbeuf, Jean Rummelhard, Lukas Paigwar, Anshul Laugier, Christian Legay, Axel[UCL] Ibanez-Guzman, Javier Simonin, Olivier (2019) 2019 IEEE Intelligent Vehicles Symposium (IV) — Paris, France
    • Speech
    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 (2016) Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques —
    • Report
    Statistical Model Checking of Systems of Systems: An Industrial Approach : Verification statistique de systèmes de systèmes : une approche industrielle
    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2015)
    • 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) —
    • Report
    Dynamic Verification of SystemC with Statistical Model Checking
    Ngo Van, Chan Legay, Axel[UCL] Quilbeuf, Jean (2014)
    • Speech
    A Logic for the Statistical Model Checking of Dynamic Software Architectures
    Quilbeuf, Jean Cavalcante, Everton Traonouez, Louis-Marie Oquendo, Flavio Batista, Thais Legay, Axel[UCL] (2016) ISoLA —
    • Speech
    Statistical Model Checking of Dynamic Software Architectures
    Cavalcante, Everton Quilbeuf, Jean Traonouez, Louis-Marie Oquendo, Flavio Batista, Thais Legay, Axel[UCL] (2016) ECSA 2016 - 10th European Conference on Software Architecture —
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore
    • Speech
    Statistical Model Checking for SystemC Models
    Ngo Van, Chan Legay, Axel[UCL] Quilbeuf, Jean (2016) High Assurance Systems Engineering Symposium —
    • WorkingPaper
    Scalable Approximation of Quantitative Information Flow in Programs
    Biondi, Fabrizio Enescu, Michael Heuser, Annelie Legay, Axel[UCL] Meel, Kuldeep Quilbeuf, Jean (2017)
    • 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
    • WorkingPaper
    Information Leakage by Trace Analysis in QUAIL
    Biondi, Fabrizio Quilbeuf, Jean Legay, Axel[UCL] (2014)
    • BookChapter
    A Modeling Language for Security Threats of IoT Systems
    Beaulaton, Delphine Cristescu, Ioana Legay, Axel[UCL] Quilbeuf, Jean (2018) —
    • WorkingPaper
    Verification of interlocking systems using statistical model checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2016)
    • 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)
    • Speech
    Comparative Analysis of Leakage Tools on Scalable Case Studies
    Biondi, Fabrizio Legay, Axel[UCL] Quilbeuf, Jean (2015) 22nd International SPIN Workshop on Model Checking of Software —
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Schaus, Pierre[UCL] Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) — Singapore