no code implementations • 14 Jun 2023 • Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi, Koen Vanhoof, Axel Legay, Christoph Schommer
This work supports the contextual approach to fairness in EU non-discrimination legal framework and aims at assessing up to what point we can assure legal fairness through fairness metrics and under fairness constraints.
no code implementations • 12 Apr 2022 • Charles-Henry Bertrand Van Ouytsel, Axel Legay
As such computation is too cumbersome, the techniques often rely on developing strategies to compute a representative subgraph of the behaviors.
no code implementations • 2 May 2021 • Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay
This work explores eleven different machine learning approaches using 119 features to understand: which features are most significant for packing detection; which algorithms offer the best performance; and which algorithms are most economical.
1 code implementation • 21 Jan 2021 • Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin
Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible.
Cryptography and Security Software Engineering
no code implementations • 10 Dec 2020 • Aleksandar S. Dimovski, Sven Apel, Axel Legay
Lifted (family-based) static analysis by abstract interpretation is capable of analyzing all variants of a program family simultaneously, in a single run without generating any of the variants explicitly.
Programming Languages Logic in Computer Science Software Engineering
no code implementations • 18 Jun 2019 • Sebastien Lugan, Paul Desbordes, Luis Xavier Ramos Tormo, Axel Legay, Benoit Macq
Distributed learning across a coalition of organizations allows the members of the coalition to train and share a model without sharing the data used to optimize this model.
no code implementations • 17 Mar 2014 • Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jegourel, Simon Kongshøj, Axel Legay
We propose a new similarity measure between texts which, contrary to the current state-of-the-art approaches, takes a global view of the texts to be compared.
no code implementations • 14 Oct 2013 • Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes (MDP) are useful to model concurrent process optimisation problems, but verifying them with numerical methods is often intractable.
no code implementations • 4 Jul 2012 • Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
The focus of the survey is on the evolution of the tool - including modeling and specification formalisms as well as techniques applied - together with applications of the tool to case studies.
Logic in Computer Science Formal Languages and Automata Theory