Antonio Filieri

Citeret af

	Alle	Siden 2020
Henvisninger	2782	1214
h-index	26	19
i10-indeks	40	28

280

140

210

20112012201320142015201620172018201920202021202220232024202526 55 96 148 217 213 228 279 236 230 223 254 225 248 31

Offentlig adgang

Se alle

17 artikler

2 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Carlo GhezziEmeritus Professor, Politecnico di MilanoVerificeret mail på polimi.it
Martina MaggioSaarland University, Lund University, Saarland Informatics CampusVerificeret mail på cs.uni-saarland.de
Corina PasareanuCMU/NASA AmesVerificeret mail på nasa.gov
Willem VisserComputer Science Division, Stellenbosch UniversityVerificeret mail på cs.sun.ac.za
Henry HoffmannLiew Family Chair of Computer Science, University of ChicagoVerificeret mail på cs.uchicago.edu
Giordano TamburrelliMollieVerificeret mail på mollie.com
Raffaela MirandolaFull Professor, Karlsruhe Institute of TechnologyVerificeret mail på kit.edu
Alessandro Vittorio PapadopoulosFull Professor, Mälardalen University (MDU), SE | University of Málaga, ES | Scientific Advisor, ZPTVerificeret mail på mdu.se
Ilias GerostathopoulosAssistant Professor at VU AmsterdamVerificeret mail på vu.nl
Matthew DwyerThomson Distinguished Professor, University of VirginiaVerificeret mail på virginia.edu
Mateus BorgesImperial College LondonVerificeret mail på ic.ac.uk
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerificeret mail på illinois.edu
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerificeret mail på informatik.hu-berlin.de
Andrea CianconeVerificeret mail på mail.polimi.it
vincenzo grassiroma tor vergataVerificeret mail på info.uniroma2.it
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleVerificeret mail på cse.sc.edu
Thomas VogelHumboldt-Universität zu Berlin, GermanyVerificeret mail på informatik.hu-berlin.de
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerificeret mail på uni.lu
Mauro Luigi DragoPh.D., Politecnico di MilanoVerificeret mail på elet.polimi.it
Kasper Søe LuckowAmazon Web ServicesVerificeret mail på amazon.com

Følg

Antonio Filieri

Amazon Web Services, Imperial College London

Verificeret mail på imperial.ac.uk - Startside

Software Engineering Program Analysis Security Control Theory for Adaptive Software


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli Proceedings of the 33rd international conference on software engineering …, 2011	250	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	218	2014
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	179	2012
Reliability analysis in symbolic pathfinder A Filieri, CS Păsăreanu, W Visser 2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013	162	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	131	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	119	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	115	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	89	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	83	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	80	2010
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	71	2021
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	71	2017
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	68	2014
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	62	2014
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	50	2013
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	47	2019
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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere