Manoj G. Dixit
According to our database1,
Manoj G. Dixit
authored at least 7 papers
between 2008 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
0
1
2
3
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Time-budgeting: a component based development methodology for real-time embedded systems.
Formal Aspects Comput., 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013
2011
2010
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation.
Proceedings of the 10th International conference on Embedded software, 2010
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.
Proceedings of the 45th Design Automation Conference, 2008