Devesh B. Chokshi

According to our database, Devesh B. Chokshi authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

Pratyush Kumar, Devesh B. Chokshi, Lothar Thiele

Proceedings of the Design, Automation and Test in Europe, 2013

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

Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2011

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, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

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

Devesh B. Chokshi, Purandar Bhaduri

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

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

Proceedings of the 10th International conference on Embedded software, 2010

2008

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

Devesh B. Chokshi, Purandar Bhaduri

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008