Antonio Filieri

Citée par

	Toutes	Depuis 2019
Citations	2652	1335
indice h	26	21
indice i10	38	27

280

140

210

2011201220132014201520162017201820192020202120222023202426 52 97 149 208 216 244 266 221 233 225 261 224 167

Accès public

Tout afficher

16 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Carlo GhezziEmeritus Professor, Politecnico di MilanoAdresse e-mail validée de polimi.it
Corina PasareanuCMU/NASA AmesAdresse e-mail validée de nasa.gov
Martina MaggioSaarland University, Lund University, Saarland Informatics CampusAdresse e-mail validée de cs.uni-saarland.de
Willem VisserComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Henry HoffmannLiew Family Chair of Computer Science, University of ChicagoAdresse e-mail validée de cs.uchicago.edu
Giordano TamburrelliMollieAdresse e-mail validée de mollie.com
Raffaela MirandolaFull Professor, Karlsruhe Institute of TechnologyAdresse e-mail validée de kit.edu
Ilias GerostathopoulosAssistant Professor at VU AmsterdamAdresse e-mail validée de vu.nl
Alessandro Vittorio PapadopoulosFull Professor, Mälardalen University (MDU), SE | University of Málaga, ES | Scientific Advisor, ZPTAdresse e-mail validée de mdu.se
Mateus BorgesImperial College LondonAdresse e-mail validée de ic.ac.uk
Matthew DwyerThomson Distinguished Professor, University of VirginiaAdresse e-mail validée de virginia.edu
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignAdresse e-mail validée de illinois.edu
Andrea CianconeAdresse e-mail validée de mail.polimi.it
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyAdresse e-mail validée de informatik.hu-berlin.de
vincenzo grassiroma tor vergataAdresse e-mail validée de info.uniroma2.it
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleAdresse e-mail validée de cse.sc.edu
Thomas VogelHumboldt-Universität zu Berlin, GermanyAdresse e-mail validée de informatik.hu-berlin.de
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgAdresse e-mail validée de uni.lu
Mauro Luigi DragoPh.D., Politecnico di MilanoAdresse e-mail validée de elet.polimi.it
Kasper Søe LuckowAmazon Web ServicesAdresse e-mail validée de amazon.com

Suivre

Antonio Filieri

Amazon Web Services, Imperial College London

Adresse e-mail validée de imperial.ac.uk - Page d'accueil

Software Engineering Program Analysis Security Control Theory for Adaptive Software


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli Proceedings of the 33rd international conference on software engineering …, 2011	246	2011
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	206	2014
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	179	2012
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	164*	2020
Reliability analysis in symbolic pathfinder A Filieri, CS Păsăreanu, W Visser 2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013	161	2013
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	150	2015
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	127	2015
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	107	2015
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	107	2011
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	87	2017
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	86	2017
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	79	2010
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	65	2014
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	62	2021
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	61	2014
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	57	2017
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	57	2015
Probabilistic verification at runtime for self-adaptive systems A Filieri, G Tamburrelli Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 30-59, 2013	48	2013
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	46	2014
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	43	2019

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs