Concepedia
Statistics
Publications
33
Citations
1.7K
H-Index
22
Active since
2010
Affiliations
University of Stuttgart(Current)
Politecnico di Milano
Ames Research Center
Lund University
Stellenbosch University
Antonio Filieri is an author at University of Stuttgart specializing in software engineering, engineering, and computer science.
Top concepts
EngineeringComputer ScienceSoftware AnalysisSystems EngineeringSoftware EngineeringProgram AnalysisSoftware TestingSoftware DesignFormal VerificationFormal Methods
Publications per year
2010–2023
Run-time efficient probabilistic model checking
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli · 2011 · 188 citations
Software Maintenance, Engineering, Change Impact Analysis +25
Automated design of self-adaptive software with control-theoretical formal guarantees
Antonio Filieri, Henry Hoffmann, Martina Maggio · 2014 · 143 citations
A formal approach to adaptive software: continuous assurance of non-functional requirements
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli · Formal Aspects of Computing · 2011 · 127 citations · Full text
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi · IEEE Transactions on Software Engineering · 2015 · 113 citations
Software Maintenance, Program Checking, Engineering +28
Empirical Standards for Software Engineering Research
Paul Ralph, Nauman bin Ali, Sebastian Baltes et al. · arXiv (Cornell University) · 2020 · 98 citations · Full text
Software Maintenance, Software Development Practice, Empirical Software Engineering Research +13
1–5 of 33