Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Halle, Sylvain
150  Ergebnisse:
Personensuche X
?
1

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

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

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

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

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

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

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

HOA-2/SubcorticalParcellations: v2.0.0:

Rushmore, R. Jarrett ; Sutherland, Kyle ; Carrington, Holly...
https://github.com/HOA-2/SubcorticalParcellations/tree/v2.0.0.  , 2023
Link: https://zenodo.org/recor..
 
?
10

Dynamic Program Analysis with Flexible Instrumentation and ..:

Soueidi, Chukri ; Falcone, Yliès ; Hallé, Sylvain
info:eu-repo/semantics/altIdentifier/doi/10.1109/ISSRE59848.2023.00048.  , 2023
Link: https://inria.hal.scienc..
 
?
11

Guidelines to Continous Systematic Review in Software Engin..:

Minetto Napoleão, Bianca ; Romero Felizardo, Katia ; Hallé, Sylvain..
doi:10.5281/zenodo.7686514.  , 2023
Link: https://zenodo.org/recor..
 
?
12

Artifact for Dynamic Program Analysis with Flexible Instrum..:

Chukri Soueidi ; Yliès Falcone ; Sylvain Hallé
doi:10.5281/zenodo.8270197.  , 2023
Link: https://zenodo.org/recor..
 
?
13

Uncertainty in runtime verification : a survey:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
https://constellation.uqac.ca/id/eprint/9532/.  , 2023
Link: https://constellation.uq..
 
?
14

Guidelines to Continous Systematic Review in Software Engin..:

Minetto Napoleão, Bianca ; Romero Felizardo, Katia ; Hallé, Sylvain..
doi:10.5281/zenodo.7686514.  , 2023
Link: https://zenodo.org/recor..
 
?
15

Dynamic Program Analysis with Flexible Instrumentation and ..:

Soueidi, Chukri ; Falcone, Yliès ; Hallé, Sylvain
info:eu-repo/semantics/altIdentifier/doi/10.1109/ISSRE59848.2023.00048.  , 2023
Link: https://inria.hal.scienc..
 
1-15