Abstract | ||
---|---|---|
We introduce a tool-supported method for the formal analysis of timing, resource use, cost and other quality aspects of computer programs. The new method synthesises a Markov-chain model of the analysed code, computes this quantitative model’s transition probabilities using information from program logs, and employs probabilistic model checking to evaluate the performance properties of interest. U... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/SEAA53835.2021.00027 | 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) |
Keywords | DocType | ISBN |
program quality analysis,software performance,quantitative models,probabilistic model checking | Conference | 978-1-6654-2705-0 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ioannis Stefanakos | 1 | 0 | 1.69 |
Radu Calinescu | 2 | 905 | 63.01 |
Simos Gerasimou | 3 | 0 | 0.68 |