Antonio Filieri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
10
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SEAMS | Robust Probabilistic Model Checking With Continuous Reward Domains. | Xiaotong Ji, Hanchun Wang, Antonio Filieri, Ilenia Epifani |
| 2023 | ICSE | Sibyl: Improving Software Engineering Tools with SMT Selection. | Will Leeson, Matthew B. Dwyer, Antonio Filieri |
| 2022 | ICSOC | Enhancing Performance Modeling of Serverless Functions via Static Analysis. | Runan Wang, Giuliano Casale, Antonio Filieri |
| 2020 | ECSA | Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level. | Ivan Kotegov, Antonio Filieri |
| 2020 | FASE | Improving Symbolic Automata Learning with Concolic Execution. | Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser |
| 2020 | ICSE | On the probabilistic analysis of neural networks. | Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath |
| 2020 | ISSRE | Probabilistic Symbolic Analysis of Neural Networks. | Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu |
| 2017 | ICSE | Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple. | Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann |
| 2017 | QRS | A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System. | Fabian Keller, Lars Grunske, Simon Heiden, Antonio Filieri, Andr van Hoorn, David Lo |
| 2016 | ICSE | Control theory for software engineering: technical briefing. | Antonio Filieri, Martina Maggio |
| 2015 | ICSE | Syntax-Driven Program Verification of Matching Logic Properties. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi |
| 2015 | ICSE | Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. | Antonio Filieri, Lars Grunske, Alberto Leva |
| 2015 | ICSE | Software Engineering Meets Control Theory. | Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicols D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel |
| 2014 | ICSE | Automated design of self-adaptive software with control-theoretical formal guarantees. | Antonio Filieri, Henry Hoffmann, Martina Maggio |
| 2014 | ISoLA | Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
| 2014 | PLDI | Compositional solution space quantification for probabilistic software analysis. | Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
| 2013 | ICSE | Reliability analysis in symbolic pathfinder. | Antonio Filieri, Corina S. Pasareanu, Willem Visser |
| 2012 | ICSE | Further steps towards efficient runtime verification: handling probabilistic cost models. | Antonio Filieri, Carlo Ghezzi |
| 2012 | ICSE | Reliability-driven dynamic binding via feedback control. | Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio |
| 2011 | ICSE | Run-time efficient probabilistic model checking. | Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli |
| 2010 | QUATIC | MANTra: Towards Model Transformation Testing. | Andrea Ciancone, Antonio Filieri, Raffaela Mirandola |