Antonio Filieri
Antonio Filieri
Lecturer (Assistant Professor), Imperial College London
Verified email at imperial.ac.uk - Homepage
TitleCited byYear
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
Proceedings of the 33rd international conference on software engineering …, 2011
1792011
Automated design of self-adaptive software with control-theoretical formal guarantees
A Filieri, H Hoffmann, M Maggio
Proceedings of the 36th International Conference on Software Engineering …, 2014
1342014
A formal approach to adaptive software: continuous assurance of non-functional requirements
A Filieri, C Ghezzi, G Tamburrelli
Formal Aspects of Computing 24 (2), 163-186, 2012
1202012
Reliability analysis in symbolic pathfinder
A Filieri, CS Păsăreanu, W Visser
2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013
982013
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
A Filieri, C Ghezzi, A Leva, M Maggio
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011
812011
Software engineering meets control theory
A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ...
Proceedings of the 10th International Symposium on Software Engineering for …, 2015
782015
Supporting self-adaptation via quantitative verification and sensitivity analysis at run time
A Filieri, G Tamburrelli, C Ghezzi
IEEE Transactions on Software Engineering 42 (1), 75-99, 2015
782015
Automated multi-objective control for self-adaptive software design
A Filieri, H Hoffmann, M Maggio
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
592015
Reliability analysis of component-based systems with multiple failure modes
A Filieri, C Ghezzi, V Grassi, R Mirandola
Component-Based Software Engineering, 1-20, 2010
592010
Compositional solution space quantification for probabilistic software analysis
M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser
ACM SIGPLAN Notices 49 (6), 123-132, 2014
452014
Exact and approximate probabilistic symbolic execution for nondeterministic programs
K Luckow, CS Păsăreanu, MB Dwyer, A Filieri, W Visser
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
422014
Lightweight adaptive filtering for efficient learning and updating of probabilistic models
A Filieri, L Grunske, A Leva
Proceedings of the 37th International Conference on Software Engineering …, 2015
362015
KlaperSuite: an integrated model-driven environment for reliability and performance analysis of component-based systems
A Ciancone, A Filieri, ML Drago, R Mirandola, V Grassi
International Conference on Modelling Techniques and Tools for Computer …, 2011
332011
Probabilistic verification at runtime for self-adaptive systems
A Filieri, G Tamburrelli
Assurances for Self-Adaptive Systems, 30-59, 2013
322013
Reliability-driven dynamic binding via feedback control
A Filieri, C Ghezzi, A Leva, M Maggio
Proceedings of the 7th International Symposium on Software Engineering for …, 2012
282012
Control strategies for self-adaptive software systems
A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ...
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 24, 2017
262017
Statistical symbolic execution with informed sampling
A Filieri, CS Păsăreanu, W Visser, J Geldenhuys
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
242014
Mantra: Towards model transformation testing
A Ciancone, A Filieri, R Mirandola
2010 Seventh International Conference on the Quality of Information and …, 2010
192010
Further steps towards efficient runtime verification: Handling probabilistic cost models
A Filieri, C Ghezzi
Proceedings of the First International Workshop on Formal Methods in …, 2012
182012
Control theory for model-based performance-driven software adaptation
D Arcelli, V Cortellessa, A Filieri, A Leva
2015 11th International ACM SIGSOFT Conference on Quality of Software …, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20