Antonio Filieri

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 32

Top Topics

Demand Distributions

Software Engineering

Arrival Processes

Top Venues

ESEC/SIGSOFT FSE

Software Engineering & Management

Publications

Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)
Will Leeson, Matthew B. Dwyer, Antonio Filieri
Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE (2023)
Xiaotong Ji, Antonio Filieri
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version). CoRR (2023)
Runan Wang, Giuliano Casale, Antonio Filieri
Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes. ACM Trans. Model. Comput. Simul. 33 (2023)
Xiaotong Ji, Antonio Filieri
Probabilistic Counterexample Guidance for Safer Reinforcement Learning. QEST (2023)
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE (2023)
Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48 (4) (2022)
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. CoRR (2022)
Runan Wang, Giuliano Casale, Antonio Filieri
Enhancing Performance Modeling of Serverless Functions via Static Analysis. ICSOC (2022)
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE (2022)
Runan Wang, Giuliano Casale, Antonio Filieri
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes. QEST (2021)
Ahmad Alnafessah, Alim Ul Gias, Runan Wang, Lulai Zhu, Giuliano Casale, Antonio Filieri
Quality-Aware DevOps Research: Where Do We Stand? IEEE Access 9 (2021)
Yicheng Luo, Antonio Filieri, Yuan Zhou
Symbolic parallel adaptive importance sampling for probabilistic program analysis. ESEC/SIGSOFT FSE (2021)
Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
Improving Symbolic Automata Learning with Concolic Execution. FASE (2020)
Yicheng Luo, Antonio Filieri, Yuan Zhou
SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. CoRR (2020)
Ivan Kotegov, Antonio Filieri
Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level. ECSA Companion (2020)
Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath
On the probabilistic analysis of neural networks. SEAMS@ICSE (2020)
Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu
Probabilistic Symbolic Analysis of Neural Networks. ISSRE (2020)
Paul Ralph, Sebastian Baltes, Domenico Bianculli, Yvonne Dittrich, Michael Felderer, Robert Feldt, Antonio Filieri, Carlo Alberto Furia, Daniel Graziotin, Pinjia He, Rashina Hoda, Natalia Juristo, Barbara A. Kitchenham, Romain Robbes, Daniel Méndez, Jefferson Molleri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, Sira Vegas
ACM SIGSOFT Empirical Standards. CoRR (2020)
Simon Heiden, Lars Grunske, Timo Kehrer, Fabian Keller, André van Hoorn, Antonio Filieri, David Lo
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. Softw. Pract. Exp. 49 (8) (2019)
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen
Chapter Five - Advances in Symbolic Execution. Adv. Comput. 113 (2019)
Fabian Keller, Lars Grunske, Simon Heiden, Antonio Filieri, André van Hoorn, David Lo
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System. QRS (2017)
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017 (2017)
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt 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
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple. SEAMS@ICSE (2017)
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). Dagstuhl Artifacts Ser. 3 (1) (2017)
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM (2017)
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann
Automated control of multiple software goals using multiple actuators. ESEC/SIGSOFT FSE (2017)
Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. 42 (1) (2016)
Antonio Filieri, Martina Maggio
Control theory for software engineering: technical briefing. ICSE (Companion Volume) (2016)
Davide Arcelli, Vittorio Cortellessa, Antonio Filieri, Alberto Leva
Control Theory for Model-based Performance-driven Software Adaptation. QoSA (2015)
Antonio Filieri, Corina S. Pasareanu, Guowei Yang
Quantification of Software Changes through Probabilistic Symbolic Execution (N). ASE (2015)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE (2015)
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
Probabilistic Program Analysis. GTTSE (2015)
Antonio Filieri, Henry Hoffmann, Martina Maggio
Automated multi-objective control for self-adaptive software design. ESEC/SIGSOFT FSE (2015)
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management (2015)
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás 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
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97 (2015)
Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser
Model Counting for Complex Data Structures. SPIN (2015)
Antonio Filieri, Lars Grunske, Alberto Leva
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) (2015)
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5 (11) (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE (2015)
Antonio Filieri, Henry Hoffmann, Martina Maggio
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. Software Engineering & Management (2015)
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
Statistical symbolic execution with informed sampling. SIGSOFT FSE (2014)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
Compositional solution space quantification for probabilistic software analysis. PLDI (2014)
Antonio Filieri, Corina S. Pasareanu, Willem Visser
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering (2014)
Antonio Filieri, Henry Hoffmann, Martina Maggio
Automated design of self-adaptive software with control-theoretical formal guarantees. ICSE (2014)
Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) (2014)
Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi, Heiko Koziolek, Raffaela Mirandola
The KlaperSuite framework for model-driven reliability analysis of component-based systems. Softw. Syst. Model. 13 (4) (2014)
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola
Testing operational transformations in model-driven engineering. Innov. Syst. Softw. Eng. 10 (1) (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
A Syntactic-Semantic Approach to Incremental Verification CoRR (2013)
Alessio Gambi, Antonio Filieri, Schahram Dustdar
Iterative test suites refinement for elastic computing systems. ESEC/SIGSOFT FSE (2013)
Antonio Filieri, Corina S. Pasareanu, Willem Visser
Reliability analysis in symbolic pathfinder. ICSE (2013)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Autotuning control structures for reliability-driven dynamic binding. CDC (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Reliability-driven dynamic binding via feedback control. SEAMS (2012)
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. 24 (2) (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA (2012)
Antonio Filieri, Carlo Ghezzi
Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE (2012)
Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola
A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE (2011)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE (2011)
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
Run-time efficient probabilistic model checking. ICSE (2011)
Antonio Filieri
QoS verification and model tuning @ runtime. SIGSOFT FSE (2011)
Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. TOOLS (49) (2011)
Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola
Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE (2010)
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola
MANTra: Towards Model Transformation Testing. QUATIC (2010)