E-LIB Suche - Ergebnisse für: Filieri, Antonio

1

Rigorous Assessment of Model Inference Accuracy using Langu..:

Clun, Donato ; Shin, Donghwan ; Filieri, Antonio.
ACM Transactions on Software Engineering and Methodology. 33 (2024) 4 - p. 1-39 , 2024

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

2

Compositional Taint Analysis for Enforcing Security Policie..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Banerjee, Subarno ; Cui, Siwei ; Emmi, Michael... - p. 1985-1996 , 2023

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

3

Neural-Based Test Oracle Generation: A Large-Scale Evaluati..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Hossain, Soneya Binta ; Filieri, Antonio ; Dwyer, Matthew B... - p. 120-132 , 2023

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

4

Sibyl: Improving Software Engineering Tools with SMT Select..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Leeson, Will ; Dwyer, Matthew B ; Filieri, Antonio - p. 2185-2197 , 2023

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

5

Estimating Multiclass Service Demand Distributions Using Ma..:

Wang, Runan ; Casale, Giuliano ; Filieri, Antonio
ACM Transactions on Modeling and Computer Simulation. 33 (2023) 1-2 - p. 1-26 , 2023

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

6

Probabilistic Counterexample Guidance for Safer Reinforceme..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Ji, Xiaotong ; Filieri, Antonio - p. 311-328 , 2023

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

7

Enhancing Performance Modeling of Serverless Functions via ..:

, In: Service-Oriented Computing; Lecture Notes in Computer Science,

Wang, Runan ; Casale, Giuliano ; Filieri, Antonio - p. 71-88 , 2022

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

8

Conditional Quantitative Program Analysis:

Gerrard, Mitchell ; Borges, Mateus ; Dwyer, Matthew B..
IEEE Transactions on Software Engineering. 48 (2022) 4 - p. 1212-1227 , 2022

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

9

Input splitting for cloud-based static application security..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Christakis, Maria ; Cottenier, Thomas ; Filieri, Antonio... - p. 1367-1378 , 2022

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

10

Service Demand Distribution Estimation for Microservices Us..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Wang, Runan ; Casale, Giuliano ; Filieri, Antonio - p. 310-328 , 2021

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

11

Quality-Aware DevOps Research: Where Do We Stand?:

Alnafessah, Ahmad ; Gias, Alim Ul ; Wang, Runan...
IEEE Access. 9 (2021) - p. 44476-44489 , 2021

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

12

Symbolic parallel adaptive importance sampling for probabil..:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Luo, Yicheng ; Filieri, Antonio ; Zhou, Yuan - p. 1166-1177 , 2021

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

13

Probabilistic Symbolic Analysis of Neural Networks:

, In: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE),

Converse, Hayes ; Filieri, Antonio ; Gopinath, Divya. - p. 148-159 , 2020

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

14

On the Probabilistic Analysis of Neural Networks:

, In: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Pasareanu, Corina ; Converse, Hayes ; Filieri, Antonio. - p. 5-8 , 2020

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

15

On the probabilistic analysis of neural networks:

, In: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Păsăreanu, Corina ; Converse, Hayes ; Filieri, Antonio. - p. 5-8 , 2020

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