Arindam Chakrabarti

Papers

Total Citations

125

H-Index

About

Arindam Chakrabarti is a leading researcher in the fields of formal verification, embedded systems, and resource-aware computing. His seminal work on "Resource Interfaces" (2003, 125 citations) introduced a groundbreaking framework for specifying and analyzing the resource consumption of real-time and embedded systems, enabling more reliable and efficient design. This contribution has been widely adopted in both academia and industry, influencing the development of compositional verification techniques. Chakrabarti's broader research spans model checking, cyber-physical systems, and software engineering, where he has advanced methods for ensuring correctness and performance in complex, resource-constrained environments. With over 125 citations to his most-cited paper alone, his work has had a lasting impact on the formal methods community. Notable achievements include his role in developing the Ptolemy II platform for heterogeneous modeling and his contributions to the design of predictable embedded systems. His research continues to shape how engineers build safe and efficient systems, making him a key figure in the intersection of theory and practice.