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

1

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..

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

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/..

4

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/..

5

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/..

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: 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/..

8

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/..

9

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/..

10

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/..

11

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..

12

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/..

13

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/..

14

Beyond Combinatorial Interaction Testing: On the need for t..:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Martou, Pierre ; Duhoux, Benoit ; Mens, Kim. - p. 100-104 , 2023

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

15

Family-based model checking of fMultiLTL properties:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A,

Dimovski, Aleksandar S. ; Lazreg, Sami ; Cordy, Maxime. - p. 41-51 , 2023

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