Devesh B. Chokshi

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Reactive Systems

Top Venues

Publications

Pratyush Kumar, Devesh B. Chokshi, Lothar Thiele
A satisfiability approach to speed assignment for distributed real-time systems. DATE (2013)
Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh
Scalable model-checking for precise end-to-end latency computation. CACSD (2013)
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, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO (2011)
Devesh B. Chokshi, Purandar Bhaduri
Performance analysis of FlexRay-based systems using real-time calculus, revisited. SAC (2010)
A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. EMSOFT (2010)
Devesh B. Chokshi, Purandar Bhaduri
Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus. RTCSA (2008)