Devesh B. Chokshi

Formal methods-use timing-analysis

A. C. Rajeev, Devesh B. Chokshi, Manoj G. Dixit, 2011 .

Scalable model-checking for precise end-to-end latency computation

A. C. Rajeev, S. Ramesh, Devesh B. Chokshi, 2013, 2013 IEEE Conference on Computer Aided Control System Design (CACSD).

Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus

Devesh B. Chokshi, Purandar Bhaduri, Purandar Bhaduri, 2008, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status

Luca Benini, Yusuf Leblebici, Giovanni De Micheli, 2011, FMCO.

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation

A. C. Rajeev, S. Ramesh, Devesh B. Chokshi, 2010, EMSOFT '10.

A satisfiability approach to speed assignment for distributed real-time systems

Lothar Thiele, Pratyush Kumar, Devesh B. Chokshi, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Performance analysis of FlexRay-based systems using real-time calculus, revisited

Devesh B. Chokshi, Purandar Bhaduri, 2010, SAC '10.