User menu

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

Search

Displaying 13 results.
    • Speech
    A Scalable t-wise Coverage Estimator
    Baranov, Eduard[UCL] Chakraborty, Sourav Legay, Axel[UCL] Meel, Kuldeep S. Variyam, Vinodchandran N. (2022) 44th International Conference on Software Engineering — Pittsburgh USA / Virtual
    • Journal article
    Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP
    Baranov, Eduard[UCL] Bliudze, Simon (2019) Acta Informatica — Vol. 57, no.6, p. 829-829 (2019)
    • Speech
    Baital: An Adaptive Weighted Sampling Platform for Configurable Systems
    Baranov, Eduard[UCL] Legay, Axel[UCL] (2022) 26th ACM International Systems and Software Product Line Conference — Graz, Austria
    • Speech
    A Secure User-Centred Healthcare System: Design and Verification
    Baranov, Eduard[UCL] Bowles, Juliana Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Webber, Thais (2021) 10th International Symposium "From Data to Models and Back" — Virtual
    • Speech
    Statistical Model Checking meets GDPR
    Baranov, Eduard[UCL] Larsen, Kim Legay, Axel[UCL] (2023) AISoLA — Crete, Greece
    • Speech
    Building User Trust of Critical Digital Technologies
    Given-Wilson, Thomas[UCL] Baranov, Eduard[UCL] Legay, Axel[UCL] (2020) 2020 IEEE International Conference on Industrial Technology (ICIT) — Buenos Aires, Argentina
    • Speech
    Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
    Baranov, Eduard[UCL] Legay, Axel[UCL] Meel, Kuldeep S. (2020) 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering — Virtual Event, USA
    • Speech
    Serums Healthcare System: Completed and Secured
    Baranov, Eduard[UCL] Legay, Axel[UCL] (2022) 4th International Workshop on Adaptive and Personalized Privacy and Security — Barcelona,Spain/Virtual