Antonio Filieri
Imperial College London
H-index: 26
Europe-United Kingdom
Top articles of Antonio Filieri
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Rigorous Assessment of Model Inference Accuracy using Language Cardinality | ACM Transactions on Software Engineering and Methodology | Donato Clun Donghwan Shin Antonio Filieri Domenico Bianculli | 2024/1/16 |
Compositional taint analysis for enforcing security policies at scale | Subarno Banerjee Siwei Cui Michael Emmi Antonio Filieri Liana Hadarean | 2023/11/30 | |
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned | Soneya Binta Hossain Antonio Filieri Matthew B Dwyer Sebastian Elbaum Willem Visser | 2023/11/30 | |
Probabilistic Counterexample Guidance for Safer Reinforcement Learning | Xiaotong Ji Antonio Filieri | 2023/9/15 | |
Sibyl: improving software engineering tools with SMT selection | Will Leeson Matthew B Dwyer Antonio Filieri | 2023/5/14 | |
Estimating multiclass service demand distributions using Markovian arrival processes | ACM Transactions on Modeling and Computer Simulation | Runan Wang Giuliano Casale Antonio Filieri | 2023/2/28 |
Enhancing performance modeling of serverless functions via static analysis | Service-Oriented Computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29–December 2, 2022, Proceedings | Runan Wang Giuliano Casale Antonio Filieri | 2022/11/22 |
Input splitting for cloud-based static application security testing platforms | Maria Christakis Thomas Cottenier Antonio Filieri Linghui Luo Muhammad Numair Mansur | 2022/11/7 | |
Safer Reinforcement Learning with Counterexample-guided Offline Training | Xiaotong Ji Antonio Filieri | 2022/9/29 | |
Kubedim: Self-Adaptive Service Degradation of Microservices-Based Systems | Kelvin Zhang Antonio Filieri Robert Chatley | 2021/6 | |
Quality-aware devops research: Where do we stand? | IEEE Access | Ahmad Alnafessah Alim Ul Gias Runan Wang Lulai Zhu Giuliano Casale | 2021/3/9 |
Symbolic parallel adaptive importance sampling for probabilistic program analysis | Yicheng Luo Antonio Filieri Yuan Zhou | 2021/8/23 | |
Service demand distribution estimation for microservices using Markovian arrival processes | Runan Wang Giuliano Casale Antonio Filieri | 2021/8/19 | |
Final Year Masters Thesis | Remi Kaan Uzel Yves-Alexandre de Montjoye Ali Farzanehfar Antonio Filieri | 2020/6/15 | |
Improving Symbolic Automata Learning with Concolic Execution. | Donato Clun Phillip van Heerden Antonio Filieri Willem Visser | 2020/4/17 | |
Probabilistic symbolic analysis of neural networks | Hayes Converse Antonio Filieri Divya Gopinath Corina S Păsăreanu | 2020/10/12 | |
Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level | Ivan Kotegov Antonio Filieri | 2020 | |
Empirical standards for software engineering research | arXiv preprint arXiv:2010.03525 | Paul Ralph Nauman bin Ali Sebastian Baltes Domenico Bianculli Jessica Diaz | 2020/10/7 |
Conditional Quantitative Program Analysis | IEEE Transactions on Software Engineering | Mitchell Gerrard Mateus Borges Matthew B Dwyer Antonio Filieri | 2020/8/14 |
On the probabilistic analysis of neural networks | Corina Păsăreanu Hayes Converse Antonio Filieri Divya Gopinath | 2020/6/29 |