Manoj G. Dixit

According to our database, Manoj G. Dixit authored at least 7 papers between 2008 and 2014.

Collaborative distances:

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

2014

Time-budgeting: a component based development methodology for real-time embedded systems.

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Formal Aspects Comput., 2014

Early Time-Budgeting for Component-Based Embedded Control Systems.

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

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

Some results on Parametric Temporal Logic.

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Inf. Process. Lett., 2011

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

Taming the component timing: A CBD methodology for real-time embedded systems.

Manoj G. Dixit, Pallab Dasgupta, S. Ramesh

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

2008

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.

Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang

Proceedings of the 45th Design Automation Conference, 2008