Umer Liqat

Available identifiers

zbMath Open liqat.umerMaRDI QIDQ1671138

List of research outcomes

Publication	Date of Publication	Type
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks	2018-09-06	Paper
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption	2018-05-31	Paper
A general framework for static profiling of parametric resource usage	2017-11-09	Paper
A transformational approach to parametric accumulated-cost static profiling	2016-04-04	Paper

Research outcomes over time

This page was built for person: Umer Liqat