Publications

Export 7 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is formal verification  [Clear All Filters]
1994
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
2004
Yilmaz C, Memon AM, Porter A, Krishna AS, Schmidt DC, Gokhale A, Natarajan B.  2004.  Preserving distributed systems critical properties: a model-driven approach. Software, IEEE. 21(6):32-40.
2005
Memon AM, Xie Q.  2005.  Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. Software Engineering, IEEE Transactions on. 31(10):884-896.
2010
Wu H, Sankaranarayanan AC, Chellappa R.  2010.  Online Empirical Evaluation of Tracking Algorithms. IEEE Transactions on Pattern Analysis and Machine Intelligence. 32(8):1443-1458.