Pradyumna Mishra

According to our database, Pradyumna Mishra authored at least 3 papers between 2001 and 2003.

Collaborative distances:

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

2003

Hierarchical modeling and analysis of embedded systems.

Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky

Proc. IEEE, 2003

2002

Flying hot potatoes [air traffic management].

Pradyumna Mishra, George J. Pappas

Proceedings of the American Control Conference, 2002

2001

Hierarchical Hybrid Modeling of Embedded Systems.

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky

Proceedings of the Embedded Software, First International Workshop, 2001