Concepedia

Antonio Filieri

AF

33

Publications

1.7K

Citations

22

H-Index

2010

Active since

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.

ORCID

Top concepts

Publications per year

2010–2023

33

Publications

33

Run-time efficient probabilistic model checking

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli · 2011 · 188 citations

, , +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

, , +28

Empirical Standards for Software Engineering Research

Paul Ralph, Nauman bin Ali, Sebastian Baltes et al. · arXiv (Cornell University) · 2020 · 98 citations · Full text

, , +13

Rows per page

1–5 of 33