Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Soueidi, Chukri
33  Ergebnisse:
Personensuche X
?
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

Bridging the Gap: A Focused DSL for RV-Oriented Instrumenta..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Soueidi, Chukri ; Falcone, Yliès - p. 327-338 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Opportunistic Monitoring of Multithreaded Programs:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Soueidi, Chukri ; El-Hokayem, Antoine ; Falcone, Yliès - p. 173-194 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Efficient and expressive bytecode-level instrumentation for..:

Soueidi, Chukri ; Monnier, Marius ; Falcone, Yliès
International Journal on Software Tools for Technology Transfer.  25 (2023)  4 - p. 453-479 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Sound Concurrent Traces for Online Monitoring:

, In: Model Checking Software; Lecture Notes in Computer Science,
Soueidi, Chukri ; Falcone, Yliès - p. 59-80 , 2023
Link: https://doi.org/10.1007/..
 
?
6

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

Residual Runtime Verification via Reachability Analysis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,
Soueidi, Chukri ; Falcone, Yliès - p. 148-166 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Instrumentation for RV: From Basic Monitoring to Advanced U..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Soueidi, Chukri ; Falcone, Yliès - p. 403-427 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Capturing program models with BISM:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
Soueidi, Chukri ; Falcone, Yliès - p. 1857-1861 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

BISM: Bytecode-Level Instrumentation for Software Monitorin:

, In: Runtime Verification; Lecture Notes in Computer Science,
Soueidi, Chukri ; Kassem, Ali ; Falcone, Yliès - p. 323-335 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Microsoft Azure storage essentials: harness the power of Mi.. 

Professional expertise distilled
Soueidi, Chukri , 2015
Link: https://search.ebscohost..
 
?
12

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

Opportunistic Monitoring of Multithreaded Programs:

Soueidi, Chukri ; El-Hokayem, Antoine ; Falcone, Yliès
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-30826-0_10.  , 2023
Link: https://inria.hal.scienc..
 
?
14

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

Instrumentation for RV: From Basic Monitoring to Advanced U..:

Soueidi, Chukri ; Falcone, Yliès
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-44267-4_23.  , 2023
Link: https://inria.hal.scienc..
 
1-15