E-LIB Suche - Ergebnisse für: Legay, Axel

1

Daedalux: An Extensible Platform for Variability-Aware Mode..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Lazreg, Sami ; Cordy, Maxime ; Hansen, Simon Thrane. - p. 21-25 , 2024

Link: https://doi.org/10.1145/..

2

Secure federated learning applied to medical imaging with f..:

, In: 2024 IEEE 3rd International Conference on AI in Cybersecurity (ICAIC),

Lessage, Xavier ; Collier, Leandro ; Van Ouytsel, Charles-Henry Bertrand... - p. 1-12 , 2024

Link: https://doi.org/10.1109/..

3

Avoiding "Hot Potato" Problems in Internet Service Provider:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,

Dam, Khanh Huu The ; Ndonda, Gorby Kabasele ; Legay, Axel. - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

4

On Exploiting Symbolic Execution to Improve the Analysis of..:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,

Lucca, Serena ; Crochet, Christophe ; Bertrand Van Ouytsel, Charles-Henry. - p. 339-354 , 2024

Link: https://doi.org/10.1007/..

5

Combinatorial Transition Testing in Dynamically Adaptive Sy..:

, In: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems,

Martou, Pierre ; Duhoux, Benoît ; Mens, Kim. - p. 1-10 , 2024

Link: https://dl.acm.org/doi/1..

6

With or Without U(sers): A Journey to Integrate UX Activiti..:

, In: HCI for Cybersecurity, Privacy and Trust; Lecture Notes in Computer Science,

Azevedo, Daniela ; Ramelot, Justine ; Legay, Axel. - p. 212-231 , 2024

Link: https://doi.org/10.1007/..

7

Daedalux: An Extensible Platform for Variability-Aware Mode..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Lazreg, Sami ; Cordy, Maxime ; Hansen, Simon Thrane. - p. 21-25 , 2024

Link: https://dl.acm.org/doi/1..

8

Analysis of machine learning approaches to packing detectio:

Bertrand Van Ouytsel, Charles-Henry ; Dam, Khanh Huu The ; Legay, Axel
Computers & Security. 136 (2024) - p. 103536 , 2024

Link: https://doi.org/10.1016/..

9

Synthesis and Verification of Mission Plans for Multiple Au..:

Gu, Rong ; Baranov, Eduard ; Ameri, Afshin...
ACM Transactions on Software Engineering and Methodology. , 2024

Link: https://doi.org/10.1145/..

10

A Scalable t-wise Coverage Estimator: Algorithms and Applic..:

Baranov, Eduard ; Chakraborty, Sourav ; Legay, Axel..
IEEE Transactions on Software Engineering. , 2024

Link: https://doi.org/10.1109/..

11

Experimental Toolkit for Manipulating Executable Packing:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

D'Hondt, Alexandre ; Van Ouytsel, Charles Henry Bertrand ; Legay, Axel - p. 263-279 , 2024

Link: https://doi.org/10.1007/..

12

Network Simulator-Centric Compositional Testing:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Rousseaux, Tom ; Crochet, Christophe ; Aoga, John. - p. 177-196 , 2024

Link: https://doi.org/10.1007/..

13

Bridging Disciplinary Boundaries: Integrating XR in Communi..:

, In: Lecture Notes in Computer Science; Learning and Collaboration Technologies,

Kieffer, Suzanne ; Nahon, Sébastien ; Renard, Damien. - p. 89-105 , 2024

Link: https://doi.org/10.1007/..

14

Refinement of Systems with an Attacker Focus:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Larsen, Kim Guldstrand ; Legay, Axel ; Poulsen, Danny Bøgsted - p. 96-112 , 2023

Link: https://doi.org/10.1007/..

15

Product Incremental Security Risk Assessment Using DevSecOp..:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,

Dupont, Sébastien ; Yautsiukhin, Artsiom ; Ginis, Guillaume... - p. 666-685 , 2023

Link: https://doi.org/10.1007/..