E-LIB Suche - Ergebnisse für: Halle, Sylvain

1

Monitoring Business Process Compliance Across Multiple Exec..:

, In: Enterprise Design, Operations, and Computing. EDOC 2023 Workshops; Lecture Notes in Business Information Processing,

Soueidi, Chukri ; Falcone, Yliès ; Hallé, Sylvain - p. 247-264 , 2024

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

2

A Stream-Based Approach to Intrusion Detection:

, In: CyberSecurity in a DevOps Environment,

Hallé, Sylvain - p. 253-291 , 2023

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

3

Dynamic Program Analysis with Flexible Instrumentation and ..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),

Soueidi, Chukri ; Falcone, Ylies ; Halle, Sylvain - p. 742-751 , 2023

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

4

Test suite generation for boolean conditions with equivalen..:

, In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,

Hallé, Sylvain - p. 23-33 , 2022

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

5

SCAS-AI: A Strategy to Semi-Automate the Initial Selection ..:

, In: 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),

Octaviano, Fabio ; Felizardo, Katia Romero ; Fabbri, Sandra C. P. F.... - p. 483-490 , 2022

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

6

A Modular Runtime Enforcement Model Using Multi-traces:

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

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël - p. 283-302 , 2022

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

7

An approach to apply Automated Acceptance Testing for Indus..:

, In: 2022 Sixth IEEE International Conference on Robotic Computing (IRC),

Santos, Marcela G. Dos ; Petrillo, Fabio ; Halle, Sylvain. - p. 336-337 , 2022

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

8

Towards Continuous Systematic Literature Review in Software..:

, In: 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),

Napoleao, Bianca Minetto ; Petrillo, Fabio ; Halle, Sylvain. - p. 467-474 , 2022

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

9

Test Suite Generation for Boolean Conditions with Equivalen..:

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),

Halle, Sylvain - p. 23-33 , 2022

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

10

Synthia: a Generic and Flexible Data Structure Generator:

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

Plourde, Marc-Antoine ; Halle, Sylvain - p. 207-211 , 2022

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

11

Synthia : a generic and flexible data structure generato:

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

Plourde, Marc-Antoine ; Hallé, Sylvain - p. 207-211 , 2022

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

12

Offline monitoring of LTL with bit vectors:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,

Xie, Kun ; Hallé, Sylvain - p. 1833-1836 , 2021

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

13

An Analysis of the Use of CVEs by IoT Malware:

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

Khoury, Raphaël ; Vignau, Benjamin ; Hallé, Sylvain.. - p. 47-62 , 2021

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

14

Automated Repair of Layout Bugs in Web Pages with Linear Pr..:

, In: Lecture Notes in Computer Science; Web Engineering,

Jacquet, Stéphane ; Chamberland-Thibeault, Xavier ; Hallé, Sylvain - p. 423-439 , 2021

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

15

Foundations of Fine-Grained Explainability:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Hallé, Sylvain ; Tremblay, Hugo - p. 500-523 , 2021

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