E-LIB Suche - Ergebnisse für: Falcone, Yliès

1

Bounded-memory runtime enforcement with probabilistic and p..:

Shankar, Saumya ; Pradhan, Ankit ; Pinisetty, Srinivas..
Formal Methods in System Design. 62 (2024) 1-3 - p. 141-180 , 2024

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

2

Adaptable Configuration of Decentralized Monitors:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès. - p. 197-217 , 2024

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

3

Probabilistic Runtime Enforcement of Executable BPMN Proces..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Falcone, Yliès ; Salaün, Gwen ; Zuo, Ahang - p. 56-76 , 2024

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

4

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

5

Difficulty and Severity-Oriented Metrics for Test Prioritiz..:

, In: 2023 IEEE International Conference On Artificial Intelligence Testing (AITest),

Al-Qadasi, Hamzah ; Falcone, Ylies ; Bensalem, Saddek - p. 40-48 , 2023

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

Customizable Reference Runtime Monitoring of Neural Network..:

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

Wu, Changshun ; Falcone, Yliès ; Bensalem, Saddek - p. 23-41 , 2023

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

14

DeepAbstraction++: Enhancing Test Prioritization Performanc..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Al-Qadasi, Hamzah ; Falcone, Yliès ; Bensalem, Saddek - p. 77-93 , 2023

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

15

Decent: A Benchmark for Decentralized Enforcement:

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

Gallay, Florian ; Falcone, Yliès - p. 293-303 , 2022

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