Antonio Filieri

Affiliations:
  • Imperial College London, UK


According to our database1, Antonio Filieri authored at least 68 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Compositional Taint Analysis for Enforcing Security Policies at Scale.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Probabilistic Counterexample Guidance for Safer Reinforcement Learning.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Sibyl: Improving Software Engineering Tools with SMT Selection.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
Conditional Quantitative Program Analysis.
IEEE Trans. Software Eng., 2022

Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
CoRR, 2022

Input splitting for cloud-based static application security testing platforms.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Enhancing Performance Modeling of Serverless Functions via Static Analysis.
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

2021
Quality-Aware DevOps Research: Where Do We Stand?
IEEE Access, 2021

Symbolic parallel adaptive importance sampling for probabilistic program analysis.
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

ACM SIGSOFT Empirical Standards.
CoRR, 2020

Probabilistic Symbolic Analysis of Neural Networks.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

On the probabilistic analysis of neural networks.
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

Improving Symbolic Automata Learning with Concolic Execution.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

Towards Coordinated Autoscaling and Application Brownout at the Orchestrator Level.
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

Chapter Five - Advances in Symbolic Execution.
Adv. Comput., 2019

2017
Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst., 2017

Model-counting Approaches For Nonlinear Numerical Constraints.
IACR Cryptol. ePrint Arch., 2017

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact).
Dagstuhl Artifacts Ser., 2017

Automated control of multiple software goals using multiple actuators.
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

Run-Time Models for Online Performance and Resource Management in Data Centers.
Proceedings of the Self-Aware Computing Systems., 2017

Self-adaptation in Collective Self-aware Computing Systems.
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

Control theory for software engineering: technical briefing.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program., 2015

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports, 2015

Model Counting for Complex Data Structures.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Automated multi-objective control for self-adaptive software design.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Iterative distribution-aware sampling for probabilistic symbolic execution.
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

Control Theory for Model-based Performance-driven Software Adaptation.
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

Quantification of Software Changes through Probabilistic Symbolic Execution (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015


Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Syntax-Driven Program Verification of Matching Logic Properties.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Probabilistic Program Analysis.
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

Testing operational transformations in model-driven engineering.
Innov. Syst. Softw. Eng., 2014

Reliability Analysis in Symbolic Pathfinder: A brief summary.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Compositional solution space quantification for probabilistic software analysis.
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
Probabilistic Verification at Runtime for Self-Adaptive Systems.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Model based verification and adaptation of software systems @runtime.
PhD thesis, 2013

A Syntactic-Semantic Approach to Incremental Verification
CoRR, 2013

Iterative test suites refinement for elastic computing systems.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Reliability analysis in symbolic pathfinder.
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

Reliability-driven dynamic binding via feedback control.
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

Autotuning control structures for reliability-driven dynamic binding.
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

QoS verification and model tuning @ runtime.
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

Run-time efficient probabilistic model checking.
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
MANTra: Towards Model Transformation Testing.
Proceedings of the Quality of Information and Communications Technology, 2010

Reliability Analysis of Component-Based Systems with Multiple Failure Modes.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010


  Loading...