Arjun Radhakrishna

Institute of Science and Technology Austria

Papers

Total Citations

H-Index

About

Arjun Radhakrishna is a leading researcher in quantitative formal methods, with a particular focus on the rigorous analysis of software energy consumption. His most-cited work, "Battery transition systems" (2014), addresses a critical gap in the field: while traditional models like weighted transition systems or energy games treat energy as an ideal, single-dimensional resource, Radhakrishna’s framework captures the complex, non-ideal behavior of real-world batteries. This contribution has been foundational for developing more accurate, practical tools to verify and optimize the energy usage of embedded and mobile software. Although his citation count for this seminal paper stands at 7, its conceptual impact is significant, laying the groundwork for a new generation of quantitative verification techniques. Radhakrishna’s research sits at the intersection of formal verification, automata theory, and resource-aware computing, and his work is essential reading for anyone interested in making software not just correct, but also energy-efficient.