Antonio Filieri

Antonio Filieri

Imperial College London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 907118
person_outline Antonio Filieri's MOST POPULAR ARTICLES
1-) Run-time efficient probabilistic model checkingA Filieri, C Ghezzi, G Tamburrelli2011 33rd International Conference on Software Engineering (ICSE), 341-350, 20112342011
2-) Automated design of self-adaptive software with control-theoretical formal guaranteesA Filieri, H Hoffmann, M MaggioProceedings of the 36th International Conference on Software Engineering …, 20141852014
3-) Empirical standards for software engineering researchP Ralph, N Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, M Felderer, ...arXiv preprint arXiv:2010.03525, 2020181*2020
4-) A formal approach to adaptive software: continuous assurance of non-functional requirementsA Filieri, C Ghezzi, G TamburrelliFormal Aspects of Computing 24, 163-186, 20121802012
5-) Reliability analysis in symbolic pathfinderA Filieri, CS Păsăreanu, W Visser2013 35th International Conference on Software Engineering (ICSE), 622-631, 20131622013