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

Column: Is Theory (Still) Welcome in Software Engineering R..:

Hallé, Sylvain
ACM SIGSOFT Software Engineering Notes. 49 (2024) 2 - p. 19-21 , 2024

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

3

Uncertainty in runtime verification: A survey:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
Computer Science Review. 50 (2023) - p. 100594 , 2023

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

4

Formal verification for event stream processing: Model chec..:

Bédard, Alexis ; Hallé, Sylvain
Information and Computation. 293 (2023) - p. 105058 , 2023

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

5

A modular pipeline for enforcement of security properties a..:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
Annals of Telecommunications. 78 (2023) 7-8 - p. 429-457 , 2023

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

6

An investigation of distributed computing for combinatorial..:

La Chance, Edmond ; Hallé, Sylvain
Software Testing, Verification and Reliability. 33 (2023) 4 - p. , 2023

Link: https://doi.org/10.1002/..

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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