Antonio Filieri
Orcid: 0000-0001-9646-646XAffiliations:
- Imperial College London, UK
- Amazon Web Services, Santa Clara, USA
According to our database1,
Antonio Filieri
authored at least 69 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., May, 2024
2023
Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes.
ACM Trans. Model. Comput. Simul., 2023
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version).
CoRR, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
2020
SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis.
CoRR, 2020
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Proceedings of the Software Architecture - 14th European Conference, 2020
2019
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems.
Softw. Pract. Exp., 2019
2017
ACM Trans. Auton. Adapt. Syst., 2017
IACR Cryptol. ePrint Arch., 2017
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact).
Dagstuhl Artifacts Ser., 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017
Proceedings of the Self-Aware Computing Systems., 2017
Proceedings of the Self-Aware Computing Systems., 2017
2016
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.
IEEE Trans. Software Eng., 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Sci. Comput. Program., 2015
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Statistical Symbolic Execution with Informed Sampling.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
Proceedings of the Grand Timely Topics in Software Engineering, 2015
2014
The KlaperSuite framework for model-driven reliability analysis of component-based systems.
Softw. Syst. Model., 2014
Innov. Syst. Softw. Eng., 2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Exact and approximate probabilistic symbolic execution for nondeterministic programs.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
2013
Proceedings of the Assurances for Self-Adaptive Systems, 2013
PhD thesis, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
A formal approach to adaptive software: continuous assurance of non-functional requirements.
Formal Aspects Comput., 2012
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012
Further steps towards efficient runtime verification: handling probabilistic cost models.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach.
Proceedings of the IEEE International Conference on Control Applications, 2012
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.
Proceedings of the Conquering Complexity, 2012
2011
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
A compositional method for reliability analysis of workflows affected by multiple failure modes.
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011
2010
Proceedings of the Quality of Information and Communications Technology, 2010
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010