Udi Boker

Papers

Total Citations

H-Index

About

Udi Boker is a leading researcher in theoretical computer science, specializing in formal methods, automata theory, and quantitative verification. His work bridges foundational logic with practical challenges in software analysis, particularly around resource-aware systems. Boker is best known for pioneering "battery transition systems," a novel framework that models energy consumption in software far more realistically than traditional weighted systems. Unlike prior models that treat energy as a single numeric value, his approach captures the nonlinear behavior of real batteries—such as voltage decay and recovery effects—enabling precise analysis of power-constrained devices. This contribution, detailed in his highly cited 2014 paper (7 citations), has opened new avenues for energy-aware verification in embedded and mobile systems. Boker’s broader impact includes advancing the theory of alternating automata and temporal logics, with his work cited extensively in the formal methods community. His research not only deepens our understanding of computational models but also provides practical tools for designing reliable, energy-efficient software. For students and researchers, Boker’s work exemplifies how theoretical insights can address pressing real-world challenges in computing.