Reliability Analysis of Component-Based Systems with Multiple Failure Modes. - Antonio Filieri; Carlo Ghezzi; Vincenzo Grassi; Raffaela Mirandola (CBSE, 2010)

MANTra: Towards Model Transformation Testing. - Andrea Ciancone; Antonio Filieri; Raffaela Mirandola (QUATIC, 2010)

A compositional method for reliability analysis of workflows affected by multiple failure modes. - Salvatore Distefano; Antonio Filieri; Carlo Ghezzi; Raffaela Mirandola (CBSE, 2011)

Run-time efficient probabilistic model checking. - Antonio Filieri; Carlo Ghezzi; Giordano Tamburrelli (ICSE, 2011)

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. - Antonio Filieri; Carlo Ghezzi; Alberto Leva; Martina Maggio (ASE, 2011)

QoS verification and model tuning @ runtime. - Antonio Filieri (SIGSOFT FSE, 2011)

KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. - Andrea Ciancone; Antonio Filieri; Mauro Luigi Drago; Raffaela Mirandola; Vincenzo Grassi (TOOLS (49), 2011)

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. - Antonio Filieri; Carlo Ghezzi; Raffaela Mirandola; Giordano Tamburrelli (Conquering Complexity, 2012)

Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. - Antonio Filieri; Carlo Ghezzi; Alberto Leva; Martina Maggio (CCA, 2012)

Autotuning control structures for reliability-driven dynamic binding. - Antonio Filieri; Carlo Ghezzi; Alberto Leva; Martina Maggio (CDC, 2012)

Further steps towards efficient runtime verification: handling probabilistic cost models. - Antonio Filieri; Carlo Ghezzi (FormSERA@ICSE, 2012)

Reliability-driven dynamic binding via feedback control. - Antonio Filieri; Carlo Ghezzi; Alberto Leva; Martina Maggio (SEAMS, 2012)

A formal approach to adaptive software: continuous assurance of non-functional requirements. - Antonio Filieri; Carlo Ghezzi; Giordano Tamburrelli (Formal Aspects Comput., 2012)

Reliability analysis in symbolic pathfinder. - Antonio Filieri; Corina S. Pasareanu; Willem Visser (ICSE, 2013)

Iterative test suites refinement for elastic computing systems. - Alessio Gambi; Antonio Filieri; Schahram Dustdar (ESEC/SIGSOFT FSE, 2013)

A Syntactic-Semantic Approach to Incremental Verification - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli (CoRR, 2013)

Model based verification and adaptation of software systems @runtime. - Antonio Filieri (2013)

Probabilistic Verification at Runtime for Self-Adaptive Systems. - Antonio Filieri; Giordano Tamburrelli (Assurances for Self-Adaptive Systems, 2013)

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli (ISoLA (1), 2014)

Exact and approximate probabilistic symbolic execution for nondeterministic programs. - Kasper Søe Luckow; Corina S. Pasareanu; Matthew B. Dwyer; Antonio Filieri; Willem Visser (ASE, 2014)

Compositional solution space quantification for probabilistic software analysis. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu; Willem Visser (PLDI, 2014)

Reliability Analysis in Symbolic Pathfinder: A brief summary. - Antonio Filieri; Corina S. Pasareanu; Willem Visser (Software Engineering, 2014)

Testing operational transformations in model-driven engineering. - Andrea Ciancone; Antonio Filieri; Raffaela Mirandola (Innov. Syst. Softw. Eng., 2014)

The KlaperSuite framework for model-driven reliability analysis of component-based systems. - Andrea Ciancone; Mauro Luigi Drago; Antonio Filieri; Vincenzo Grassi; Heiko Koziolek; Raffaela Mirandola (Softw. Syst. Model., 2014)

Probabilistic Program Analysis. - Matthew B. Dwyer; Antonio Filieri; Jaco Geldenhuys; Mitchell J. Gerrard; Corina S. Pasareanu; Willem Visser (GTTSE, 2015)

Syntax-Driven Program Verification of Matching Logic Properties. - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli; Alessandro Maria Rizzi (FormaliSE@ICSE, 2015)

Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. - Antonio Filieri; Lars Grunske; Alberto Leva (ICSE (1), 2015)

Software Engineering Meets Control Theory. - 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; et al. (SEAMS@ICSE, 2015)

Quantification of Software Changes through Probabilistic Symbolic Execution (N). - Antonio Filieri; Corina S. Pasareanu; Guowei Yang 001 (ASE, 2015)

Control Theory for Model-based Performance-driven Software Adaptation. - Davide Arcelli; Vittorio Cortellessa; Antonio Filieri; Alberto Leva (QoSA, 2015)

Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. - Antonio Filieri; Henry Hoffmann; Martina Maggio (Software Engineering & Management, 2015)

Statistical Symbolic Execution with Informed Sampling. - Antonio Filieri; Corina S. Pasareanu; Willem Visser; Jaco Geldenhuys (Software Engineering & Management, 2015)

Iterative distribution-aware sampling for probabilistic symbolic execution. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu (ESEC/SIGSOFT FSE, 2015)

Automated multi-objective control for self-adaptive software design. - Antonio Filieri; Henry Hoffmann; Martina Maggio (ESEC/SIGSOFT FSE, 2015)

Model Counting for Complex Data Structures. - Antonio Filieri; Marcelo F. Frias; Corina S. Pasareanu; Willem Visser (SPIN, 2015)

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). - Antonio Filieri; Marta Kwiatkowska; Sasa Misailovic; Todd Mytkowicz (Dagstuhl Reports, 2015)

