Publications
Edmund M. Clarke, James Faeder, Christopher James Langmead, Leonard Harris, Sumit Kumar Jha and Axel Legay
Distributed Statistical Model Checking of T Cell Receptor Pathway. In Proceedings of CMSB 2008 [Download PDF]
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]
Christopher Langmead and Sumit Kumar Jha:
Symbolic Approaches to Finding Control Strategies in Boolean Networks. In Proceedings of APBC 2008 [ Download PDF ]
Christopher Langmead and Sumit Kumar Jha:
Using Bit Vector Decision Procedures for Protein Folding Pathways. In Proceedings of CFV 2007. [ Download PDF ]
Krishna Kumar, Sriram Rajamani, Prasad Sistla, Sumit Kumar Jha:
Verification of Object Relational Maps. In Proceedings of SEFM 2007. [ Download PDF ]
Christopher Langmead and Sumit K Jha:
Temporal Logic Model Checking of Protein Folding Pathways. In Proceedings of WABI 2007 (Lecture Notes in Bioinformatics). [ Download PDF ]
Edmund M. Clarke, Sumit Kumar Jha and Christopher J. Langmead:
Temporal Logic for Dynamic Bayesian Networks. Technical Report [ 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 ]
Sumit Kumar Jha, Shengbing Jiang and Thomas Fuhrman, “Fault Isolation in Discrete Event Systems using Model Checking. General Motors Technical Report. Modified version appeared n the Proceedings of CDC 2006 ( 45th IEEE Conference on Decision and Control, San Diego, California ) [ Download PDF ]
Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith: Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005: 539-558 [ Please write to me if you need a copy for personal use. ]
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 ]