Antonio Filieri

77 papers A* 8A 3B 1C 3Misc 1Journal 23Unranked 32
YearRankTypeTitle / Venue / Authors
2026 J jnl
Fine-grained Tracing for Performance Anomaly Diagnosis of Serverless Functions.
ACM Trans. Auton. Adapt. Syst.
Runan Wang, Guangba Yu, Giuliano Casale, Pengfei Chen, Antonio Filieri
2025 — conf
Robust Probabilistic Model Checking With Continuous Reward Domains.
SEAMS@ICSE
Xiaotong Ji, Hanchun Wang, Antonio Filieri, Ilenia Epifani
2025 J jnl
Robust Probabilistic Model Checking with Continuous Reward Domains.
CoRR
Xiaotong Ji, Hanchun Wang, Antonio Filieri, Ilenia Epifani
2024 J jnl
Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
ACM Trans. Softw. Eng. Methodol.
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
2023 — conf
Compositional Taint Analysis for Enforcing Security Policies at Scale.
ESEC/SIGSOFT FSE
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
2023 J jnl
Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes.
ACM Trans. Model. Comput. Simul.
Runan Wang, Giuliano Casale, Antonio Filieri
2023 — conf
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned.
ESEC/SIGSOFT FSE
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
2023 J jnl
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned.
CoRR
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
2023 J jnl
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version).
CoRR
Xiaotong Ji, Antonio Filieri
2023 — conf
Probabilistic Counterexample Guidance for Safer Reinforcement Learning.
QEST
Xiaotong Ji, Antonio Filieri
2023 A* conf
Sibyl: Improving Software Engineering Tools with SMT Selection.
ICSE
Will Leeson, Matthew B. Dwyer, Antonio Filieri
2022 J jnl
Conditional Quantitative Program Analysis.
IEEE Trans. Software Eng.
Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri
2022 A conf
Enhancing Performance Modeling of Serverless Functions via Static Analysis.
ICSOC
Runan Wang, Giuliano Casale, Antonio Filieri
2022 — conf
Input splitting for cloud-based static application security testing platforms.
ESEC/SIGSOFT FSE
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2022 J jnl
Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
CoRR
Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli
2021 J jnl
Quality-Aware DevOps Research: Where Do We Stand?
IEEE Access
Ahmad Alnafessah, Alim Ul Gias, Runan Wang, Lulai Zhu, Giuliano Casale, Antonio Filieri
2021 — conf
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes.
QEST
Runan Wang, Giuliano Casale, Antonio Filieri
2021 — conf
Symbolic parallel adaptive importance sampling for probabilistic program analysis.
ESEC/SIGSOFT FSE
Yicheng Luo, Antonio Filieri, Yuan Zhou
2020 J jnl
ACM SIGSOFT Empirical Standards.
CoRR
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 Seide Molléri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, Sira Vegas
2020 B conf
Improving Symbolic Automata Learning with Concolic Execution.
FASE
Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
2020 — conf
On the probabilistic analysis of neural networks.
SEAMS@ICSE
Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath
2020 A conf
Probabilistic Symbolic Analysis of Neural Networks.
ISSRE
Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu
2020 J jnl
SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis.
CoRR
Yicheng Luo, Antonio Filieri, Yuan Zhou
2020 — conf
Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level.
ECSA Companion
Ivan Kotegov, Antonio Filieri
2019 J jnl
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems.
Softw. Pract. Exp.
Simon Heiden, Lars Grunske, Timo Kehrer, Fabian Keller, André van Hoorn, Antonio Filieri, David Lo
2019 J jnl
Chapter Five - Advances in Symbolic Execution.
Adv. Comput.
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen
2017 C conf
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System.
QRS
Fabian Keller, Lars Grunske, Simon Heiden, Antonio Filieri, André van Hoorn, David Lo
2017 — conf
Automated control of multiple software goals using multiple actuators.
ESEC/SIGSOFT FSE
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann
2017 J jnl
Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst.
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
2017 — conf
Model-Counting Approaches for Nonlinear Numerical Constraints.
NFM
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
2017 J jnl
Model-counting Approaches For Nonlinear Numerical Constraints.
IACR Cryptol. ePrint Arch.
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
2017 — ch.
Run-Time Models for Online Performance and Resource Management in Data Centers.
Self-Aware Computing Systems
Simon Spinner, Antonio Filieri, Samuel Kounev, Martina Maggio, Anders Robertsson
2017 J jnl
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact).
Dagstuhl Artifacts Ser.
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann
2017 — conf
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple.
SEAMS@ICSE
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann
2017 — ch.
Self-adaptation in Collective Self-aware Computing Systems.
Self-Aware Computing Systems
Jeffrey O. Kephart, Ada Diaconescu, Holger Giese, Anders Robertsson, Tarek F. Abdelzaher, Peter R. Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey
2016 — conf
Control theory for software engineering: technical briefing.
ICSE (Companion Volume)
Antonio Filieri, Martina Maggio
2016 J jnl
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.
IEEE Trans. Software Eng.
Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi
2015 J jnl
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
2015 — conf
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees.
Software Engineering & Management
Antonio Filieri, Henry Hoffmann, Martina Maggio
2015 — conf
Automated multi-objective control for self-adaptive software design.
ESEC/SIGSOFT FSE
Antonio Filieri, Henry Hoffmann, Martina Maggio
2015 — conf
Control Theory for Model-based Performance-driven Software Adaptation.
QoSA
Davide Arcelli, Vittorio Cortellessa, Antonio Filieri, Alberto Leva
2015 — conf
Iterative distribution-aware sampling for probabilistic symbolic execution.
ESEC/SIGSOFT FSE
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu
2015 — conf
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.
ICSE (1)
Antonio Filieri, Lars Grunske, Alberto Leva
2015 — conf
Model Counting for Complex Data Structures.
SPIN
Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser
2015 — conf
Probabilistic Program Analysis.
GTTSE
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
2015 — ed.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE@SIGSOFT FSE 2015, Bergamo, Italy, August 31 - September 04, 2015
CTSE@SIGSOFT FSE
Antonio Filieri, Martina Maggio
2015 A* conf
Quantification of Software Changes through Probabilistic Symbolic Execution (N).
ASE
Antonio Filieri, Corina S. Pasareanu, Guowei Yang
2015 — conf
Software Engineering Meets Control Theory.
SEAMS@ICSE
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
2015 — conf
Statistical Symbolic Execution with Informed Sampling.
Software Engineering & Management
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2015 J jnl
Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program.
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2015 — conf
Syntax-Driven Program Verification of Matching Logic Properties.
FormaliSE@ICSE
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
2014 A* conf
Automated design of self-adaptive software with control-theoretical formal guarantees.
ICSE
Antonio Filieri, Henry Hoffmann, Martina Maggio
2014 A* conf
Compositional solution space quantification for probabilistic software analysis.
PLDI
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
2014 A* conf
Exact and approximate probabilistic symbolic execution for nondeterministic programs.
ASE
Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
2014 — conf
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
ISoLA (1)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2014 C conf
Reliability Analysis in Symbolic Pathfinder: A brief summary.
Software Engineering
Antonio Filieri, Corina S. Pasareanu, Willem Visser
2014 — conf
Statistical symbolic execution with informed sampling.
SIGSOFT FSE
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2014 J jnl
Testing operational transformations in model-driven engineering.
Innov. Syst. Softw. Eng.
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola
2014 J jnl
The KlaperSuite framework for model-driven reliability analysis of component-based systems.
Softw. Syst. Model.
Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi, Heiko Koziolek, Raffaela Mirandola
2013 J jnl
A Syntactic-Semantic Approach to Incremental Verification
CoRR
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2013 — conf
Iterative test suites refinement for elastic computing systems.
ESEC/SIGSOFT FSE
Alessio Gambi, Antonio Filieri, Schahram Dustdar
2013 — —
Model based verification and adaptation of software systems @runtime.
Antonio Filieri
2013 — ch.
Probabilistic Verification at Runtime for Self-Adaptive Systems.
Assurances for Self-Adaptive Systems
Antonio Filieri, Giordano Tamburrelli
2013 A* conf
Reliability analysis in symbolic pathfinder.
ICSE
Antonio Filieri, Corina S. Pasareanu, Willem Visser
2012 J jnl
A formal approach to adaptive software: continuous assurance of non-functional requirements.
Formal Aspects Comput.
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
2012 — conf
Autotuning control structures for reliability-driven dynamic binding.
CDC
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2012 — ch.
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.
Conquering Complexity
Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
2012 C conf
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach.
CCA
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2012 — conf
Further steps towards efficient runtime verification: handling probabilistic cost models.
FormSERA@ICSE
Antonio Filieri, Carlo Ghezzi
2012 A conf
Reliability-driven dynamic binding via feedback control.
SEAMS
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2011 — conf
A compositional method for reliability analysis of workflows affected by multiple failure modes.
CBSE
Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola
2011 — conf
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems.
TOOLS (49)
Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi
2011 — conf
QoS verification and model tuning @ runtime.
SIGSOFT FSE
Antonio Filieri
2011 A* conf
Run-time efficient probabilistic model checking.
ICSE
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
2011 A* conf
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.
ASE
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2010 Misc conf
MANTra: Towards Model Transformation Testing.
QUATIC
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola
2010 — conf
Reliability Analysis of Component-Based Systems with Multiple Failure Modes.
CBSE
Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola