Segui
Antonio Filieri
Titolo
Citata da
Citata da
Anno
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
Proceedings of the 33rd international conference on software engineering …, 2011
2532011
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
2102014
Empirical standards for software engineering research
P Ralph, N Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, M Felderer, ...
arXiv preprint arXiv:2010.03525, 2020
185*2020
A formal approach to adaptive software: continuous assurance of non-functional requirements
A Filieri, C Ghezzi, G Tamburrelli
Formal Aspects of Computing 24, 163-186, 2012
1812012
Reliability analysis in symbolic pathfinder
A Filieri, CS Păsăreanu, W Visser
2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013
1622013
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
1532015
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
1312015
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
1112015
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
1092011
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
922017
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
892017
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
802010
Quality-aware devops research: Where do we stand?
A Alnafessah, AU Gias, R Wang, L Zhu, G Casale, A Filieri
IEEE access 9, 44476-44489, 2021
712021
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
662014
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
622017
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
622014
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
572015
Probabilistic verification at runtime for self-adaptive systems
A Filieri, G Tamburrelli
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 30-59, 2013
512013
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
462014
An evaluation of pure spectrum‐based fault localization techniques for large‐scale software systems
S Heiden, L Grunske, T Kehrer, F Keller, A Van Hoorn, A Filieri, D Lo
Software: Practice and Experience 49 (8), 1197-1224, 2019
452019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20