Antonio Filieri
Antonio Filieri
Lecturer (Assistant Professor), Imperial College London
Dirección de correo verificada de imperial.ac.uk - Página principal
Título
Citado por
Citado por
Año
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011
2042011
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
1682014
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
1542012
Reliability analysis in symbolic pathfinder
A Filieri, CS Păsăreanu, W Visser
2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013
1252013
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
1052015
Software engineering meets control theory
A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ...
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015
982015
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
A Filieri, C Ghezzi, A Leva, M Maggio
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
932011
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
832015
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
722010
Compositional solution space quantification for probabilistic software analysis
M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
562014
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
502014
Lightweight adaptive filtering for efficient learning and updating of probabilistic models
A Filieri, L Grunske, A Leva
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
442015
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), 1-31, 2017
422017
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
392011
Probabilistic verification at runtime for self-adaptive systems
A Filieri, G Tamburrelli
Assurances for Self-Adaptive Systems, 30-59, 2013
352013
Automated control of multiple software goals using multiple actuators
M Maggio, AV Papadopoulos, A Filieri, H Hoffmann
Proceedings of the 2017 11th joint meeting on foundations of software …, 2017
312017
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
312014
Reliability-driven dynamic binding via feedback control
A Filieri, C Ghezzi, A Leva, M Maggio
2012 7th International Symposium on Software Engineering for Adaptive and …, 2012
312012
A critical evaluation of spectrum-based fault localization techniques on a large-scale software system
F Keller, L Grunske, S Heiden, A Filieri, A van Hoorn, D Lo
2017 IEEE International Conference on Software Quality, Reliability and …, 2017
292017
Iterative distribution-aware sampling for probabilistic symbolic execution
M Borges, A Filieri, M d'Amorim, CS Păsăreanu
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
262015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20