default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonio Filieri
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j13]Donato Clun
, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. ACM Trans. Softw. Eng. Methodol. 33(4): 95:1-95:39 (2024)- 2023
- [j12]Runan Wang, Giuliano Casale, Antonio Filieri:
Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes. ACM Trans. Model. Comput. Simul. 33(1-2): 2:1-2:26 (2023) - [c47]Will Leeson, Matthew B. Dwyer, Antonio Filieri:
Sibyl: Improving Software Engineering Tools with SMT Selection. ICSE 2023: 2185-2197 - [c46]Xiaotong Ji, Antonio Filieri:
Probabilistic Counterexample Guidance for Safer Reinforcement Learning. QEST 2023: 311-328 - [c45]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: 120-132 - [c44]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: 1985-1996 - [d1]Will Leeson, Matthew Dwyer, Antonio Filieri:
Sibyl Datasets. Zenodo, 2023
- [i8]Xiaotong Ji, Antonio Filieri:
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version). CoRR abs/2307.04927 (2023) - [i7]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 abs/2307.16023 (2023) - 2022
- [j11]Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri:
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48(4): 1212-1227 (2022) - [c43]Runan Wang, Giuliano Casale, Antonio Filieri:
Enhancing Performance Modeling of Serverless Functions via Static Analysis. ICSOC 2022: 71-88 - [c42]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: 1367-1378 - [i6]Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. CoRR abs/2211.16587 (2022) - 2021
- [j10]Ahmad Alnafessah, Alim Ul Gias, Runan Wang, Lulai Zhu, Giuliano Casale, Antonio Filieri:
Quality-Aware DevOps Research: Where Do We Stand? IEEE Access 9: 44476-44489 (2021) - [c41]Runan Wang, Giuliano Casale, Antonio Filieri:
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes. QEST 2021: 310-328 - [c40]Yicheng Luo, Antonio Filieri, Yuan Zhou:
Symbolic parallel adaptive importance sampling for probabilistic program analysis. ESEC/SIGSOFT FSE 2021: 1166-1177 - 2020
- [c39]Ivan Kotegov, Antonio Filieri:
Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level. ECSA Companion 2020: 269-274 - [c38]Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser:
Improving Symbolic Automata Learning with Concolic Execution. FASE 2020: 3-26 - [c37]Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath:
On the probabilistic analysis of neural networks. SEAMS@ICSE 2020: 5-8 - [c36]Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu:
Probabilistic Symbolic Analysis of Neural Networks. ISSRE 2020: 148-159 - [i5]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:
ACM SIGSOFT Empirical Standards. CoRR abs/2010.03525 (2020) - [i4]Yicheng Luo, Antonio Filieri, Yuan Zhou:
SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis. CoRR abs/2010.05050 (2020)
2010 – 2019
- 2019
- [j9]Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen:
Chapter Five - Advances in Symbolic Execution. Adv. Comput. 113: 225-287 (2019) - [j8]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): 1197-1224 (2019) - 2017
- [j7]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): 02:1-02:3 (2017) - [j6]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): 24:1-24:31 (2017) - [c35]Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple. SEAMS@ICSE 2017: 123-128 - [c34]Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM 2017: 131-138 - [c33]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: 114-125 - [c32]Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Automated control of multiple software goals using multiple actuators. ESEC/SIGSOFT FSE 2017: 373-384 - [p4]Jeffrey O. Kephart, Ada Diaconescu, Holger Giese, Anders Robertsson, Tarek F. Abdelzaher, Peter R. Lewis, Antonio Filieri, Lukas Esterle, Sylvain Frey:
Self-adaptation in Collective Self-aware Computing Systems. Self-Aware Computing Systems 2017: 401-435 - [p3]Simon Spinner, Antonio Filieri, Samuel Kounev, Martina Maggio, Anders Robertsson:
Run-Time Models for Online Performance and Resource Management in Data Centers. Self-Aware Computing Systems 2017: 485-505 - [i3]Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017: 244 (2017) - 2016
- [j5]Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi:
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. 42(1): 75-99 (2016) - [c31]Antonio Filieri, Martina Maggio:
Control theory for software engineering: technical briefing. ICSE (Companion Volume) 2016: 908-910 - 2015
- [j4]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97: 47-54 (2015) - [c30]Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25 - [c29]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi:
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE 2015: 68-74 - [c28]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: 71-82 - [c27]Antonio Filieri, Lars Grunske, Alberto Leva:
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) 2015: 200-211 - [c26]Antonio Filieri, Corina S. Pasareanu, Guowei Yang:
Quantification of Software Changes through Probabilistic Symbolic Execution (N). ASE 2015: 703-708 - [c25]Davide Arcelli, Vittorio Cortellessa, Antonio Filieri, Alberto Leva:
Control Theory for Model-based Performance-driven Software Adaptation. QoSA 2015: 11-20 - [c24]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52 - [c23]Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. Software Engineering & Management 2015: 112-113 - [c22]Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated multi-objective control for self-adaptive software design. ESEC/SIGSOFT FSE 2015: 13-24 - [c21]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu:
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE 2015: 866-877 - [c20]Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. SPIN 2015: 222-241 - [e1]Antonio Filieri, Martina Maggio:
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE@SIGSOFT FSE 2015, Bergamo, Italy, August 31 - September 04, 2015. ACM 2015, ISBN 978-1-4503-3814-1 [contents] - [i2]Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz:
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5(11): 151-179 (2015) - 2014
- [j3]Andrea Ciancone, Antonio Filieri, Raffaela Mirandola:
Testing operational transformations in model-driven engineering. Innov. Syst. Softw. Eng. 10(1): 19-32 (2014) - [j2]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): 1269-1290 (2014) - [c19]Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated design of self-adaptive software with control-theoretical formal guarantees. ICSE 2014: 299-310 - [c18]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55 - [c17]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: 575-586 - [c16]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser:
Compositional solution space quantification for probabilistic software analysis. PLDI 2014: 123-132 - [c15]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering 2014: 39-40 - [c14]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical symbolic execution with informed sampling. SIGSOFT FSE 2014: 437-448 - 2013
- [b1]Antonio Filieri:
Model based verification and adaptation of software systems @runtime. Polytechnic University of Milan, Italy, 2013 - [c13]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability analysis in symbolic pathfinder. ICSE 2013: 622-631 - [c12]Alessio Gambi, Antonio Filieri, Schahram Dustdar:
Iterative test suites refinement for elastic computing systems. ESEC/SIGSOFT FSE 2013: 635-638 - [p2]Antonio Filieri, Giordano Tamburrelli:
Probabilistic Verification at Runtime for Self-Adaptive Systems. Assurances for Self-Adaptive Systems 2013: 30-59 - [i1]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013) - 2012
- [j1]Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. 24(2): 163-186 (2012) - [c11]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: 557-562 - [c10]Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Autotuning control structures for reliability-driven dynamic binding. CDC 2012: 418-423 - [c9]Antonio Filieri, Carlo Ghezzi:
Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE 2012: 2-8 - [c8]Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Reliability-driven dynamic binding via feedback control. SEAMS 2012: 43-52 - [p1]Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli:
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. Conquering Complexity 2012: 253-275 - 2011
- [c7]Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola:
A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE 2011: 149-158 - [c6]Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
Run-time efficient probabilistic model checking. ICSE 2011: 341-350 - [c5]Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE 2011: 283-292 - [c4]Antonio Filieri:
QoS verification and model tuning @ runtime. SIGSOFT FSE 2011: 408-411 - [c3]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: 99-114 - 2010
- [c2]Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola:
Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE 2010: 1-20 - [c1]Andrea Ciancone, Antonio Filieri, Raffaela Mirandola:
MANTra: Towards Model Transformation Testing. QUATIC 2010: 97-105
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
