Sumit Kumar Jha:
Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. In Proceedings of HSCC 2008 [Download PDF]
Goran Freshe, Sumit Kumar Jha and Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. In Proceedings of HSCC 2008 [Download PDF]
Sumit Kumar Jha, Bruce H. Krogh, Edmund M. Clarke, Jim Weimer, Alhad Arun Palkar :
Iterative Relaxation Abstraction (IRA) for Linear Hybrid Automata. In Proceedings of HSCC 2007 (Lecture Notes in Computer Science) [ Download PDF ]
Xuandong Li, Sumit Kumar Jha Aanand, Lei Bu:
A tool for
Bounded Model Checking of Linear Hybrid Automata. In Proceedings of BMC
2006 (Electronic Notes in Theoretical Computer Science) [ Download PDF ]
Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257 [ Download PDF ]