|
|
|
2005 (EE)
|
Ansgar
Fehnker, Edmund
M. Clarke, Sumit Kumar Jha, Bruce
H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample
Fragments. HSCC
2005: 242-257
|
|
2005
|
Edmund
M. Clarke, Ansgar
Fehnker, Sumit Kumar Jha, Helmut
Veith: Temporal Logic Model Checking. Handbook
of Networked and Embedded Control Systems 2005: 539-558
|
|
2006
|
Sumit Kumar Jha, Shengbing Jiang and Thomas Fuhrman, “Fault Isolation in
Discrete Event Systems using Model Checking. General Motors Technical
Report. In the Proceedings of CDC 2006 ( 45th IEEE Conference on Decision
and Control, San Diego, California
)
|
|
2006
|
Xuandong Li, Sumit Kumar Jha, Lei Bu:
A tool for Bounded Model Checking of Linear Hybrid Automata. In Proceedings
of BMC 2006 (Electronic Notes in Theoretical Computer Science)
|
|
2007
|
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)
|
|
2007
|
Edmund M. Clarke, Sumit Kumar Jha and Christopher J. Langmead:
Temporal Logic for Dynamic Bayesian Networks. Submitted to RECOMB 2007.
|
|
