User menu

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

Search

Displaying 1 - 25 of 55 results.

Pages

    • BookChapter
    Statistical Model Checking
    Legay, Axel[UCL] Lukina, Anna Traonouez, Louis Marie Yang, Junxing Smolka, Scott A. Grosu, Radu (2019) Lecture Notes in Computer Science : Computing and Software Science — [ISBN : 9783319919072]
    • BookChapter
    IoT in a New Age of Unified and Zero-Trust Networks and Increased Privacy Protection
    Sava Zxivanovich Branislav Todorovic Jean Pierre Lorré Darko Trifunovic Adrian Kotelba Sadre, Ramin[UCL] Legay, Axel[UCL] (2022) Cybersecurity in Smart Homes: Architectures, Solutions and Technologies — [ISBN : 9781789450866]
    • Book
    Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs
    Jaeger, Manfred Jensen, Peter Gjøl Guldstrand Larsen, Kim Legay, Axel[UCL] Sedwards, Sean Taankvist, Jakob Haahr (2019)
    • BookChapter
    Optimized Smart Sampling
    Parmentier, Maxime[UCL] Legay, Axel[UCL] Chenoy, Firmin (2023) Bridging the Gap Between AI and Reality — [ISBN : 9783031460029]
    • Report
    On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptolog
    Legay, Axel[UCL] (2018)
    • Report
    A framework for quantitative modeling and analysis of highly (re)configurable systems
    Legay, Axel[UCL] (2017)
    • Book
    Model Checking Software
    Fabrizio Biondi Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2019)
    • Report
    Sequential Relational Decomposition
    Legay, Axel[UCL] Dror, Fried Ouaknine, Joël Moshe Y. Vardi (2019)
    • Report
    Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed
    Lugan, Sébastien[UCL] Desbordes, Paul[UCL] Legay, Axel[UCL] Tormo, Luis Xavier Ramos Macq, Benoît[UCL] (2019)
    • WorkingPaper
    Genetic Algorithms for optimal intermittent measurements for tumor tracking
    Aspeel, Antoine[UCL] Legay, Axel[UCL] Macq, Benoît[UCL] (2019)
    • Report
    Compositional Design Methodology with Constraint Markov Chains
    Caillaud, Benoit Delahaye, Benoît Larsen Kim, Guldstrand Legay, Axel[UCL] Pedersen Mikkel, L. Wasowski, Andrzej (2009)
    • Report
    Measuring Behaviour Interactions between Product-Line Features
    Atlee Joanne, M. Fahrenberg, Uli Legay, Axel[UCL] (2014)
    • 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)
    • 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
    Bridging Software-Based and Hardware-Based Fault Injection Vulnerability Detection
    Given-Wilson, Thomas Jafri, Nisrine Legay, Axel[UCL] (2018)
    • Report
    Dynamic Verification of SystemC with Statistical Model Checking
    Ngo Van, Chan Legay, Axel[UCL] Quilbeuf, Jean (2014)
    • Report
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoît Genet, Thomas Legay, Axel[UCL] (2010)
    • WorkingPaper
    On the Attacker's Knowledge in Shared-Key Cryptosystems
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2015)
    • Report
    A Compositional Approach on Modal Specifications for Timed Systems
    Bertrand, Nathalie Legay, Axel[UCL] Pinchinat, Sophie Raclet, Jean-Baptiste (2009)
    • Report
    Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
    Ngo Van, Chan Legay, Axel[UCL] (2015)
    • Report
    Compositionality for Quantitative Specifications
    Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] Traonouez, Louis-Marie (2014)
    • WorkingPaper
    Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
    Kalajdzic, K Jegourel, Cyrille Bartocci, E Legay, Axel[UCL] Smolka, Scott Grosu, R (2014)
    • Report
    Statistical abstraction and model-checking of large heterogeneous systems
    Basu, Ananda Bensalem, Saddek Bozga, Marius Caillaud, Benoît Delahaye, Benoît Legay, Axel[UCL] (2010)
    • WorkingPaper
    Universal Optimality of Apollonian Cell Encoders
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2018)
    • WorkingPaper
    Profiled SCA with a New Twist: Semi-supervised Learning
    Heuser, Annelie Picek, Stjepan Legay, Axel[UCL] Knezevic, Karlo (2017)

Pages