Syntactic-semantic incrementality for agile verification. - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli (Sci. Comput. Program., 2015)

Control theory for software engineering: technical briefing. - Antonio Filieri; Martina Maggio (ICSE (Companion Volume), 2016)

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. - Antonio Filieri; Giordano Tamburrelli; Carlo Ghezzi (IEEE Trans. Software Eng., 2016)

Self-adaptation in Collective Self-aware Computing Systems. - Jeffrey O. Kephart; Ada Diaconescu; Holger Giese; Anders Robertsson; Tarek F. Abdelzaher; Peter R. Lewis 001; Antonio Filieri; Lukas Esterle; Sylvain Frey (Self-Aware Computing Systems, 2017)

Run-Time Models for Online Performance and Resource Management in Data Centers. - Simon Spinner; Antonio Filieri; Samuel Kounev; Martina Maggio; Anders Robertsson (Self-Aware Computing Systems, 2017)

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple. - Martina Maggio; Alessandro Vittorio Papadopoulos; Antonio Filieri; Henry Hoffmann (SEAMS@ICSE, 2017)

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 001 (QRS, 2017)

Automated control of multiple software goals using multiple actuators. - Martina Maggio; Alessandro Vittorio Papadopoulos; Antonio Filieri; Henry Hoffmann (ESEC/SIGSOFT FSE, 2017)

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). - Martina Maggio; Alessandro Vittorio Papadopoulos; Antonio Filieri; Henry Hoffmann (Dagstuhl Artifacts Ser., 2017)

Model-counting Approaches For Nonlinear Numerical Constraints. - Mateus Borges; Quoc-Sang Phan; Antonio Filieri; Corina S. Pasareanu (IACR Cryptol. ePrint Arch., 2017)

Control Strategies for Self-Adaptive Software Systems. - 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; et al. (ACM Trans. Auton. Adapt. Syst., 2017)

Chapter Five - Advances in Symbolic Execution. - Guowei Yang 001; Antonio Filieri; Mateus Borges; Donato Clun; Junye Wen (Adv. Comput., 2019)

An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. - Simon Heiden; Lars Grunske; Timo Kehrer; Fabian Keller; André van Hoorn; Antonio Filieri; David Lo 001 (Softw. Pract. Exp., 2019)

Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level. - Ivan Kotegov; Antonio Filieri (ECSA Companion, 2020)

Improving Symbolic Automata Learning with Concolic Execution. - Donato Clun; Phillip van Heerden; Antonio Filieri; Willem Visser (FASE, 2020)

On the probabilistic analysis of neural networks. - Corina S. Pasareanu; Hayes Converse; Antonio Filieri; Divya Gopinath (SEAMS@ICSE, 2020)

Probabilistic Symbolic Analysis of Neural Networks. - Hayes Converse; Antonio Filieri; Divya Gopinath; Corina S. Pasareanu (ISSRE, 2020)

ACM SIGSOFT Empirical Standards. - 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; et al. (CoRR, 2020)

SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. - Yicheng Luo; Antonio Filieri; Yuan Zhou 028 (CoRR, 2020)

Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes. - Runan Wang; Giuliano Casale; Antonio Filieri (QEST, 2021)

Symbolic parallel adaptive importance sampling for probabilistic program analysis. - Yicheng Luo; Antonio Filieri; Yuan Zhou 028 (ESEC/SIGSOFT FSE, 2021)

Quality-Aware DevOps Research: Where Do We Stand? - Ahmad Alnafessah; Alim Ul Gias; Runan Wang; Lulai Zhu; Giuliano Casale; Antonio Filieri (IEEE Access, 2021)

Enhancing Performance Modeling of Serverless Functions via Static Analysis. - Runan Wang; Giuliano Casale; Antonio Filieri (ICSOC, 2022)

Input splitting for cloud-based static application security testing platforms. - Maria Christakis; Thomas Cottenier; Antonio Filieri; Linghui Luo; Muhammad Numair Mansur; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2022)

Conditional Quantitative Program Analysis. - Mitchell J. Gerrard; Mateus Borges; Matthew B. Dwyer; Antonio Filieri (IEEE Trans. Software Eng., 2022)

Sibyl: Improving Software Engineering Tools with SMT Selection. - Will Leeson; Matthew B. Dwyer; Antonio Filieri (ICSE, 2023)

Probabilistic Counterexample Guidance for Safer Reinforcement Learning. - Xiaotong Ji; Antonio Filieri (QEST, 2023)

Compositional Taint Analysis for Enforcing Security Policies at Scale. - 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 006 (ESEC/SIGSOFT FSE, 2023)

Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. - Soneya Binta Hossain; Antonio Filieri; Matthew B. Dwyer; Sebastian G. Elbaum; Willem Visser (ESEC/SIGSOFT FSE, 2023)

Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version). - Xiaotong Ji; Antonio Filieri (CoRR, 2023)

Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes. - Runan Wang; Giuliano Casale; Antonio Filieri (ACM Trans. Model. Comput. Simul., 2023)

Sibyl Datasets. - Will Leeson; Matthew Dwyer 001; Antonio Filieri (Zenodo, 2023)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality. - Donato Clun; Donghwan Shin 001; Antonio Filieri; Domenico Bianculli (ACM Trans. Softw. Eng. Methodol., 2024)

Robust Probabilistic Model Checking With Continuous Reward Domains. - Xiaotong Ji; Hanchun Wang; Antonio Filieri; Ilenia Epifani (SEAMS@ICSE, 2025)