Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus. - Devesh B. Chokshi; Purandar Bhaduri (RTCSA, 2008)

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. - A. C. Rajeev; Swarup Mohalik; Manoj G. Dixit; Devesh B. Chokshi; S. Ramesh 002 (EMSOFT, 2010)

Performance analysis of FlexRay-based systems using real-time calculus, revisited. - Devesh B. Chokshi; Purandar Bhaduri (SAC, 2010)

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. - Christian Fabre; Iuliana Bacivarov; Ananda Basu; Martino Ruggiero; David Atienza; Eric Flamand; Jean-Pierre Krimm; Julien Mottin; Lars Schor; Pratyush Kumar; Hoeseok Yang; Devesh B. Chokshi; et al. (FMCO, 2011)

Scalable model-checking for precise end-to-end latency computation. - Swarup Mohalik; Devesh B. Chokshi; Manoj G. Dixit; A. C. Rajeev; S. Ramesh 002 (CACSD, 2013)

A satisfiability approach to speed assignment for distributed real-time systems. - Pratyush Kumar; Devesh B. Chokshi; Lothar Thiele (DATE, 2013)