Manoj G. Dixit

Publication Activity (10 Years)

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

Top Topics

Real Time Embedded Systems

Automated Verification

Computation Tree Logic

Top Venues

Formal Aspects Comput.

Publications

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
Time-budgeting: a component based development methodology for real-time embedded systems. Formal Aspects Comput. 26 (3) (2014)
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)
Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
Some results on Parametric Temporal Logic. Inf. Process. Lett. 111 (20) (2011)
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
Taming the component timing: A CBD methodology for real-time embedded systems. DATE (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)
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC (2008)